Created
August 25, 2012 19:04
-
-
Save caasi/3469414 to your computer and use it in GitHub Desktop.
actor and function
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
02:03 < Lajla> When they first made scheme, they had support for both functions and actors, and to their surprise they found | |
out that while they were doing it, the code for functions and actors turned out to be identical | |
02:03 < Mortchek> Heheh. | |
02:03 < Lajla> So they dropped actors and it eventually became the continuation passing style. | |
02:04 < Mortchek> So if we assume that any sort of value is an actor that accepts certain messages, and an actor passed a | |
message yields another actor, then… everything is a function! | |
02:05 < Mortchek> We've just come back around to lambda calculus. | |
02:06 < Lajla> That's the general gist in fact of this revalation | |
02:07 < Lajla> that the actor model and lambda calculus are one and the same. | |
02:07 < Lajla> And can be described in terms of each other. | |
02:07 < Lajla> actor == function | |
02:07 < Lajla> It's an aesthetic style. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment