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
@mittie
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".