pika-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Pika-dev] epigram


From: Jeremy Shaw
Subject: [Pika-dev] epigram
Date: Fri, 29 Oct 2004 12:47:05 -0700
User-agent: Wanderlust/2.11.30 (Wonderwall) SEMI/1.14.6 (Maruoka) FLIM/1.14.6 (Marutamachi) APEL/10.6 Emacs/21.3 (i386-pc-linux-gnu) MULE/5.0 (SAKAKI)

Hello,

There is an experimental new language being developed named epigram.

Epigram is a dependantly-type language that, in many ways, feels
similar to xl. For example, it aims to reduce the number of
'meaningless' programs you can write, and does not support general
recursion by default.

And example of a nonsense that can not be expressed in epigram is the
haskell expression:

if null xs then tail xs else xs

That expression has a perfectly valid type-signature -- so haskell
happily compiles it, but it will fail everytime if xs == [] with

*** Exception: Prelude.tail: empty list

The website is at:

http://www.dur.ac.uk/CARG/epigram/

The first 10-20 pages of the tutorial are useful. Beyond that it goes
into type theory madness.

http://www.dur.ac.uk/CARG/epigram/epigram-afpnotes.pdf

Jeremy Shaw.
--

This message contains information which may be confidential and privileged. 
Unless you are the 
addressee (or authorized to receive for the addressee), you may not use, copy 
or disclose to anyone 
the message or any information contained in the message. If you have received 
the message in error, 
please advise the sender and delete the message.  Thank you.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]