Our great sponsors
-
promises-spec
An open standard for sound, interoperable JavaScript promises—by implementers, for implementers.
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Fancy mathematics is the foundation of so many things in Haskell. Haskell is a lambda calculus, with application, abstraction, α equivalence, β reduction, confluence. Functions compose, monadic functions compose. Streams are a monoidal category. mapMaybe is a functor from Kleisli Maybe. Promises are a monad. The list goes on.
A humble example is tomland, a TOML parser. As far as I know, it is based on the ideas from this paper and previous work by /u/syrak. Again, maybe for you it is a triviality, but I find it impressive.