gNOSPA...@jpl.nasa.gov (Erann Gat) once said:
>My question is: is it possible to render and/or explain the concept of aYou can do it; see for example
>monad in Scheme? And if not, why not? Is it because Scheme has no type
>system, and types are part and parcel of what monads are? Or can the
>essence of monads be divorced from type theory?
which discusses a particular instance of using monads (for parsing) in
I think maybe the "main issue" you have to deal with when translating
Note that this issue is not dealt with in the paper at the URL above;
That's my take, anyway; I don't use dynamically-typed languages very
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.