You must be logged in to sponsor solomon-b
Become a sponsor to Solomon
My name is Solomon and I love to explore functional programming, PL Theory, denotational design, and beautiful abstractions. Most of my work is in Haskell and other strongly typed pure functional languages.
Featured work
-
solomon-b/monoidal-functors
A library encoding monoidal functors and related structures in Haskell.
Haskell 16 -
cofree-coffee/cofree-bot
A library for building bots compositionally.
Haskell 41 -
hasura/kriti-lang
A minimal JSON templating language
Haskell 56 -
solomon-b/lambda-calculus-hs
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
Haskell 44 -
solomon-b/Dont-Worry-Be-Happy
Example projects for Happy and Alex
Haskell 1 -
solomon-b/graded-monads
Graded Monads with a QualifiedDo interface
Haskell 2