From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Rusi Newsgroups: gmane.emacs.help Subject: Re: if vs. when vs. and: style question Date: Wed, 25 Mar 2015 08:45:25 -0700 (PDT) Message-ID: <98280ff4-5f55-482b-98c2-84aa7ec57e44@googlegroups.com> References: <87sicvwckx.fsf@wmi.amu.edu.pl> <87wq27yvqg.fsf@debian.uxu> <8d531e99-7260-4263-ac99-09c6871e2708@googlegroups.com> <87vbhq53lf.fsf@debian.uxu> <87a8z23p23.fsf@kuiper.lan.informatimago.com> <87lhilx0cf.fsf@debian.uxu> <87twx9360u.fsf@kuiper.lan.informatimago.com> <0d1d19ab-06e9-462d-8867-9a49b1e232d3@googlegroups.com> <87pp7x2jav.fsf@kuiper.lan.informatimago.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1427298648 28825 80.91.229.3 (25 Mar 2015 15:50:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 25 Mar 2015 15:50:48 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Wed Mar 25 16:50:43 2015 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YanZr-00037b-6T for geh-help-gnu-emacs@m.gmane.org; Wed, 25 Mar 2015 16:50:43 +0100 Original-Received: from localhost ([::1]:39907 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YanZq-0003Ib-E6 for geh-help-gnu-emacs@m.gmane.org; Wed, 25 Mar 2015 11:50:42 -0400 X-Received: by 10.182.111.168 with SMTP id ij8mr11246211obb.2.1427298326149; Wed, 25 Mar 2015 08:45:26 -0700 (PDT) X-Received: by 10.50.112.194 with SMTP id is2mr436037igb.2.1427298326135; Wed, 25 Mar 2015 08:45:26 -0700 (PDT) Original-Path: usenet.stanford.edu!z20no4852446igj.0!news-out.google.com!db6ni62798igc.0!nntp.google.com!z20no4852437igj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Original-Newsgroups: gnu.emacs.help In-Reply-To: <87pp7x2jav.fsf@kuiper.lan.informatimago.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=117.195.49.60; posting-account=mBpa7woAAAAGLEWUUKpmbxm-Quu5D8ui Original-NNTP-Posting-Host: 117.195.49.60 User-Agent: G2/1.0 Injection-Date: Wed, 25 Mar 2015 15:45:26 +0000 Original-Xref: usenet.stanford.edu gnu.emacs.help:211043 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:103325 Archived-At: On Wednesday, March 25, 2015 at 9:00:46 PM UTC+5:30, Pascal J. Bourguignon = wrote: > Rusi writes: >=20 > > 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 essent= ially/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? >=20 > Take a random computer. Type =CE=BB. Type lambda. Which one was easier= ? >=20 > Type: =E2=88=80 =CF=81=E2=88=88W =E2=80=A2 =F0=9D=90=91=CF=81 =E2=96=A1 > Type: (for-all (member rho W) (R rho)) >=20 > Which one was easier? >=20 > However, check: > https://gitlab.com/com-informatimago/emacs/blob/master/pjb-sources.el#L70= 3 >=20 > With this font-lock, you type (lambda (epsilon) (* 2 epsilon)) > and you see: (=CE=BB (=CE=B5) (* 2 =CE=B5)) > 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. >=20 >=20 > You could type: (for-all (member rho W) (mathematical-bold-capital-r rho)= ) > and you'd see: (=E2=88=80 (=E2=88=88 =CF=81 W) (=F0=9D=90=91 =CF=81)) >=20 >=20 > 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). >=20 > 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