<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Yes. It has monadic IO exactly like Haskell's.<div class=""><br class=""><div class=""><div><blockquote type="cite" class=""><div class="">On 28 Jan 2015, at 19:22, Timotej Tomandl <<a href="mailto:timotej.tomandl@gmail.com" class="">timotej.tomandl@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">By pure logical I mean having features like in Pure Prolog.<div class="">I am not sure if Curry is pure functional or not. Is it?</div><div class=""><br class=""></div><div class=""><br class=""></div></div><div class="gmail_extra"><br class=""><div class="gmail_quote">2015-01-28 19:09 GMT+01:00 Mathieu Boespflug <span dir="ltr" class=""><<a href="mailto:0xbadcode@gmail.com" target="_blank" class="">0xbadcode@gmail.com</a>></span>:<br class=""><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 class="">
a logic language in the style of Prolog but with no non-logical<br class="">
effects such as programmatic pruning of the search tree?<br class="">
<br class="">
If the former, there are many languages in that fit the bill (or at<br class="">
least are believed to be consistent): Coq, Agda, HOL, ... The key<br class="">
difference between those languages and Haskell is that all functions<br class="">
must be provably total. See<br class="">
<br class="">
<a href="https://uf-ias-2012.wikispaces.com/file/view/turner.pdf" target="_blank" class="">https://uf-ias-2012.wikispaces.com/file/view/turner.pdf</a><br class="">
<br class="">
from the father of a direct ancestor of Haskell, arguing for precisely<br class="">
this: a total functional programming language (not that I agree that<br class="">
such a language as proposed in the paper would be particularly<br class="">
useful).<br class="">
<br class="">
If you mean the former, there are language that try to combine logical<br class="">
and functional programming, see e.g. Curry just mentioned in this<br class="">
thread a few minutes ago.<br class="">
<div class="HOEnZb"><div class="h5"><br class="">
<br class="">
On 28 January 2015 at 18:22, Timotej Tomandl <<a href="mailto:timotej.tomandl@gmail.com" class="">timotej.tomandl@gmail.com</a>> wrote:<br class="">
> This question was bugging me for quite a long time. Can we have a language<br class="">
> which uses the functional logic while being both pure functional and pure<br class="">
> logical?<br class="">
> Do we get any advantages from maintaining both both of this purities at the<br class="">
> same time?<br class="">
><br class="">
> P.S.: I have feeling the answer is no, but I am not sure.<br class="">
><br class="">
</div></div><div class="HOEnZb"><div class="h5">> _______________________________________________<br class="">
> Haskell-Cafe mailing list<br class="">
> <a href="mailto:Haskell-Cafe@haskell.org" class="">Haskell-Cafe@haskell.org</a><br class="">
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank" class="">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br class="">
><br class="">
</div></div></blockquote></div><br class=""></div>
_______________________________________________<br class="">Haskell-Cafe mailing list<br class=""><a href="mailto:Haskell-Cafe@haskell.org" class="">Haskell-Cafe@haskell.org</a><br class="">http://www.haskell.org/mailman/listinfo/haskell-cafe<br class=""></div></blockquote></div><br class=""></div></div></body></html>