To jest aplikacja dla systemu Linux o nazwie koka, której najnowszą wersję można pobrać jako v2.4.0.zip. Można go uruchomić online w darmowym dostawcy usług hostingowych OnWorks dla stacji roboczych.
Pobierz i uruchom online tę aplikację o nazwie koka z OnWorks za darmo.
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
Koka
OPIS
Koka to silnie typowany język funkcjonalny z typami efektów i procedurami obsługi. Rdzeń Koka składa się z małego zestawu dobrze przestudiowanych funkcji języka, takich jak funkcje pierwszej klasy, polimorficzny system typów i efektów, algebraiczne typy danych i procedury obsługi efektów. Każdy z nich można komponować i unikać dodawania „specjalnych” rozszerzeń, będąc tak ogólnymi, jak to tylko możliwe. Koka śledzi (uboczne) efekty każdej funkcji w swoim typie, gdzie rozróżnia się czyste i efektywne obliczenia. Precyzyjne wpisywanie efektów zapewnia Koce solidną semantykę popartą dobrze zbadaną teorią kategorii, co sprawia, że Koka jest szczególnie łatwy do zrozumienia zarówno dla ludzi, jak i kompilatorów. Moduły obsługi efektów umożliwiają definiowanie zaawansowanych abstrakcji sterowania, takich jak wyjątki, asynchronizacja/oczekiwanie lub programy probabilistyczne, jako biblioteka użytkownika w sposób wpisany i komponowalny. Perceus to zaawansowana metoda kompilacji służąca do liczenia referencji.
Zakładka Charakterystyka
- Zainstaluj Koka i skompiluj swoje pierwsze programy
- Rdzeń Koka składa się z małego zestawu dobrze zbadanych funkcji językowych
- Koka to silnie typowany język funkcjonalny z typami efektów i procedurami obsługi
- Kompilator i tłumacz języka
- Perceus to zaawansowana metoda kompilacji służąca do liczenia referencji
- Koka śledzi (uboczne) efekty każdej funkcji w swoim typie
Język programowania
Haskell
Kategorie
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/koka.mirror/. Został umieszczony w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.
