On Tue, Nov 21, 2023 at 05:36:13PM -0800, Jeff Clites via Haskell-Cafe wrote:

> I like it. I would be interesting (though perhaps overkill) to have a special operator which is like ++ but which can only be applied to list literals (not only strings), and which is guaranteed to be syntactic sugar for the concatenated list. One step fancier would be to allow it not just for literals but for any known-at-compile-time values. (So it’s syntactically an operator but in actuality more of a compiler directive, to evaluate the concatenation at compile time, or fail if that’s not possible.)

Well, I guess we already have that in the form of Template Haskell
splices, but that's rather a heavy hammer to swat this particular
fly...

    {-# LANGUAGE TemplateHaskell #-}
    module Data.CompileTime(compileTimeString) where
    import Language.Haskell.TH.Syntax as TH

    compileTimeString :: TH.Quote m => String -> TH.Code m String
    compileTimeString str = let !lit = str in [|| lit ||]

Which when imported into:

    {-# LANGUAGE CPP, TemplateHaskell #-}
    module Main(main) where
    import Data.CompileTime

    hello :: String
    hello = $$( compileTimeString $ "Hello" ++ " World!" )

    main :: IO ()
    main = print hello

Produces the "Core" below:

    ...
    main :: IO ()
    main
      = print ($fShowList $fShowChar) (unpackCString# "Hello World!"#)

--
    Viktor.
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.