Hacker News new | ask | show | jobs
by termain 4240 days ago
Typed Racket?
2 comments

Is that the one with

    (: fun (natural natural -> real))
procedure signatures?
I believe so.
Never heard of it. Will check it out.
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).
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.