Problem Detail: Is it possible to use Dependent Types in the existing Typed Racket implementation? (ie do they exist in it?) Is it reasonably possible to implement a Dependent Types System using Typed Racket?
Asked By : hawkeye
Answered By : hawkeye
Dependent Types in Racket are being worked on by Andrew Kent at Indiana University. There is a set of slides. There is a talk. Of interest, this potentially also impacts Typed Clojure, which is strongly modelled on Typed Racket.
Best Answer from StackOverflow
Question Source : http://cs.stackexchange.com/questions/14905
