 AFP 2004
started 5/24/2004; 8:16:49 AM - last post 5/25/2004; 11:31:39 PM
|
|
Ehud Lamm - AFP 2004 
5/24/2004; 8:16:49 AM (reads: 5119, responses: 7)
|
|
| AFP 2004 |
|
The 5th International Summer School on Advanced Functional Programming will be in Tartu Estonia (August 14-21).
The program doesn't look very exciting, but I thought y'all might want to take a look anyway.
Given the discussions going on, the lecture on Clean "Dynamics" may be of interest...
Posted to functional by Ehud Lamm on 5/24/04; 8:19:13 AM
|
|
|
|
Andris Birkmanis - Re: AFP 2004
5/24/2004; 8:39:24 AM (reads: 235, responses: 3)
|
|
|
But beware, Tartu is a small pretty town, so there is almost no place for noisy programmers :-(
Last time I was there, they refused to serve bear in a pub because it was too late (it was not dark yet).
On the other side, it is pretty indeed. If you value lambdas not less than stouts and ales... ;-)
|
|
Daniel Yokomizo - Re: AFP 2004
5/24/2004; 10:08:51 AM (reads: 229, responses: 2)
|
|
they refused to serve bear in a pub
If it was my pub I would refuse to serve bears too, they tend to get too noisy and leave lots of fur behind.
|
|
Andris Birkmanis - Re: AFP 2004
5/24/2004; 11:36:38 PM (reads: 152, responses: 1)
|
|
|
Oh my, when finally I will learn spelling :-(
English is tougher than Java...
|
|
Daniel Yokomizo - Re: AFP 2004
5/25/2004; 6:50:47 AM (reads: 118, responses: 0)
|
|
|
Don't worry I make lots of mistakes in english too :( I'm also a non-native speaker.
|
|
Paul Snively - Re: AFP 2004
5/25/2004; 5:38:18 PM (reads: 91, responses: 0)
|
|
|
Let me assure both of you that your English is vastly superior to 98% of Americans'... well... anything other than English!
|
|
Ken Shan - Re: AFP 2004
5/25/2004; 11:17:01 PM (reads: 79, responses: 0)
|
|
Well, any programming system in which one writes code like
---------------------------------------------------------------------------
( n : Nat !
data (---------! where (------------! ; !-------------!
! Nat : * ) ! zero : Nat ) ! suc n : Nat )
---------------------------------------------------------------------------
( x, y : Nat !
let !----------------!
! plus x y : Nat )
plus x y <= rec x
{ plus x y <= case x
{ plus zero y []
plus (suc n) y => suc (plus n y)
}
}
---------------------------------------------------------------------------
inspect plus (suc (suc zero)) (suc (suc zero)) => suc (suc ?) : Nat
---------------------------------------------------------------------------
is exciting in my view... (that's Epigram, on the AFP program)
|
|
|
|