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
-
-
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 ..
Prikaži ovu nit -
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 nit
Kraj razgovora
Novi razgovor -
Č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.