Erlang a primitive language? (was Re: Multy-core CPUs)

Matej Kosik kosik at fiit.stuba.sk
Thu Oct 25 19:50:09 UTC 2007


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Jason Johnson wrote:
> On 10/25/07, Matej Kosik <kosik at 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?
> 

Sorry, what is L-C?

Some (infinitely many)  processes expressed in the pi-calculus cannot be modeled in the
lambda-calculus because they cannot be regarded as algorithms.
http://www.amazon.com/s/ref=nb_ss_gw/102-3481753-9537767?initialSearch=1&url=search-alias%3Daps&field-keywords=milner+pi-calculus&Go.x=0&Go.y=0&Go=Go

Am I missing something?

Best regard
- --
Matej Kosik
ICQ: 300133844
skype: matej_kosik
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFHIPNxL+CaXfJI/hgRAlgeAJwPJuCZgJXpwQvwgR76h6X8H7xoNQCdHhTo
Xm8BOw7excfEOsti21GSg/I=
=6IqL
-----END PGP SIGNATURE-----



More information about the Squeak-dev mailing list