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

[Timotej Tomandl]

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>
>> 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 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
>>>
>>> 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.
>>>
>>>
>>> On 28 January 2015 at 18:22, Timotej Tomandl <timotej.tomandl at gmail.com>
>>> wrote:
>>> > 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
>>> 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 at haskell.org
>>> > http://www.haskell.org/mailman/listinfo/haskell-cafe
>>> >
>>>
>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20150128/86009555/attachment.html>