Re:Haskell: The Bad Parts, part 2 (2020)
by eyelidlessness on Wednesday February 10, 2021 @10:54PM
(#26098082)
TypeScript seems to be doing alright? Maybe there’s something I’m missing but TS is basically a type checker on top of everything JS compiles to, including the whole Babel universe and compiler transforms that support macros and arbitrary AST manipulation. Even its standard config offers a multitude of similar languages.
[ Parent
| on HN ]
Re:Haskell: The Bad Parts, part 2 (2020)
by Ericson2314 on Thursday February 11, 2021 @12:53PM
(#26104802)
Having a type language on top of an untyped one is fine (except for perf). It's having multiple typed ones that compose well and aren't just reskins of the same basic type theory that's the harder part.