News for hackers. Stuff that matters.

A comment on TypeScript 3.5. Parent comment

Re:TypeScript 3.5 by phillipcarter on Wednesday May 29, 2019 @09:02PM (#20047361)
> 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.

[ Parent | on HN ]
Re:TypeScript 3.5 by logicchains on Wednesday May 29, 2019 @10:06PM (#20047721)
Idris doesn't have anonymous sum types, nor does Coq or Lean. Which language were you thinking of?
[ Parent | on HN ]
Re:TypeScript 3.5 by phillipcarter on Thursday May 30, 2019 @11:20AM (#20052113)
Ceylon comes to mind; haven't googled others.
[ Parent | on HN ]