FreeBSD.software
Home/lang/hs-koka

hs-koka

3.2.2_1

Koka: strongly typed functional-style language with effect inference

Koka is a strongly typed functional-style language with effect types and handlers. Koka v2 is a research language that is currently under development and not ready for production use. Nevertheless, the language is stable and the compiler implements the full specification. The main things lacking at the moment are libraries, package management, and deep IDE integration.

Origin: lang/hs-koka
Category: lang
Size: 79.2MiB
License: APACHE20
Maintainer: yuri@FreeBSD.org
Dependencies: 2 packages
Required by: 0 packages
Website: koka-lang.github.io/koka/doc/index.html
$pkg install hs-koka

Dependencies (2)

libffigmp

More in lang

perl55.42.0_1
Practical Extraction and Report Language
python3113.11.15
Interpreted object-oriented programming language
ruby3.3.10,1
Object-oriented interpreted scripting language
php848.4.16
PHP Scripting Language (8.4.X branch)
gcc1414.2.0_4
GNU Compiler Collection 14
php828.2.30
PHP Scripting Language (8.2.X branch)
php838.3.29
PHP Scripting Language (8.3.X branch)
php858.5.1
PHP Scripting Language (8.5.X branch)
tcl868.6.17
Tool Command Language
p5-Try-Tiny0.32
Minimal try/catch with proper localization of $@