Semantic editor combinators (opens in new tab)  🔗Concatenative Languages  Content type: Blog

\> What I enjoy most about these \(semantic\) editor combinators is that their use is type-directed and so doesn’t require much imagination\. When I have the type of a complex value, and I want to edit some piece buried inside, I just read off the path in the containing type, on the way to the buried value\. via: