Dale Wijnand

Interested in FP, tooling & API/library design. Ex @scala_lang team at @lightbend & @scala_sbt maintainer.

[Dale Wijnand @dwijnand]

@StefanZeiger Yeah, we need "atLeast" and "atMost" methods.

[Dale Wijnand @dwijnand]

One day I'll write a line of code using min or max, and get it right the first time... 🙄

[Dale Wijnand @dwijnand]

@johan__walters Very nice. I think "to" works nicely, especially to reuse Range's to (inclusive) semantics:

[Dale Wijnand @dwijnand]

I wanted to have use similar syntax in Scala as Kotlin's "when in range", so I hacked this up.

[Dale Wijnand @dwijnand]

@olafurpg @eed3si9n @hmemcpy @taroleo And sbt-dynver outsourced the heavy lifting to git describe 😄

[Dale Wijnand @dwijnand]

@edude03 @NicolasRinaudo @kascakm Perhaps. I've used guards and it haven't found it aggregating. I can see it being more common in the application of Rust, though.

[Dale Wijnand @dwijnand]

@NicolasRinaudo @kascakm That PR is about not widening constant types (including literal types). But ints aren't considered a sealed type, so we don't emit exhaustivity warnings for them. It's either got a default case or it's inexhaustive (unless you have 2^64 cases).

[Dale Wijnand @dwijnand]

Any and Nothing are so basic!

[Dale Wijnand @dwijnand]

@eed3si9n This so much!

Have you found fixing the dynamic dispatch semantics to be impossible? Seems like choosing between inheritance vs c++ templates, btw. 😃

[Dale Wijnand @dwijnand]

Going to try a tweak to the signature polymorphism implementation on stream, with @SethTisue.

Live now
https://t.co/CGIzV41Akc

[Dale Wijnand @dwijnand]

Streaming with @SethTisue on https://t.co/CGIzV3Kxic. Hacking on the Scala 3 compiler, looking at a Text/printing bug, then a generic tuples bug.

[Dale Wijnand @dwijnand]

Going to continue the PR on "Support polymorphic signatures" in an hour, on https://t.co/CGIzV3Kxic with @SethTisue and Guillaume.

[Dale Wijnand @dwijnand]

That feeling when you're so unsure that you go double-check that Null <: Object...

[Scala @scala_lang]

🔮 The new Compiler Academy video is out! It gives a thorough overview of the Scala 3 Metaprogramming framework. By @stucki153.https://t.co/v9lBSV49Nw

[Dale Wijnand @dwijnand]

Damn. So close, but still off...

[Dale Wijnand @dwijnand]

@SethTisue "If at first you don't succeed try, try and try again."

[Dale Wijnand @dwijnand]

@hmemcpy Never going to not think about, going forward, you know that right? Thanks!!?! 😃

[Dale Wijnand @dwijnand]

Happy to finally come up for air, now that I have a fix for a soundness bug in the GADT/type inference part of the compiler.

https://t.co/7BbFNdRlbm

[Dale Wijnand @dwijnand]

@Daenyth @kubukoz Appreciated! You'll have to explain more about non-exhaustive matches though, because there are no big regressions from Scala 2 (that I'm aware of).

[Dale Wijnand @dwijnand]

@Daenyth @kubukoz Which warnings? There's lots in Scala 2 and I think there's only a handful that are really missed.