Re:Why most of us won't be inventing little languages
by hyperpape on Monday April 17, 2023 @11:53AM
(#35602569)
I feel like minikanren matches pretty closely to what I wrote about regex and sql? The execution model really isn’t visible from the surface syntax.
And while you probably don’t embed it as a string, you do basically have a shim layer between the host language and the natural ways of expressing a logic program.
My point is something like “if you’re doing something like SQL or regex or minikanren, you have a claim to implementing your own language, but the normal case is just another API.”
There is a reason we’re talking about Oleg! He’s really unusual (in a good way).
And while you probably don’t embed it as a string, you do basically have a shim layer between the host language and the natural ways of expressing a logic program.
My point is something like “if you’re doing something like SQL or regex or minikanren, you have a claim to implementing your own language, but the normal case is just another API.”
There is a reason we’re talking about Oleg! He’s really unusual (in a good way).