16Hitze
1Antwort
Wie stellen funktionale Sprachen algebraische Datentypen im Speicher dar?
5Hitze
1Antwort
Wohin ging defadt in neuen clojure contrib?
12Hitze
1Antwort
Eine Liste, deren "Nil" einen Wert enthält?
6Hitze
2Antwort
8Hitze
4Antwort
Wie emulieren Sie ADTs und Mustererkennung in TypeScript?
13Hitze
1Antwort
Wie formulieren Sie n-artige Produkt- und Summentypen in diesem typisierten Lambda-Kalkül-Universum?
23Hitze
2Antwort
Kotlin und diskriminierte Vereinigungen (Summenarten)
7Hitze
2Antwort
Was ist mit John Hughes "Foldtree" bin ich Missverständnis?
9Hitze
1Antwort
Gleichheitsprüfung ohne expliziten Beweis, dass Datenkonstruktoren injektiv sind
9Hitze
3Antwort
Anonym Satzart innerhalb Vereinigung diskriminiert