here be haskells
joeyh at
Type directed spell system development http://joeyh.name/blog/entry/7drl_2015_day_5_type_directed_spell_system_development/
David Thompson likes this.
I've been dabbling with purely functional game programming myself, so this was really interesting to read. Looking forward to seeing the finished game.
The reddit thread is gold on this one:
https://www.reddit.com/r/haskell/comments/2yqwgi/type_directed_spell_system_development/
A denotational semantics of spells! -- Faucelme
And if you make your spells form a Lie Algebra, you can have different groups use entirely different magic systems but they'll still interact properly -- Hrothen
Make your spells a nonlinear Lie group defined by a high-dimensional tangent Lie algebra. Hard mode. -- cynicalkane