Modeling State with TypeScript

By Peter Caisse on December 12th, 2019

Working with frontend state can be challenging. With TypeScript, thoughtfully constructed types can help prevent bugs by making bad states unrepresentable. Let's explore a common use case and examine how to do this effectively in TypeScript.

The Power of Types in Idris

By Peter Caisse on March 11th, 2019

Idris is a pure, statically-typed functional language with a powerful type system. Let's explore writing code in Idris using type-driven development and interactive editing.