---
key: pl/flix
kind: plang
name: "Flix"
url: https://plangs.page/flix
---

# Flix

> Functional, imperative, and logic language focusing on type and effect systems.

Versatile programming language blending functional, imperative, and logic paradigms, developed at Aarhus University with community contributions. It stands out for its type and effect system alongside support for first-class Datalog constraints.

## Facts

- Appeared: 2015
- Homepage: https://flix.dev/
- GitHub: https://github.com/flix/flix

## Relationships

### Paradigms

- [Functional](https://plangs.page/paradigm/functional)
- [General-Purpose](https://plangs.page/paradigm/general-purpose)
- [Imperative](https://plangs.page/paradigm/imperative)
- [Logic](https://plangs.page/paradigm/logic)
- [Multi](https://plangs.page/paradigm/multi)

### Platforms

- [Cross-Platform](https://plangs.page/platform/cross)
- [Java](https://plangs.page/platform/java)

### Type Systems

- [Algebraic Data Types](https://plangs.page/type-system/algebraic)
- [Inferred](https://plangs.page/type-system/inferred)
- [Static](https://plangs.page/type-system/static)
- [Strong](https://plangs.page/type-system/strong)
- [Structural](https://plangs.page/type-system/structural)

### Influenced By

- [F#](https://plangs.page/f-sharp)
- [Go](https://plangs.page/go)
- [Haskell](https://plangs.page/haskell)
- [OCaml](https://plangs.page/ocaml)
- [Scala](https://plangs.page/scala)

### Written With

- [Java](https://plangs.page/java)

### Licenses

- [Apache 2.0](https://plangs.page/license/apache)

### Tags

- [Compiler](https://plangs.page/tag/compiler)
- [Interpreter](https://plangs.page/tag/interpreters)