Jon Purdy
Jon Purdy
The C backend currently uses naïve reference counting. This works reasonably well, because Kitten is cycle-free. However, there are many dynamic checks for uniqueness in order to enable local mutation....
There aren’t many operators defined in the common vocabulary yet, so we still have the chance to figure out the ergonomics of custom operators. Instead of the current 0–9 precedence...
I’m planning on doing a release sometime this year, probably around Christmas. There have been some suggestions for language features and syntax changes that may be desirable, but might have...
Just getting down some thoughts on standard metadata keys in `about` blocks. Currently, metadata keys used by the compiler are mixed with user-defined keys, which could be problematic if the...
We need to be able to generate docs from the `docs` key in `about` blocks, particularly to produce docs for the common vocab on the website. I’m guessing we’ll go...
We need a mode that accepts a source file and just performs syntax highlighting. Based on #177 it should recover from lexical errors as much as possible so that all...
Currently, `do (f) { x }` is desugared to `{ x } f`, that is, it lets you use a combinator like a flow control construct: ``` xs do (each):...
Permission elision generated too many implicit permission type variables. This has a couple of hackish workarounds that need to be removed before it lands, because `with` terms are desugared too...
Sketching out how this all ought to work. Currently I have: * A load of intrinsics * `widen_cast` for widening conversions * `narrow_cast` for narrowing conversions (returns `Optional`) * `signed_cast`...
As a simple extension to the current pattern matching facility, I’d like to allow `match` on literals, since they’re essentially the “constructors” of intrinsic types: ``` define fib (UInt32 ->...