[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: if vs. when vs. and: style question
From: |
Rusi |
Subject: |
Re: if vs. when vs. and: style question |
Date: |
Wed, 25 Mar 2015 08:45:25 -0700 (PDT) |
User-agent: |
G2/1.0 |
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
- Re: if vs. when vs. and: style question now Unicode, (continued)
- Re: if vs. when vs. and: style question now Unicode, Dan Espen, 2015/03/25
- Re: if vs. when vs. and: style question now Unicode, Rusi, 2015/03/25
- Re: if vs. when vs. and: style question now Unicode, Dan Espen, 2015/03/25
- Re: if vs. when vs. and: style question now Unicode, Rusi, 2015/03/25
- Re: if vs. when vs. and: style question now Unicode, Dan Espen, 2015/03/25
- Re: if vs. when vs. and: style question now Unicode, Emanuel Berg, 2015/03/28
- Re: if vs. when vs. and: style question now Unicode, Rusi, 2015/03/25
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/25
- Re: if vs. when vs. and: style question, Rusi, 2015/03/25
- Re: if vs. when vs. and: style question, Emanuel Berg, 2015/03/28
- Re: if vs. when vs. and: style question,
Rusi <=
- Re: if vs. when vs. and: style question, Emanuel Berg, 2015/03/28
- Re: if vs. when vs. and: style question, Rusi, 2015/03/28
- Re: if vs. when vs. and: style question, Rusi, 2015/03/28
- Re: if vs. when vs. and: style question, Óscar Fuentes, 2015/03/29
- RE: if vs. when vs. and: style question, Drew Adams, 2015/03/29
- Re: if vs. when vs. and: style question, Óscar Fuentes, 2015/03/29
- Message not available
- Re: if vs. when vs. and: style question, Rusi, 2015/03/29
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/29
- Re: if vs. when vs. and: style question, Stefan Monnier, 2015/03/29
- Re: if vs. when vs. and: style question, Óscar Fuentes, 2015/03/29