Tags

Scala  

• 01.09.2022 – Scala 3: Typ-Lambdas
• 21.03.2022 – Scala 3: Über Vereinigungen und Schnittmengen
• 18.02.2022 – Scala 3: Explizite Implicits
• 04.03.2019 – Uhrwerk Freie Monade: Hinter den Kulissen
• 22.01.2018 – Freie Monaden oder: Wie ich lernte, die Unabhängigkeit zu lieben
• 11.11.2014 – Funktionale Frontend-Entwicklung: ClojureScript in Desktopanwendungen
• 03.04.2014 – Gemeinsame Verwendung von Scala und Java in einem Projekt
• 21.11.2013 – Was ist das 'Expression Problem'?
• 23.10.2013 – Schleifen in Scala
• 17.07.2013 – Medizinische Datenverarbeitung mit funktionaler Programmierung - Ein Beispiel aus der Praxis
• 13.06.2013 – Funktionale API für JasperReports
• 29.05.2013 – Die GUI-Monade: Monaden in der Praxis
• 26.03.2013 – Übersichtlicher und Performanter Code mit Scala
• 26.02.2013 – Funktional Programmieren am konkreten Beispiel (Ant)

Einführung  

• 02.03.2020 – F# ohne Windows mit Visual Studio Code
• 03.02.2020 – Einführung in die logische Programmierung mit Microsoft z3
• 23.01.2020 – Einstieg in Visual Studio mit F#
• 23.08.2013 – Was ist funktionale Programmierung?
• 26.02.2013 – Funktional Programmieren am konkreten Beispiel (Ant)

Parallelität  

• 30.03.2023 – Multicore-Programmierung mit OCaml 5
• 06.03.2013 – Parallele Programmierung mit Haskell

Haskell  

• 02.12.2022 – Funktionales Deep Learning in Haskell - Teaser
• 01.08.2019 – Testen von Generiertem Code in Haskell
• 19.10.2016 – Eine Haskell-Bibliothek für große Hashes
• 16.09.2016 – Ereignisorientierte Simulation mit funktionaler Programmierung, Teil 2
• 09.03.2016 – Ereignisorientierte Simulation mit funktionaler Programmierung, Teil 1
• 19.11.2015 – Funktionale Programmiererinnen und Programmierer gesucht
• 03.08.2015 – Optimierung von Haskellprogrammen - Teil 2
• 27.07.2015 – Frege Tag in Basel: Haskell für die JVM
• 18.06.2015 – Optimierung von Haskellprogrammen - Teil 1
• 03.06.2015 – XML in Haskell - Datentypen und Serialisierung
• 15.04.2015 – Monaden für's Reverse Engineering
• 07.01.2015 – Haskell für Einsteiger, Teil 4
• 23.10.2014 – Haskell für Einsteiger, Teil 3
• 18.09.2014 – Haskell für Einsteiger, Teil 2
• 11.09.2014 – Haskell-Hackathon in Berlin
• 25.07.2014 – Haskell für Einsteiger, Teil 1
• 16.05.2014 – Noch mehr über Software Transactional Memory
• 24.04.2014 – Mehr über Software Transactional Memory
• 28.03.2014 – Nebenläufigkeit mit Software Transactional Memory
• 19.02.2014 – Comprehending Queries
• 06.02.2014 – Testen mit Haskell
• 16.01.2014 – Buildsysteme mit Haskell
• 21.11.2013 – Was ist das 'Expression Problem'?
• 31.10.2013 – Continuations in der Praxis
• 10.10.2013 – Frege - rein funktionale Programmierung in der JVM
• 02.10.2013 – Facebook setzt auf Haskell
• 12.09.2013 – Haskell FFI
• 29.08.2013 – Ein Parser für HL7-Nachrichten in weniger als 180 Zeilen Haskell-Code
• 15.08.2013 – Zurich FP Afternoon / Haskell-Hackathon
• 01.08.2013 – Imperatives Programmieren in Haskell
• 17.07.2013 – Medizinische Datenverarbeitung mit funktionaler Programmierung - Ein Beispiel aus der Praxis
• 03.07.2013 – Mehr Monaden in Aktion
• 05.06.2013 – Moderne Webanwendungen mit Haskell und Javascript: clientseitige Implementierung
• 22.05.2013 – Monaden in Aktion
• 08.05.2013 – Haskell schlägt node.js
• 18.04.2013 – Monaden: Das programmierbare Semikolon
• 04.04.2013 – Moderne Webanwendungen mit Haskell
• 06.03.2013 – Parallele Programmierung mit Haskell

rein funktional  

• 29.06.2017 – Reacl 2 - rein funktionale Programmierung, Side Effects und Actions
• 10.10.2013 – Frege - rein funktionale Programmierung in der JVM
• 25.04.2013 – Eine kleine Einführung in die rein funktionale Programmierung - Teil 3
• 10.04.2013 – Eine kleine Einführung in die rein funktionale Programmierung - Teil 2
• 12.03.2013 – Eine kleine Einführung in die rein funktionale Programmierung

Racket  

