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

What does "pure logical" mean? On Wed, Jan 28, 2015 at 9:22 AM, Timotej Tomandl 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe