[indocomsoft]

Do you mind elaborating more on Haskell's types driving code generation? Genuinely curious

[wruza]

The regular type-based polymorphism/overloading, afair. Just like in C++. Typescript has a way to simulate it, but the code remains the same as if there were no types/overloads. https://www.typescriptlang.org/docs/handbook/2/functions.htm...