• 30.04.2014 – DSLs ohne Nahtstelle mit Kontrollabstraktion
• 10.04.2014 – Eine Monade für Wahrscheinlichkeitsverteilungen
• 10.07.2013 – Randomisierte Tests mit QuickCheck
• 25.04.2013 – Eine kleine Einführung in die rein funktionale Programmierung - Teil 3
• 10.04.2013 – Eine kleine Einführung in die rein funktionale Programmierung - Teil 2
• 12.03.2013 – Eine kleine Einführung in die rein funktionale Programmierung

Schneckenwelt  

• 25.04.2013 – Eine kleine Einführung in die rein funktionale Programmierung - Teil 3
• 10.04.2013 – Eine kleine Einführung in die rein funktionale Programmierung - Teil 2
• 12.03.2013 – Eine kleine Einführung in die rein funktionale Programmierung

persistente Datenstrukturen  

• 21.06.2013 – Zeitreisen mit persistenten Datenstrukturen
• 20.03.2013 – Warum funktional?

Java  

• 16.09.2016 – Ereignisorientierte Simulation mit funktionaler Programmierung, Teil 2
• 09.03.2016 – Ereignisorientierte Simulation mit funktionaler Programmierung, Teil 1
• 03.04.2014 – Gemeinsame Verwendung von Scala und Java in einem Projekt
• 14.03.2014 – Streams in Java 8
• 23.01.2014 – Eclipse Xtend
• 10.10.2013 – Frege - rein funktionale Programmierung in der JVM
• 19.09.2013 – Ist Java 8 eine funktionale Programmiersprache?
• 26.03.2013 – Übersichtlicher und Performanter Code mit Scala

Performance  

• 22.03.2018 – Transducer: Komposition, Abstraktion, Performance
• 03.08.2015 – Optimierung von Haskellprogrammen - Teil 2
• 18.06.2015 – Optimierung von Haskellprogrammen - Teil 1
• 08.05.2013 – Haskell schlägt node.js
• 26.03.2013 – Übersichtlicher und Performanter Code mit Scala

Übersichtlichkeit  

• 26.03.2013 – Übersichtlicher und Performanter Code mit Scala

web  

• 05.06.2013 – Moderne Webanwendungen mit Haskell und Javascript: clientseitige Implementierung
• 04.04.2013 – Moderne Webanwendungen mit Haskell

JavaScript  

• 30.06.2022 – Komponierbare Komponenten
• 04.09.2014 – Ein Streifzug durch die Features von TypeScript (Teil 2)
• 17.07.2014 – Ein Streifzug durch die Features von TypeScript
• 14.02.2014 – Erste Schritte in ClojureScript
• 25.07.2013 – Buchbesprechung: Das Curry-Buch
• 05.06.2013 – Moderne Webanwendungen mit Haskell und Javascript: clientseitige Implementierung
• 04.04.2013 – Moderne Webanwendungen mit Haskell

SOY  

• 05.06.2013 – Moderne Webanwendungen mit Haskell und Javascript: clientseitige Implementierung
• 04.04.2013 – Moderne Webanwendungen mit Haskell

HTTP  

• 05.06.2013 – Moderne Webanwendungen mit Haskell und Javascript: clientseitige Implementierung
• 04.04.2013 – Moderne Webanwendungen mit Haskell

PHP  

• 05.06.2013 – Moderne Webanwendungen mit Haskell und Javascript: clientseitige Implementierung
• 04.04.2013 – Moderne Webanwendungen mit Haskell

Monaden  

• 15.04.2015 – Monaden für's Reverse Engineering
• 30.04.2014 – DSLs ohne Nahtstelle mit Kontrollabstraktion
• 10.04.2014 – Eine Monade für Wahrscheinlichkeitsverteilungen
• 19.02.2014 – Comprehending Queries
• 03.07.2013 – Mehr Monaden in Aktion
• 29.05.2013 – Die GUI-Monade: Monaden in der Praxis
• 22.05.2013 – Monaden in Aktion
• 18.04.2013 – Monaden: Das programmierbare Semikolon

NodeJS  

• 08.05.2013 – Haskell schlägt node.js

Netzwerk  

• 08.05.2013 – Haskell schlägt node.js

Sockets  

• 08.05.2013 – Haskell schlägt node.js

Praxis  

• 27.04.2023 – Freie Monaden in Clojure
• 28.02.2023 – Datenkonvertierung mit Linsen
• 04.03.2019 – Uhrwerk Freie Monade: Hinter den Kulissen
• 22.01.2018 – Freie Monaden oder: Wie ich lernte, die Unabhängigkeit zu lieben
• 15.04.2015 – Monaden für's Reverse Engineering
• 31.10.2013 – Continuations in der Praxis
• 02.10.2013 – Facebook setzt auf Haskell
• 05.09.2013 – MyOwnSafe - Funktionale Programmierung in der Praxis - Teil 2
• 17.07.2013 – Medizinische Datenverarbeitung mit funktionaler Programmierung - Ein Beispiel aus der Praxis
• 29.05.2013 – Die GUI-Monade: Monaden in der Praxis
• 16.05.2013 – MyOwnSafe - Funktionale Programmierung in der Praxis

MyOwnSafe  

• 16.05.2013 – MyOwnSafe - Funktionale Programmierung in der Praxis

OCaml  

