Also habe ich versucht, meine Intuitionen von Funktoren an ihre Grenzen zu bringen, indem ich einen Funktor höherer Ordnung definiert habe, also F, der Typen erster Ordnung als Typargument akzeptiert und Funktionen auf Typen 1. Ordnung in diesen...
10.05.2014, 05:28