type: PIN
Consumer key: 3nVuSoBZnx6U4vzUxf5w
Consumer secret: Bcs59EFbbsdF6Sl9Ng71smgStWEGwXXKSjYvPVt7qys
type: PIN
Consumer key: IQKbtAYlXLripLGPWd0HUA
François Armand fanf
fanf
/ One_concept_to_explain_them_all_and_in_the_theory_bind_them.scala
Created
February 6, 2019 17:47
— forked from chrilves/One_concept_to_explain_them_all_and_in_the_theory_bind_them.scala
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| This piece of commented code aims to clarify some | |
| misconceptions between several advanced concepts | |
| in pure functional programming/category theory: | |
| free monads, finally tagless approach, algebraic | |
| effects. | |
| These concepts are actually very close. They rely | |
| on similar concepts and even represent the "same" | |
| object (up to isomorphism!) from the theoretical |