On Tue, Jan 23, 2007 at 10:25:27PM -0500, Steve Downey wrote:
> (overall context - working through TaPL on my own, reimplemnting
> typecheckers in haskell)
> the type checkers all follow the same pattern, in ocaml they throw an
> exception when the small step fails, which may mean taking another
>
(overall context - working through TaPL on my own, reimplemnting
typecheckers in haskell)
the type checkers all follow the same pattern, in ocaml they throw an
exception when the small step fails, which may mean taking another
branch in the eval, but that that sub expression has hit bottom.
it is
