all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Isaac <isaacpei@gmail.com>
To: emacs-orgmode@gnu.org
Subject: Re: proposal for a tool to translate orgmode outlines into	programs
Date: Sat, 5 Oct 2013 17:39:14 +0000 (UTC)	[thread overview]
Message-ID: <loom.20131005T193508-797@post.gmane.org> (raw)
In-Reply-To: 87ob73hlhx.fsf@gmail.com


Eric Schulte <schulte.eric <at> gmail.com> writes:

> 
> Isaac <isaacpei <at> 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

      reply	other threads:[~2013-10-05 17:39 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-10-04 16:38 proposal for a tool to translate orgmode outlines into programs Isaac
2013-10-04 17:12 ` Thomas S. Dye
2013-10-04 22:42   ` Isaac
2013-10-05  7:11     ` Thorsten Jolitz
2013-10-05 13:53 ` Eric Schulte
2013-10-05 17:39   ` Isaac [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=loom.20131005T193508-797@post.gmane.org \
    --to=isaacpei@gmail.com \
    --cc=emacs-orgmode@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.