This HTML5 document contains 116 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
n12https://flix.dev/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n9http://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Flix_(programming_language)
rdf:type
wikidata:Q9143 dbo:Language wikidata:Q315 owl:Thing schema:Language dbo:ProgrammingLanguage
rdfs:label
Flix (programming language)
rdfs:comment
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.
dbp:wikiPageUsesTemplate
dbt:Excessive_detail dbt:Refimprove dbt:Infobox_programming_language dbt:Reflist dbt:Multiple_issues dbt:Primary_sources dbt:About
foaf:homepage
n12:
dct:subject
dbc:Functional_languages dbc:Logic_programming_languages dbc:Procedural_programming_languages dbc:High-level_programming_languages
foaf:name
Flix
prov:wasDerivedFrom
n9:Flix_(programming_language)?oldid=1025769944&ns=0
dbo:wikiPageID
65082743
dbo:wikiPageLength
29070
dbo:wikiPageRevisionID
1025769944
dbo:wikiPageWikiLink
dbr:Domain-specific_language dbr:Reserved_word dbr:Horn_clause dbc:High-level_programming_languages dbr:Algebraic_data_type dbr:Open_source dbr:Language_Server_Protocol dbr:Go_(programming_language) dbc:Procedural_programming_languages dbr:Type_system dbr:Recursion dbr:Tail_call dbr:Row_polymorphism dbr:Microsoft dbr:Logical_conjunction dbr:Haskell_(programming_language) dbr:Stratification_(mathematics) dbr:Cycle_detection dbr:Programming_paradigm dbr:Extensible_records dbr:Independent_Research_Fund_Denmark dbr:Communicating_sequential_processes dbr:Compiler dbr:Interprocedural_optimization dbr:Pattern_matching dbr:Datalog dbr:Referential_transparency dbr:Scala_(programming_language) dbr:Java_virtual_machine dbr:Function_composition_(computer_science) dbr:Uniform_Function_Call_Syntax dbr:Type_inference dbr:Programming_language dbr:Java_(programming_language) dbr:Visual_Studio_Code dbr:Purely_functional_programming dbr:Apache_License dbr:Null_pointer dbr:Integrated_development_environment dbr:Option_type dbr:Value_type_and_reference_type dbr:Functional_programming dbr:Fact dbr:Effect_polymorphism dbr:Type_conversion dbr:Closed-world_assumption dbr:Strong_and_weak_typing dbr:List_of_Java_bytecode_instructions dbr:Expression-oriented_programming_language dbr:Bracket dbr:Variable_shadowing dbr:Structural_type_system dbr:Tree_shaking dbr:Precedence_graph_(Datalog) dbr:Transitive_closure dbr:F_Sharp_(programming_language) dbr:Unreachable_code dbr:GitHub dbr:Aarhus_University dbr:First-class_citizen dbr:OCaml dbr:Parametric_polymorphism dbr:Metaprogramming dbr:Logic_programming dbr:Lattice_(order) dbr:Record_(computer_science) dbr:Hindley–Milner_type_system dbr:Reflective_programming dbr:Higher-order_function dbr:Currying dbr:Java_bytecode dbc:Functional_languages dbr:Unification_(computer_science) dbr:%22Hello,_World!%22_program dbc:Logic_programming_languages dbr:Standard_ML dbr:Minimal_model_program dbr:Open-source_software dbr:Imperative_programming dbr:Leaky_abstraction dbr:Monomorphization
dbo:developer
dbr:Aarhus_University
dbo:influencedBy
dbr:F_Sharp_(programming_language) dbr:OCaml dbr:Scala_(programming_language) dbr:Haskell_(programming_language) dbr:Go_(programming_language)
dbo:license
dbr:Apache_License
foaf:page
n12:
dbo:abstract
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. The Flix type and effect system supports Hindley-Milner-style type inference. The system separates pure and impure code: if an expression is typed as pure then it cannot produce an effect at run-time. Higher-order functions can enforce that they are given pure (or impure) function arguments. The type and effect system supports which means that the effect of a higher-order function may depend on the effect(s) of its argument(s). Flix supports Datalog programs as first-class values. A Datalog program value, i.e. a collection of Datalog facts and rules, can be passed to and returned from functions, stored in data structures, and composed with other Datalog program values. The minimal model of a Datalog program value can be computed and is itself a Datalog program value. In this way, Flix can be viewed as a meta programming language for Datalog. Flix supports stratified negation and the Flix compiler ensures stratification at compile-time. Flix also supports an enriched form of Datalog constraints where predicates are given lattice semantics.
foaf:isPrimaryTopicOf
n9:Flix_(programming_language)