Hacker News new | past | comments | ask | show | jobs | submit login

I think the author was trying to point out that Scala has type system features, like Higher-kinded types, which (although very useful in practice IMHO) are non-existent in other mainstream languages, including TypeScript.

I think that's a legitimate and, most importantly, factually correct point to make.

If you're interested in what these "Higher-kinded types" are: https://typelevel.org/blog/2016/08/21/hkts-moving-forward.ht...




That's true. Though since TypeScript 2.8, you can use "conditional types".

An HKT encoding using conditional types: https://github.com/pelotom/hkts




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: