Re:What Is miniKanren?
by coliveira on Thursday January 02, 2025 @10:11AM
(#42575073)
The important thing is to realize how much programming has been wasted solving problems that can be easily expressed as logic programming and/or integer programming. If you need to solve logic and combinatorial based problems, learning these techniques will save you hundreds of hours.
[ Parent
| on HN ]
Sounds interesting. Could you give a specific example?
Say, in a SaaS web app that provides a comments widget (a Disqus clone), what behavior (user facing or behind the scenes) would be a good candidate to implement with logic/integer programming?
I have a hunch this might be about the difference between "programming" and "coding". Web stuff, Hardware, and other things that don't get to just communicate with other programmers or programmers have a tendency of piling layers upon layers with custom glue and pipes everywhere.
There could be library of UI primitives and backend in logical language, then you would write declaration of what you want exactly:
- I want window of these size, with such controls
- when this button is clicked, text from this control appears in that DB column
and system figures out all details making it cross platform, fault tollerant, etc if all infra is coded on that platform
Re:What Is miniKanren?
by jasonhemann on Saturday January 04, 2025 @12:23PM
(#42596117)
I have a vague recollection about that kind of a declarative UI framework, but I can't remember a single detail. But it's definitely an interesting idea and I know there are other folk out there also interested in your idea.