thma/lambda-cat

Stars
1
Language
Haskell
License
Apache License 2.0
Created over 3 years ago
Updated over 3 years ago

thma/lambda-cat

thma

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Compiling typed lambda calculus to closed cartesian categories

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:

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

HasBigDecimal

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

dependency-checker

A tool to validate dependencies of Haskell modules

lispkit

Implementing a small functional language with a combinator graph reduction engine

thma.github.io

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

CommutativeMonoid

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

fmek

Emulating a jee 7 container with SpringBoot.

secd

Java Implementation of SECD Machine + Lispkit Lisp Compiler

TypelevelReflection

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

generic-persistence-demo

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

EntityRestService

Entity Server based on Haskell / Yesod

TaglessFinalEncoding

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

fun4j

functional programming for the JVM

write-you-a-scheme

my own experiments with write yourself a scheme in 48 hours

ServantRestService

ApplicativeEvaluator

Simple Expression evaluator meets the Applicative Functor

AlpineHaskell

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

FPvsOO

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

clean-architecture-with-functions

Clean Architecture in Haskell. Using higher order functions for 'dependency injection'

json-processing

simple json processing in Haskell

servant-gp

writing a Rest Service with a generic-persistence backend

TypeClasses

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