Linked by Thom Holwerda on Wed 10th Nov 2010 18:56 UTC, submitted by fran
Java "Programmers in the Java environment have another tool in their box, following the launch of a new programming language called Gosu. Publicly released by Guidewire Software, Gosu is a general purpose programming language that runs on the Java Virtual Machine. According to the developers, Gosu is an object-oriented language that is 100% compatible with Java and has a promising set of attributes compared to other JVM languages. For example, Gosu boasts solid IDE tooling and static typing (meaning variables don't have to be defined before they're used), which remain rare in the world of JVMs."
Thread beginning with comment 449493
To view parent comment, click here.
To read all comments associated with this story, please click here.
RE[3]: static typing
by boofar on Wed 10th Nov 2010 20:32 UTC in reply to "RE[2]: static typing"
boofar
Member since:
2008-04-23

That was probably supposed to say the type of variables don't have to be defined before they're used.

Reply Parent Score: 1

RE[4]: static typing
by vrwarp on Thu 11th Nov 2010 04:36 in reply to "RE[3]: static typing"
vrwarp Member since:
2010-11-11

He means that the blurb is wrong to say that static typing MEANS type inference. You can have strong static typing but not type inference (look at Java <= 6 and C++ < 0x).

While it is true that you can't have type inferencing in a meaningful way without strong static types, the other way around is not true.

Reply Parent Score: 1

RE[5]: static typing
by sukru on Fri 12th Nov 2010 02:16 in reply to "RE[4]: static typing"
sukru Member since:
2006-11-19

Yes, you said this better than I did.

Static typing bring so much information to the compiler, it both enables very good type inference (just look at F# or other functional languages doing), and pretty good compiler time checks.

Reply Parent Score: 2