Uniqueness Types, Embedded Squeak, and Bootstrapping Forth
Things that have caught my eye and triggered my neurons this morning:
- Uniqueness Types - An elegant way to allow destructive semantics in a pure functional manner without the nastiness of monads
- Squeak on a Cell Phone - I am going to have to take a close look the Squeak VM. Related VMs I should also consider are the Slate VM and the Strongtalk VM.
- Bootstrapping Forth - I am going to have to look into bootstrapping Cat in a similar manner. It will help reveal cracks in the language, and the geek factor is pretty high as well.