Comment by kensai
9 years ago
I am always puzzled why Curry which is Haskell + Prolog in one unified packet has never taken off. Combining the advantages of functional and logic programming paradigms seems to have so many interesting applications.
Admittedly, Curry is an academic language, not 100% production ready.
Mercury is another programming language that combines Prolog plus functional programming that probably doesn't get as much attention as it deserves https://mercurylang.org/
With a build system like that, it gets exactly as much attention as it deserves... D:
Do a ./configure --help, and try to figure out what the best "grade"(s) to build is/are.
I've been meaning to try Mercury for years, but after this, there's no chance I'm going to try writing anything in it. What other crufty unusable insanity have they built in there?
It is a bit obscure. I let it build the ones it wants to build by default. This gives me the flexibility of deciding later when building Mercury programs what I want as a backend.
This blog post describes some of them: https://adventuresinmercury.blogspot.co.nz/2011/11/making-gr...
Even more interesting is that Prof. Dr. Hanus, one of the two original designers of the language, teaches both Haskell and Prolog in his lecture, but not Curry.
(And Dr. Huch, another person from Hanus’ team, who held that lecture this year, also didn’t mention Curry in it.)
He did reply to a mail of mine a couple of months ago though. Curry is still in development.
It’s just weird – I’m taking that course right now myself, exam on the 14th – that it was never mentioned.
1 reply →