Types
<- Return to all blogs
-
Run-Time Type Checking in TypeScript with io-ts
In this post, we’ll be using some advanced TypeScript libraries to help us stay type-safe even in the face of unknown inputs. In order to get the most from this post, I recommend having a basic understanding of TypeScript.
-
Run-Time Type Checking in TypeScript with io-ts
In this post, we’ll be using some advanced TypeScript libraries to help us stay type-safe even in the face of unknown inputs. In order to get the most from this post, I recommend having a basic understanding of TypeScript.
-
Notifications over Websockets with Http4s and Skunk
In an attempt to avoid relying on polling in a front-end application or third-party services, we attempt servicing asynchronous notifications over websockets using only PostgreSQL and Scala.
-
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.
