19Hitze
3Antwort
Ist es möglich zu erzwingen, dass ein Record einige Invarianten respektiert?
0Hitze
1Antwort
Gibt es Bibliotheken für verfeinerte Typen in PHP?
13Hitze
2Antwort
Verfeinerte und existentielle Typen für Laufzeitwerte
1Hitze
1Antwort
Verwendung einer Monade zur impliziten Überprüfung der Verfeinerungsart Wohlgeformtheit