@psnively Having iterated over 4-5 solutions I'd gladly see any new ones! /cc @rolandkuhn @seanparsons
@tixxit @rolandkuhn And M[+_]: Monad on a method is not the same as another M[+_]: Monad in a higher scope, so types help. ECs are ECs.
-
-
@tixxit idea: why not make your ECs differently typed by service class etc? Wrap in valueclass, type-safety restored, profit -
@rolandkuhn Yeah, there are definitely multiple ways to skin a cat, and type tagging, wrapping ,etc is nice. We abstract over our monads:) - 4 more replies
New conversation -
-
-
@tixxit but a monad carrying an EC is also a multiply inhabited type; what's the difference? -
@rolandkuhn The M is abstract and is not equivalent to another M declared somewhere else (eg. method vs. class).
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.