I think at this point, Haskell is the most likely to become the first mainstream... | Hacker News

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

login

gergoerdi on June 17, 2020 | parent | context | favorite | on: Math-as-Code (2015)

I think at this point, Haskell is the most likely to become the first mainstream PL with Pi types: https://gitlab.haskell.org/ghc/ghc/-/wikis/dependent-haskell

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