3 ms·

Typed Racket?

• 4ad 12y ago
  Never heard of it. Will check it out.
  • orbifold 12y ago
    Racket is a scheme derivative, actually it consists of several languages including some domain specific ones, that all are compatible with each other. It also has a _very_ nice C foreign function interface (much better than Haskells for example).
    • 4ad 12y ago
      Thanks for the note. When I first heard "typed racket" I thought: "oh no, an obscure dialect of an already obscure language" and I was slightly disappointed, but now I understand that typed racket is not a derivative of racket, but rather racket is a domain of languages including typed languages. This makes it much more interesting to me. Thanks for the note.
• kuschku 12y ago
  Is that the one with (: fun (natural natural -> real)) procedure signatures?
  • termain 12y ago
    I believe so.
  • termain 12y ago
    I believe so.