<div dir="ltr">By pure logical I mean having features like in Pure Prolog.<div>I am not sure if Curry is pure functional or not. Is it?</div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2015-01-28 19:09 GMT+01:00 Mathieu Boespflug <span dir="ltr"><<a href="mailto:0xbadcode@gmail.com" target="_blank">0xbadcode@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">By "pure logical", do you mean "logically consistent"? Or do you mean<br>
a logic language in the style of Prolog but with no non-logical<br>
effects such as programmatic pruning of the search tree?<br>
<br>
If the former, there are many languages in that fit the bill (or at<br>
least are believed to be consistent): Coq, Agda, HOL, ... The key<br>
difference between those languages and Haskell is that all functions<br>
must be provably total. See<br>
<br>
<a href="https://uf-ias-2012.wikispaces.com/file/view/turner.pdf" target="_blank">https://uf-ias-2012.wikispaces.com/file/view/turner.pdf</a><br>
<br>
from the father of a direct ancestor of Haskell, arguing for precisely<br>
this: a total functional programming language (not that I agree that<br>
such a language as proposed in the paper would be particularly<br>
useful).<br>
<br>
If you mean the former, there are language that try to combine logical<br>
and functional programming, see e.g. Curry just mentioned in this<br>
thread a few minutes ago.<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
On 28 January 2015 at 18:22, Timotej Tomandl <<a href="mailto:timotej.tomandl@gmail.com">timotej.tomandl@gmail.com</a>> wrote:<br>
> This question was bugging me for quite a long time. Can we have a language<br>
> which uses the functional logic while being both pure functional and pure<br>
> logical?<br>
> Do we get any advantages from maintaining both both of this purities at the<br>
> same time?<br>
><br>
> P.S.: I have feeling the answer is no, but I am not sure.<br>
><br>
</div></div><div class="HOEnZb"><div class="h5">> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
><br>
</div></div></blockquote></div><br></div>