From mboxrd@z Thu Jan 1 00:00:00 1970 From: Achim Gratz Subject: Re: GSoC 2012 -- Elisp backend for Ragel Date: Tue, 27 Mar 2012 23:22:43 +0200 Message-ID: <87sjgtoi1o.fsf@Rainer.invalid> References: <87vclsykl6.fsf@gmail.com> 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]:54929) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SCdr0-0006lX-2B for emacs-orgmode@gnu.org; Tue, 27 Mar 2012 17:22:59 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SCdqy-0000N0-3m for emacs-orgmode@gnu.org; Tue, 27 Mar 2012 17:22:57 -0400 Received: from plane.gmane.org ([80.91.229.3]:42625) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SCdqx-0000M7-T2 for emacs-orgmode@gnu.org; Tue, 27 Mar 2012 17:22:56 -0400 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1SCdqw-0006Em-Fh for emacs-orgmode@gnu.org; Tue, 27 Mar 2012 23:22:54 +0200 Received: from pd9eb5b77.dip.t-dialin.net ([217.235.91.119]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 27 Mar 2012 23:22:54 +0200 Received: from Stromeko by pd9eb5b77.dip.t-dialin.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 27 Mar 2012 23:22:54 +0200 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 Aurélien Aptel writes: >>  2) It adds yet more SOUP (software of unknown provenance) to the build >>  process which may then need mitigating against (this is relevant to me, >>  although possibly not to Org-mode). > > You mean it complicates the build process? I'm not sure I understand. It needs yet another tool to fully build org-mode from scratch, which needs to be installed, bug-free and configured correctly. Right now all one really needs to have to build org-mode is a working Emacs (even make is optional). >>  3) FSM implementation into code is inherently very simple anyway > > Well I've never done it for big language but I did not find it that > easy. Mistakes are easily made e.g. you end up accepting more thing > that the language does in order to simplify the code, etc. Which is just as easily done by specifying the syntax incorrectly. >> What I do instead is validate the FSM code against the formal state >> representation as an integration test (which is fairly easy to arrange). > > I'm not familiar with this. Does this mean you test random valid and > invalid input against the parser (aka fuzzing)? No, you can (for a suitably restricted set of languages) formally proof that the implementation and the specification is identical for any input. > I'm not very experienced (just a student :) but for me their > usefulness is in the robustness and the abstraction it brings. It also > happens to be faster. But I see what you're saying. The assumption that an FSM running in ELisp is faster than a bunch of regexp has not been actually tested or has it? Regards, Achim. -- +<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+ Wavetables for the Terratec KOMPLEXER: http://Synth.Stromeko.net/Downloads.html#KomplexerWaves