• 30.03.2023 – Multicore-Programmierung mit OCaml 5
• 09.02.2015 – BOB-Keynote 2015: Towards Functional Operating Systems
• 05.09.2013 – MyOwnSafe - Funktionale Programmierung in der Praxis - Teil 2
• 16.05.2013 – MyOwnSafe - Funktionale Programmierung in der Praxis

HTML 5  

• 16.05.2013 – MyOwnSafe - Funktionale Programmierung in der Praxis

NoSQL  

• 16.05.2013 – MyOwnSafe - Funktionale Programmierung in der Praxis

API Design  

• 13.06.2013 – Funktionale API für JasperReports

JasperReports  

• 13.06.2013 – Funktionale API für JasperReports

C++  

• 21.06.2013 – Zeitreisen mit persistenten Datenstrukturen

Clojure  

• 06.11.2023 – Bibliothek für Konfigurationen
• 27.04.2023 – Freie Monaden in Clojure
• 28.09.2022 – Eventverarbeitung mit Riemann
• 30.06.2022 – Komponierbare Komponenten
• 03.05.2021 – DSLs ganz einfach mit Clojure
• 18.02.2020 – Makros in Clojure - 3 - Das Record-Makro
• 17.09.2019 – Makros in Clojure - 2
• 30.01.2019 – Makros in Clojure
• 22.03.2018 – Transducer: Komposition, Abstraktion, Performance
• 18.11.2016 – Spezifikation von Clojure-Datentypen mit clojure.spec
• 27.04.2015 – Zusammengesetzte Daten in Clojure
• 12.03.2015 – Verzweigungen in Clojure
• 08.12.2014 – Eingebaute Datenstrukturen in Clojure
• 27.11.2014 – Einführung in Clojure, erste Gehversuche
• 15.10.2014 – Funktionale Linsen
• 14.02.2014 – Erste Schritte in ClojureScript
• 21.11.2013 – Was ist das 'Expression Problem'?
• 27.06.2013 – Systematisch eingebettete DSLs entwickeln in Clojure

DSL  

• 22.05.2023 – Monaden in Kotlin
• 03.05.2021 – DSLs ganz einfach mit Clojure
• 27.06.2013 – Systematisch eingebettete DSLs entwickeln in Clojure

EDSL  

• 27.06.2013 – Systematisch eingebettete DSLs entwickeln in Clojure

QuickCheck  

• 06.02.2014 – Testen mit Haskell
• 10.07.2013 – Randomisierte Tests mit QuickCheck

Randomisierte Tests  

• 10.07.2013 – Randomisierte Tests mit QuickCheck

Medizin  

• 17.07.2013 – Medizinische Datenverarbeitung mit funktionaler Programmierung - Ein Beispiel aus der Praxis

kommerziell  

• 17.07.2013 – Medizinische Datenverarbeitung mit funktionaler Programmierung - Ein Beispiel aus der Praxis

funktional  

• 19.11.2015 – Funktionale Programmiererinnen und Programmierer gesucht
• 24.06.2014 – Funktionale Programmierer(innen) gesucht!
• 23.08.2013 – Was ist funktionale Programmierung?
• 17.07.2013 – Medizinische Datenverarbeitung mit funktionaler Programmierung - Ein Beispiel aus der Praxis

Buchbesprechung  

• 25.07.2013 – Buchbesprechung: Das Curry-Buch

imperativ  

• 23.08.2013 – Was ist funktionale Programmierung?
• 01.08.2013 – Imperatives Programmieren in Haskell

takeR  

• 01.08.2013 – Imperatives Programmieren in Haskell

Konferenz  

• 09.10.2023 – Startschuss für die BOB 2024!
• 12.12.2022 – Das Programm für die BOB 2023 am 17.3. steht!
• 10.10.2022 – Startschuss für die BOB Konferenz 2023!
• 23.12.2021 – Das Programm für die BOB 2022 am 11.3. steht!
• 05.11.2021 – Startschuss für die BOB Konferenz 2022!
• 07.12.2020 – Das Programm für die BOB 2021 steht: überall am 26.2.2021!
• 07.10.2020 – BOB Konferenz 2021 läuft an!
• 18.12.2019 – Das Programm für die BOB 2020 steht: 28.2.2020 in Berlin!
• 10.12.2019 – Rückblick Sommer-BOB 2019
• 10.10.2019 – BOB Konferenz 2020 läuft an!
• 12.07.2019 – Rückblick und Vorschau auf unsere Konferenz BOB 2019
• 19.06.2019 – Sommer-BOB am 21. August in Berlin: Programm steht!
• 05.04.2019 – Sommer-BOB Spezial am 21. August in Berlin
• 21.12.2018 – Das Programm für die BOB 2019 steht: 22.3.2019 in Berlin!
• 15.10.2018 – BOB Konferenz 2019 läuft an!
• 29.05.2018 – BOB-Konferenz 2018 - eine kurze Retrospektive
• 22.12.2017 – BOB Konferenz am 23.2.2018 in Berlin
• 26.09.2017 – BOB Konferenz 2018 läuft an!
• 06.12.2016 – BOB Konferenz am 24.2.2017 in Berlin
• 28.09.2016 – BOB Konferenz 2017 läuft an!
• 13.05.2016 – Retrospektive der BOB-Konferenz 2016
• 05.01.2016 – BOB Konferenz am 19.2.2016 in Berlin
• 09.10.2015 – BOB Konferenz 2016 läuft an!
• 05.03.2015 – BOB Konferenz 2015, ein kleiner Rückblick
• 15.01.2015 – BOB Konferenz am 23.1.2015 in Berlin
• 18.11.2014 – Die BOB-Konferenz steht!
• 24.09.2014 – International Conference on Functional Programming 2014
• 12.08.2014 – Die BOB-Konferenz ist in den Startlöchern
• 12.12.2013 – Videos zur CUFP 2013 verfügbar
• 15.08.2013 – Zurich FP Afternoon / Haskell-Hackathon
• 07.08.2013 – Commercial Users of Functional Programming 2013

