[Haskell-cafe] Best way to build strings?

Jonathan Cast 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:
> <snip>
> > 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),

Jon Cast

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Interpolate.hs
Type: text/x-haskell
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 mailing list