|
|
|
|
|
|
by jabowery
814 days ago
|
|
|
This is reminiscent of an argument I had with the Mercury Prolog guys regarding "typing" in logic programming. My point boils down to this: Any predicate can be considered a constraint. Types are constraints. While it may be reasonable to have syntactic sugars for type declarations that, at compile time, are transformed into predicates, it is unreasonable to lard a completely different kind of semantics on top of an already adequate semantic such as first order logic. https://groups.google.com/g/comp.lang.prolog/c/8yJxmY-jbG0/m... |
|
|