[curry] Re: Haskell compatibility

From: Jeffrey Brown <jeffbrown.the_at_gmail.com>
Date: Mon, 16 Dec 2019 15:21:47 -0500

231 extensions as of GHC 8.6.5. (Some people are using 8.8 in production
already, and 8.10 is available but not stable yet.)

Of course, any Turing-complete language can do anything any other can.
There exists code that uses things like GADTs without really needing to.
But then again there are programs that would be really verbose and
confusing without the extensions.

On Mon, Dec 16, 2019 at 2:59 PM Volker Wysk <post_at_volker-wysk.de> wrote:

> Hi
>
> I see. But TWO HUNDRED extensions?? =:-|
>
> So it depends on the code, which you want to port to Curry, and
> which Haskell extensions it uses, how feasible it is to do that.
>
> Thanks.
>
> Volker
>
> Am Montag, den 16.12.2019, 14:13 -0500 schrieb Jeffrey Brown:
> > Maybe it's a superset of Haskell 98? Modern Haskell has more than two
> > hundred language extensions, a few dozen of which are quite popular.
> > Code that uses those will not in general (ever?) be something you can
> > just drop unchanged into a Curry project.
> >
> > Some of the extensions (e.g. ViewPatterns, LambdaCase,
> > OverloadedStrings, TupleSections) are basically syntactic sugar, and
> > it's easy to rewrite your code without them. Others (DataKinds,
> > GADTs, TypeFamilies, RankNTypes) let you do things that are
> > impossible otherwise.
> >
> > On Mon, Dec 16, 2019 at 12:01 PM Volker Wysk <post_at_volker-wysk.de>
> > wrote:
> > > Hi!
> > >
> > > I've read that Curry is a super set of Haskell, except for the type
> > > classes. But some Curry implementations do also include Haskell
> > > type
> > > classes.
> > >
> > > Does that mean, that Haskell code can easily be used inside Curry
> > > programs? Like C in C++? Is it possible to use all those Haskell
> > > libraries in Curry?
> > >
> > > Or, if not, is it very easy to port Haskell to Curry?
> > >
> > > Cheers
> > > Volker
> > > _______________________________________________
> > > curry mailing list -- curry_at_lists.rwth-aachen.de
> > > To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
> > >
> https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de
> >
> >
>
>

--
Jeff Brown | Jeffrey Benjamin Brown
Website <https://msu.edu/~brown202/> | Facebook
<https://www.facebook.com/mejeff.younotjeff> | LinkedIn
<https://www.linkedin.com/in/jeffreybenjaminbrown>(spammy, so I often miss
messages here) | Github <https://github.com/jeffreybenjaminbrown>



_______________________________________________
curry mailing list -- curry_at_lists.rwth-aachen.de
To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de
Received on Mo Dez 16 2019 - 23:19:15 CET

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:13 CET