Hackathon  

• 11.09.2014 – Haskell-Hackathon in Berlin
• 15.08.2013 – Zurich FP Afternoon / Haskell-Hackathon

Event  

• 15.08.2013 – Zurich FP Afternoon / Haskell-Hackathon

Workshop  

• 15.08.2013 – Zurich FP Afternoon / Haskell-Hackathon

Parser  

• 29.08.2013 – Ein Parser für HL7-Nachrichten in weniger als 180 Zeilen Haskell-Code

HL7  

• 29.08.2013 – Ein Parser für HL7-Nachrichten in weniger als 180 Zeilen Haskell-Code

XML  

• 05.09.2013 – MyOwnSafe - Funktionale Programmierung in der Praxis - Teil 2

Pattern-Matching  

• 05.09.2013 – MyOwnSafe - Funktionale Programmierung in der Praxis - Teil 2

FFI  

• 12.09.2013 – Haskell FFI

C  

• 12.09.2013 – Haskell FFI

Frege  

• 27.07.2015 – Frege Tag in Basel: Haskell für die JVM
• 10.10.2013 – Frege - rein funktionale Programmierung in der JVM

JVM  

• 10.10.2013 – Frege - rein funktionale Programmierung in der JVM

Schleifen  

• 08.11.2013 – Tail Calls
• 23.10.2013 – Schleifen in Scala

Endrekursion  

• 08.11.2013 – Tail Calls
• 23.10.2013 – Schleifen in Scala

continuations  

• 31.10.2013 – Continuations in der Praxis

Konzepte  

• 31.10.2013 – Continuations in der Praxis

tail calls  

• 08.11.2013 – Tail Calls

Expression Problem  

• 21.11.2013 – Was ist das 'Expression Problem'?

Objective-C  

• 05.12.2013 – Einfache Datentypen mit Objective-C

Datentypen  

• 18.11.2016 – Spezifikation von Clojure-Datentypen mit clojure.spec
• 04.09.2014 – Ein Streifzug durch die Features von TypeScript (Teil 2)
• 17.07.2014 – Ein Streifzug durch die Features von TypeScript
• 05.12.2013 – Einfache Datentypen mit Objective-C

build system  

• 16.01.2014 – Buildsysteme mit Haskell

make  

• 16.01.2014 – Buildsysteme mit Haskell

shake  

• 16.01.2014 – Buildsysteme mit Haskell

Eclipse  

• 23.01.2014 – Eclipse Xtend

Xtend  

• 23.01.2014 – Eclipse Xtend

Tests  

• 06.02.2014 – Testen mit Haskell

Unit-Tests  

• 06.02.2014 – Testen mit Haskell

ClojureScript  

• 06.11.2023 – Bibliothek für Konfigurationen
• 30.06.2022 – Komponierbare Komponenten
• 11.11.2014 – Funktionale Frontend-Entwicklung: ClojureScript in Desktopanwendungen
• 15.10.2014 – Funktionale Linsen
• 07.07.2014 – Web-Apps mit Reacl programmieren
• 14.02.2014 – Erste Schritte in ClojureScript

Datenbankanfragen  

• 19.02.2014 – Comprehending Queries

SQL  

• 19.02.2014 – Comprehending Queries

Comprehensions  

• 19.02.2014 – Comprehending Queries

Monoid  

• 19.02.2014 – Comprehending Queries

Rückblick  

• 27.02.2014 – Jahresrückblick

Nebenläufigkeit  

• 30.03.2023 – Multicore-Programmierung mit OCaml 5
• 24.04.2014 – Mehr über Software Transactional Memory
• 28.03.2014 – Nebenläufigkeit mit Software Transactional Memory

STM  

• 16.05.2014 – Noch mehr über Software Transactional Memory
• 24.04.2014 – Mehr über Software Transactional Memory
• 28.03.2014 – Nebenläufigkeit mit Software Transactional Memory

SBT  

• 03.04.2014 – Gemeinsame Verwendung von Scala und Java in einem Projekt

EQUALS  

• 11.11.2014 – Funktionale Frontend-Entwicklung: ClojureScript in Desktopanwendungen
• 03.04.2014 – Gemeinsame Verwendung von Scala und Java in einem Projekt

Continuations  

• 30.04.2014 – DSLs ohne Nahtstelle mit Kontrollabstraktion

haskell  

