Thomas Mahler's repositories
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
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:
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.
TypelevelReflection
Using haskell typelevel programming to implement reflective features. This can be used to eg. implement persistence or serialization.
json-processing
simple json processing in Haskell
servant-gp
writing a Rest Service with a generic-persistence backend
CodingDojo
My Coding Dojy Entry
IHaskellExperiments
experiments with IHaskell
liquidMusings
toying around with liquid haskell
MonadicJava
SOme experiments with monadic programming style in Java
prevaylerTest
playing around with the baisc ideas of the legendary prevayler project
ScratchHaskell
A minimal docker image providing all runtime libs required by Haskell programs at runtime. But nothing else
TaglessFinalCleanArchitecture
Showcasing clean architecture with tagless final effects