Re: [scala-language] The cake’s problem, dotty des ign and the approach to modularity.
Shelby <[email protected]>
| Newsgroups | gmane.comp.lang.scala |
|---|---|
| Message-ID | <[email protected]> |
I hate mailing lists; there is no edit feature. 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.