• 29.07.2022 – Higher-Kinded Data für Konfigurationen in Haskell
• 30.05.2022 – Pretty-Printing II - Laziness FTW
• 26.04.2022 – Funktionale Programmierung in der Praxis: Validierung mit applikativen Funktoren
• 06.08.2020 – Aufgehübscht! - Pretty-Printing
• 30.07.2020 – Checkpad sucht Softwareentwicklerinnen und Softwareentwickler
• 05.10.2015 – Kommandozeilenparser in Haskell - Teil 2
• 16.07.2015 – Kommandozeilenparser in Haskell - Teil 1
• 02.06.2014 – Mehr Typsicherheit durch GADTs

datatypes  

• 02.06.2014 – Mehr Typsicherheit durch GADTs

GADTs  

• 02.06.2014 – Mehr Typsicherheit durch GADTs

Job  

• 30.07.2020 – Checkpad sucht Softwareentwicklerinnen und Softwareentwickler
• 19.07.2017 – Active Group sucht Softwareentwicklerin / Softwareentwickler
• 19.11.2015 – Funktionale Programmiererinnen und Programmierer gesucht
• 07.05.2015 – Active Group sucht Softwareentwickler(in)
• 24.06.2014 – Funktionale Programmierer(innen) gesucht!

Stellenanzeige  

• 19.07.2017 – Active Group sucht Softwareentwicklerin / Softwareentwickler
• 19.11.2015 – Funktionale Programmiererinnen und Programmierer gesucht
• 07.05.2015 – Active Group sucht Softwareentwickler(in)
• 24.06.2014 – Funktionale Programmierer(innen) gesucht!

TypeScript  

• 04.09.2014 – Ein Streifzug durch die Features von TypeScript (Teil 2)
• 17.07.2014 – Ein Streifzug durch die Features von TypeScript

BOB  

• 09.10.2023 – Startschuss für die BOB 2024!
• 12.12.2022 – Das Programm für die BOB 2023 am 17.3. steht!
• 10.10.2022 – Startschuss für die BOB Konferenz 2023!
• 23.12.2021 – Das Programm für die BOB 2022 am 11.3. steht!
• 05.11.2021 – Startschuss für die BOB Konferenz 2022!
• 07.12.2020 – Das Programm für die BOB 2021 steht: überall am 26.2.2021!
• 07.10.2020 – BOB Konferenz 2021 läuft an!
• 18.12.2019 – Das Programm für die BOB 2020 steht: 28.2.2020 in Berlin!
• 10.12.2019 – Rückblick Sommer-BOB 2019
• 10.10.2019 – BOB Konferenz 2020 läuft an!
• 12.07.2019 – Rückblick und Vorschau auf unsere Konferenz BOB 2019
• 19.06.2019 – Sommer-BOB am 21. August in Berlin: Programm steht!
• 05.04.2019 – Sommer-BOB Spezial am 21. August in Berlin
• 21.12.2018 – Das Programm für die BOB 2019 steht: 22.3.2019 in Berlin!
• 15.10.2018 – BOB Konferenz 2019 läuft an!
• 29.05.2018 – BOB-Konferenz 2018 - eine kurze Retrospektive
• 22.12.2017 – BOB Konferenz am 23.2.2018 in Berlin
• 26.09.2017 – BOB Konferenz 2018 läuft an!
• 06.12.2016 – BOB Konferenz am 24.2.2017 in Berlin
• 28.09.2016 – BOB Konferenz 2017 läuft an!
• 13.05.2016 – Retrospektive der BOB-Konferenz 2016
• 05.01.2016 – BOB Konferenz am 19.2.2016 in Berlin
• 09.10.2015 – BOB Konferenz 2016 läuft an!
• 05.03.2015 – BOB Konferenz 2015, ein kleiner Rückblick
• 09.02.2015 – BOB-Keynote 2015: Towards Functional Operating Systems
• 15.01.2015 – BOB Konferenz am 23.1.2015 in Berlin
• 18.11.2014 – Die BOB-Konferenz steht!
• 12.08.2014 – Die BOB-Konferenz ist in den Startlöchern

ICFP  

• 24.09.2014 – International Conference on Functional Programming 2014

CUFP  

• 24.09.2014 – International Conference on Functional Programming 2014

Linsen  

• 28.02.2023 – Datenkonvertierung mit Linsen
• 15.10.2014 – Funktionale Linsen

Reacl  

• 30.06.2022 – Komponierbare Komponenten
• 11.11.2014 – Funktionale Frontend-Entwicklung: ClojureScript in Desktopanwendungen

JavaFX  

• 11.11.2014 – Funktionale Frontend-Entwicklung: ClojureScript in Desktopanwendungen

Optimierung  

• 01.08.2019 – Testen von Generiertem Code in Haskell
• 03.08.2015 – Optimierung von Haskellprogrammen - Teil 2
• 18.06.2015 – Optimierung von Haskellprogrammen - Teil 1

Ankündigung  

• 27.07.2015 – Frege Tag in Basel: Haskell für die JVM

Veranstaltung  

• 27.07.2015 – Frege Tag in Basel: Haskell für die JVM

Swift  

• 09.11.2015 – Funktionale Programmierung mit Swift

Apple  

• 09.11.2015 – Funktionale Programmierung mit Swift

Mac  

• 09.11.2015 – Funktionale Programmierung mit Swift

