Tried to write an article about it, but while we wait for it, here is a summary:
* Finish the "incremental recompilation" implementation. * Make 'not nil' the default. Use warnings as a transition period. * Use a new GC that supports a shared heap and is optimized for `async` code. (See my "araqsgc" project.) * Make 'openArray' more flexible, 'openArray' can be part of objects. Expand the existing borrowing rule to ensure safety. * Introduce `.invariant`, `.requires`, `.ensures` pragmas that are ignored by Nim, but used by a new verification tool that uses the Z3 proof engine.
