3 ms·
Yes but there are no mainstream or production-ready dependently typed languages, so I didn't mention that. But I wouldn't be surprised if dependent typing reall
by hellofunk 9y ago
Yes but there are no mainstream or production-ready dependently typed languages, so I didn't mention that. But I wouldn't be surprised if dependent typing really is going to be the distant future of programming languages. Perhaps not too distant.
I also wouldn't be surprised if Clojure tends to do surprising things in this area with taking Clojure.spec more to the compilation stage; some of the most interesting research into type systems has actually be done by lispers (i.e. Typed Racket, Core.Typed) and there is active interest in it among the Clojure community.
- 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.