Re: [scala-language] The cake’s problem, dotty des ign and the approach to modularity.

Will do asap. My high priority todo is backlogged. I think before 2006 I 
would have been faster, but I'm suffering from Multiple Sclerosis. On a new 
experiment past 36 hours, eating only leafy greens, 2 egg yokes daily, and 
the white meat of the coconut to try to keep my body in ketogenesis. So 
far, this is causing me to sleep most of the time, so I am losing so many 
productive hours to this condition.

On Saturday, August 22, 2015 at 5:13:25 PM UTC+8, Simon Schäfer wrote:
>
>
>
> On 08/22/2015 03:05 AM, Shelby wrote: 
> > I agreed with all the range of discussion at the following HN thread. 
> > In particular, I want to call attention to the following post which 
> > emphasizes that Scala is not sufficiently simplified and unified. 
> > Scala 3 with the DOT (Dotty) proposal is attempting to make some 
> > headway, and my position is to try to remove subclassing (retain 
> > subtyping) and replace with a superior paradigm which is more unified, 
> > which will make the calculus more provable, will make type inference 
> > more simplifed and complete, and will remove the CAKE pattern and 
> > other warts which are giving Scala a bad rap while also slam dunking 
> > it to massive adoption... 
> If you want to convince anyone that subclassing should be replaced by 
> something else you should first start by explaining what this new 
> concept of yours is. I'm interested in understanding your new concept 
> but between all of the posts you wrote and links you posted I'm just not 
> able to understand anything you wrote anymore. And I'm too lazy to 
> reread everything in hope to get a better understand. It would be time 
> to write something that has a structure similar to a paper, otherwise 
> there aren't many which may consider your thinkings. 
>
>

-- 
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.