The Fractor Model, inspired by BitC and Jonathan Shapiro, refines the Actor paradigm for better control over shared mutable state. Fractors offer explicit state and effect handling, ideal for low-level concurrent programming. The key innovation is fractal-like, fine-grained control over mutable state at the method level, improving programmer ergonomics and enabling automated type-checking.
Summary: Retrospective Thoughts on BitC
In my opinion, BitC is the most innovative take on systems programming we've seen since the invention of C. While sad that it failed, I am deeply impressed by the thoughtful post-mortem by Jonathan S. Shapiro. Here are links to the various threads of his analysis (and the equally thoughtful responses): [bitc-dev] Retrospective Thoughts on BitC... Continue Reading →
iHack, therefore iBlog 