Softwarekonferenz für Parallel Programming,
Concurrency und Multicore-Systeme
Heidelberg, Print Media Academy, 6.-8. April 2016

parallel 2016 » Programm »

// Reine, typsichere Parallelität auf der JVM mit Frege

Frege ist ein Haskell für die Java-Platform und macht die Vorteile der rein funktionalen Programmierung der industriellen Softwareentwicklung zugänglich. Immutability, globale Typinferenz und die Erfassung aller Seiteneffekte im Typsystem ermöglichen schon zur Compile-Zeit viele Fehler auszuschließen, die bei der parallelen und nebenläufigen Programmierung häufig gemacht werden. Das gilt für einfache Anwendungen wie paralleles Mapping bis zu gesichert seiteneffektfreien Aktionen in einem Software Transactional Memory. Letzteres werden wir am Beispiel der Ant-Colony untersuchen und diskutieren.

Skills
Solide Kenntnisse in der parallelen Softwareentwicklung und vorzugsweise Kenntnisse in einer funktionalen Sprache.

Lernziele
Kennenlernen der Vorteile von Immutability, Functional Purity, und globaler Typinferenz für die parallele Programmierung - und wie sie von einer JVM-Sprache auch tatsächlich durchgesetzt werden können, ohne sich auf Konventionen oder Entwicklerdisziplin verlassen zu müssen.

// Referent

// Dierk König Dierk König

ist Fellow bei der Canoo Engineering AG in Basel. Der (JavaOne Rock Star) ist Committer in vielen Open-Source-Projekten, darunter OpenDolphin, Frege, FregeFX, Groovy, Grails, GPars und GroovyFX. Er ist Autor des Bestsellers "Groovy in Action" und des E-Books "Frege Goodness".