To aplikacja dla systemu Linux o nazwie Idris-dev, której najnowszą wersję można pobrać jako Release1.3.3sourcecode.tar.gz. Można ją uruchomić online na bezpłatnym hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom bezpłatnie aplikację Idris-dev z OnWorks.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
ZRZUTY EKRANU
Ad
Idris-dev
OPIS
Idris‑dev to wersja rozwojowa Idris 1, uniwersalnego języka programowania funkcyjnego z pełnymi typami zależnymi, przeznaczonego do pisania programów i dowodów bezpiecznych pod względem typów w samym języku. Kompiluje się do C i JavaScript (dla Node.js i przeglądarek) i obsługuje generowanie kodu za pomocą zastępczych back-endów.
Funkcjonalności
- Pełne typy zależne umożliwiające pojawianie się wartości w typach
- Całkowite sprawdzenie w celu upewnienia się, że funkcje są kompletne i zakończone
- Generatory kodu dla C i JavaScript (przeglądarka i Node.js)
- Obsługuje zewnętrzne systemy zaplecza (np. JVM, CIL, LLVM) za pośrednictwem wkładu społeczności
- Silny rozwój zorientowany na typy, inspirowany asystentami dowodowymi, takimi jak Agda i Coq
- Aktywnie utrzymywane równolegle z rozwojem Idris 2
Język programowania
Haskell
Kategorie
Tę aplikację można również pobrać ze strony https://sourceforge.net/projects/idris-dev.mirror/. Została ona umieszczona w OnWorks, aby można ją było najłatwiej uruchomić online z poziomu jednego z naszych darmowych systemów operacyjnych.
