Element 84, Inc. - Types

Types

Software Engineering
Alex Kaminsky
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.

Software Engineering
James Santucci
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.
Software Engineering
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.
Software Engineering
Peter Caisse
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.

Run-Time Type Checking in TypeScript with io-ts