Linked by Eugenia Loli-Queru on Wed 14th Sep 2005 15:07 UTC, submitted by Michał Moskal
.NET (dotGNU too) A new major version of Nemerle language was released. Nemerle features a very high level .NET language with functional programming support. This version brings full support to .NET 2.0 generics and a bunch of other things. After the release of C# 3.0 spec preview it might be interesting to see how could next generation of .NET languages look like.
Thread beginning with comment 31084
To read all comments associated with this story, please click here.
re: rayiner
by on Wed 14th Sep 2005 17:50 UTC

Member since:

One such feature missing in Lisp is possibility of static type checks and type inference.

RE: re: rayiner
by rayiner on Wed 14th Sep 2005 18:14 in reply to "re: rayiner"
rayiner Member since:
2005-07-06

Nope. Type declarations are a part of the language, and a good compiler will issue the requisite errors and warnings. SBCL/CMUCL is particularly good about this, and will do enough type inference to catch many type errors even without declarations. I don't usually bother to put type-declarations in my code, yet the only type errors (that I make, anyway), and that the compiler misses are polymorphism-related errors that wouldn't be caught 'till runtime in C# anyway.

Reply Parent Bookmark Score: 1

RE: re: rayiner
by on Wed 14th Sep 2005 18:16 in reply to "re: rayiner"
Member since:

Thatīs not true. Common Lisp enables type declaration and there are a lot of Lips with type inference.

Reply Parent Bookmark Score: 0