Miles Sabin

icon indicating a website link http://milessabin.com/blog icon indicating an email [email protected]

icon company Underscore/Typelevel/shapeless/grackle icon location Brighton, UK icon location I do stuff with Scala. Partner at underscoreio, Typelevel cofounder, Scala SIP committee member. Type astronaut, shapeless/scalac/dotty hacker.

Results 92 comments of Miles Sabin

scala-cli always attempts to download JDK 17 when starting a repl unless --bloop-jvm system is specified.

Yes, but only if that JDK is on the path. If it's installed, but not on the path then setting `JAVA_HOME` is still required.

scala-cli always attempts to download JDK 17 when starting a repl unless --bloop-jvm system is specified.

> Is it good enough for you? @milessabin Yes, that's just fine.

Add (Labelled)Coproduct support to Zipper.

Probably needs to wait for the SMC refactor.

Unexpected optic generation where ambiguity is expected

I honestly think it would be better to retire shapeless lenses in favour of Monocle.

Figure out what to do with multiple parameter lists (esp. implicits) in Generic

Good catch.

HMap should support singleton keys smoothly.

@filinep yes, definitely related. But I think we should be able to do something with, eg. `String` or `Int` singleton-typed keys too.

"java.lang.AssertionError: ... mkAttributedQualifier(Unit, <none>)" on `1.narrow`

I think here is the right place to post it. Can you confirm that this bug is REPL-only?

"java.lang.AssertionError: ... mkAttributedQualifier(Unit, <none>)" on `1.narrow`

@lshoo how does that stack trace relate to this ticket?

Improve composability of Zipper operations.

It should be possible to write a method that takes a Zipper argument and yields the result of `.right.get`.

Improve composability of Zipper operations.

@mandubian I've updated the description to make it clearer what the issue actually is. I've also removed the "Low hanging fruit" label because I think it might be quite fiddly...