github.com/milessabin/sha… 879. Fix bug in Witness for TypeRef singleton type (error "type argument A.type is not a singleton type") 878. Fix bug in RotateLeft/RotateRight for Poly with more than 1 Case

A puzzle about #Scala. Can you write a code that compiles but after x being explicitly annotated with any type doesn't?

The slides from my talk at typelevel.scala summit speakerdeck.com/soronpo/twofac… after Scala Days 2019. If you missed it, checkout `TwoFace`, your friendly neighborhood inliner!

Wow! That was fast! Recording of my talk Scala Days on type class derivation in #Scala 3 and shapeless 3 is up already! portal.klewel.com/watch/webcast/…

github.com/DmytroMitin/AU… #Scala

I just released a tiny Scala library for encoding higher-rank types: github.com/djspiewak/skol… If you're looking for witchcraft, the only *really* novel bit is the implicit materialization stuff, which is pretty magical! The rest is just solid, useful, tried-and-true encodings.

New blog post! Notes on Category Theory in Scala 3 (Dotty): typista.org/categories-in-…

29 февраля буду проводить для киевлян тренинг "Введение в библиотеку Shapeless и программирование на уровне типов на языке Scala". Регистрация forms.gle/bDdBxK7GDsaNr5… facebook.com/events/2583553… facebook.com/groups/scala.t…

Новый тренинг по Shapeless 28 марта 2020 г. facebook.com/events/2017701… Регистрация: forms.gle/E3wmSkLeqjBYtE…

Kaapi with Kuriosity #KwK will now be hosted online as Kuriosity during Kurantine #KdK. The talks will be livestreamed via the ICTS YouTube channel with live Q&A (youtube.com/user/ICTStalks…). Register forms.gle/zMqzcyt7S28qEk… #icts #kaapiwithkuriosity #KuriosityduringKurantine

Macros in Dotty #scala #dotty #scala3 #macros #tasty #reflection #typeclass #derivation #shapeless #shapeless3 stackoverflow.com/q/62853337/524…

So many ways to view that code in Metals... - Scala 3 Code - TASTy - SemanticDB (compact, detailed, or proto) - Decompiled class files (verbose or regular)

IMC 2022 imc-math.org.uk

github.com/DmytroMitin/do…

What is a type? Wrong answers only. I'll retweet the best answers

19th stackoverflow.com/tags/scala/top…