koka ☆
« Back to VersTracker
Description:
Compiler for the Koka language
Type: Formula  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: functional-programming compiler effects types language
Install: brew install koka
About:
Koka is a functional language that emphasizes compositional programming with effect handlers. It offers strong type inference and a unique algebraic effect system for managing side effects. The compiler targets C and JavaScript for efficient execution.
Key Features:
  • Algebraic effect handlers for composable side effects
  • Strong, full type inference
  • Functional programming with algebraic data types
  • Compiles to efficient C and JavaScript
Use Cases:
  • Researching effect-based programming models
  • Building functional applications with managed side effects
  • Learning advanced type systems and functional paradigms
Alternatives:
  • Haskell – Koka uses effect handlers instead of monads for side effects
  • OCaml – Koka focuses on effect systems and has a different type inference approach
Version History
Detected Version Rev Change Commit
Sep 13, 2025 9:43am 0 VERSION_BUMP 11c2e17a
Jan 5, 2025 9:27pm 0 VERSION_BUMP 42de07ed
Sep 14, 2024 12:05pm 0 VERSION_BUMP 0028159f
Dec 11, 2022 3:00pm 0 VERSION_BUMP 5dde3eb4
« Back to VersTracker  |  Browse Packages  |  About