Roadmap

2022-06-25

Most features on the tour page are currently implemented to varying degrees. Below is a rough list of features being worked on.

Near Future

  • Language Server: Better support for struct members and methods
  • Inserting drop automatically after a variable’s last use
  • Default handlers for Panic, Print, and some other effects in main
  • Renaming of the Fs, Net primitive effects
  • Compiler option to write inferred types into the file
  • Formatter
  • Rework or removal of ~> operator for effect handling

Futurer

The following features are unimplemented but are not my top priority to implement in the near future.

  • Design & impl of a comptime system enough to write your own derives but also cached by the compiler’s incremental metadata
  • Char is 1 byte rather than 4 currently. There is an open design question of whether Ante should use Rust’s model for chars (4 bytes), Swift’s model (variable bytes), or something else.
  • Bit shift functions
  • Pattern guards such as | pattern if expr -> ...
  • Performance guarantees on for_ to be as fast as the native for loop
  • A check to ensure only pure implicit functions can be called implicitly
  • Row-polymorphic struct types
  • Cranelift backend
  • Language Server: Fill in match arms action
  • Proper unwinding when resume is dropped
  • Modules: as name, re-exports, import implicit
  • Marker type on each trait impl
  • Rework of closure types