함수형 프로그래머를 찾아서... 한주영님편3부에 이어서 4부에서는 한주영님과 Monad 및 Free Monad등에 대해 얘기를 나눠 보겠습니다.* Higher-Kinded Type * Kind (type theory)https://en.wikipedia.org/wiki/Kind_(type_theory) * Scala: Types of a higher kindhttps://blogs.atlassian.com/2013/09/scala-types-of-a-higher-kind/* Monadhttps://en.wikipedia.org/wiki/Monad_(functional_programming) * Douglas Crockford의 Monad 설명https://www.youtube.com/watch?v=dkZFtimgAcM* Free Monadhttp://underscore.io/blog/posts/2015/04/14/free-monads-are-simple.html* Functional Programming in Scalahttps://www.manning.com/books/functional-programming-in-scala* The Interpreter Pattern Revisitedhttps://www.youtube.com/watch?v=hmX2s3pe_qk* Abstract Syntax Tree (AST)https://en.wikipedia.org/wiki/Abstract_syntax_tree* Doobie (a pure functional JDBC layer for Scala)https://github.com/tpolecat/doobie