monte-language / spotter

Experimental low-level Monte runtime in OCaml
Do What The F*ck You Want To Public License
4 stars 1 forks source link

object space module structure vs. exceptions #15

Open dckc opened 4 years ago

dckc commented 4 years ago

IOU a summary... cite pypy object space stuff, simpson's sketches...

I made some progress in https://github.com/dckc/spotter/tree/data-modules but when I tried to hide the object type altogether, I ran into some problem with exceptions.

@MostAwesomeDude has been cogitating on an appropriate monad... some mix of ExceptionT etc.?

I just ran across https://github.com/zinid/delimcc , which is a port of a haskell library (presumably monadic). I wonder if it helps.