This page is no longer maintained — Please continue to the home page at www.scala-lang.org

Why isn't Option @specialized?

2 replies

Wed, 2011-11-09, 21:54

nilskp

Joined: 2009-01-30,

It seems like a prime candidate.

Thu, 2011-11-10, 02:07

#1

extempore

Joined: 2008-12-17,

Re: Why isn't Option @specialized?

On Wed, Nov 9, 2011 at 12:53 PM, Nils Kilden-Pedersen wrote:
> It seems like a prime candidate.

https://issues.scala-lang.org/browse/SI-5005
"@specialize vs. @inline: @specialize wins (unnecessarily)"

"a) one of the few classes I would specialize with no reservations is
Option and b) we cannot even consider specializing Option unless this
is fixed, because we would be gifted with hundreds of getOrElse
closure objects which are presently eliminated."

Thu, 2011-11-10, 02:17

#2

nilskp

Joined: 2009-01-30,

Re: Why isn't Option @specialized?

On Wed, Nov 9, 2011 at 7:00 PM, Paul Phillips <paulp@improving.org> wrote:

On Wed, Nov 9, 2011 at 12:53 PM, Nils Kilden-Pedersen <nilskp@gmail.com> wrote:
> It seems like a prime candidate.

https://issues.scala-lang.org/browse/SI-5005
"@specialize vs. @inline: @specialize wins (unnecessarily)"

"a) one of the few classes I would specialize with no reservations is
Option and b) we cannot even consider specializing Option unless this
is fixed, because we would be gifted with hundreds of getOrElse
closure objects which are presently eliminated."

Thanks. I hope it'll get fixed :-)

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland