document version

1. 무민(조현석) @ 컨스택츠
(내가 감동 먹은)
Haskell에서 Postgresql을
사용하는 우아한 방법
Quasiquotation

2. 옛날 옛날 아주 먼 옛날에
컨스택츠에 메인 디비가 MongoDB였어요

3. 단테
“postgresql로 이사갑시다!”

4. 나머지 코드(DB, Kafka)
컨스택츠 BE 구성
도메인
Types Service
김은민(토드). [Dev Dive 2022]. (2022. 11. 16.). [Dev Dive_ Backend Day] 하스켈로 백엔드 시스템 만든 이야기 [영상]. 유튜브. https://www.youtube.com/watch?v=YBLZGUeNSu4

5. SQL이 문자열로?
혹시 쿼리 매퍼일까?
ORM, ODM, FRM은?

6. 이것은 문자열이 아닙니다(?)

7. QuasiQuotes

8. 쿼리 매퍼도 아닙니다

10. 빨라진 개발 리듬
기능 코딩 -> 기능 해 봄 -> 안 됨 -> 코딩 -> 해 봄 -> 안 됨 ... -> 완성
기능 코딩 -> 테스트 실행 -> 실패 -> 코딩 -> 테스트 실행 -> ... -> 완성
기능 코딩 -> 컴파일 -> 에러 -> 코딩 -> 컴파일 -> 에러 ... -> 완성
사실은 거의 코딩 시점
김은민. [Dev Dive 2022]. (2022. 11. 16.). [Dev Dive_ Backend Day] 하스켈로 백엔드 시스템 만든 이야기 [영상]. 유튜브. https://www.youtube.com/watch?v=YBLZGUeNSu4

11. 애초에 우리는
왜
ORM이라는 걸 쓰게 되었을까?
혹시 내가 함수뽕에 빠져서 시야가 흐려진게 아닐까?

12. “SQL 중심적인 개발의 문제점”

13. “누구나 그럴싸한 계획을 갖고 있다.
Hello World를 벗어나기 전까지는”

18. Why It’s Nice to be Quoted
Quasiquoting for Haskell

19. 개발자는 다양한 DSL을 사용합니다.
JSON
정규표현식
XML
YAML

20. 언어/언어확장이 지원
JSX
정규표현식

21. 언어의 문법에 맞게 내부에서 사용
Kotlin DSL
Querydsl

22. 외부 파일을 사용한다.

23. Quasiquotation

24. (파서를 작성하는 것보다 약간의 작업이 더 필요하지만)
Quasiquoting으로 묶인 모든 데이터의 타입이 정확하
다는 것을 컴파일 시간 보장

25. [quoter| string |]

26. • ⟨quoter⟩는 임포트된 quoter의 이름이어야 합니다. 임의의 표현이 될 수 없습니다.
• ⟨quoter⟩는 "e", "t", "d" 또는 "p"일 수 없습니다. 템플릿 하스켈 quotations과 겹치기
때문입니다.
• 토큰 [quoter|에는 공백이 없어야 합니다.
• quote된 ⟨string⟩은 임의적일 수 있으며 개행을 포함할 수 있습니다.
• 따옴표로 묶인 ⟨string⟩은 첫 번째 "|]"에서 끝납니다. 그 외 절대 끝나지 않습니다. 해당 문
자 시퀀스를 문자열에 포함하려면 고유한 이스케이프 규칙(예: 대신 문자열 "|~]" 사용)을
만들고 quoter 함수가 "|~]"를 "| ]”로 변환해야 한다.

27. Quasiquote는 다음 위치 중 하나에서 등장 할 수 있다.
• 표현식
• 패턴
• 타입
• 최상위 선언

28. data QuasiQuoter = QuasiQuoter { quoteExp :: String -> Q Exp,
quotePat :: String -> Q Pat,
quoteType :: String -> Q Type,
quoteDec :: String -> Q [Dec]
}

29. 그렇다면 내부를 들여다 보자

30. https://github.com/dylex/postgresql-typed/blob/master/Database/PostgreSQL/Typed/Query.hs

31. 그럼요!
나도 QuasiQuoter를 만들 수 있을까?

32. -- >>> eval [expr|1|]
-- 1
-- >>> eval [expr|1 + 2|]
-- 3
-- >>> eval [expr|1+2+3|]
-- 6

33. data Expr = IntExpr Integer
| BinopExpr BinOp Expr Expr
deriving(Show, Typeable, Data)
data BinOp = AddOp
| SubOp
| MulOp
| DivOp
deriving(Show, Typeable, Data)

34. data Expr = IntExpr Integer
| AntiIntExpr String
| BinopExpr BinOp Expr Expr
| AntiExpr String
deriving(Show, Typeable, Data)

35. x :: Integer
x = 1
eval [expr|$x + 3|]

36. parseExpr :: m => String -> m Expr
parseExpr s = …

37. expr :: QuasiQuoter
expr = QuasiQuoter { quoteExp = quoteExprExp,
quotePat = quoteExprPat,
quoteType = error "",
quoteDec = error "" }

38. quoteExprExp :: String -> TH.ExpQ
quoteExprExp s = do
expr <- parseExpr s
liftData expr

39. quoteExprExp :: String -> TH.ExpQ
quoteExprExp s = do loc <- TH.location
let pos = (TH.loc_filename loc,
fst (TH.loc_start loc),
snd (TH.loc_start loc))
expr <- parseExpr pos s
dataToExpQ (const Nothing `extQ` antiExprExp) expr
antiExprExp :: Expr -> Maybe (TH.Q TH.Exp)
antiExprExp (AntiIntExpr v) = Just $ TH.appE (TH.conE (TH.mkName "IntExpr"))
(TH.varE (TH.mkName v))
antiExprExp (AntiExpr v) = Just $ TH.varE (TH.mkName v)
antiExprExp _ = Nothing

40. quoteExprPat :: String -> TH.PatQ
quoteExprPat s = do loc <- TH.location
let pos = (TH.loc_filename loc,
fst (TH.loc_start loc),
snd (TH.loc_start loc))
expr <- parseExpr pos s
dataToPatQ (const Nothing `extQ` antiExprPat) expr
antiExprPat :: Expr -> Maybe (TH.Q TH.Pat)
antiExprPat (AntiIntExpr v) = Just $ TH.conP (TH.mkName "IntExpr")
[TH.varP (TH.mkName v)]
antiExprPat (AntiExpr v) = Just $ TH.varP (TH.mkName v)
antiExprPat _ = Nothing

41. eval :: Expr -> Integer
eval (IntExpr n) = n
eval (BinopExpr op x y) = (opToFun op) (eval x) (eval y)
where
opToFun AddOp = (+)
opToFun SubOp = (-)
opToFun MulOp = (*)
opToFun DivOp = div

42. eval' :: Expr -> Integer
eval' [expr|$int:x|] = x
eval' [expr|$x + $y|] = eval' x + eval' y
eval' [expr|$x - $y|] = eval' x - eval' y
eval' [expr|$x * $y|] = eval' x * eval' y
eval' [expr|$x / $y|] = eval' x `div` eval' y

43. 결론
• 하스켈에는 DSL을 임베드 시킬 수 있는 QuasiQuotes라는 것이 있다.
• (그걸로 만들어진 라이브러리를) 써보니 편하더라