Higher-kinded types? Monads, etc. | Hacker News

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

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

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)

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