Szczegóły publikacji
Opis bibliograficzny
Type system of anemone functional language / Paweł BATKO, Marcin KUTA // W: FedCSIS 2022 [Dokument elektroniczny] : communication papers of the 17th conference on Computer Science and Intelligence Systems : September 4–7, 2022, Sofia, Bulgaria / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki, Dominik Ślęzak. — Wersja do Windows. — Dane tekstowe. — Warszawa : Polskie Towarzystwo Informatyczne, cop. 2022. — (Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 32). — Dod. ISBN: USB 978-83-965897-5-0. — e-ISBN: 978-83-965897-4-3. — S. 131–138. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://annals-csis.org/Volume_32/pliks/communication.pdf [2022-10-06]. — Bibliogr. s. 137–138, Abstr. — W części: 30th International Symposium on Concurrency, Specification and Programming
Autorzy (2)
Dane bibliometryczne
ID BaDAP | 143047 |
---|---|
Data dodania do BaDAP | 2022-10-28 |
DOI | 10.15439/2022F135 |
Rok publikacji | 2022 |
Typ publikacji | materiały konferencyjne (aut.) |
Otwarty dostęp | |
Konferencja | 2022 17th Conference on Computer Science and Intelligence Systems |
Czasopismo/seria | Annals of Computer Science and Information Systems |
Abstract
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.