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
0 comments:
Post a Comment
Let us know your responses and feedback