Thomas Mahler

LtuPatternFactory. Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

WhyHaskellMatters. In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

PolysemyCleanArchitecture. Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.

ThreepennyElectron. Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell

lambda-ski. Implementing a small functional language with a combinator based graph-reduction machine

jiffy. algebraic effects for Java

generic-persistence. GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can be found here:

srv. srv is a tiny web server for local deployments

HsWiki. Simple Wiki in the spirit of the legendary C2-Wiki - written in haskell with yesod

lispkit. Implementing a small functional language with a combinator graph reduction engine

dependency-checker. A tool to validate dependencies of Haskell modules

HasBigDecimal. simple implementation of big decimals in Haskell - inspired by Java BigDecimals

CommutativeMonoid. Trying to prove that commutative monoids are required for a parallel foldMap (aka. map/reduce)

thma.github.io. Lambda is not a four letter word. My blog on all things haskell and FP.

lambda-cat. Compiling typed lambda calculus to closed cartesian categories

scotty-service. Haskell

fmek. Emulating a jee 7 container with SpringBoot.

secd. Java Implementation of SECD Machine + Lispkit Lisp Compiler

servant-gp. writing a Rest Service with a generic-persistence backend

TypelevelReflection. Using haskell typelevel programming to implement reflective features. This can be used to eg. implement persistence or serialization.

jiffy-clean-architecture. A Java clean architecture with the Jiffy algebraic effects library

FPvsOO. Musings on https://blog.cleancoder.com/uncle-bob/2018/04/13/FPvsOO.html

generic-persistence-demo. this project contains some usage demos of the generic-persistence library

clean-architecture-with-functions. Clean Architecture in Haskell. Using higher order functions for 'dependency injection'

TaglessFinalEncoding. experementing with https://jproyo.github.io/posts/2019-03-17-tagless-final-haskell.html

json-processing. simple json processing in Haskell

fun4j. functional programming for the JVM

AlpineHaskell. an Alpine based docker image providing all runtime libs required by Haskell programs at runtime.

EntityRestService. Entity Server based on Haskell / Yesod

TypeClasses. some Haskell type class musings. Basic idea: model an oo type hierarchy with type classes

ApplicativeEvaluator. Simple Expression evaluator meets the Applicative Functor

write-you-a-scheme. my own experiments with write yourself a scheme in 48 hours

ServantRestService. Haskell