Category: JavaScript

Part 3 – Unions & Discriminated Unions

This is a series of posts I’m writing about using types as another tool in software development, Continuous Delivery, & keeping LLM’s honest. They’re also a design & refactoring tool, a communication tool, and reduce how many tests you have to write.

Parts:

1. Part 1 – Branded Types
2. Part 2 – Product Types
3. Part 3 – Union & Discriminated Unions
4. Part 4 – Non-Empty Collections
5. Part 5 – Indexed Types
6. Part 6 – unknown vs any
7. Part 7 – Result
8. Part 8 – Schema
9. Part 9 – Total Function
10. Part 10 – Errors as Values
11. Part 11 – Property Tests

Branded types allow us to differentiate between things & Product Types what things belong together. Unions/Discriminated Unions help us narrow things, identifying “what things are allowed?”

(more…)

Part 2 – Product Types

This is a series of posts I’m writing about using types as another tool in software development, Continuous Delivery, & keeping LLM’s honest. They’re also a design & refactoring tool, a communication tool, and reduce how many tests you have to write.

Parts:

1. Part 1 – Branded Types
2. Part 2 – Product Types
3. Part 3 – Union & Discriminated Unions
4. Part 4 – Non-Empty Collections
5. Part 5 – Indexed Types
6. Part 6 – unknown vs any
7. Part 7 – Result
8. Part 8 – Schema
9. Part 9 – Total Function
10. Part 10 – Errors as Values
11. Part 11 – Property Tests

Once we’ve identified “things that are separate” using Branded types, the next question we often ask is “what things belong together?”

(more…)

Part 1 – Branded Types

This is a series of posts I’m writing about using types as another tool in software development. Automated Tests & Builds are part of Continuous Delivery. As the use of LLM’s increases the amount of code, many of us are going full shields double-front to double down on best practices to handle the increased influx of code. Types aren’t often talked about as a way to help with your shift left process; e.g. speeding up automated quality checks locally. They’re also a design & refactoring tool, a communication tool, and reduce how many tests you have to write.

Parts:

1. Part 1 – Branded Types
2. Part 2 – Product Types
3. Part 3 – Union & Discriminated Unions
4. Part 4 – Non-Empty Collections
5. Part 5 – Indexed Types
6. Part 6 – unknown vs any
7. Part 7 – Result
8. Part 8 – Schema
9. Part 9 – Total Function
10. Part 10 – Errors as Values
11. Part 11 – Property Tests

Let’s talk about the 2 most basic problem using types: Naming Things & Primitive Obsession.

(more…)

A lot of use of LLM’s is around research & debugging. I write code by hand and occasionally let it auto-complete, but beyond that, most of the LLM work is re-learning some of the fundamentals, or asking it to help with compiler & pipeline errors. This got me thinking about what thought leaders in the industry shaped me over the years, and how the Internet’s distilled knowledge in these LLM’s is shaping the programmers of tomorrow.

(more…)