Thank you all, that's very interesting.

Martin, I've started reading the paper, I like the way you think about what a scripting language should provide ("traceability, error handling and a type system").
But, hold me if I'm wrong, but at no moment in the paper you made you own language? It's a EDSL, not a DSL, so I don't see where is the scripting, since the program will always have to be recompiled, won't it?

Minh, Kyle, Gwern, the dyre approach seems to be very interesting too.
But if I understood well, we also have to recompile at run-time the configuration haskell script?
So the final application (Yi, for instance) will need GHC to be installed to run? Or did I miss something?
By the way, I had never heard of Yi, but can I deduce from its name its a Vi(m)-like (which I am a big fan of)? Moreover, the idea of scripting my editor in Haskell appeals me.

2010/5/3 Gwern Branwen <gwern0@gmail.com>
On Mon, May 3, 2010 at 5:47 PM, Kyle Murphy <orclev@gmail.com> wrote:
> That's also the approach Yi uses. I'm fairly certain there's a library on
> hackage that makes writing up programs in that style fairly trivial,

http://hackage.haskell.org/package/dyre

--
gwern
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe