On 10/25/07, Matej Kosik kosik@fiit.stuba.sk wrote:
But there are strictly more interesting things that we want to describe whose behavior cannot be described in the lambda-calculus.
The thing that comes to my mind is
- ClockMorph
- the web-server
- the programmable interrupt timer
- Erlang concurrent, mutually interacting, processes.
Why not? You don't need to update variables to have updates. And, you know that Erlang can not modify variables after creation right, although I don't know if this is the property of L-C you had in mind?