Flix (programming language)
Flix is a functional, imperative, and logic programming language developed at Aarhus University, with funding from the Independent Research Fund Denmark, and by a community of open source contributors. The Flix language supports algebraic data types, pattern matching, parametric polymorphism, currying, higher-order functions, , channel and process-based concurrency, and tail call elimination. Two notable features of Flix are its type and effect system and its support for first-class Datalog constraints.
Wikipage disambiguates
Link from a Wikipage to another Wikipage
primaryTopic
Flix (programming language)
Flix is a functional, imperative, and logic programming language developed at Aarhus University, with funding from the Independent Research Fund Denmark, and by a community of open source contributors. The Flix language supports algebraic data types, pattern matching, parametric polymorphism, currying, higher-order functions, , channel and process-based concurrency, and tail call elimination. Two notable features of Flix are its type and effect system and its support for first-class Datalog constraints.
has abstract
Flix is a functional, imperati ...... s are given lattice semantics.
@en
influenced by
license
Link from a Wikipage to an external page
Wikipage page ID
65.082.743
page length (characters) of wiki page
Wikipage revision ID
1.025.769.944
Link from a Wikipage to another Wikipage
developer
Aarhus University, open-source contributors
@en
file ext
.flix
@en
influenced by
license
name
Flix
@en
platform
website
wikiPageUsesTemplate
subject
comment
Flix is a functional, imperati ...... rst-class Datalog constraints.
@en
label
Flix (programming language)
@en
sameAs
wasDerivedFrom
homepage
isPrimaryTopicOf
name
Flix
@en