search

evincarofautumn / kitten

A statically typed concatenative systems programming language.
http://kittenlang.org/
Other
1.1k stars 41 forks source link

Merge typechecking and interpretation into an interpretation monad? #41

Closed evincarofautumn closed 11 years ago

evincarofautumn commented 11 years ago

These have much the same structure and it’s kind of a shame that the code is duplicated.

Leaving this unscheduled as I don’t know offhand how involved it’ll be.