[Haskell-cafe] Pure functional and pure logical language at the same time
timotej.tomandl at gmail.com
Wed Jan 28 18:41:15 UTC 2015
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 <timotej.tomandl at gmail.com>:
> Second thing, is it purely logical?
> And do we get any advantage when reasoning?
> 2015-01-28 19:27 GMT+01:00 Andy Morris <andy at adradh.org.uk>:
>> Yes. It has monadic IO exactly like Haskell's.
>> On 28 Jan 2015, at 19:22, Timotej Tomandl <timotej.tomandl at gmail.com>
>> 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 at 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
>>> 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
>>> 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.
>>> On 28 January 2015 at 18:22, Timotej Tomandl <timotej.tomandl at gmail.com>
>>> > This question was bugging me for quite a long time. Can we have a
>>> > which uses the functional logic while being both pure functional and
>>> > 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 at haskell.org
>>> > http://www.haskell.org/mailman/listinfo/haskell-cafe
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe