On 28 Jan 2015, at 17:37, Joe Hillenbrand <joehillen@gmail.com> wrote:

What does "pure logical" mean?

On Wed, Jan 28, 2015 at 9:22 AM, Timotej Tomandl <timotej.tomandl@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@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe