Yeah, I vote against having to type Alt+number to edit someone else's
code.  I'd rather that we start allowing LaTeX symbols in our source
before we actually have the Unicode symbols themselves in there.

Oh, and +1 for actually supporting Unicode in String processing.

~~ Robert.

Alain Frisch wrote:
> Richard Jones wrote:
>> In fact can we open the discussion about converting OCaml source files
>> into UTF-8 and allow _lots_ more symbols?  eg:
>>
>>   let (∪) = ...
>>   let (⊆) = ...
>
> Shouldn't this desire of using mathematical symbols be addressed at
> the level of your editor / IDE instead?  If the language allowed you
> to define and use alphanumeric infix operators like:
>
>   let (`subseteq`) = ...
>   if (x `subseteq` y) then ...
>
> then you could simply inform your editor that it should display
> `subseteq` as ⊆. The tuareg mode already does this kind of
> "symbolification" of some operators like -> (displayed as an arrow)
> and 'a (display as a Greek alpha) and it shouldn't be too difficult to
> extend that to user-defined operators.
>
> -- Alain
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs