 | 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: 20716
Version datasets: 149389
DBApp v1.06
Copyright © demon
|
|
| Programm-Informationen |
| Applikation: | Idris |
| Version(en): | | Hauptzweig | 0.12 | | Lizenz: | BSD-Lizenz (Dreiklausel) |
| Homepage: | http://www.idris-lang.org/ |
| Kategorie: | Konsole |
| Beschreibung: |
| 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. |
| |
| Weitere Informationen |
| Programmiersprache: | Keine Angaben |
| Betriebsysteme: | |
| Zielgruppe: | |
| |
Neue Version melden
Neue Homepage melden
Neue Beschreibung
Lizenzänderung
Kategorie-Änderung
"Weitere Informationen" ändern
Weitere Anmerkungen
|
|
|
RSS/Feeds