What sorts of things can you do in the Haskell type system that you would not be... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

dakom on Aug 29, 2018 | parent | context | favorite | on: Go 2 Draft Designs

What sorts of things can you do in the Haskell type system that you would not be able to do with the Go generics proposal?

edflsafoiewq on Aug 29, 2018 [–]

Higher-kinded types? Monads, etc.

dakom on Aug 29, 2018 | [–]

Couldn't one define Monads, etc. with interfaces, once they allow generics?

(there's nothing in Haskell which enforces the category laws in the typesystem, afaik)

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact