From mboxrd@z Thu Jan 1 00:00:00 1970 From: Isaac Subject: Re: proposal for a tool to translate orgmode outlines into programs Date: Sat, 5 Oct 2013 17:39:14 +0000 (UTC) Message-ID: References: <87ob73hlhx.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 ([2001:4830:134:3::10]:53540) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VSVpJ-00084P-Uz for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 13:39:42 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VSVpF-00038v-9U for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 13:39:37 -0400 Received: from plane.gmane.org ([80.91.229.3]:45161) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VSVpF-00038n-1Y for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 13:39:33 -0400 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1VSVpD-0007XW-MZ for emacs-orgmode@gnu.org; Sat, 05 Oct 2013 19:39:31 +0200 Received: from 209-150-32-229.c3-0.wsd-ubr2.qens-wsd.ny.cable.rcn.com ([209.150.32.229]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sat, 05 Oct 2013 19:39:31 +0200 Received: from isaacpei by 209-150-32-229.c3-0.wsd-ubr2.qens-wsd.ny.cable.rcn.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sat, 05 Oct 2013 19:39:31 +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 Eric Schulte gmail.com> writes: > > Isaac gmail.com> writes: > > > proposal for a tool to translate orgmode outlines into programs > > > > Hi Isaac, > > This is a hard problem and an area of active research. Search for > "program synthesis" [1] to see a selection of work in this field. > Generally programs are built from descriptions in formal languages which > are much more structured than Org-mode, although some have also tried to > automatically write programs from man pages [2]. > > Armando Solar-Lezama's work [3] is related if we are including code > snippets in Org-mode code blocks, namely "program sketching" [4] which > attempts to build programs from incomplete program-language sketches and > test cases. > > Best, > > Footnotes: > [1] http://scholar.google.com/scholar?q=program%20synthesis > > [2] https://www.usenix.org/conference/hotosxiii/macho-programming-man- pages > > [3] http://people.csail.mit.edu/asolar/ > > [4] http://people.csail.mit.edu/asolar/papers/thesis.pdf > Thanks everybody for the references and knowledge of the parser! related, I happen to see this today from coffeescript site, which is somewhat related (orgmode export to markdown format) - and coffeescript literate is can use markdown as codes -maybe it's a direction ... (but javascript!) ===================== Literate CoffeeScript Besides being used as an ordinary programming language, CoffeeScript may also be written in "literate" mode. If you name your file with a .litcoffee extension, you can write it as a Markdown document — a document that also happens to be executable CoffeeScript code. The compiler will treat any indented blocks (Markdown's way of indicating source code) as code, and ignore the rest as comments. Just for kicks, a little bit of the compiler is currently implemented in this fashion: See it as a document, raw, and properly highlighted in a text editor. I'm fairly excited about this direction for the language, and am looking forward to writing (and more importantly, reading) more programs in this style. More information about Literate CoffeeScript, including an example program, are available in this blog post. http://coffeescript.org/ best, Isaac