Re: [scala-language] The cake’s problem, dotty des ign and the approach to modularity.
Naftoli Gugenheim <[email protected]>
| Newsgroups | gmane.comp.lang.scala |
|---|---|
| Message-ID | <CANpg8PCG6HNa3KRcwROd7K6oc1=6kaqhKedcYqaORA6KdiXRiA@mail.gmail.com> |
On Wed, Jul 22, 2015, 11:52 AM Shelby <[email protected]> wrote: I hate mailing lists; there is no edit feature. That's another advantage of using a blog... Have you considered hosting a blog on github pages? It's not that hard. Edits are in CAPS... On Wednesday, July 22, 2015 at 11:47:04 PM UTC+8, Shelby wrote: I remember Adriaan Moors' explanation that in the DOT calculus a disjunction of types contains the conjunction of methods of those types (and shared methods input a DISJUNCTION of the inputs of those methods) and conversely a conjunction of types contains the disjunction of methods of those types (and shared methods input a CONJUNCTION of the inputs of those methods). -- You received this message because you are subscribed to the Google Groups "scala-language" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "scala-language" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.