| show | edit | edit as text | add to group

History of: FP-Graz - Functional Programming: Akka Typed and other Type Systems for Actors

Current version (2018-09-30T23:55:45.237066)

    acronym: FP-Graz
title: Functional Programming: Akka Typed and other Type Systems for Actors
startdate: 2018-10-04
starttime: 19:00
endtime: 22:00
timezone: Europe/Vienna
city: Graz
country: AT
address: realraum
tags: functional-programming meetup
urls:
    meetup http://meetup.com/Functional-Programming-Graz/
description:

Aktoren Systeme, wie in Akka oder Erlang, sind normalerweise untypisiert.
Statische Typsysteme können jedoch viele Fehler schon beim Compilieren finden und sie stellen eine formale immer aktuelle Dokumentation da. Es gibt mehrer Implementierungen und Theorien Actoren Systeme um Typ Systeme zu erweitern. Ein paar davon werde ich in dieser Präsentation kurz vorstellen.