Koka: Strongly typed functional-style language with effect types and handlers(koka-lang.github.io)187 points by nateb2022 2 years ago | 56 comments