[Haskell-cafe] Best way to build strings?
jcast at ou.edu
Sun Jul 24 15:33:24 EDT 2005
Jonathan Cast <jcast at ou.edu> wrote:
> Albert Lai <trebla at vex.net> wrote:
> > The best of both worlds may be something like the notation in the HOL
> > theorem prover:
> > ``^q ^a ^z [^m -> ^k |^p| ^g -> ^c] ^h ^b ^f ^i``
> > Do you agree that this is much better?
> > Could someone implement something like this in GHC please? :)
The attached code has been tested and works; call as $(interpolate "^q
^a ^z [^m -> ^k |^p| ^g -> ^c] ^h ^b ^f ^i").
Still confident someone can do better (e.g., formatting parameters),
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1011 bytes
Desc: Module for string interpolation
Url : http://www.haskell.org//pipermail/haskell-cafe/attachments/20050724/519bd815/Interpolate.bin
More information about the Haskell-Cafe