Block or report user

Report or block odersky

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. scala

    Forked from scala/scala

    The Scala programming language

    Scala 72 4

  2. dotty

    Forked from lampepfl/dotty

    Research platform for new language concepts and compiler technologies for Scala.

    Scala 41 1

  3. sips

    Scala Improvement Process

    CSS 13 2


    Forked from scala/docs.scala-lang

    JavaScript 5

  5. scalax

    Experimental stuff around scala

    Scala 5

  6. scala-dist

    Forked from scala/scala-dist

    Additional code relevant to creating a scala distribution.

    Scala 4

1,803 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2018

Created a pull request in lampepfl/dotty that received 20 comments

Make vals with constant rhs have constant types

In Scala-2, val's get a constant type only if they are declared final. This is a horrible wart, of which I was ashamed from the beginning. In Dotty…

+4 −9 20 comments

Created an issue in lampepfl/dotty that received 5 comments

How to define Concat? (quantified TypeOf?)

After having made progress in well-typing concat in #4616, let's consider what we can do for its type. We want to be able to complete the definition


Seeing something unexpected? Take a look at the GitHub profile guide.