Literate Haskell specification

Isaac Dupree isaacdupree at charter.net
Tue Apr 24 06:29:06 EDT 2007


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Vivian McPhail wrote:
> Dear Committee
> 
> If I recall correctly, in the tex-style literate haskell specification,
> code
> is delimited by a
> 
> \begin{code}
> \end{code}
> 
> This does not allow for multilanguage support in a single source file.  It
> would be nice to have a single document in which we could mix English,
> Haskell, and, for example, Coq proofs.
> 
> To this end, would it make more sense to delimit haskell code by
> 
> \begin{haskell}
> \end{haskell}
> 
> ?

It very well could make sense, but we are not in re-designing here
(it would likely never be finished). For example, a quote from
http://hackage.haskell.org/trac/haskell-prime
"Haskell' will be a conservative refinement of Haskell 98.
...
We will strive to only include tried-and-true language features"

BTW, if other languages such as Coq have any other convention than
exactly the name \begin{code} / \end{code} , they could be mixed in the
same source-file anyway, I suppose.  Which could be nice, as you note.


Thanks,
Isaac
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGLdvyHgcxvIWYTTURAmvsAJ0Q11sJPmwHM/ORNeE9hqO04ePGaQCdGekm
HbMeOpa4X2pPlDp6ePbtzYs=
=pQu+
-----END PGP SIGNATURE-----


More information about the Haskell-prime mailing list