kohvis
Kohvis is a fictional programming language created to illustrate concepts of concurrency and dataflow programming in educational contexts. The project emphasizes readability, safety, and portability, aiming to give learners and researchers a concrete environment to experiment with parallelism without the complexities of low-level threading.
Design goals include a clean, approachable syntax, static typing with type inference, and a small, well-defined
Execution and concurrency: Kohvis uses an actor-style model. Lightweight processes communicate by asynchronous message passing. The
Syntax and semantics: Kohvis features indentation-based syntax with elements reminiscent of ML-inspired languages and Kotlin-like readability.
Tooling and ecosystem: A reference compiler and interactive interpreter are provided, along with a standard library
History and reception: Kohvis was developed by an international open-source community beginning in 2018, with the