6 comments

[ 3.2 ms ] story [ 28.9 ms ] thread
In the age of AI, I went old-school inspired by Hanson & Sussman's book "Software Design for Flexibility")

Meant for beginners. I'd appreciate all feedback!

Our "logical" rules of Go [1] can be translated pretty directly into Haskell (links below rules).

[1] https://tromp.github.io/go.html

cool, thanks!
I'd need to really learn Haskell to make sense of it all. Might be a good excuse :-)
SDF is a book I've been meaning to revisit, appreciate having an explanation of one of the problems written out here: a lack of super-concrete examples in the book did make it a little tough for me to penetrate on my previous (less mature) foray.
Cool! I love how this written and how powerful that whole approach feels for teaching/learning.