Alice jest funkcjonalny język programowania oparty na Standard ML, rozszerzona o wsparcie dla jednoczesnej bogatej, dystrybucja i więzów programowania.
Oto kilka kluczowych cech "Alice ML":
ย ท Futures: lenistwo i lekki współbieżności z synchronizacji przepływu danych
ย ท modułów wyższego rzędu: funktory wyższego rzędu i abstrakcyjne podpisów
ย ท Pakiety: integracji statyczne z dynamicznym pisania pierwszej klasy i moduły
ย ท Trawienie: Typ wyższego rzędu bezpieczny, rodzajowe i niezależny od platformy wytrwałość
ย ท Składniki: Niezależność od platformy i bezpieczne typu dynamicznego ładowania modułów
ย ท Dystrybucja: bezpieczne typu wieloplatformowych funkcje mobilności i sieci zdalnych
ย ท Ograniczenia: rozwiązywanie problemów za pomocą propagacji combinatorical ograniczenia i programowalny wyszukiwanie
Alice jest bogaty system System programowania open-source wyposażone są następujące narzędzia:
ย ท Maszyna wirtualna: przenośne VM z obsługą just-in-time kompilacji
ย ท System Interactive: tłumacz-jak interaktywne najwyższy stopień
ย ท Batch kompilator: oddzielna kompilacja
ย ท Static łącznik: bezpieczne łączenie typu elementów
ย ท Inspektor: narzędzie interaktywne inspekcji struktur danych
ย ท Explorer: narzędzie do wyszukiwania problemów interaktywnie bada
ย ท GTK +: wiążące dla biblioteki GUI toolkit Gnome
ย ท SQL: Biblioteka dostępu do baz danych SQL
ย ท XML: prosta biblioteka do parsowania dokumentów XML
Co nowego w tym wydaniu:
ย ท Alice obejmuje obecnie niektóre z proponowanych rozszerzeń Następca ML.
ย ท kodu bajtowego jitter jest teraz domyślnym wykonanie urządzenia.
ย ท Dokumentacja zawiera samouczek programowania ograniczenie, a teraz korzysta z biblioteki ograniczenie aktualnej stabilnej wersji Gecode.
Komentarze nie znaleziono