Hi
It would be nice to be able to use a richer set of symbols in your source code for operators and functions (e.g. integral, sum, dot and cross-product, …), as well as variables (the standard upper and lower-case greek for example, along with things like super- and sub-scripting, bold/italic and what-not). You could imagine ending up with source code that reads just like a mathematical paper.
You probably still want to write in ASCII, as keyboards have buttons for each of the letters in the alphabet, so its much easier. However, you can format your code nicely using lhs2tex - I use it for all my papers. I have things like: %subst alpha = "{\alpha}" Which means I can write: id :: alpha -> alpha The code is valid Haskell, and looks super-pretty in papers. Lhs2tex: http://people.cs.uu.nl/andres/lhs2tex/ Thanks Neil