Oleg Nizhnik
@odomontois.bsky.social
Scala dev simping category theorists, enjoying inappropriate CS
Ok, syntax extensions and java classes don't matter it's only capture checking and generics
scastie.scala-lang.org/Odomontois/G...
scastie.scala-lang.org/Odomontois/G...
Scastie - An interactive playground for Scala.
def foo(src: String): Option[List[Int] -> Int] = None
def traverse[A, B](xs: List[A], f: A => Option[B]): Option[List[B]] = None
val weird = for
actions <- traverse(List[String](), foo)
_ = acti...
scastie.scala-lang.org
September 22, 2025 at 3:39 PM
Ok, syntax extensions and java classes don't matter it's only capture checking and generics
scastie.scala-lang.org/Odomontois/G...
scastie.scala-lang.org/Odomontois/G...
A fantastic day not reading posts on twitter.
September 8, 2025 at 8:46 AM
A fantastic day not reading posts on twitter.