iOS  

• 09.11.2015 – Funktionale Programmierung mit Swift

Freiburg  

• 19.11.2015 – Funktionale Programmiererinnen und Programmierer gesucht

API  

• 16.03.2016 – Zusammensetzbare Datenbank-API in F#

zusammensetzbar  

• 16.03.2016 – Zusammensetzbare Datenbank-API in F#

fsharp  

• 16.03.2016 – Zusammensetzbare Datenbank-API in F#

f#  

• 16.03.2016 – Zusammensetzbare Datenbank-API in F#

Spezifikation  

• 18.11.2016 – Spezifikation von Clojure-Datentypen mit clojure.spec

clojure.spec  

• 18.11.2016 – Spezifikation von Clojure-Datentypen mit clojure.spec

reacl  

• 29.06.2017 – Reacl 2 - rein funktionale Programmierung, Side Effects und Actions

clojure  

• 14.06.2020 – Simple Restarts: Hinter den Kulissen
• 24.04.2020 – Ein alter Hut: Conditional Restarts
• 29.06.2017 – Reacl 2 - rein funktionale Programmierung, Side Effects und Actions

freie  

• 27.04.2023 – Freie Monaden in Clojure
• 04.03.2019 – Uhrwerk Freie Monade: Hinter den Kulissen
• 22.01.2018 – Freie Monaden oder: Wie ich lernte, die Unabhängigkeit zu lieben

Monade  

• 22.05.2023 – Monaden in Kotlin
• 27.04.2023 – Freie Monaden in Clojure
• 04.03.2019 – Uhrwerk Freie Monade: Hinter den Kulissen
• 22.01.2018 – Freie Monaden oder: Wie ich lernte, die Unabhängigkeit zu lieben

Nix  

• 19.02.2018 – Mit Nix raus aus der Versionshölle

Elixir  

• 27.06.2019 – Testen in Elixir mit Beispieldaten
• 27.03.2019 – Test-ABC mit Elixir
• 19.02.2018 – Mit Nix raus aus der Versionshölle

Erlang  

• 27.06.2019 – Testen in Elixir mit Beispieldaten
• 27.03.2019 – Test-ABC mit Elixir
• 19.02.2018 – Mit Nix raus aus der Versionshölle

Transducer  

• 22.03.2018 – Transducer: Komposition, Abstraktion, Performance

Abstraktion  

• 22.03.2018 – Transducer: Komposition, Abstraktion, Performance

elixir  

• 05.06.2018 – Pattern Matching in Elixir

pattern matching  

• 05.06.2018 – Pattern Matching in Elixir

json  

• 05.06.2018 – Pattern Matching in Elixir

Makro  

• 18.02.2020 – Makros in Clojure - 3 - Das Record-Makro
• 17.09.2019 – Makros in Clojure - 2
• 30.01.2019 – Makros in Clojure

macro  

• 18.02.2020 – Makros in Clojure - 3 - Das Record-Makro
• 17.09.2019 – Makros in Clojure - 2
• 30.01.2019 – Makros in Clojure

defmacro  

• 18.02.2020 – Makros in Clojure - 3 - Das Record-Makro
• 17.09.2019 – Makros in Clojure - 2
• 30.01.2019 – Makros in Clojure

quote  

• 18.02.2020 – Makros in Clojure - 3 - Das Record-Makro
• 17.09.2019 – Makros in Clojure - 2
• 30.01.2019 – Makros in Clojure

unquote  

• 30.01.2019 – Makros in Clojure

backquote  

• 30.01.2019 – Makros in Clojure

quasiquote  

• 30.01.2019 – Makros in Clojure

Test  

• 27.06.2019 – Testen in Elixir mit Beispieldaten
• 27.03.2019 – Test-ABC mit Elixir

Testing  

• 27.06.2019 – Testen in Elixir mit Beispieldaten
• 27.03.2019 – Test-ABC mit Elixir

ExUnit  

• 27.06.2019 – Testen in Elixir mit Beispieldaten
• 27.03.2019 – Test-ABC mit Elixir

Mix  

• 27.06.2019 – Testen in Elixir mit Beispieldaten
• 27.03.2019 – Test-ABC mit Elixir

Schulung  

• 18.02.2021 – Schulungen Funktionale Softwarearchitektur / Flexible Softwarearchitekturen
• 11.04.2019 – Schulungen Funktionale Software-Architektur

null  

• 21.05.2019 – Keine Fehler wegen Null oder Undefined mit Typescript

undefined  

• 21.05.2019 – Keine Fehler wegen Null oder Undefined mit Typescript

strictNull  

• 21.05.2019 – Keine Fehler wegen Null oder Undefined mit Typescript

strict  

• 21.05.2019 – Keine Fehler wegen Null oder Undefined mit Typescript

typescript  

• 05.10.2020 – Dependently-Typed TypeScript
• 21.05.2019 – Keine Fehler wegen Null oder Undefined mit Typescript

Setup  

• 27.06.2019 – Testen in Elixir mit Beispieldaten

Context  

• 27.06.2019 – Testen in Elixir mit Beispieldaten

Describe  

• 27.06.2019 – Testen in Elixir mit Beispieldaten

Inspection Testing  

• 01.08.2019 – Testen von Generiertem Code in Haskell

syntaxquote  

• 17.09.2019 – Makros in Clojure - 2

gensym  

• 17.09.2019 – Makros in Clojure - 2

algebraische Effekte  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten
• 24.10.2019 – Einführung in algebraische Effekte

Effekte  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten
• 24.10.2019 – Einführung in algebraische Effekte

algebraische  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten
• 24.10.2019 – Einführung in algebraische Effekte

Koka  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten
• 24.10.2019 – Einführung in algebraische Effekte

Monadentransformer  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten
• 24.10.2019 – Einführung in algebraische Effekte

Seiteneffekt  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten
• 24.10.2019 – Einführung in algebraische Effekte

Seiteneffekte  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten
• 24.10.2019 – Einführung in algebraische Effekte

algebraic effects  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten
• 24.10.2019 – Einführung in algebraische Effekte

algebraic  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten
• 24.10.2019 – Einführung in algebraische Effekte

effects  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten
• 24.10.2019 – Einführung in algebraische Effekte

weihnachten  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten

wichteln  

• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten

F#  

• 02.03.2020 – F# ohne Windows mit Visual Studio Code
• 23.01.2020 – Einstieg in Visual Studio mit F#

F Sharp  

• 02.03.2020 – F# ohne Windows mit Visual Studio Code
• 23.01.2020 – Einstieg in Visual Studio mit F#

Visual Studio  

• 23.01.2020 – Einstieg in Visual Studio mit F#

Erste Schritte  

• 02.03.2020 – F# ohne Windows mit Visual Studio Code
• 03.02.2020 – Einführung in die logische Programmierung mit Microsoft z3
• 23.01.2020 – Einstieg in Visual Studio mit F#

Projekt  

• 02.03.2020 – F# ohne Windows mit Visual Studio Code
• 23.01.2020 – Einstieg in Visual Studio mit F#

Start  

• 02.03.2020 – F# ohne Windows mit Visual Studio Code
• 23.01.2020 – Einstieg in Visual Studio mit F#

Microsoft  

• 03.02.2020 – Einführung in die logische Programmierung mit Microsoft z3

z3  

• 03.02.2020 – Einführung in die logische Programmierung mit Microsoft z3

SMT-LIB 2  

• 03.02.2020 – Einführung in die logische Programmierung mit Microsoft z3

Logische Programmierung  

• 03.02.2020 – Einführung in die logische Programmierung mit Microsoft z3

defrecord  

• 18.02.2020 – Makros in Clojure - 3 - Das Record-Makro

record  

• 18.02.2020 – Makros in Clojure - 3 - Das Record-Makro

Visual Studio Code  

• 02.03.2020 – F# ohne Windows mit Visual Studio Code

VS Code  

• 02.03.2020 – F# ohne Windows mit Visual Studio Code

common lisp  

• 14.06.2020 – Simple Restarts: Hinter den Kulissen
• 24.04.2020 – Ein alter Hut: Conditional Restarts

conditional  

• 14.06.2020 – Simple Restarts: Hinter den Kulissen
• 24.04.2020 – Ein alter Hut: Conditional Restarts

restarts  

• 14.06.2020 – Simple Restarts: Hinter den Kulissen
• 24.04.2020 – Ein alter Hut: Conditional Restarts

conditional restarts  

• 14.06.2020 – Simple Restarts: Hinter den Kulissen
• 24.04.2020 – Ein alter Hut: Conditional Restarts

effekte  

• 14.06.2020 – Simple Restarts: Hinter den Kulissen
• 24.04.2020 – Ein alter Hut: Conditional Restarts

fehler  

• 14.06.2020 – Simple Restarts: Hinter den Kulissen
• 24.04.2020 – Ein alter Hut: Conditional Restarts

Checkpad  

• 30.07.2020 – Checkpad sucht Softwareentwicklerinnen und Softwareentwickler

pretty  

• 30.05.2022 – Pretty-Printing II - Laziness FTW
• 06.08.2020 – Aufgehübscht! - Pretty-Printing

printer  

• 06.08.2020 – Aufgehübscht! - Pretty-Printing

printing  

• 30.05.2022 – Pretty-Printing II - Laziness FTW
• 06.08.2020 – Aufgehübscht! - Pretty-Printing

dsl  

• 25.09.2023 – Racket und #lang
• 06.08.2020 – Aufgehübscht! - Pretty-Printing

wadler  

• 30.05.2022 – Pretty-Printing II - Laziness FTW
• 06.08.2020 – Aufgehübscht! - Pretty-Printing

javascript  

• 05.10.2020 – Dependently-Typed TypeScript

BOBkonf  

• 29.06.2023 – BOB 2023 – Retrospektive
• 23.03.2022 – BOB 2022 – Retrospektive
• 17.03.2021 – BOB 2021 – Retrospektive

konferenz  

• 29.06.2023 – BOB 2023 – Retrospektive
• 23.03.2022 – BOB 2022 – Retrospektive
• 17.03.2021 – BOB 2021 – Retrospektive

scala  

• 19.07.2021 – Eins für zwei - Scala 3 Enums
• 13.07.2021 – Scala 3: Scala im neuen Gewand

3  

