[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: if vs. when vs. and: style question
From: |
Pascal J. Bourguignon |
Subject: |
Re: if vs. when vs. and: style question |
Date: |
Wed, 25 Mar 2015 16:36:30 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) |
Rusi <rustompmody@gmail.com> writes:
> On Wednesday, March 25, 2015 at 8:11:23 PM UTC+5:30, Stefan Monnier wrote:
>> > 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.
>>
>> You might like to take a look at the Agda language,
>
> Yeah I know about
> 1. Agda... a bit overboard maybe?? but in the right direction
> 2. Fortress
> 3. Julia
> 4. Haskell (ghc) itself has a unicode extensions flag
> after which we can write the rhses instead of the lhses
> => ⇒
> forall ∀
> <- →
> -> ←
> -<< ⤛
>>>- ⤜
Notice, that I asked the reader to compare the ease of input.
=> super easy, two keys to type.
The unicode correspondance? I would start typing C-x 8 RET double TAB
and not find it in the list.
So I would have to launch clisp,
C-- slime RET clisp RET
wait for it to boot then type:
(lschar :name "RIGHT_ARROW") RET
the search for double, and not find it, then copy and paste it from your
message,
(char-name #\⇒)
obtain the character name as "RIGHTWARDS_DOUBLE_ARROW", then type
C-x 8 RET rightward double arrow RET
which, even if I had know it from the start, is still much more
difficult to type than just =>.
> Ironically the page where this is documented
> https://downloads.haskell.org/~ghc/7.6.3/docs/html/users_guide/syntax-extns.html
> the last two dont work (show) because the html is charset=ISO-8859-1 :-)
> I guess unicode is a moving target...
>
> 5. And the mother of all -- APL
--
__Pascal Bourguignon__ http://www.informatimago.com/
“The factory of the future will have only two employees, a man and a
dog. The man will be there to feed the dog. The dog will be there to
keep the man from touching the equipment.” -- Carl Bass CEO Autodesk
- Re: if vs. when vs. and: style question, (continued)
- Re: if vs. when vs. and: style question, Óscar Fuentes, 2015/03/30
- Message not available
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/30
- Re: if vs. when vs. and: style question, Stefan Monnier, 2015/03/30
- Re: if vs. when vs. and: style question, Marcin Borkowski, 2015/03/30
- Re: if vs. when vs. and: style question, Óscar Fuentes, 2015/03/30
- Message not available
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/30
- Message not available
- Reality and Proofs (was if vs. when vs. and: style question), Rusi, 2015/03/31
- Message not available
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/30
- Message not available
- Re: if vs. when vs. and: style question, Rusi, 2015/03/29
- Message not available
- Re: if vs. when vs. and: style question, Rusi, 2015/03/25
- Re: if vs. when vs. and: style question,
Pascal J. Bourguignon <=
- RE: if vs. when vs. and: style question, Drew Adams, 2015/03/25
- Message not available
- Re: if vs. when vs. and: style question, Rusi, 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
- Message not available
- Re: if vs. when vs. and: style question, Dan Espen, 2015/03/25
- RE: if vs. when vs. and: style question, Drew Adams, 2015/03/25
- Message not available
- Re: if vs. when vs. and: style question, Dan Espen, 2015/03/25
- Re: if vs. when vs. and: style question, Gian Uberto Lauri, 2015/03/26
- Message not available
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/26
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/26