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.
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.
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.