Sprache Cayenne
StartSeite | Neues | TestSeite | ForumSeite | Teilnehmer | Kategorien | Index | Hilfe | Einstellungen | Ändern
Veränderung (letzte Änderung)
(Autor, Normalansicht)
Hinzugefügt: 3a4,5
Wahlspruch: Dependent Types, Dependable Code
|
http://www.cs.chalmers.se/~augustss/cayenne/index.html
Experimentieller Ableger von SpracheHaskell um ein System mit "abhängigen Typen" (dependent types), gewissermaßen ein Typsystem "noch höherer Ordnung" (Cayenne -- HOTter than Haskell!).
Wahlspruch: Dependent Types, Dependable Code
StartSeite | Neues | TestSeite | ForumSeite | Teilnehmer | Kategorien | Index | Hilfe | Einstellungen | Ändern
Text dieser Seite ändern (zuletzt geändert: 10. September 2005 21:31 (diff))