• 19.07.2021 – Eins für zwei - Scala 3 Enums
• 13.07.2021 – Scala 3: Scala im neuen Gewand

syntax  

• 13.07.2021 – Scala 3: Scala im neuen Gewand

adt  

• 19.07.2021 – Eins für zwei - Scala 3 Enums

enum  

• 19.07.2021 – Eins für zwei - Scala 3 Enums

Scala 3  

• 21.03.2022 – Scala 3: Über Vereinigungen und Schnittmengen
• 18.02.2022 – Scala 3: Explizite Implicits

Implicits  

• 18.02.2022 – Scala 3: Explizite Implicits

Implicit Conversions  

• 18.02.2022 – Scala 3: Explizite Implicits

Extension Methods  

• 18.02.2022 – Scala 3: Explizite Implicits

Type Classes  

• 18.02.2022 – Scala 3: Explizite Implicits

union  

• 21.03.2022 – Scala 3: Über Vereinigungen und Schnittmengen

intersection  

• 21.03.2022 – Scala 3: Über Vereinigungen und Schnittmengen

types  

• 01.09.2022 – Scala 3: Typ-Lambdas
• 21.03.2022 – Scala 3: Über Vereinigungen und Schnittmengen

type  

• 01.09.2022 – Scala 3: Typ-Lambdas
• 21.03.2022 – Scala 3: Über Vereinigungen und Schnittmengen

with  

• 21.03.2022 – Scala 3: Über Vereinigungen und Schnittmengen

praxis  

• 26.04.2022 – Funktionale Programmierung in der Praxis: Validierung mit applikativen Funktoren

funktor  

• 19.01.2023 – Funktionale Validierung in Kotlin
• 26.04.2022 – Funktionale Programmierung in der Praxis: Validierung mit applikativen Funktoren

functor  

• 19.01.2023 – Funktionale Validierung in Kotlin
• 26.04.2022 – Funktionale Programmierung in der Praxis: Validierung mit applikativen Funktoren

applikativ  

• 19.01.2023 – Funktionale Validierung in Kotlin
• 26.04.2022 – Funktionale Programmierung in der Praxis: Validierung mit applikativen Funktoren

applicative  

• 19.01.2023 – Funktionale Validierung in Kotlin
• 26.04.2022 – Funktionale Programmierung in der Praxis: Validierung mit applikativen Funktoren

validierung  

• 19.01.2023 – Funktionale Validierung in Kotlin
• 26.04.2022 – Funktionale Programmierung in der Praxis: Validierung mit applikativen Funktoren

validation  

• 19.01.2023 – Funktionale Validierung in Kotlin
• 26.04.2022 – Funktionale Programmierung in der Praxis: Validierung mit applikativen Funktoren

laziness  

• 30.05.2022 – Pretty-Printing II - Laziness FTW

lazy  

• 30.05.2022 – Pretty-Printing II - Laziness FTW

Web  

• 30.06.2022 – Komponierbare Komponenten

Webkomponenten  

• 30.06.2022 – Komponierbare Komponenten

Reacl-c  

• 30.06.2022 – Komponierbare Komponenten

higher-kinded data  

• 29.07.2022 – Higher-Kinded Data für Konfigurationen in Haskell

Riemann  

• 28.09.2022 – Eventverarbeitung mit Riemann

InfluxDB  

• 28.09.2022 – Eventverarbeitung mit Riemann

Elasticsearch  

• 28.09.2022 – Eventverarbeitung mit Riemann

Logs  

• 28.09.2022 – Eventverarbeitung mit Riemann

Metriken  

• 28.09.2022 – Eventverarbeitung mit Riemann

Monitoring  

• 28.09.2022 – Eventverarbeitung mit Riemann

Funktionale Programmierung  

• 02.12.2022 – Funktionales Deep Learning in Haskell - Teaser

Deep Learning  

• 02.12.2022 – Funktionales Deep Learning in Haskell - Teaser

Neuronale Netze  

• 02.12.2022 – Funktionales Deep Learning in Haskell - Teaser

ConCat  

• 02.12.2022 – Funktionales Deep Learning in Haskell - Teaser

Kotlin  

• 22.05.2023 – Monaden in Kotlin
• 19.01.2023 – Funktionale Validierung in Kotlin

Records  

• 28.02.2023 – Datenkonvertierung mit Linsen

EDN  

• 28.02.2023 – Datenkonvertierung mit Linsen

Transformation  

• 28.02.2023 – Datenkonvertierung mit Linsen

Konvertierung  

• 28.02.2023 – Datenkonvertierung mit Linsen

bidirektional  

• 28.02.2023 – Datenkonvertierung mit Linsen

mocks  

• 27.04.2023 – Freie Monaden in Clojure

mock-tests  

• 27.04.2023 – Freie Monaden in Clojure

monad  

• 22.05.2023 – Monaden in Kotlin

continuation  

• 22.05.2023 – Monaden in Kotlin

Continuation  

• 22.05.2023 – Monaden in Kotlin

racket  

• 25.09.2023 – Racket und #lang

lisp  

• 25.09.2023 – Racket und #lang

makro  

• 25.09.2023 – Racket und #lang

Konfiguration  

• 06.11.2023 – Bibliothek für Konfigurationen