| Juni 2020 | |
So |
Mo |
Di |
Mi |
Do |
Fr |
Sa |
| 1 | 2 | 3 | 4 | 5 | 6 |
7 | 8 | 9 | 10 | 11 | 12 | 13 |
14 | 15 | 16 | 17 | 18 | 19 | 20 |
21 | 22 | 23 | 24 | 25 | 26 | 27 |
28 | 29 | 30 | | |
Application datasets: 20712
Version datasets: 149317
DBApp v1.06
Copyright © demon
|
|
|
Idris
Idris ist eine funktionale Programmiersprache mit abhängigen Typen, deren Werte durch ein ausdrucksstarkes Typsystem begrenzt und auf bestimmte Muster beschränkt sind, um Logikfehler zu vermeiden. Sie ist eine Allzweck-Programmiersprache, unterstützt aber auch interaktives Beweisen von Sätzen und ist ausreichend schnell durch die Compilierung mit LLVM. Sie besitzt Monaden, Typklassen, Einschließungen, Lambda-Bindungen, where- und with-Klauseln, Ausdrücke in case-Anweisungen, eine auf Einrückungen beruhende und erweiterbare Syntax, Listen, Tupel und Paare und kommt mit einem REPL in der Art von Hugs. (non)
|
Homepage: |
http://www.idris-lang.org/ |
Rating: |
|
Lizenz: |
BSD-Lizenz (Dreiklausel) |
Kategorie: |
Konsole |
Download: http://www.idris-lang.org/download/
|
.: Hauptzweig |
2016-03-26 | 0.12 | Kleinere neue Funktionen |
2016-01-31 | 0.11 | Kleinere neue Funktionen |
2016-01-28 | 0.10.1 | Kleinere neue Funktionen |
2016-01-20 | 0.10 | Kleinere neue Funktionen |
2015-12-19 | 0.9.21 | Dokumentationsaktualisierung |
2015-09-02 | 0.9.20 | Dokumentationsaktualisierung |
2015-03-23 | 0.9.18 | Kleinere neue Funktionen |
2015-02-12 | 0.9.17 | Kleinere neue Funktionen |
2014-11-29 | 0.9.16 | Kleinere neue Funktionen |
2014-10-29 | 0.9.15 | Kleinere neue Funktionen | mehr... |
|
|
Angaben ändern
Neue Version melden
|
|
|