News for hackers. Stuff that matters.

A comment on What Is miniKanren?. Parent comment

Re:What Is miniKanren? by riku_iki on Thursday January 02, 2025 @02:14PM (#42577667)
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

[ Parent | on HN ]
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.
[ Parent | on HN ]