Bryan Grounds

icon company @microsoft icon location Building real-time AI-powered meetings and calls for Microsoft Teams and Skype Personal profile: https://github.com/bagrounds

Results 2 comments of Bryan Grounds

Explore better typing for comprehensions / computational expressions

Hi. Very nice library :) I found this issue while trying to get this function to type check without the explicit annotations. This type checks, but the annotations are cumbersome:...

Think about typed do-notation

> Currently I am thinking about this API: > > ```python > assert do( > x + y > for x in wrap(Some(1)) > for y in wrap(Success(2)) > )...