From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Emacs Lisp's future (was: Guile emacs thread (again)) Date: Tue, 16 Sep 2014 11:50:54 -0400 Message-ID: References: <87wq97i78i.fsf@earlgrey.lan> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1410882738 22985 80.91.229.3 (16 Sep 2014 15:52:18 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 16 Sep 2014 15:52:18 +0000 (UTC) Cc: emacs-devel@gnu.org To: Christopher Allan Webber Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Sep 16 17:52:06 2014 Return-path: Envelope-to: ged-emacs-devel@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 1XTv2v-0008SS-LD for ged-emacs-devel@m.gmane.org; Tue, 16 Sep 2014 17:52:01 +0200 Original-Received: from localhost ([::1]:38773 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XTv2v-00025Y-AS for ged-emacs-devel@m.gmane.org; Tue, 16 Sep 2014 11:52:01 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46552) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XTv2j-0001yT-RK for emacs-devel@gnu.org; Tue, 16 Sep 2014 11:51:58 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XTv2b-0006Ly-K7 for emacs-devel@gnu.org; Tue, 16 Sep 2014 11:51:49 -0400 Original-Received: from mercure.iro.umontreal.ca ([132.204.24.67]:47359) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XTv2b-0006Lm-BU for emacs-devel@gnu.org; Tue, 16 Sep 2014 11:51:41 -0400 Original-Received: from hidalgo.iro.umontreal.ca (hidalgo.iro.umontreal.ca [132.204.27.50]) by mercure.iro.umontreal.ca (Postfix) with ESMTP id E2CC284F80; Tue, 16 Sep 2014 11:51:37 -0400 (EDT) Original-Received: from lechon.iro.umontreal.ca (lechon.iro.umontreal.ca [132.204.27.242]) by hidalgo.iro.umontreal.ca (Postfix) with ESMTP id A840F1E5B8C; Tue, 16 Sep 2014 11:50:54 -0400 (EDT) Original-Received: by lechon.iro.umontreal.ca (Postfix, from userid 20848) id 87D7EB42B3; Tue, 16 Sep 2014 11:50:54 -0400 (EDT) In-Reply-To: <87wq97i78i.fsf@earlgrey.lan> (Christopher Allan Webber's message of "Thu, 11 Sep 2014 11:29:09 -0500") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) X-DIRO-MailScanner-Information: Please contact the ISP for more information X-DIRO-MailScanner: Found to be clean X-DIRO-MailScanner-SpamCheck: n'est pas un polluriel, SpamAssassin (score=-2.82, requis 5, autolearn=not spam, ALL_TRUSTED -2.82, MC_TSTLAST 0.00) X-DIRO-MailScanner-From: monnier@iro.umontreal.ca X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 132.204.24.67 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:174373 Archived-At: > So this email is partly a: > - What now? What's the chance of work towards guilemacs moving over to > an official emacs git branch, and that port happening, anytime soon? > - Is anyone running it? How's it going for you? Good questions. I've had the opportunity to think a bit more about Emacs Lisp and its possible evolution and I'm still not sure what to think about it. I see a few different options for Emacs Lisp. First, of course we can keep on evolving Elisp on its own. This has worked OK for the last 30 years, so it's not such a terrible choice. The main problems I see with that: - Elisp is slow and as CPUs aren't getting faster, its slowness makes itself noticed more often. - Lack of some features, most notably FFI and concurrency. - Lack of manpower. This last point is for me the strongest motivation to try and move to some other system, where we could use other people's work. One such option is Guile-Emacs. This presumably would give us a faster implementation (at least in theory, their bytecode is significantly more efficient), would give us an FFI, and would give us more manpower since we'd be benefiting from the work done on Guile. Note that while Guile does come with support for threading, it doesn't immediately let us use concurrency in Guile-Emacs, because of all the issues of synchronizing access to shared data, with all the existing Emacs code (both C and Elisp) assuming that this problem doesn't exist. IOW, language support for concurrency is just a first step on the way to letting Emacs Lisp use concurrency. Another detail that needs to be spelled out is the difference between the language and its implementation. Guile-Emacs provides 2 languages: Emacs Lips and Scheme (well, it also provides a few more, but that's not important). Many people are thinking "cool, so I'll be able to write extensions in Scheme", but I'm not sure defining Emacs as "this editor that comes with N extensions languages" is a good idea. One of the main reasons for Emacs's enduring success is its large set of third party packages so obviously we can't drop support for Elisp any time soon. And as much as I like Scheme, I'm very much unconvinced that it's really so much better that it's worth converting packages from Elisp to Scheme. So if we go for Guile-Emacs, we'll be stuck with Guile, i.e. we'd have (old and new) packages that use Elisp, new packages that use Scheme, maybe yet other new packages that use, say, Javascript (or some other language support by Guile). That would make the work of Emacs (and GNU ELPA) maintenance harder. And of course, if Guile's own manpower dries up, Emacs would be forced to keep supporting Guile, which is more work than supporting just Elisp. So, I think that ideally, we'd want to stick to Elisp, or some evolution thereof. Sadly, I don't see how to evolve Elisp into Scheme: they are closely related languages, but the differences are large enough that it seems hard to reconcile them. The only standard language into which Elisp can evolve, AFAICT, is Common Lisp. [ Now some readers get disappointed, while some others become excited. ] There are some incompatibilities between the two languages, but I can imagine working them out over the years, or even living with them without too much trouble, such that we could use Common-Lisp libraries in Emacs. Of course, that's for the language side, but on the implementation side, I don't really know what Common-Lisp implementation we could re-use (both GNU implementations are dormant, so there's no manpower for us tap into). Still: there are many Common-Lisp implementations out there, so there's probably one that could work for us. Stefan