Re: Smap: Collecting small programs

From: David Powers <david.powers_at_flinders.edu.au>
Date: Tue, 28 Oct 2014 23:10:02 +0000

This is great Michael! I’ve just had a play and uploaded a couple of programs.

Unfortunately I’ve just yesterday finished lecturing on Curry for the year, showing code but not running it because I am unable to get things installed on the theatre PCs. Doing this from a browser with Smap would be perfect… But I will let the students know they can play with the language and examples without having to install Haskell/Prolog and Curry.

One thing I would ask is
a. whether you could allow us to run the Haskell programs under Curry to demonstrate compatibility, OR
b. whether you would prefer us to put up duplicate programs under Curry and Haskell with the same goal

I would also propose to put up some programs that test the definition of the language and have different behaviour under the different Curry systems.

It would also be good for some of the discussions on the list - e.g. the recent discussions of permutation sort in Curry vs Prolog.

cheers,
David

On 29 Oct 2014, at 3:06 am, Michael Hanus <mh_at_informatik.uni-kiel.de<mailto:mh_at_informatik.uni-kiel.de>> wrote:

Hi,

my previous email reminded me that I wanted to announce
a web-based tool which is useful to store and run small
example Curry programs (but there is also support for
other languages like Haskell or Prolog):

*Smap*, see
http://www-ps.informatik.uni-kiel.de/smap/smap.cgi

With Smap, you can write (Curry) programs in a web browser,
execute them, and store them persistently (for the latter,
you have to sign up to Smap, which is easily possible).

Alternatively, it is also possible to create a URL containing
a program to be executed with Smap. For instance, the
following URL contains a definition of the classical
functional logic program "last" where Boolean equality
is used instead of a constraint in the condition:

http://www-ps.informatik.uni-kiel.de/smap/smap.cgi?upload?lang=Curry&program=%2D%2D+Definition+of+last+with+Boolean+equality%3A%0Alast+xs+%7C+xs+%3D%3D+%5F%2B%2B%5Be%5D++%3D+e+++where+e+free%0A%0Amain+%3D+last+%5B1%2C2%2C3%5D%0A

If you click on this URL, you can see, modify, and execute
this tiny program in your web browser.

The most recent version of the Curry tutorial

http://www-ps.informatik.uni-kiel.de/currywiki/documentation/tutorial

uses links to Smap for all example programs.

You are invited to store your favorite (Curry/Haskell/Prolog) programs
in Smap in order to share them with others.

Suggestions to improve Smap are always welcome!

Have fun,

Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Wed Oct 29 2014 - 13:24:36 CET

This archive was generated by hypermail 2.3.0 : Mon Nov 11 2019 - 07:15:09 CET