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

Joe Hillenbrand joehillen at gmail.com
Wed Jan 28 17:37:00 UTC 2015

What does "pure logical" mean?

On Wed, Jan 28, 2015 at 9:22 AM, Timotej Tomandl <timotej.tomandl at gmail.com>

> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20150128/c6447210/attachment.html>

More information about the Haskell-Cafe mailing list