Skip to content

Latest commit

 

History

History
36 lines (27 loc) · 843 Bytes

README.md

File metadata and controls

36 lines (27 loc) · 843 Bytes

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?