Re: if vs. when vs. and: style question

[Rusi]

On Wednesday, March 25, 2015 at 9:00:46 PM UTC+5:30, Pascal J. Bourguignon 
wrote:
> Rusi  writes:
> 
> > For 50 years CS has been living in the impoverished world of ASCII.
> > This makes people think CS and math are more far apart than they 
> > essentially/really are.
> >
> > I wrote this as my wish for python:
> > http://blog.languager.org/2014/04/unicoded-python.html
> > Isn't it about time lisp also considered a similar line?
> 
> Take a random computer.  Type λ.  Type lambda.  Which one was easier?
> 
> Type:   ∀ ρ∈W • 𝐑ρ □
> Type:   (for-all (member rho W) (R rho))
> 
> Which one was easier?
> 
> However, check:
> https://gitlab.com/com-informatimago/emacs/blob/master/pjb-sources.el#L703
> 
> With this font-lock, you type (lambda (epsilon) (* 2 epsilon))
> and you see: (λ (ε) (* 2 ε))
> the buffer and file still contain (lambda (epsilon) (* 2 epsilon))
> but it's displayed as greek letters.
> This can of course be expanded to more unicode symbols.
> 
> 
> You could type: (for-all (member rho W) (mathematical-bold-capital-r rho))
> and you'd see:  (∀ (∈ ρ W) (𝐑 ρ))
> 
> 
> The next step, is to use a system like HAL/S or the one implemented for
> scheme -> LaTeX, which reformat formulae in sources using a Mathematic
> rendering engine such as LaTeX (or ASCII art in the case of HAL/S).
> 
> The important point is that you keep the source in ASCII, so it's easy
> to type and to process anywhere.


Ive elaborated some of these points here
http://blog.languager.org/2015/01/unicode-and-universe.html