Functional Programming Graz: Akka Typed and other Type Systems for Actors

Präsentation, Akka Typed (Benedikt Maderbacher):
Aktorensysteme, 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 Aktorensysteme um Typ Systeme zu erweitern. Ein paar davon werde ich in dieser Präsentation kurz vorstellen.

Präsentation, Tree Splitting in Julia (Phillipp Gabler):
During a Julia implementation of genetic programming over decision trees, I encountered an interesting problem: how to implement a (purely functional) way of randomly splitting trees? I will show how I approached the implementation using functional techniques such as continuations and zippers, and transformed it into a more a efficient form. See: https://github.com/phipsgabler/TreeSplitting.jl