Please log in to watch this conference skillscast.

R&D on reactive programming is growing and this has delivered many language constructs, libraries and tools. Scala programmers can use threads, timers, actors, futures, promises, observables, the async construct, and others. Still it seems to us that the state of the art is not mature: reactive programming is relatively hard, and confidence in correct operation depends mainly on extensive testing. Better support for reasoning about correctness would be useful to address timing dependent issues.

The Algebra of Communicating Processes (ACP) has a potential to improve this: it lets one concisely specify event handling and concurrency, and it facilitates reasoning about parallel systems. There is an ACP-based extension to Scala named SubScript. We show how it helps describing the internal behavior of Akka actors, and how it combines with futures. For more information see www.subscript-lang.org

YOU MAY ALSO LIKE:

• SubScript: Extending Scala with the Algebra of Communicating Processes (SkillsCast recorded in April 2012)
• Lightbend Scala Language - Professional (in London on 9th - 10th September 2019)
• Lightbend Scala Language - Expert (in London on 11th - 13th September 2019)
• Scala eXchange London 2019 (in London on 12th - 13th December 2019)
• Scalax2gether Community Day 2019 (in London on 14th December 2019)
• Keynote by Valentin Kasas on The Last Frontier and Beyond (in London on 20th August 2019)
• London Java Community August Meetup (in London on 28th August 2019)
• Lightning Talk: Bending Time With RxJS (SkillsCast recorded in July 2019)
• Why API Design Matters, and Why Yours Sucks! (and mine sucks too!) (SkillsCast recorded in June 2019)