Past Meetup

Sergei Winitzki, Declarative concurrent programming with Join Calculus

This Meetup is past

29 people went

Location image of event venue

Details

Sergei Winitzki, Declarative concurrent programming with Join Calculus

Abstract

Abstract: I give an introduction to Join calculus, a declarative formalism for concurrent programming. Join Calculus is a development of Pi-calculus that is higher-level and easier to use in practice. Join Calculus radically improves upon well-known concurrency paradigms such as Actors or CSP. I explain how Join Calculus emerges if we want to improve the Actor model by making actors type-safe, stateless, and automatically managed. I am developing `Chymyst`, a new open-source implementation of Join Calculus as an embedded DSL in Scala. I show concise and fully declarative Chymyst solutions for classic concurrency problems such as the "dining philosophers" or recursive "fork/join".

Short Bio

Sergei Winitzki is a theoretical physicist turned software engineer, passionate for functional programming, functional type theory, and declarative domain-specific languages.

Schedule

• 6:30-7:00 - networking (pizza, beer)
• 7:00-7:10 - announcements etc.
• 7:10-8:00 - talk
• 8:00-8:30 - more networking

Attention please

The company will want you to sign an NDA.