Tags

Agda  

• 02.09.2024 – Wie lernt man am besten Agda – Eine Quellen­sammlung
• 22.07.2024 – Einführung in Denotational Design, Teil III: Einführung in Agda

Architektur  

• 25.11.2024 – Datenmodellierung mit Summen und Produkten
• 25.11.2024 – Data Modeling with Sums and Products

BOB  

• 16.12.2024 – Das Programm für die BOB 2025 am 14.3. steht!
• 02.10.2024 – Startschuss für die BOB 2025!
• 29.07.2024 – BOB 2024 – Retrospektive
• 11.12.2023 – Das Programm für die BOB 2024 am 15.3. steht!
• 09.10.2023 – Startschuss für die BOB 2024!
• 29.06.2023 – BOB 2023 – Retrospektive
• 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.03.2022 – BOB 2022 – Retrospektive
• 23.12.2021 – Das Programm für die BOB 2022 am 11.3. steht!
• 05.11.2021 – Startschuss für die BOB Konferenz 2022!
• 17.03.2021 – BOB 2021 – Retrospektive
• 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

Buchbesprechung  

• 22.01.2024 – Rezension von Sandy Maguire: Algebra-Driven Design
• 25.07.2013 – Buchbesprechung: Das Curry-Buch

C  

• 12.09.2013 – Haskell FFI

C++  

• 21.06.2013 – Zeitreisen mit persistenten Datenstrukturen

Clojure  

• 06.11.2023 – Bibliothek für Konfigurationen
• 27.04.2023 – Freie Monaden in Clojure
• 28.02.2023 – Datenkonvertierung mit Linsen
• 28.09.2022 – Eventverarbeitung mit Riemann
• 03.05.2021 – DSLs ganz einfach mit Clojure
• 14.06.2020 – Simple Restarts: Hinter den Kulissen
• 24.04.2020 – Ein alter Hut: Conditional Restarts
• 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

ClojureScript  

• 06.11.2023 – Bibliothek für Konfigurationen
• 30.06.2022 – Komponierbare Komponenten
• 29.06.2017 – Reacl 2 - rein funktionale Programmierung, Side Effects und Actions
• 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

Common Lisp  

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

Continuations  

• 31.10.2013 – Continuations in der Praxis

DSLs  

• 25.09.2023 – Racket und #lang
• 22.05.2023 – Monaden in Kotlin
• 30.05.2022 – Pretty-Printing II - Laziness FTW
• 03.05.2021 – DSLs ganz einfach mit Clojure
• 06.08.2020 – Aufgehübscht! - Pretty-Printing
• 27.06.2013 – Systematisch eingebettete DSLs entwickeln in Clojure
• 13.06.2013 – Funktionale API für JasperReports

Denotational Design  

• 22.07.2024 – Einführung in Denotational Design, Teil III: Einführung in Agda
• 06.05.2024 – Eine Einführung in Denotational Design Teil II: Zeitreihen
• 27.02.2024 – Einführung in Denotational Design, Teil I: Denotationelle Semantik

Effekte  

• 14.06.2020 – Simple Restarts: Hinter den Kulissen
• 24.04.2020 – Ein alter Hut: Conditional Restarts
• 16.12.2019 – Weihnachtswichteln mit algebraischen Effekten
• 24.10.2019 – Einführung in algebraische Effekte

Elixir  

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

Erlang  

• 19.02.2018 – Mit Nix raus aus der Versionshölle

Events  

• 28.09.2022 – Eventverarbeitung mit Riemann

F#  

• 02.03.2020 – F# ohne Windows mit Visual Studio Code
• 23.01.2020 – Einstieg in Visual Studio mit F#
• 16.03.2016 – Zusammensetzbare Datenbank-API in F#

Formale Methoden  

• 02.09.2024 – Wie lernt man am besten Agda – Eine Quellen­sammlung
• 22.07.2024 – Einführung in Denotational Design, Teil III: Einführung in Agda
• 06.05.2024 – Eine Einführung in Denotational Design Teil II: Zeitreihen
• 27.02.2024 – Einführung in Denotational Design, Teil I: Denotationelle Semantik

Frege  

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

Haskell  

• 02.12.2022 – Funktionales Deep Learning in Haskell - Teaser
• 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
• 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
• 05.10.2015 – Kommandozeilenparser in Haskell - Teil 2
• 03.08.2015 – Optimierung von Haskellprogrammen - Teil 2
• 27.07.2015 – Frege Tag in Basel: Haskell für die JVM
• 16.07.2015 – Kommandozeilenparser in Haskell - Teil 1
• 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
• 02.06.2014 – Mehr Typsicherheit durch GADTs
• 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

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

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

Koka  

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

Konferenz  

• 16.12.2024 – Das Programm für die BOB 2025 am 14.3. steht!
• 02.10.2024 – Startschuss für die BOB 2025!
• 29.07.2024 – BOB 2024 – Retrospektive
• 09.04.2024 – Tutorialtag: einen Tag voll funktionaler Programmierung mit der Active Group
• 11.12.2023 – Das Programm für die BOB 2024 am 15.3. steht!
• 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!
• 27.07.2015 – Frege Tag in Basel: Haskell für die JVM
• 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
• 11.09.2014 – Haskell-Hackathon in Berlin
• 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

Kotlin  

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

Linsen  

• 15.10.2014 – Funktionale Linsen

Machine Learning  

• 02.12.2022 – Funktionales Deep Learning in Haskell - Teaser

Makros  

• 25.09.2023 – Racket und #lang
• 18.02.2020 – Makros in Clojure - 3 - Das Record-Makro
• 17.09.2019 – Makros in Clojure - 2
• 30.01.2019 – Makros in Clojure

Modelling  

• 25.11.2024 – Datenmodellierung mit Summen und Produkten
• 25.11.2024 – Data Modeling with Sums and Products
• 22.07.2024 – Einführung in Denotational Design, Teil III: Einführung in Agda
• 06.05.2024 – Eine Einführung in Denotational Design Teil II: Zeitreihen
• 27.02.2024 – Einführung in Denotational Design, Teil I: Denotationelle Semantik

Monaden  

• 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
• 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

Monoide  

• 19.02.2014 – Comprehending Queries

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

Nix  

• 19.02.2018 – Mit Nix raus aus der Versionshölle

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

Objective-C  

• 05.12.2013 – Einfache Datentypen mit Objective-C
• 20.03.2013 – Warum funktional?

Optimierung  

• 03.08.2015 – Optimierung von Haskellprogrammen - Teil 2
• 18.06.2015 – Optimierung von Haskellprogrammen - Teil 1

Parallelität  

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

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

Racket  

• 25.09.2023 – Racket und #lang
• 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

SQL  

• 19.02.2014 – Comprehending Queries

Scala  

• 06.02.2025 – Spring-Boot mit Scala
• 01.09.2022 – Scala 3: Typ-Lambdas
• 21.03.2022 – Scala 3: Über Vereinigungen und Schnittmengen
• 18.02.2022 – Scala 3: Explizite Implicits
• 19.07.2021 – Eins für zwei - Scala 3 Enums
• 13.07.2021 – Scala 3: Scala im neuen Gewand
• 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)

Scala 3  

• 01.09.2022 – Scala 3: Typ-Lambdas
• 21.03.2022 – Scala 3: Über Vereinigungen und Schnittmengen
• 18.02.2022 – Scala 3: Explizite Implicits
• 19.07.2021 – Eins für zwei - Scala 3 Enums
• 13.07.2021 – Scala 3: Scala im neuen Gewand

Schulung  

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

Semantik  

• 22.07.2024 – Einführung in Denotational Design, Teil III: Einführung in Agda
• 27.02.2024 – Einführung in Denotational Design, Teil I: Denotationelle Semantik

Spring-Boot  

• 06.02.2025 – Spring-Boot mit Scala

Stellenanzeige  

• 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!

Swift  

• 09.11.2015 – Funktionale Programmierung mit Swift

Tail Calls  

• 08.11.2013 – Tail Calls
• 23.10.2013 – Schleifen in Scala

Testing  

• 27.04.2023 – Freie Monaden in Clojure
• 01.08.2019 – Testen von generiertem Code in Haskell
• 27.06.2019 – Testen in Elixir mit Beispieldaten
• 27.03.2019 – Test-ABC mit Elixir
• 06.02.2014 – Testen mit Haskell
• 10.07.2013 – Randomisierte Tests mit QuickCheck

TypeScript  

• 05.10.2020 – Dependently-Typed TypeScript
• 21.05.2019 – Keine Fehler wegen Null oder Undefined mit Typescript
• 04.09.2014 – Ein Streifzug durch die Features von TypeScript (Teil 2)
• 17.07.2014 – Ein Streifzug durch die Features von TypeScript

Validierung  

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

Web  

• 30.06.2022 – Komponierbare Komponenten
• 29.06.2017 – Reacl 2 - rein funktionale Programmierung, Side Effects und Actions
• 05.06.2013 – Moderne Webanwendungen mit Haskell und Javascript: clientseitige Implementierung
• 04.04.2013 – Moderne Webanwendungen mit Haskell

Xtend  

• 23.01.2014 – Eclipse Xtend

iOS  

• 09.11.2015 – Funktionale Programmierung mit Swift

z3  

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

Überblick  

• 23.08.2013 – Was ist funktionale Programmierung?
• 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