3 ms·
Take a look at Typed Racket for a variation on this.
by tel 12y ago
Take a look at Typed Racket for a variation on this.
- gsg 12y agohttp://docs.racket-lang.org/ts-guide/types.html?q=typed#%28part._varargs%29 http://docs.racket-lang.org/ts-guide/types.html?q=typed#%28p... Right, looks very similar.
- xiaq 12y agoTyped Racket is pretty decent. However, behold the byzantine Scheme numerical tower and the effort to type it: http://www.ccs.neu.edu/home/stamourv/papers/numeric-tower.pdf http://www.ccs.neu.edu/home/stamourv/papers/numeric-tower.pd...