From mboxrd@z Thu Jan 1 00:00:00 1970 From: Eric Schulte Subject: Re: Another gsoc idea -- ragel Date: Fri, 09 Mar 2012 10:04:46 -0700 Message-ID: <87lin9so29.fsf@gmx.com> References: <87eht13h7w.fsf@googlemail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([208.118.235.92]:58683) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S63Fs-0007Lx-VZ for emacs-orgmode@gnu.org; Fri, 09 Mar 2012 12:05:30 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1S63FV-0000Bu-RD for emacs-orgmode@gnu.org; Fri, 09 Mar 2012 12:05:24 -0500 Received: from mailout-us.gmx.com ([74.208.5.67]:41361) by eggs.gnu.org with smtp (Exim 4.71) (envelope-from ) id 1S63FV-0000BU-Ki for emacs-orgmode@gnu.org; Fri, 09 Mar 2012 12:05:01 -0500 In-Reply-To: <87eht13h7w.fsf@googlemail.com> (Thorsten's message of "Fri, 09 Mar 2012 16:51:47 +0100") List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: Thorsten Cc: emacs-orgmode@gnu.org Thorsten writes: > Rustom Mody writes: > >> Ragel http://www.complang.org/ragel/ is a tool that integrates regular >> expressions and state machines under one umbrella. >> It has backends currently for C, C++, Objective-C, D, Java and Ruby.=C2= =A0 >> I do not think having an elisp backend would be a very big task. >> >> After that (in my estimate) org-mode code would (could) become half as >> long and twice as fast -- at least those sections that are heavily >> regex oriented > > I took the freedom to add your (slightly modified) proposal to the GSoC > 2012 ideas page: > http://orgmode.org/worg/org-contrib/gsoc2012/orgmode-gsoc2012-ideas.html Perhaps related to this proposal would be a project to formally specify Org-mode's syntax. I'm thinking this could be an extension of the truly remarkable formalization work recently undertaken by Nicolas in support of his Org-mode AST representation and exporter, but with more of a focus on specification in such a way as to facilitate developing Org-mode parsers in other languages, be they Ragel, OCaml [1], VIM [2], Haskell (e.g., pandoc [3]), or scripting languages to allow exporting without Emacs (e.g., a replacement for org-ruby [4]) for use at github, wikis or any website in which Emacs is too large of a dependency. Cheers, Footnotes:=20 [1] http://thread.gmane.org/gmane.emacs.orgmode/52736 [2] http://www.vim.org/scripts/script.php?script_id=3D3342 [3] http://johnmacfarlane.net/pandoc/ [4] http://orgmode.org/worg/org-tutorials/org-ruby.html --=20 Eric Schulte http://cs.unm.edu/~eschulte/