Template Haskell とか
Download as KEY, PDF1 like2,111 views
Template Haskell allows code to be generated at compile time by splicing quasi quotations into the abstract syntax tree. It works by running Haskell code that constructs syntax expressions and splicing the results into the code being compiled. This allows features like generating boilerplate code, domain-specific languages, and compile-time metaprogramming in Haskell.
![RandomDef.hs
{-# LANGUAGE TemplateHaskell #-}
module Main where
import Language.Haskell.TH
import System.Random
$( do rnd <- runIO $ randomRIO (0,1)
let nm = mkName (["a", "b"] !! rnd)
m <- [d| main = $(varE $ mkName "a") |]
t <- valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) []
return (t:m)
)](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-11-320.jpg)
![RandomDef.hs
{-# LANGUAGE TemplateHaskell #-}
module Main where
import Language.Haskell.TH
import System.Random IO
$( do rnd <- runIO $ randomRIO (0,1)
let nm = mkName (["a", "b"] !! rnd)
m <- [d| main = $(varE $ mkName "a") |]
t <- valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) []
return (t:m)
)](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-12-320.jpg)
![Splice( )
{-# LANGUAGE TemplateHaskell #-}
module Main where
import Language.Haskell.TH
import System.Random
$( do rnd <- runIO $ randomRIO (0,1)
let nm = mkName (["a", "b"] !! rnd)
m <- [d| main = $(varE $ mkName "a") |]
t <- valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) []
return (t:m)
)](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-13-320.jpg)
![{-# LANGUAGE TemplateHaskell #-}
module Main where
import Language.Haskell.TH
import System.Random
$( do rnd <- runIO $ randomRIO (0,1)
let nm = mkName (["a", "b"] !! rnd)
m <- [d| main = $(varE $ mkName "a") |]
t <- valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) []
return (t:m)
)](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-18-320.jpg)
![[ |
[| putStrLn “hogehoge” |]](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-21-320.jpg)
![[ |
[| putStrLn “hogehoge” |]
[t| String |]](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-22-320.jpg)
![[ |
[| putStrLn “hogehoge” |]
[t| String |]
[d| main = putStrLn |]](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-23-320.jpg)
![[ |
[| putStrLn “hogehoge” |]
[t| String |]
[d| main = putStrLn |]
[$ident| function f() {..} |]](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-24-320.jpg)
![[ |
[| putStrLn “hogehoge” |]
[t| String |]
[d| main = putStrLn |]
[$ident| function f() {..} |]
DSL](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-25-320.jpg)
![[ |
[| putStrLn “hogehoge” |]
[t| String |]
[d| main = putStrLn |]
[$ident| function f() {..} |]
DSL](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-26-320.jpg)
![[ |
[| putStrLn “hogehoge” |]
[t| String |]
[d| main = putStrLn |]
[$ident| function f() {..} |]
DSL
)JavaScript (](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-27-320.jpg)
![splice
[d| main = $(varE $ mkName "a") |]
splice
[d| main = ‘a |] TH
a
`a
``String](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-28-320.jpg)
![{-# LANGUAGE TemplateHaskell #-}
module Main where
import Language.Haskell.TH
import System.Random
$( do rnd <- runIO $ randomRIO (0,1)
let nm = mkName (["a", "b"] !! rnd)
m <- [d| main = $(varE $ mkName "a") |]
t <- valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) []
return (t:m)
)](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-29-320.jpg)
![valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) []
[d| $(varP nm) = putStrLn “ ( ´ `) ” |]
…… ……
ghci
> runQ [d| main = putStrLn “hoge” |]](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-30-320.jpg)
![lib2 =
let
l=LetS[ValD(VarP $ mkName"it")(NormalB(f"be"))[]]
f=VarE . mkName
in
DoE [ l, l, l, NoBindS $ f"oh",l,
NoBindS $ InfixE(Just$ f"speaking")(f"words")(Just $ f "wisdom"),l]](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-32-320.jpg)
![lib2 =
let
l=LetS[ValD(VarP $ mkName"it")(NormalB(f"be"))[]]
f=VarE . mkName
in
DoE [ l, l, l, NoBindS $ f"oh",l,
NoBindS $ InfixE(Just$ f"speaking")(f"words")(Just $ f "wisdom"),l]](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-33-320.jpg)
![lib2 =
let
l=LetS[ValD(VarP $ mkName"it")(NormalB(f"be"))[]]
f=VarE . mkName
in
DoE [ l, l, l, NoBindS $ f"oh",l,
NoBindS $ InfixE(Just$ f"speaking")(f"words")(Just $ f "wisdom"),l]
do let it = be
let it = be
let it = be
oh
let it = be
speaking `words` wisdom
let it = be](https://image.slidesharecdn.com/th-100404082052-phpapp01/85/Template-Haskell-34-320.jpg)
Template Haskell とか
- 1. Template Haskell konn
- 6. Template Haskell Haskell Q C preprocessor
- 7. TH
- 8. TH Haskell
- 9. TH Haskell IO compile-time wxWidgets Network...
- 11. RandomDef.hs {-# LANGUAGE TemplateHaskell #-} module Main where import Language.Haskell.TH import System.Random $( do rnd <- runIO $ randomRIO (0,1) let nm = mkName (["a", "b"] !! rnd) m <- [d| main = $(varE $ mkName "a") |] t <- valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) [] return (t:m) )
- 12. RandomDef.hs {-# LANGUAGE TemplateHaskell #-} module Main where import Language.Haskell.TH import System.Random IO $( do rnd <- runIO $ randomRIO (0,1) let nm = mkName (["a", "b"] !! rnd) m <- [d| main = $(varE $ mkName "a") |] t <- valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) [] return (t:m) )
- 13. Splice( ) {-# LANGUAGE TemplateHaskell #-} module Main where import Language.Haskell.TH import System.Random $( do rnd <- runIO $ randomRIO (0,1) let nm = mkName (["a", "b"] !! rnd) m <- [d| main = $(varE $ mkName "a") |] t <- valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) [] return (t:m) )
- 14. Splice
- 15. Splice (Q )
- 16. Splice (Q ) splice splice
- 17. Splice (Q ) splice splice “ ”
- 18. {-# LANGUAGE TemplateHaskell #-} module Main where import Language.Haskell.TH import System.Random $( do rnd <- runIO $ randomRIO (0,1) let nm = mkName (["a", "b"] !! rnd) m <- [d| main = $(varE $ mkName "a") |] t <- valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) [] return (t:m) )
- 20. [ |
- 21. [ | [| putStrLn “hogehoge” |]
- 22. [ | [| putStrLn “hogehoge” |] [t| String |]
- 23. [ | [| putStrLn “hogehoge” |] [t| String |] [d| main = putStrLn |]
- 24. [ | [| putStrLn “hogehoge” |] [t| String |] [d| main = putStrLn |] [$ident| function f() {..} |]
- 25. [ | [| putStrLn “hogehoge” |] [t| String |] [d| main = putStrLn |] [$ident| function f() {..} |] DSL
- 26. [ | [| putStrLn “hogehoge” |] [t| String |] [d| main = putStrLn |] [$ident| function f() {..} |] DSL
- 27. [ | [| putStrLn “hogehoge” |] [t| String |] [d| main = putStrLn |] [$ident| function f() {..} |] DSL )JavaScript (
- 28. splice [d| main = $(varE $ mkName "a") |] splice [d| main = ‘a |] TH a `a ``String
- 29. {-# LANGUAGE TemplateHaskell #-} module Main where import Language.Haskell.TH import System.Random $( do rnd <- runIO $ randomRIO (0,1) let nm = mkName (["a", "b"] !! rnd) m <- [d| main = $(varE $ mkName "a") |] t <- valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) [] return (t:m) )
- 30. valD (varP nm) (normalB [| putStrLn " ( ´ `) " |]) [] [d| $(varP nm) = putStrLn “ ( ´ `) ” |] …… …… ghci > runQ [d| main = putStrLn “hoge” |]
- 31. Sucks GHC TH Ver.UP (ex. HOC )
- 32. lib2 = let l=LetS[ValD(VarP $ mkName"it")(NormalB(f"be"))[]] f=VarE . mkName in DoE [ l, l, l, NoBindS $ f"oh",l, NoBindS $ InfixE(Just$ f"speaking")(f"words")(Just $ f "wisdom"),l]
- 33. lib2 = let l=LetS[ValD(VarP $ mkName"it")(NormalB(f"be"))[]] f=VarE . mkName in DoE [ l, l, l, NoBindS $ f"oh",l, NoBindS $ InfixE(Just$ f"speaking")(f"words")(Just $ f "wisdom"),l]
- 34. lib2 = let l=LetS[ValD(VarP $ mkName"it")(NormalB(f"be"))[]] f=VarE . mkName in DoE [ l, l, l, NoBindS $ f"oh",l, NoBindS $ InfixE(Just$ f"speaking")(f"words")(Just $ f "wisdom"),l] do let it = be let it = be let it = be oh let it = be speaking `words` wisdom let it = be
- 35. reify IO reify Q