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
prev parent 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
List information: https://www.orgmode.org/
* 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 public inbox
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).