2 ms·
My dream language would be simply Typescript freed from the shackles of JavaScript (and thus simplified), with a sound type system, a standard library, decimals
by prmph 5y ago
My dream language would be simply Typescript freed from the shackles of JavaScript (and thus simplified), with a sound type system, a standard library, decimals, runtime type checking, and compiling to machine code, WASM, and/or the .NET IL.
A few more detailed features that would be good:
- Higher-kinded types
- Generic objects
- Everything can be an expression, e.g., if and switch statements
- Dependent types? In that case the language can be made type-only
- redbar0n 5y agoThat’s attractive! To be fair, that dream is more likely a dream that is inevitable to come true at some point, given the enormous base of JS/TS developers it will immediately be able to draw from, given the lower/zero knowledge barrier for them to learn it.
- cies 5y agoHave you tried Haskell/Purescript/Elm or LISPs?
- prmph 5y agoDon't like their (relatively) complex syntax and inferior tooling support. Elm also lacks generics. Lisp is out of the question, for obvious reasons. Haskell has difficulty with side effects.