Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Type system of Anemone functional language

Batko Paweł, Kuta Marcin

Annals of Computer Science and Information Systems

2022

Vol. 32

131--138

Anemone is a functional language, which provides an actor system as its model of concurrency.This paper describes type system of the Anemone language. Type system is the strong point of Anemone. In comparison to a dynamic type system, the static type system of Anemone guarantees more exact error detection. The full type inference disposes the programmer from explicit specification of type labels. As the type system of Anemone is polymorphic, code conciseness, rich data structures and pattern matching are provided in Anemone.