binarycat

blog about programming and general tech stuff

a system that elegantly provides the security benefits of an effect system and ocaps, while also being convenient to use.

Read more...