This site on F# used to show how to do the same in C# (Which would be more applicable to typescript?) but, the usually coding via types is best in a language de

This site on F# used to show how to do the same in C# (Which would be more applicable to typescript?) but, the usually coding via types is best in a language designed to make that easy. AFAIK Typescript (nor C++, C#, Java) are designed for that purpose where as Haskell, F# are. That doesn't mean you can't do it in those other languages, only that it's tedious compared to languages that are designed for it. https://fsharpforfunandprofit.com/posts/designing-with-types-making-illegal-states-unrepresentable/ https://fsharpforfunandprofit.com/posts/designing-with-types... https://fsharpforfunandprofit.com/posts/fsharp-decompiled/ https://fsharpforfunandprofit.com/posts/fsharp-decompiled/