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

[Simon Thompson]

You need to take a look at curry …

  http://www-ps.informatik.uni-kiel.de/currywiki/start <http://www-ps.informatik.uni-kiel.de/currywiki/start>

Simon


> On 28 Jan 2015, at 17:37, Joe Hillenbrand <joehillen at gmail.com> wrote:
> 
> What does "pure logical" mean?
> 
> On Wed, Jan 28, 2015 at 9:22 AM, Timotej Tomandl <timotej.tomandl at gmail.com <mailto:timotej.tomandl at 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 at haskell.org <mailto:Haskell-Cafe at haskell.org>
> http://www.haskell.org/mailman/listinfo/haskell-cafe <http://www.haskell.org/mailman/listinfo/haskell-cafe>
> 
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

Simon Thompson | Professor of Logic and Computation 
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thompson at kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20150128/aa52053f/attachment.html>