VIRT language interpreter

Opis

VIRT jest imperatywnym, obiektowym językiem programowania, który został specjalnie opracowany do rozwiązywania problemów AI. Główną cechą VIRT jest nowa technologia przetwarzania dynamicznych struktur danych, która nie wykorzystuje pojęć typu „wskaźnik” i „adres”. VIRT posiada elastyczne struktury kontrolne i obsługuje takie koncepcje, jak rekurencja, corutines, leniwe oceny, wyjątki. Nadaje się dobrze do dowodzenia twierdzeń, różnicowania symbolicznego, pisania interpretera, algorytmów nawrotowych. Jednocześnie jednak VIRT doskonale nadaje się do programowania tradycyjnych zadań, na przykład metod numerycznych. Dlatego zapewnia niepodzielne środowisko językowe do integracji różnych dziedzin danych. W szczególności może być używany jako potężny język skryptowy.