From mboxrd@z Thu Jan 1 00:00:00 1970 From: Rustom Mody Subject: Another gsoc idea -- ragel Date: Fri, 9 Mar 2012 20:24:55 +0530 Message-ID: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=f46d044787895e8b2c04bad0939a Return-path: Received: from eggs.gnu.org ([208.118.235.92]:55688) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S61Dz-0004Sb-RN for emacs-orgmode@gnu.org; Fri, 09 Mar 2012 09:55:21 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1S61De-0001uI-L7 for emacs-orgmode@gnu.org; Fri, 09 Mar 2012 09:55:19 -0500 Received: from mail-gy0-f169.google.com ([209.85.160.169]:50890) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S61De-0001qv-E0 for emacs-orgmode@gnu.org; Fri, 09 Mar 2012 09:54:58 -0500 Received: by ghrr18 with SMTP id r18so1042158ghr.0 for ; Fri, 09 Mar 2012 06:54:55 -0800 (PST) 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: emacs-orgmode --f46d044787895e8b2c04bad0939a Content-Type: text/plain; charset=ISO-8859-1 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. 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 --f46d044787895e8b2c04bad0939a Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Ragel http://www.complang.org/ra= gel/ is a tool that integrates regular expressions and state machines u= nder one umbrella.
It has backends currently for C, C++, Objective-C, D,= Java and Ruby.=A0 I do not think having an elisp backend would be a very b= ig 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 or= iented
--f46d044787895e8b2c04bad0939a-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thorsten Subject: Re: Another gsoc idea -- ragel Date: Fri, 09 Mar 2012 16:51:47 +0100 Message-ID: <87eht13h7w.fsf@googlemail.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([208.118.235.92]:58345) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S625c-0007vV-8W for emacs-orgmode@gnu.org; Fri, 09 Mar 2012 10:51:09 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1S625V-0008GT-Hm for emacs-orgmode@gnu.org; Fri, 09 Mar 2012 10:50:43 -0500 Received: from plane.gmane.org ([80.91.229.3]:59013) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S625V-0008Fh-4J for emacs-orgmode@gnu.org; Fri, 09 Mar 2012 10:50:37 -0500 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1S625S-0002gf-26 for emacs-orgmode@gnu.org; Fri, 09 Mar 2012 16:50:34 +0100 Received: from g231235242.adsl.alicedsl.de ([92.231.235.242]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 09 Mar 2012 16:50:34 +0100 Received: from quintfall by g231235242.adsl.alicedsl.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 09 Mar 2012 16:50:34 +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: emacs-orgmode@gnu.org 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.  > 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 -- cheers, Thorsten 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/