4 ms·
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 b
by thih9 2y ago
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?
- pkal 2y agoI 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.
- riku_iki 2y agoThere 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
- jasonhemann 2y agoI 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.
- ashton314 2y agoAWS uses a SAT solver (Z3) to resolve permissions. I can see miniKanren (or some other logic programming language) being helpful in the realm of authorization.