Skip to content. | Skip to navigation

Personal tools

This is SunRain Plone Theme

Navigation

You are here: Home / Events / INET Seminar / Dominik Charousset: Towards Type-safe Composition of Actors

Dominik Charousset: Towards Type-safe Composition of Actors

When Jan 27, 2016
from 04:00 PM to 05:00 PM
Where R 460
Add event to calendar vCal
iCal

Available actor systems either use dynamic typing or object-oriented abstractions. The former burdens the programmers with correctness checking, while the latter tightly couples callers and callees. Further, object-oriented software designs lack powerful facilities for behavior reuse and composition. Combining services offered by two or more actors or building message pipelines takes place outside of the type system. Custom code for interconnecting serial or parallel communication patterns is repetitive and written sequentially. In CAF, we want to follow the functional programming (FP) example, where functions are first-class citizens that can be combined into new functions with ease, thus enabling a declarative, clean, and concise programming style. By treating actor interfaces as first-class citizen, we want to enable compositions in a similar way FP does. Instead of sequentially describing messaging sequences, programmer should express communication patterns at a high level of abstraction. Naturally, the result of such a composition is an actor itself, has its own messaging interface, and can be composed further.

In this talk, we give insights into the design of the type system of CAF and discuss ongoing work on type-safe actor compositions based on this type system.

Slides

Document Actions

Navigation
« January 2019 »
January
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031
Upcoming Events
Embedded World 2019 Feb 26, 2019 - Feb 28, 2019 — Nürnberg
IEFT 104 in Prague Mar 23, 2019 - Mar 29, 2019 — Prague
VTC Spring 2019 Apr 28, 2019 - May 01, 2019 — Kuala Lumpur
Upcoming events…