Type-annotated monad implementations for Python 3.7+
Project description
Type-safe Monads
This is an experiment in building monads in Python supported by strict type annotations. The goal is to be able to compose monads with the type checker ensuring their correctness.
Motivation
I'm a fan of monads, but believe they work best with the support of a strong type system. I've attempted to use libraries like PyMonad, but been frustrated by a lack of type constraints preventing incorrect usage. I could've attempted to add type annotations to one of those libraries, but building my own is more fun.
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
typesafe-monads-0.4.tar.gz
(4.4 kB
view hashes)
Built Distribution
Close
Hashes for typesafe_monads-0.4-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | bdb02b44d02700267e8e91ebea0e1a7eef5a2d66784509a00829575930f5937c |
|
MD5 | 6c169ea6ec2d6f6d445e290d83af2142 |
|
BLAKE2b-256 | b6d73d5154501769c2ce8f7cc9c66b5d86f0bf398e0c550d1eb4129b453fcf77 |