epigram

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.