On Saturday, 9 October 1999 12:00, Clifford Beshers [SMTP:[EMAIL PROTECTED]]
wrote:
>
> But we do have bitmapped displays, lots of fonts, graphical
> applications, etc. Perhaps augmenting JH/SPJ's pretty printer to
> generate LaTeX or PostScript with real symbols would be a good first
> step. Augmenting the emacs modes to use other symbols would be
> another. Or just biting the big bullet and making a customized
> editor.
>
> For each of these users could supply a list of translations, e.g.,
>
> [ x^2 | x <- [1..10] ]
>
> would become real LaTeX with a superscripted 2 and <- would be a real
> set element symbol.
>
Be careful. '<-' is two symbols. Replacing it by one symbol can change the
semantics of a program by affecting layout. You can't guarantee that
a prettyprinted program will still be the same program.
If the supply of suitable Ascii symbols seems inadequate, remember
that Haskell uses Unicode. There is no reason to limit symbols to those in
the Ascii set.
--brian
