Hi Michael,
Here is a short description of Sprite:
"Sprite is a compiler and runtime for Curry programs. It is based on the Fair Scheme, a compilation strategy for transforming declarative, non-deterministic source programs into imperative, deterministic code. As the Fair Scheme emphasizes operational completeness, Sprite aims to produce all values of Curry programs, subject only to practical limits such as the amount of memory available."
Also, the following papers are relevant:
_at_inproceedings{Antoy2013CompilingAF,
title={Compiling a Functional Logic Language: The Fair Scheme},
author={S. Antoy and A. Jost},
booktitle={LOPSTR},
year={2013}
}
_at_article{Antoy2016ANF,
title={A New Functional-Logic Compiler for Curry: Sprite},
author={S. Antoy and A. Jost},
journal={ArXiv},
year={2016},
volume={abs/1608.04016}
}
-Andy
-----Original Message-----
From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Sent: Tuesday, November 17, 2020 9:47 AM
To: Andy Jost <ajost_at_synopsys.com>; h7sa_at_pdx.edu; Felix Holmgren <felix.holmgren_at_gmail.com>
Cc: Curry List <curry_at_lists.rwth-aachen.de>
Subject: Re: [curry] Re: New homepage for Curry
Hi,
thanks for your feedback. We will try to do some improvements.
_at_Andy: could you send me a paragraph and/or reference to Sprite?
Then I could include it in the wiki.
Regards,
Michael
On 16.11.20 22:58, Andy Jost wrote:
> I have a few observations:
>
> [1] I cannot find this page in a Google search for "curry programming language." It appears third (behind a Wikipedia page and the old wiki) when searching for "curry programing language homepage." Someone familiar with SEO might be able to suggest improvements. Perhaps including the phrase "curry programming language" in its entirety would help.
>
> [2] The page address, title, and caption (as they appear in the Google search) could be improved to more clearly describe the page itself (rather than Curry). They are "curry.pages.ps.informatik.uni-kiel.de," "Curry Programming Language - Uni Kiel" and "Curry is a declarative multi-paradigm programming language...," resp.
>
> For comparison, searching for "python programming language" produces https://urldefense.com/v3/__http://www.python.org__;!!A4F2R9G_pg!Ml1B_ylrZ0FE7Vwgw9YPo_CTi394eIClKrfmlnkEt2YTsQKRM1oc8lG8c4n67928Elc$ , "Welcome to Python.org," and "The official home of the Python Programming Language."
>
> -Andy
>
> -----Original Message-----
> From: h7sa_at_pdx.edu <h7sa_at_pdx.edu>
> Sent: Monday, November 16, 2020 9:02 AM
> To: Felix Holmgren <felix.holmgren_at_gmail.com>
> Cc: Curry List <curry_at_lists.rwth-aachen.de>; Andy Jost
> <ajost_at_synopsys.com>
> Subject: Re: [curry] Re: New homepage for Curry
>
> I confirm Felix's impressions regarding the implementations.
> The FLVM project has been abandoned long ago and no useful implementation is available. By constrast, Sprite is active.
> An initial release is planned by the end of this year. The principal developer is Andy Jost at Portland State.
>
> Sergio
>
> On Mon, 16 Nov 2020, at 13:35, Felix Holmgren <felix.holmgren_at_gmail.com> wrote:
>
> > The new homepage looks nice, congratulations! A couple of minor points of > feedback:
> >
> > 1) The code block near the top of the page doesn't fit in the width of > many/most mobile devices, which results in the page being wider than the > screen. Slightly inelegant.
> >
> > 2) Not really an issue with the new web page, but still: it would be useful > if the list of implementations ( > https://urldefense.com/v3/__https://www-ps.informatik.uni-kiel.de/currywiki/implementations/overview__;!!A4F2R9G_pg!Ifawaqr77UWZXaprh3WxH4hW8yy-lDEUaej9BfbWv5O3cljNjq_8Ywi_nHxxHbZy7Lg$ ) > made a clearer between those that are being actively maintained and those > which aren't. Most of the implementations listed haven't had updates in > more than a decade as far as I can see. Sprite is not listed at all, > although it has seen updates much more recently that eg FLVM or even MCC.
> > Is MCC really still an alternative that should be promoted as on a par with > PAKCS and KiCKS2?
> >
> > That's all
> > /Felix
> >
> >
> >
> > On Fri, Oct 16, 2020 at 12:30 PM Michael Hanus <mh_at_informatik.uni-kiel.de> > wrote:
> >
> > > Hi,
> > >
> > > maybe some of you already noticed it, but I'd like to inform you > > that we created a new home page for Curry, see > >
> > > https://urldefense.com/v3/__http://curry-lang.org__;!!A4F2R9G_pg!Ifawaqr77UWZXaprh3WxH4hW8yy-lDEUaej9BfbWv5O3cljNjq_8Ywi_nHxxB7Qph8Q$
> > >
> > > It does not replace all contents of the older homepage > > (which was actually a wiki) but it is intended as a first > > entry point for Curry. It provides a short description of > > to the main features, ecosystems, and quick links > > to implementations, packages and other stuff.
> > > Thus, bookmark it or link it from your web pages!
> > >
> > > The homepage should not replace the wiki (which contains > > much more information). Nevertheless, if you have suggestions > > for improvement or adding further information, please mail them.
> > >
> > > If you look into the "Download" area, you see also links to > > quite new stable versions of PAKCS and KiCS2 (tar files > > and docker images).
> > >
> > > All the best,
> > >
> > > Michael
> > > _______________________________________________
> > > curry mailing list -- curry_at_lists.rwth-aachen.de > > To
> unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de > >
> https://urldefense.com/v3/__https://lists.rwth-aachen.de/postorius/lis
> ts/curry.lists.rwth-aachen.de__;!!A4F2R9G_pg!Ifawaqr77UWZXaprh3WxH4hW8
> yy-lDEUaej9BfbWv5O3cljNjq_8Ywi_nHxxoLWCwZo$
> > >
> >
> >
> > --
> > Felix Holmgren / Holmgren Interstellar > tel: +46 704 452 469
>
> > _______________________________________________
> > curry mailing list -- curry_at_lists.rwth-aachen.de > To unsubscribe
> send an email to curry-leave_at_lists.rwth-aachen.de >
> https://urldefense.com/v3/__https://lists.rwth-aachen.de/postorius/lis
> ts/curry.lists.rwth-aachen.de__;!!A4F2R9G_pg!Ifawaqr77UWZXaprh3WxH4hW8
> yy-lDEUaej9BfbWv5O3cljNjq_8Ywi_nHxxoLWCwZo$
> _______________________________________________
> curry mailing list -- curry_at_lists.rwth-aachen.de To unsubscribe send
> an email to curry-leave_at_lists.rwth-aachen.de
> https://urldefense.com/v3/__https://lists.rwth-aachen.de/postorius/lis
> ts/curry.lists.rwth-aachen.de__;!!A4F2R9G_pg!Ml1B_ylrZ0FE7Vwgw9YPo_CTi
> 394eIClKrfmlnkEt2YTsQKRM1oc8lG8c4n6RNGnpoo$
>
_______________________________________________
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 Nov 30 2020 - 11:02:00 CET