the real story here is an incredible team that managed to simultaneously keep two separate codebases alive for the most advanced type system known to mankind (yeahhh yeahh Hindley-Milner eat your heart out).
huge congrats to the team!
looking forward to the Rust rewrite ;)
DonaldPShimoda•44m ago
Most complex, perhaps, but not "most advanced". I don't think there's necessarily a meaningful "correct" choice for that title, but surely one of the proof assistant languages would be a more likely candidate?
(I don't say this to be disparaging of TypeScript's type system, by any means — it's very interesting stuff!)
dimitropoulos•42m ago
good points, let's get negated types and higher kinded types in there than you've got yourself a deal. maybe regex thrown in too for flavor
dimitropoulos•47m ago
huge congrats to the team!
looking forward to the Rust rewrite ;)
DonaldPShimoda•44m ago
(I don't say this to be disparaging of TypeScript's type system, by any means — it's very interesting stuff!)
dimitropoulos•42m ago