News for hackers. Stuff that matters.

A comment on TypeScript 3.5. Parent comment

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 ]