Hacker News Reader

Comment by kensai | Hacker News Reader

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.

http://curry-language.org/

View on HN

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.

I really don't know. Can you ask him? This was my mail and his reply:

> I am curious, is there a potential date for release of version 1.0.0 > of the Curry programming language in the near future, ie to be > considered production-ready and feature-complete?

Although we are working for years on Curry, I am careful to release a 1.x version. In the last years, the design stabilized a lot, in particular with the recent switch to 0.9. However, since Curry intends to be an extension of Haskell, one big thing is missing: type classes. If type classes are added, I think it could be called 1.0. However, for this purpose, we need serious implementations of type classes. We made one approach some time ago but it needs a lot of effort to get it ready with all the tools that exist so far. Now, we are working on another approach to add type classes that might be finished in the next year. Since the addition of type classes breaks (the type signatures of) existing code, it is not a simple extension.

Sorry that I can't be more specific. At least, we are working on it, but our capacity is limited :-(

Best regards,

Michael

Reply on news.ycombinator.com