Re: [Haskell-cafe] Pure functional and pure logical language at the same time

I think I found the advantage it can give us abbility to combine inductive and deductive reasoning. 2015-01-28 19:37 GMT+01:00 Timotej Tomandl :

Second thing, is it purely logical? And do we get any advantage when reasoning?

2015-01-28 19:27 GMT+01:00 Andy Morris :

...

Yes. It has monadic IO exactly like Haskell's.

On 28 Jan 2015, at 19:22, Timotej Tomandl wrote:

By pure logical I mean having features like in Pure Prolog. I am not sure if Curry is pure functional or not. Is it?

2015-01-28 19:09 GMT+01:00 Mathieu Boespflug <0xbadcode@gmail.com>:

...

By "pure logical", do you mean "logically consistent"? Or do you mean a logic language in the style of Prolog but with no non-logical effects such as programmatic pruning of the search tree?

If the former, there are many languages in that fit the bill (or at least are believed to be consistent): Coq, Agda, HOL, ... The key difference between those languages and Haskell is that all functions must be provably total. See

https://uf-ias-2012.wikispaces.com/file/view/turner.pdf

from the father of a direct ancestor of Haskell, arguing for precisely this: a total functional programming language (not that I agree that such a language as proposed in the paper would be particularly useful).

If you mean the former, there are language that try to combine logical and functional programming, see e.g. Curry just mentioned in this thread a few minutes ago.

...

This question was bugging me for quite a long time. Can we have a language which uses the functional logic while being both pure functional and

On 28 January 2015 at 18:22, Timotej Tomandl wrote: pure

...

logical? Do we get any advantages from maintaining both both of this purities at the same time?

P.S.: I have feeling the answer is no, but I am not sure.

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe