From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Clinton Ebadi Newsgroups: gmane.lisp.guile.devel,gmane.emacs.devel Subject: Re: GSoC: Emacs Lisp support for GNU Guile Date: Tue, 31 Mar 2009 16:28:47 -0400 Message-ID: <87skktqvwg.fsf@unknownlamer.org> References: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1238531366 23796 80.91.229.12 (31 Mar 2009 20:29:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 31 Mar 2009 20:29:26 +0000 (UTC) Cc: guile-devel@gnu.org, emacs-devel@gnu.org To: Daniel Kraft Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Tue Mar 31 22:30:44 2009 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1LokbY-0001FV-D2 for guile-devel@m.gmane.org; Tue, 31 Mar 2009 22:30:40 +0200 Original-Received: from localhost ([127.0.0.1]:50281 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LokaA-00020k-Or for guile-devel@m.gmane.org; Tue, 31 Mar 2009 16:29:14 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1Loka7-00020W-9a for guile-devel@gnu.org; Tue, 31 Mar 2009 16:29:11 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1Loka2-0001xd-KH for guile-devel@gnu.org; Tue, 31 Mar 2009 16:29:10 -0400 Original-Received: from [199.232.76.173] (port=50042 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LokZy-0001vo-CV; Tue, 31 Mar 2009 16:29:02 -0400 Original-Received: from deleuze.hcoop.net ([69.90.123.67]:49174) by monty-python.gnu.org with esmtps (TLS-1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1LokZw-00011x-7g; Tue, 31 Mar 2009 16:29:00 -0400 Original-Received: from cpe-024-211-230-216.nc.res.rr.com ([24.211.230.216] helo=rvannith) by deleuze.hcoop.net with esmtpsa (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.63) (envelope-from ) id 1LokZs-0006dp-Da; Tue, 31 Mar 2009 16:28:56 -0400 In-Reply-To: (Daniel Kraft's message of "Tue, 31 Mar 2009 21:44:11 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.91 (gnu/linux) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 1) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:8367 gmane.emacs.devel:109950 Archived-At: Daniel Kraft writes: > Hi all, > > as already discussed briefly with the Guile guys behind the new VM > thing, I got the idea to implement Emacs Lisp as supported language > for the Guile VM system. > > Below is a proposal for a GSoC project I submitted to GNU as mentoring > organization; Karl Berry replied that it sounds interesting but they > needed to find a mentor / mentors for this project; what do you (Emacs > and Guile people) think about it? This is an excellent plan! There is already a working elisp->scheme translator for the interpeter in lang/elisp. I've poked about in it and it would be fairly straightfoward to port it to the VM by retargetting it to GHIL and replacing the @fop and @bind operators in the interpeter with a bit of GHIL implementing the same behavior. As a general implemention order I suggest: - Replace @fop and @bind with a GHIL fragment implementing the same behavior - Integrate the elisp->scheme translator into the VM compiler framework - Retarget the elisp translator from Scheme to GHIL If there is time left (the above tasks should take maybe a month, perhaps more) then a few more tasks would be useful as far as cleaning up the implementation of Guile: - Remove handling of NIL in Scheme. This special casing is, in my opinion, distressingly unclean. This would require adding a new ELISP-IF form that accepts #f/nil as false values - Reimplement the basic elisp list operators in elisp/ghil rather than using the existing Scheme implementations - [Potentially] Remove value/function slots from Guile's symbol type and implement the Lisp-2ness of elisp in another way - [Assuming the above is done; if not ((fref SYMBOL) ...) works already] Implement a convenient way to call elisp functions from Scheme. Something like (funcall SYMBOL ...) And then use any remaining time to fill in any useful bits lang/elisp/primitives/*. -- ntk is currently using "telnet fyodor 25" to send email