Author: Peter Caisse

  • Modeling State with TypeScript

    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.

  • Modeling State with TypeScript

    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

    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.