What is the basic design idea behind the Scala for-loop implicit box/unboxing of numerical types?

Posted by IODEV on Stack Overflow See other posts from Stack Overflow or by IODEV
Published on 2012-03-27T11:35:43Z Indexed on 2012/03/27 17:29 UTC
Read the original article Hit count: 306

Filed under:

numerical

|

autoboxing

I'm trying to understand the behavior of Scala for-loop implicit box/unboxing of "numerical" types. Why does the two first fail but not the rest?

1) Fails:

scala> for (i:Long <- 0 to 10000000L) {}



      <console>:19: error: type mismatch;<br>
      found   : Long(10000000L)
      required: Int
              for (i:Long <- 0 to 10000000L) {}
                                  ^

2> Fails:

scala> for (i <- 0 to 10000000L) {}



      <console>:19: error: type mismatch;
      found   : Long(10000000L)
      required: Int
          for (i <- 0 to 10000000L) {}
                         ^

3) Works:

scala> for (i:Long <- 0L to 10000000L) {}

4) Works:

scala> for (i <- 0L to 10000000L) {}

© Stack Overflow or respective owner

Related posts about numerical

good books on numerical computation with C

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I've read the post "What is the best book on numerical methods?" and I wish to ask more or less the same question but in relation to C programming. Most of the time, C programming books on numerical methods are just another version of the author's previous Fortran book on the same subject. I've… >>> More
Typical Applications of Linear System Solver in Game Developemnt

as seen on Game Development - Search for 'Game Development'
I am going to write a custom solver for linear system. I would like to survey the typical problems involved the linear system solving in games. So that I can custom optimization on these problems based on the shape of the matrix. currently I am focus on these problems: B-Spline editing (I use… >>> More
Integration error in high velocity

as seen on Game Development - Search for 'Game Development'
I've implemented a simple simulation of two planets (simple 2D disks really) in which the only force is gravity and there is also collision detection/response (collisions are completely elastic). I can launch one planet into orbit of the other just fine. The collision detection code though does not… >>> More
HTML numerical to UTF

as seen on Stack Overflow - Search for 'Stack Overflow'
How can i convert this $langClarContent = &# 1059.,ч.,и.,&# 1090.,&# 1077.,&# 1083.,Dokeos &# 1077., &# 1089.,&# 1080.,&# 1089.,&# 1090.,&# 1077.,&# 1084., &# 1079.,&# 1072., &# 1091.,&# 1087.,&# 1088.,&# 1072.,&#… >>> More
Algorithm to generate numerical concept hierarchy

as seen on Stack Overflow - Search for 'Stack Overflow'
I have a couple of numerical datasets that I need to create a concept hierarchy for. For now, I have been doing this manually by observing the data (and a corresponding linechart). Based on my intuition, I created some acceptable hierarchies. This seems like a task that can be automated. Does anyone… >>> More

Related posts about autoboxing

Polymorphism, Autoboxing, and Implicit Conversions

as seen on Stack Overflow - Search for 'Stack Overflow'
Would you consider autoboxing in Java to be a form of polymorphism? Put another way, do you think autoboxing extends the polymorphic capabilities of Java? What about implicit conversions in Scala? My opinion is that they are both examples of polymorphism. Both features allow values of different… >>> More
Why does autoboxing in Java allow me to have 3 possible values for a boolean?

as seen on Stack Overflow - Search for 'Stack Overflow'
Reference: http://java.sun.com/j2se/1.5.0/docs/guide/language/autoboxing.html If your program tries to autounbox null, it will throw a NullPointerException. javac will give you a compile-time error if you try to assign null to a boolean. makes sense. assigning null to a Boolean is a-ok though.… >>> More
Why can't the compiler/JVM just make autoboxing "just work"?

as seen on Stack Overflow - Search for 'Stack Overflow'
Autoboxing is rather scary. While I fully understand the difference between == and .equals I can't but help have the follow bug the hell out of me: final List<Integer> foo = Arrays.asList(1, 1000); final List<Integer> bar = Arrays.asList(1, 1000); System.out.println(foo.get(0)… >>> More
Why can't the JVM just make autoboxing "just work"?

as seen on Stack Overflow - Search for 'Stack Overflow'
Autoboxing is rather scary. While I fully understand the difference between == and .equals I can't but help have the follow bug the hell out of me: final List<Integer> foo = Arrays.asList(1, 1000); final List<Integer> bar = Arrays.asList(1, 1000); System.out.println(foo.get(0)… >>> More
Usage of @specialized in traits

as seen on Stack Overflow - Search for 'Stack Overflow'
I have a trait and an implementation looking like: trait Foo[A] { def bar[B >: A: Ordering]: Foo[B] } class FooImpl[A]( val a: A, val values: List[Foo[A]] ) extends Foo[A] { def bar[B >: A] = { /* concrete implementation */} } I would like to use the @specialized annotation on A and… >>> More