If you have ideas, please assist me in developing ithttps://twitter.com/Iceland_jack/status/1223037576975544320 …
Prikaži ovu nit
-
This is wip > via Ap where (negate + negate) 10 -20 > (via Ap where negate + negate) 10 -20
Prikaži ovu nit
I have wanted for a while to more easily layer them. It's ridiculous that we only care about Monoid/Num/Bounded for Ap yet have to use GND to derive everything else. Currently GHC never implicitly defines type class instances. This was the reason why my suggestion to ..
-
-
derive superclasses implicitly was struck down deriving stock Ord -> deriving stock (Eq, Ord) because Eq would be implicitly defined. But it's painful to basically maintain GND instances for every single modifier.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.