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 höheren Kontext hebt in etwas wie
%Vor%Ich habe versucht, einige der ableitbaren Funktionen des normalen Funktors zu definieren, z. B.
%Vor%aber ich kann nichts schreiben, das Typen prüft ... Ich spiele nur, aber ich frage mich, ob jemand anderer diesen Weg gegangen ist, der schlauer ist als ich.
kann ein höherer Funktor in scala definiert werden? wenn nicht dann in haskell?
Nicht sicher, was Ihre Ziele sind, aber diese Typchecks
%Vor%(Ich habe den Z-Parameter hinzugefügt, weil ich Existenzen vermeiden wollte und ich musste den "type lambda" -Track verwenden)
Möchten Sie eine Karte für einen "Funktor eines Funktors" definieren? Ich denke, ich habe etwas Ähnliches gemacht (hier Komposition genannt):
%Vor%Ich spielte mit Funktoren in scala-reggen , aber ich glaube nicht, dass ich der Klügste bin, da ich es hauptsächlich durch Herumfummeln (und Überprüfen von Scalaz nach Inspiration) gemacht habe
Tags und Links scala haskell category-theory