You might also enjoy Matías Giovannini's write-up of a typed concatenative language in Ocaml: http://alaska-kamtchatka.blogspot.ca/2009/01/essence-of-concatena

You might also enjoy Matías Giovannini's write-up of a typed concatenative language in Ocaml: http://alaska-kamtchatka.blogspot.ca/2009/01/essence-of-concatenative-languages.html http://alaska-kamtchatka.blogspot.ca/2009/01/essence-of-conc...