lang/hs-koka 3.2.3 FreeBSD

Koka: strongly typed functional-style language with effect inference

System: FreeBSD
Repository: FreeBSD ports
Maintainer: [email protected]
License: APACHE20
Categories: lang, haskell
Package size: 11763.1 KiB, 81832.4 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

System

Port

Version

FreeBSD

lang/hs-koka

3.2.3

DragonFly

lang/hs-koka

3.1.2

HardenedBSD

lang/hs-koka

3.2.3

GhostBSD

lang/hs-koka

3.2.3

Install

Binary package:

pkg install hs-koka

From the ports tree:

cd /usr/ports/lang/hs-koka/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	hs-koka>0:lang/hs-koka

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository	aarch64	amd64	armv6	armv7	i386
FreeBSD:14:latest	3.2.3	3.2.3	-	-	-
FreeBSD:14:quarterly	3.2.3	3.2.3	n/a	-	-
FreeBSD:15:latest	3.2.3	3.2.3	n/a	-	-
FreeBSD:15:quarterly	3.2.3	3.2.3	n/a	n/a	n/a
FreeBSD:16:latest	3.2.3	3.2.3	n/a	n/a	n/a
FreeBSD:16:quarterly	n/a	n/a	n/a	n/a	n/a

Dependencies

The Makefile names none itself; they come from USES and USE_*.

The full lists below include those, and their dependencies in turn.

Build dependencies 6

Run dependencies 3

No port depends on this one.

Configuration

No options to configure.

USES: cabal
Service scripts: none

Files

pkg-plist 762

libexec/cabal/share/koka/%%VER%%/kklib/CMakeLists.txt
libexec/cabal/share/hs-koka/%%VER%%/kklib/include/kklib/lazy.h
libexec/cabal/share/hs-koka/%%VER%%/kklib/src/lazy.c
libexec/cabal/share/hs-koka/%%VER%%/lib/std/core/lazy.kk
libexec/cabal/share/hs-koka/%%VER%%/lib/std/core/maybe2.kk
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib-test-effbayes.vcxproj
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib-test-effbayes.vcxproj.filters
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib-test-effbayes.vcxproj.user
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib-test-interactive.vcxproj
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib-test-interactive.vcxproj.filters
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib-test-interactive.vcxproj.interactive
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib-test-interactive.vcxproj.user
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib-test.vcxproj
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib-test.vcxproj.filters
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib-test.vcxproj.user
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib.natvis
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib.sln
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib.vcxproj
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib.vcxproj.filters
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2019/kklib.vcxproj.user
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2022/kklib-test-effbayes.vcxproj
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2022/kklib-test-effbayes.vcxproj.filters
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2022/kklib-test-interactive.vcxproj
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2022/kklib-test-interactive.vcxproj.filters
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2022/kklib-test.vcxproj
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2022/kklib-test.vcxproj.filters
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2022/kklib.natvis
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2022/kklib.sln
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2022/kklib.vcxproj
libexec/cabal/share/koka/%%VER%%/kklib/ide/vs2022/kklib.vcxproj.filters
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/atomic.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/bits.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/box.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/bytes.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/integer.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/maybe.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/os.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/platform.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/process.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/random.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/ref.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/string.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/thread.h
libexec/cabal/share/koka/%%VER%%/kklib/include/kklib/vector.h
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/.gitattributes
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/.gitignore
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/CMakeLists.txt
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/LICENSE
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/azure-pipelines.yml
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/bin/mimalloc-redirect.dll
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/bin/mimalloc-redirect.lib
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/bin/mimalloc-redirect32.dll
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/bin/mimalloc-redirect32.lib
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/bin/minject.exe
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/bin/minject32.exe
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/bin/readme.md
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/cmake/JoinPaths.cmake
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/cmake/mimalloc-config-version.cmake
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/cmake/mimalloc-config.cmake
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-c5-18xlarge-2020-01-20-a.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-c5-18xlarge-2020-01-20-b.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-c5-18xlarge-2020-01-20-rss-a.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-c5-18xlarge-2020-01-20-rss-b.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-r5a-1.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-r5a-12xlarge-2020-01-16-a.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-r5a-12xlarge-2020-01-16-b.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-r5a-2.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-r5a-rss-1.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-r5a-rss-2.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-spec-rss.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-spec.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-z4-1.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-z4-2.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-z4-rss-1.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2020/bench-z4-rss-2.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2021/bench-amd5950x-2021-01-30-a.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2021/bench-amd5950x-2021-01-30-b.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2021/bench-c5-18xlarge-2021-01-30-a.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2021/bench-c5-18xlarge-2021-01-30-b.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2021/bench-c5-18xlarge-2021-01-30-rss-a.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2021/bench-c5-18xlarge-2021-01-30-rss-b.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/bench-2021/bench-macmini-2021-01-30.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/doxyfile
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/ds-logo.jpg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/ds-logo.png
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/mimalloc-doc.h
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/mimalloc-doxygen.css
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/mimalloc-logo-100.png
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/mimalloc-logo.png
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/mimalloc-logo.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/spades-logo.png
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/doc/unreal-logo.svg
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/docs/annotated.html
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/docs/annotated_dup.js
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/docs/bc_s.png
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/docs/bdwn.png
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/docs/bench.html
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/docs/build.html
libexec/cabal/share/koka/%%VER%%/kklib/mimalloc/docs/classes.html

