Re: [Haskell-cafe] Best way to build strings?

Jonathan Cast wrote:

Albert Lai 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