M Farkas-Dyck
M Farkas-Dyck
It seems we ought to rather have a general `Power` trait with a method `is_power_of(self, other) -> bool` which checks whether `self` is a power of `other`.
We could add a private field: ``` pub struct GcdResult { /// Greatest common divisor. pub gcd: T, /// Coefficients such that: gcd(a, b) = c1*a + c2*b pub c1:...
@dopamane Now includes *W instructions; also generalized the SOC; PTAL and let me know what you think.
Ah, so it does... but that also fails if i add 2 more cases to the definition of `op`. The test case i posted is reduced from some other code...
I think we may want to wait here until we know what new type system features we will include; in particular, multi-parametre type classes would enable `class MonadFail f m`...
@quchen: Nonetheless, i'd prefer to wait until we know our options to choose one.
On 19/08/2016, David Luposchainsky [email protected] wrote: > @strake MonadPlus is unfortunately not redundant: it adds laws that > Alternative does not have. Ah, i see. But the methods are obsolete,...
I propose we merge this RFC as is. Any dissenters?
@yav I agree it is nicer.
I also dislike all this whitespace-significance. I also dislike losing infix definition of `(!)`. So i had a (not yet fully formalized) idea: We could define bang-patterns at the same...