[Top][All Lists]
[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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Pika-dev] epigram,
Jeremy Shaw <=