함수형 프로그래머를 찾아서... 한주영님편 3부에 이어서 4부에서는 한주영님과 Monad 및 Free Monad등에 대해 얘기를 나눠 보겠습니다. * Higher-Kinded Type * Kind (type theory) https://en.wikipedia.org/wiki/Kind_(type_theory) * Scala: Types of a higher kind https://blogs.atlassian.com/2013/09/scala-types-of-a-higher-kind/ * Monad https://en.wikipedia.org/wiki/Monad_(functional_programming) * Douglas Crockford의 Monad 설명 https://www.youtube.com/watch?v=dkZFtimgAcM * Free Monad http://underscore.io/blog/posts/2015/04/14/free-monads-are-simple.html * Functional Programming in Scala https://www.manning.com/books/functional-programming-in-scala * The Interpreter Pattern Revisited https://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