Fwd: [Haskell-cafe] funct.prog. vs logic prog., practical Haskell
Alberto G. Corona
agocorona at gmail.com
Mon Aug 3 17:41:29 EDT 2009
The middle road could be Curry <http://en.wikipedia.org/wiki/Curry>, sorry,
this Curry <http://www.informatik.uni-kiel.de/~curry/>, a functional-logic
language. I know that curry has gained a lot of interest from prolog
programmers. There are compilers from Curry to Prolog. It is a haskell 98
implementation (more or less) with all logic programming features. It can be
seen also as a logic language with haskell syntax. Therefore, its syntax is
more mathematical, rather that the ugly clause-based syntax of Prolog, that
is at odds with anything except with pure aristothelian logic.
2009/8/2 Thomas ten Cate <ttencate at gmail.com>
On Sun, Aug 2, 2009 at 12:25, Petr Pudlak<deb at pudlak.name> wrote:
> > Hi all,
> > I'd like to convince people at our university to pay more attention to
> > functional languages, especially Haskell. Their arguments were that
> > (1) Functional programming is more academic than practical.
> Which, even if it were true, is an argument *for* instead of *against*
> teaching it at a university; that is what the word "academic" means,
> after all...
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe