30
Sep
Type Guarantees, Part 1
In many typed languages the type system is a powerful system, which can be used for more things than you may be aware. In this series I want to showcase some simple examples.
Programming software technology.
