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

Jason Johnson jason.johnson.081 at gmail.com
Thu Oct 25 20:14:51 UTC 2007


Sorry, I was trying to make an abbreviation for lambda-calculus

On 10/25/07, Matej Kosik <kosik at fiit.stuba.sk> wrote:
> -----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