BSD Portslang/hs-koka 3.1.2 DragonFly
Koka: strongly typed functional-style language with effect inference
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- APACHE20
- Categories
- haskell, lang
- Package size
- 10499.5 KiB, 77187.2 KiB installed
Description
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.
In the other systems
The newest version among them is 3.2.3, as upstream numbers it.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| DragonFly | lang/hs-koka | 3.1.2 | none known | - | [email protected] | - |
| FreeBSD | lang/hs-koka | 3.2.3 newest | none known | - | [email protected] | - |
| HardenedBSD | lang/hs-koka | 3.2.3 newest | no data | - | [email protected] | - |
| GhostBSD | lang/hs-koka | 3.2.3 newest | no data | - | [email protected] | - |
Install
Binary package:
pkg install hs-kokaFrom DPorts:
cd /usr/dports/lang/hs-koka && make install cleanDependency graph
Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.
Dependencies
Run dependencies 2
No port depends on this one.