> Yes but there are no mainstream or production-ready dependently typed language... | Hacker News

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

e12e on Sept 8, 2017 | parent | context | favorite | on: Yes, Python is Slow, and I Don’t Care

> Yes but there are no mainstream or production-ready dependently typed languages, so I didn't mention that.

(For a number-type that is limited to eg be between 0.0 and 1.0):

Ada?

http://www.adahome.com/rm95//rm9x-03-05-07.html

jb1991 on Sept 8, 2017 [–]

Ada provides ranged types but is not a dependently typed language. So I guess it sort of falls into this particular example, but would not apply to other examples in this arena.

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