Also Haskell slowly approach dependent type system with type functions (type and... | Hacker News

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

thesz on Aug 4, 2011 | parent | context | favorite | on: Wadler's critique of SICP (1987)

Also Haskell slowly approach dependent type system with type functions (type and data families).

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact