Version franaise
Home About Download Resources Contact us

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Should a /\ operator be possible?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alain Frisch <alain@f...>
Subject: Re: [Caml-list] Should a /\ operator be possible?
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