I'm tired of FP vs OOP arguments. Why not logic programming vs aspect programming for once?
39
14
215
Conversation
I hate to ruin a good shitpost but now that I think about it, it *is* kinda weird that ideas from FP are regularly crossbred into "OOP" languages, while ideas from LP are not
Suggests LP is much "further" from FP&OOP than they are from each other
21
8
62
Replying to
One thing I find interesting when going between LP and dependently typed PLs is how the relations you write in LP can be translated to inductive types. For example here's how to port some simple inference rules from natural deduction to Prolog and Lean 4: gist.github.com/brendanzab/4cd