Paul Phillips

I unhelpfully took it down trying to reduce my footprint. I put it back for now, but if you want anything which is in there you should probably establish it...

https://github.com/quasar-analytics/quasar/pull/1424 is a good example of a time-consuming bug which would have been prevented had we the Nothing wart enabled, but enabling it is a non-starter for us in its...

@ChrisNeveu I feel like this is giving implementation artifacts too much control of the vehicle. As I understand it, wartremover's purpose is to assist in writing correct code by prohibiting...

@ChrisNeveu Are they open source? Can you link to one? I am curious to see it in practice.

@bbarker the Nothing errors incurred by shapeless and others are more than likely unrelated to what's being discussed here. Nothing is used by the compiler as a sentinel and unsoundly...

@ChrisNeveu Maybe you don't mind having to repeat types which can easily be inferred - and maybe most of your types look like `Warning` - but most of our types...

I opened [SI-4401: "inferring 2+ type parameters reveals the manifest behind the curtain"](https://issues.scala-lang.org/browse/SI-4401) 5.5 years ago so maybe don't hold your breath. Behavior still the same: ``` scala scala> Map().f...

At the template level the reference isn't to the concrete local value `x`, it's to the virtual path `this.x`, which may or may not turn out to be the same...

I would love to see class based algebras, including composable Bialgebras (and Bimonads) as first-class entities. I think the smart move would be to reduce the function and concept footprint...

> But maybe there are other types that would benefit from that approach? I won't pretend I understand all the dimensions of the problem here, but I understand software well...