We demonstrate that Haskell as it is, with no TH or other
pre-processors, can rather concisely represent semi-structured
documents and the rules of their processing. In short, Haskell can
implement SXML (ssax.sourceforge.net), right in its syntax and with
the *open* and extensible set of `tags'. T
There is a prototype translation of Haskell to Isabelle/HOL and
Isabelle/HOLCF written by Paolo Torrini. Unlike the Programatica
translation, it uses a shallow encoding of the type system. Constructor
classes (not available in Isabelle) are translated using theory
morphisms. Programatica is used f
Ashley Yakeley wrote:
Simon Marlow wrote:
Simon & I have discussed doing some form of thread-local state, which
covers many uses of implicit parameters and is much preferable IMO.
Thread-local state doesn't change your types, and it doesn't require
passing any extra parameters at runtime. It
Gerwin - I did some work on this a number of years ago for the related
language Miranda. This builds on logical renderings of Haskell (and also
Miranda). The translations are reported in
A Logic for Miranda, Revisited. Simon Thompson. Formal Aspects of
Computing, (7), March 1995.
Simon Thomps
Replying to an old thread...
Bernd Holzmüller wrote:
Could not find module `Control.Monad.Writer': use -v to see a list
of the files searched for
I just installed Visual Haskell and ran into the same problem, and the
solution I found was to right click on "References" in the project and
Thanks for all the replies I got, they have been helpful!
Cheers,
Gerwin
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
