3 ms·
> 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 betwee
by e12e 9y ago
> 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 http://www.adahome.com/rm95//rm9x-03-05-07.html
- hellofunk 9y agoAda 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.