On vrijdag, sep 26, 2003, at 09:16 Europe/Amsterdam, John Meacham wrote:
On Fri, Sep 26, 2003 at 08:59:12AM +0200, Ketil Z. Malde wrote:
I think there is a problem with too much overloaded syntax. Perhaps it is time to put non-ASCII characters to good use?
For instance, function composition could use the degree sign: ° and leave the . for module qualification.
why not the actual functional composition operator: · or ∘
we could also make good use of ∀ ∃ ⇒ ← ∧ ∨ and all the other fun mathematical operators.
This is very readable, but not very writable.
Until I get a keyboard with a ∀ key, I would prefer to restrict the syntax to ASCII/whatever and simply make it the editor's responsibility to display source code using special characters. actually it is not that hard to write unicode characters. after all
hello, Frank Atanassow wrote: there are no capital letter keys on the keyboard either, but we can write them. i use vim and at least with it it quite easy to "teach" the editor to recognize certain sequences of characters and replace them with the appropriate mathematical symbol. a similar thing happens when you write Isabelle theories with x-symbol, and it really works quite nicely. i think it would be nice to allow programmers to write unicode for what is now done with sequences of ascii chars (not replacing the current symbols, but adding additional syntax). bye iavor
フランクより _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- ================================================== | Iavor S. Diatchki, Ph.D. student | | Department of Computer Science and Engineering | | School of OGI at OHSU | | http://www.cse.ogi.edu/~diatchki | ==================================================