1 unstable release

new 0.1.0 Mar 23, 2025

#1 in #kast


Used in kast

MIT license

65KB
2K SLoC

Kast

An experimental programming language

NOT READY YET

But you can download current builds from GitHub Actions

See more on the website

Todo

  • Document current state
  • Mark builtin fns with contexts (e.g. print should require io)
  • let assert pattern
  • Lists
  • Better error reporting (stack traces / reasons why syntax is not parsed)
  • Ir as value so we can write compiler (glsl)
  • Traits (partially done, works for concrete types only)
  • Delimited continuations
  • Effect system (half done, have contexts)
  • More examples
  • Borrow checker
  • Tests

Look into:

  • rankNtypes (check)
  • user-defined rewrite rules
  • GADT
  • differentiable
  • software transational memory
  • dependent types
  • refinement types
  • oncapture callback for closures?

Dependencies

~1.5–2.3MB
~45K SLoC