This file contains 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
{-# LANGUAGE NamedFieldPuns #-} | |
-- The Expression Problem and my sources: | |
-- http://stackoverflow.com/questions/3596366/what-is-the-expression-problem | |
-- http://blog.ontoillogical.com/blog/2014/10/18/solving-the-expression-problem-in-clojure/ | |
-- http://eli.thegreenplace.net/2016/the-expression-problem-and-its-solutions/ | |
-- http://www.ibm.com/developerworks/library/j-clojure-protocols/ | |
-- To begin demonstrating the problem, we first need some |
This file contains 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
A Whirlwind Tour of Combinatorial Games in Haskell | |
================================================== | |
Combinatorial games are an interesting class of games where two | |
players take turns to make a move, changing the game from one position | |
to another. In these games, both players have perfect information | |
about the state of the game and there is no element of chance. In | |
'normal play', the winner is declared when the other player is unable | |
to move. A lot of famous strategy games can be analysed as | |
combinatorial games: chess, go, tic-tac-toe. |
This file contains 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
-- credit goes to sigfpe | |
{-# LANGUAGE MultiParamTypeClasses | |
,TemplateHaskell | |
,GeneralizedNewtypeDeriving | |
,DeriveFunctor | |
,FunctionalDependencies | |
,FlexibleInstances | |
,UndecidableInstances | |
,FlexibleContexts | |
,Rank2Types #-} |