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?