Amb: A Redex Tutorial
docs.racket-lang.org
docs.racket-lang.org
It says I need to be familiar with call-by-value lambda-calculus. Ok, check. But I still don't follow what's going on. Is this because of that parenthetical "(and evaluation contexts)"? I wish there was a link to where I could read about evaluation contexts. I searched for 'racket evaluation context' and came up with zip (the first result is about.. redexes[1]).
The exposition seems to bounce around levels of understanding. It explains how to start typing in the example, and where the menus are, but it skips quickly past the productions. Is number a keyword of the DSL? I see 8 productions not 6. Is there some reason it doesn't mention if0 or fix? Is it deliberate that num is not number? Are if0 and fix not literals?
Racket is awesome; that just frustrates me all the more for often not being able to understand what it provides. Maybe I'm just dyslexic in some subtle way; I rarely have trouble following docs for other languages. Racket tutorials are as hard to understand for me as research papers that use haskell.
We do try hard to make the docs understandable though, so if you have some feedback please do mention it on the mailing list so that the responsible devs can try to address it.
Yes, part of what makes racket awesome is that it has a coherent design while fluidly integrating feedback. The challenge for me is to learn some aspect of it to the point where I can give constructive feedback. Sometimes I end up giving up before I get to that point. Perhaps the tower of concepts just has to be this high, and I need to just suck it up and give it more time/priority.