[Haskell-cafe] Pure functional and pure logical language at the same time
timotej.tomandl at gmail.com
Wed Jan 28 18:22:32 UTC 2015
By pure logical I mean having features like in Pure Prolog.
I am not sure if Curry is pure functional or not. Is it?
2015-01-28 19:09 GMT+01:00 Mathieu Boespflug <0xbadcode at gmail.com>:
> By "pure logical", do you mean "logically consistent"? Or do you mean
> a logic language in the style of Prolog but with no non-logical
> effects such as programmatic pruning of the search tree?
> If the former, there are many languages in that fit the bill (or at
> least are believed to be consistent): Coq, Agda, HOL, ... The key
> difference between those languages and Haskell is that all functions
> must be provably total. See
> from the father of a direct ancestor of Haskell, arguing for precisely
> this: a total functional programming language (not that I agree that
> such a language as proposed in the paper would be particularly
> If you mean the former, there are language that try to combine logical
> and functional programming, see e.g. Curry just mentioned in this
> thread a few minutes ago.
> On 28 January 2015 at 18:22, Timotej Tomandl <timotej.tomandl at gmail.com>
> > This question was bugging me for quite a long time. Can we have a
> > 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
> > 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...
More information about the Haskell-Cafe