a potentially better version of Erlang, interesting, but not yet 1.0
Pony Language Designer Sylvan Clebsch on Pony’s Design, Garbage Collection, and Formal Verification @InfoQ
"...Sylvan Clebsch, who is the designer of the actor-model language Pony programming and now works at Microsoft Research in Cambridge in the Programming Language Principles group."
Pony scales from a Raspberry Pi through a 64 core half terabyte machine to a 4096 core SGI beast
An actor has a 256-byte overhead, so creating hundreds of thousands of actors is possible
Actors have unbounded queues to prevent deadlock
Each actor garbage collects its own heap, so global stop-the-world pauses are not needed
Because the type system is data-race free, it’s impossible to have concurrency problems in Pony
No comments:
Post a Comment