From: Emanuel Berg <embe8573@student.uu.se>
To: help-gnu-emacs@gnu.org
Subject: Re: Using punctuation in abbrev
Date: Mon, 03 Jun 2013 02:10:42 +0200 [thread overview]
Message-ID: <87wqqcm4u5.fsf@VLAN-3434.student.uu.se> (raw)
In-Reply-To: mailman.901.1370212579.22516.help-gnu-emacs@gnu.org
Aurélien Aptel <aurelien.aptel+emacs@gmail.com> writes:
> Scientific or programming related stuff yes. And about the
> programming language, it has already been done 60 years ago with
> APL [1] which is actually scary and impressive :)
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> If you're into that kind of thing, you might like Agda (note
> that it's a proof assistant, so not useful if you want to do
> Octave/Mathematica kind of things).
Thanks for cool facts, but no, I'm not into that at all. I have a
degree in CS so I'm done with math and formal stuff (with the
exception of teaching it to school kids to get food money) - I
want to do Lisp and C, steady, everyday stuff. (And I don't
consider Lisp "functional" but rather "do whatever you want".) But
I can se some perks with such a "Unicode language" - for example,
how many ways have you seen "not equal" been syntaxed in PLs? !=,
<>, ne, =/= (Erlang), ... - what a mess, and one of the most
annoying things to have to stop and look up. Unicode notation
would help in such cases, for sure. And, the code would be more
pleasant to read (and more readable to non-programmers with a
background in math and/or natural sciences).
--
Emanuel Berg - programmer (hire me! CV below)
computer projects: http://user.it.uu.se/~embe8573
internet activity: http://home.student.uu.se/embe8573
next prev parent reply other threads:[~2013-06-03 0:10 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-06-01 17:41 Using punctuation in abbrev Aurélien Aptel
2013-06-01 18:42 ` Drew Adams
2013-06-01 22:49 ` Aurélien Aptel
2013-06-02 18:48 ` Drew Adams
[not found] ` <mailman.841.1370126985.22516.help-gnu-emacs@gnu.org>
2013-06-02 5:02 ` Emanuel Berg
2013-06-02 5:21 ` Emanuel Berg
2013-06-02 17:17 ` Aurélien Aptel
2013-06-02 18:10 ` Jambunathan K
2013-06-03 3:44 ` Yuri Khan
[not found] ` <mailman.905.1370231076.22516.help-gnu-emacs@gnu.org>
2013-06-03 18:05 ` Emanuel Berg
2013-06-04 3:05 ` Yuri Khan
2013-06-04 9:14 ` Aurélien Aptel
[not found] ` <mailman.968.1370315124.22516.help-gnu-emacs@gnu.org>
2013-06-04 17:27 ` Emanuel Berg
2013-06-05 6:59 ` Yuri Khan
[not found] ` <mailman.1022.1370415567.22516.help-gnu-emacs@gnu.org>
2013-06-05 21:12 ` Emanuel Berg
2013-06-04 21:39 ` Stefan Monnier
[not found] ` <mailman.1002.1370382007.22516.help-gnu-emacs@gnu.org>
2013-06-04 22:47 ` Emanuel Berg
[not found] ` <mailman.880.1370193431.22516.help-gnu-emacs@gnu.org>
2013-06-02 19:48 ` Emanuel Berg
2013-06-02 21:06 ` Stefan Monnier
2013-06-02 22:36 ` Aurélien Aptel
[not found] ` <mailman.901.1370212579.22516.help-gnu-emacs@gnu.org>
2013-06-03 0:10 ` Emanuel Berg [this message]
2013-06-02 14:24 ` Stefan Monnier
2013-06-02 17:00 ` Aurélien Aptel
2013-06-02 17:54 ` Andreas Röhler
2013-06-02 17:56 ` Stefan Monnier
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87wqqcm4u5.fsf@VLAN-3434.student.uu.se \
--to=embe8573@student.uu.se \
--cc=help-gnu-emacs@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.