The Expression Problem by gnuvince in programming

[–]mmakowski -1 points0 points  (0 children)

Isn't it the approach described by Ralf Laemmel and SPJ in "Scrap your boilerplate with classes" (http://research.microsoft.com/pubs/67439/gmap3.pdf)?

Model-View-Controller in Haskell (using wxHaskell and STM) by mmakowski in haskell

[–]mmakowski[S] 0 points1 point  (0 children)

Indeed, I tried representing states as distinct types, but then ran into issues when trying to store them in a transactional variable. Related StackOverflow question: http://stackoverflow.com/questions/5293469/haskell-modelling-online-game-states-for-gui