Jun
25
awarded Informed
Jun
25
comment How long can the name of a type constructor be?
How about the file size if you use module Main (main) where ...?
Jun
12
answered Navigating and modifying ASTs built on the Free monad in Haskell
Sep
6
comment No instance for (Show a0) arising from a use of `print' The type variable `a0' is ambiguous
Yes, since there's a 'Show' instance for '()'. Unlike '[]' which is of type '[a]', '()' is of type '()', so nothing can influence printing, the 'show' result is always '()'.
Sep
4
answered No instance for (Show a0) arising from a use of `print' The type variable `a0' is ambiguous
Sep
4
awarded Supporter
Sep
4
comment Representing map constraints as a ADT
Yes, I guess I messed up with making a distinction between Tile and Cell. I didn't test, but I'm fairly certain that could be 1 (recursive) type. Once that's done, you can represent arbitrary maps of cells.
Sep
3
answered Representing map constraints as a ADT
Mar
22
awarded Teacher
Mar
22
answered How do you represent a graph in Haskell?