Re:Why I Prefer Functional Programming
by YeGoblynQueenne on Saturday October 31, 2020 @07:40PM
(#24956171)
>> To go into another timeless paradigm, logical programming is famous for unexpected exponential execution times.
I have never heard of those famous "unexpected exponential times" in logic (not "logical") programming. Could you please give an example of what you mean?
I'm also not sure what you mean by "this or ensuring the type system detects determinism". What logic programming languages with a type system do you mean? Why would a type system be required to detect determinism?
I have never heard of those famous "unexpected exponential times" in logic (not "logical") programming. Could you please give an example of what you mean?
I'm also not sure what you mean by "this or ensuring the type system detects determinism". What logic programming languages with a type system do you mean? Why would a type system be required to detect determinism?