3 ms·
> There is no other programming language that has union types as powerful as TypeScript I suggest looking into Idris and other languages with dependent types.
by phillipcarter 7y ago
> There is no other programming language that has union types as powerful as TypeScript
I suggest looking into Idris and other languages with dependent types. Nothing against typescript, but it’s not even close.
- logicchains 7y agoIdris doesn't have anonymous sum types, nor does Coq or Lean. Which language were you thinking of?
- phillipcarter 7y agoCeylon comes to mind; haven't googled others.