Would be handy to have optional implicits, if one is present it gets wrapped in a Some, otherwise it's a None.
@seanparsons Yes! I've been planning to add such things to Spire for a while. And an "Either" of sorts: Group[A] WithFallback Monoid[A].
-
-
@tixxit How will that work? I thought I would be able to achieve it through more specific typing, but it was no dice for me. -
@seanparsons For the fallback one, I was thinking of something like: https://gist.github.com/tixxit/6552183 /cc@d_m@posco@travisbrown - 4 more replies
New conversation -
-
-
@tixxit@seanparsons Yeah agreed, that would be super useful (especially from an optimization point of view). -
@tixxit@seanparsons Since there's usually a tension between wanting stronger requirements (efficiency) and weaker requirements (generality) - 5 more replies
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.