undefined | Better HN

0 pointsanfelor2y ago0 comments

These are two different languages, see https://effekt-lang.org/ and https://koka-lang.github.io/koka/doc/index.html -- although I believe that the FP^2 work mentioned by OP currently only works in Koka (and perhaps soon in Lean; https://leanprover.github.io/)

0 comments

di4na2y ago

Indeed.

That said i am slowly writing my own language that will probably use ideas from both :D

j / k navigate · click thread line to collapse

0 pointsanfelor2y ago0 comments

These are two different languages, see https://effekt-lang.org/ and https://koka-lang.github.io/koka/doc/index.html -- although I believe that the FP^2 work mentioned by OP currently only works in Koka (and perhaps soon in Lean; https://leanprover.github.io/)

di4na2y ago

Indeed.

That said i am slowly writing my own language that will probably use ideas from both :D

j / k navigate · click thread line to collapse