The first 100 are listed.

distinfo 148

File

Size

SHA256

cabal/Diff-1.0.2/Diff-1.0.2.tar.gz

10936

cd7e26d3d5ebf7f2c1a7525aebe251fbcbffee2a6362db634b4be23b9e354d85

cabal/FloatingHex-0.5/FloatingHex-0.5.tar.gz

4960

a3a37a0f373a09a1261954b737959a7129b79e3e8f775b981bbe4abb85016830

cabal/OneTuple-0.4.2.1/OneTuple-0.4.2.1.tar.gz

5210

c504132551e9c8f5afe6c8c8d5bf1ed208f4da98b0cb4af59400bd9bd836e03e

cabal/QuickCheck-2.18.0.0/QuickCheck-2.18.0.0.tar.gz

90712

fd8462ad3b1c3bb90465ec581356cf5214673c1015d73f28f2e7a3df179bbc55

cabal/SHA-1.6.4.4/SHA-1.6.4.4.tar.gz

2.715144e+06

6bd950df6b11a3998bb1452d875d2da043ee43385459afc5f16d471d25178b44

cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz

5048

5e4b39da395656a59827b0280508aafdc70335798b50e5d6fd52596026251825

cabal/adjunctions-4.4.4/adjunctions-4.4.4.tar.gz

16778

21408d9bd3c74331b557ce86281e592f56466e19d2a7e3f37e4065203a663145

cabal/aeson-2.2.4.1/aeson-2.2.4.1.tar.gz

341210

4071f1aa7cf4fbe6c8887d24ed2fbd57b2744114994b035616ce620b7c02fa60

cabal/alex-3.5.4.2/alex-3.5.4.2.tar.gz

94432

df481dc960e2c59a30395f7335031fd4ef8773b8a42894a4f2320e00ff474418

cabal/ansi-terminal-1.1.5/ansi-terminal-1.1.5.tar.gz

33344

9cf083cef2e2ba88a425f132c8a82bfa931eb4b0c38232b2017f8fcea2e23073

cabal/ansi-terminal-types-1.1.3/ansi-terminal-types-1.1.3.tar.gz

8791

9fc9ce2157f1889bd99a4d22c9f1c64589590be0f797c3efe71c8fa17a11a689

cabal/assoc-1.1.1/assoc-1.1.1.tar.gz

3158

231149b7fef09f5dd95af51228615e3b296dbd0faadeca053e0644a4b13b0ff6

cabal/assoc-1.1.1/revision/2.cabal

1437

766b1040eda5255bfcf10e1a9859c06d0ed6ad0e2ac87ed915bb035574d10ae4

cabal/async-2.2.6/async-2.2.6.tar.gz

18996

148571bc188003101241da6c49131d07324e63a88ed283a84def2e9694599619

cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz

160701

3f337fe58624565de12426f607c23e60c7b09c86b4e3adfc827ca188c9979e6c

cabal/attoparsec-0.14.4/revision/6.cabal

5914

35129d0ab1741f000f1a7d2fc839544919ee6fbb8f2d6e7f0a629c41f91035f3

cabal/base-compat-0.15.0/base-compat-0.15.0.tar.gz

32422

59aa49d7779a20a808924690583653c2bdfb0e54b5162df80df5a81632824531

cabal/base-orphans-0.9.4/base-orphans-0.9.4.tar.gz

19999

08cc283a31350f7bd28b2a5d31af693ee337f2593d3e7222999b72dd4954c72b

cabal/base64-bytestring-1.2.1.0/base64-bytestring-1.2.1.0.tar.gz

13743

fbf8ed30edde271eb605352021431d8f1b055f95a56af31fe2eacf6bdfdc49c9

cabal/base64-bytestring-1.2.1.0/revision/1.cabal

2502

45305ccf8914c66d385b518721472c7b8c858f1986945377f74f85c1e0d49803

Commit history 0

No commits in the history this site was built from.