Ownership and Reference Counting Based Garbage Collection in the Actor World - Clebsch et al. 2015 Yesterday we looked at the reference capability based type system of the Pony language. Pony is a safe (data race free), fast actor language. Today we're looking at another aspect of how Pony achieves its speed and clean programming … Continue reading Ownership and Reference Counting Based Garbage Collection in the Actor World
Tag: Programming Languages
Deny Capabilities for Safe, Fast Actors
Deny Capabilities for Safe, Fast Actors - Clebsch et al. 2015 Do you remember Herb Sutter's 'The Free Lunch is Over' article? (Hard to believe that was written over 11 years ago!). Herb Sutter also posted a great update in 2012, 'Welcome to the Jungle'. In the conclusion of that piece Sutter writes: Mainstream hardware … Continue reading Deny Capabilities for Safe, Fast Actors
Is Sound Gradual Typing Dead?
Is Sound Gradual Typing Dead? - Takikawa et al. 2016 Last year we looked at the notion of gradual typing in an ECOOP 2015 paper by Takikawa et al. based on TypedRacket. Today's choice from POPL 2016 by Takikawa et al. has the rather dramatic sounding title 'Is Sound Gradual Typing Dead?'. If the paper … Continue reading Is Sound Gradual Typing Dead?
PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms
PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms - Drăgoi et al. 2016 Last month we looked at the RAMCloud team's design pattern for building distributed, concurrent, fault-tolerant modules. Today's paper goes one step beyond a pattern, and introduces a domain-specific language called PSync with the goal of unifying the modeling, programming, and verification … Continue reading PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms
Asynchronous Functional Reactive Programming for GUIs
Asynchronous Functional Reactive Programming for GUIs - Czaplicki & Chong 2013 Today's paper choice introduces the Elm language. Elm today is a functional reactive programming language for the browser. If you want to explore more check out the examples and live code editor. You might also like Richard Feldman's Strange Loop talk on "Making the … Continue reading Asynchronous Functional Reactive Programming for GUIs
A Survey on Reactive Programming
A Survey on Reactive Programming - Bainomugisha et al. 2012 Update: fixed broken link to Fran paper, thanks to Josef B for pointing it out. Today’s applications are increasingly becoming highly interactive, driven by all sorts of events originating from within the applications and their outside environment. Such event-driven applications maintain continuous interaction with their … Continue reading A Survey on Reactive Programming
Scrap Your Boilerplate with Object Algebras
Scrap Your Boilerplate with Object Algebras - Zhang et al. 2015 We've seen Object Algebras once before on The Morning Paper when we looked at extensible streaming APIs. Today's paper choice uses the extensible properties of object algebras to help remove some of the boilerplate code traditionally associated with implementing visitors that traverse ASTs. The … Continue reading Scrap Your Boilerplate with Object Algebras
From APIs to Languages: Generalising Method Names
From APIs to Languages: Generalising Method Names - Homer et al. 2015 We've just had OOPSLA 2015, so I'm going to dedicate a few days to some of the papers published in the program. We'll have to put the robotics to one side for a little bit - so many interesting papers and ideas, so … Continue reading From APIs to Languages: Generalising Method Names
Lasp: A language for distributed, coordination-free programming
Lasp: A language for distributed, coordination-free programming - Meiklejohn & Van Roy 2015 * Update: fixed typo in Chris' surname above. * With thanks to Colin Barrett for suggesting today's choice, and to Chris Meiklejohn for providing a link to a paywall-free preprint of the paper. Christopher Meiklejohn recently announced he is leaving Basho to … Continue reading Lasp: A language for distributed, coordination-free programming
Cooking the Books: Formalizing the JMM Implementation Recipes
Cooking the Books: Formalizing the JMM Implementation Recipes - Petri et al. 2015 A decade ago, the semantics of concurrent Java programs, the Java Memory Model (JMM), was revised and redefined... ... this refinement introduced a formalization called the Data-Race Free (DRF) guarantee. Programs that do not have data races (DRF) in their sequentially consistent … Continue reading Cooking the Books: Formalizing the JMM Implementation Recipes
the morning paper 