Iterating and creating a union = use a distributive conditional Iterating and creating an object/array = use a mapped type Use recursion if you can't use any of the above

Over encouraging abstraction, design patterns, oop and fp for learning developers was definitely a mistake. I don't ever remember being encouraged to write simple code

If a package solves a difficult problem then I use it. I don't pull in packages because it reduces boilerplate of simple code most understand

Mutation can make your types lie

I still think those repulsed by advanced TS just haven't done it enough. It's a small and quirky functional language. The great thing is there aren't any side effects you have to worry about

If you want a compiler to be fast. You can't assume the compiler optimises everything that you do.

Intersections over Extract for narrowing unions?

Type level code is just another language to learn. If you're uncomfortable looking at it, you probably don't know it that well

Never thought I would be described in this way. Genius I'd reserve for him. I just like types.

I'd call it type performance. Not typescript

Never thought I would see the day this type checks in less than a second 🤯