[nem-en] Scala: what you say about it?

[Michal Moskal]

On 11/20/06, Igor Tkachev <it at rsdn.ru> wrote:
> > This is also why it is very important what you're doing -- it is
> > likely to attract more Windows developer who don't care about
> > Microsoft patents and the like.
>
> I did not get it. What about Microsoft patents?

Whether they exists or not, whether they are valid or not, Linux folks
will always be afraid of MS patents in .NET.

> BTW, I'm not a linux guy, but after we finish VS integration, we can
> look into Mono/SharpDevelop applications as well.

This should be much easier, once one plugin is done.

> > The problem with the language itself is that there seem to be no Next
> > Big Thing to do in the compiler or the language. There are some bugs,
> > there are some tweaks to be made but nothing really that important or
> > at least likely to be a good PhD topic [1]. Again what you're doing
> > comes closest -- it is going to be important for users, but is not
> > really language or compiler thing.
>
> I can give you an idea :) What do you think about like-Erlang
> multithreading features in Nemerle?

Ha! This seems like a good idea. Recently I was trying to use
multithreading in parts of my prover and was really disappointed by
how ugly it is.

> > This is one of the reasons why I've switched to automatic theorem
> > proving, or really satisfability modulo theories. Nobody asks the
> > question ,,why'' there -- it's simple -- this new prover is able to
> > handle this and that widely recognized problem that nobody else has
> > been able to. The tasks are well defined -- verify this is and that
> > piece of software or CPU. It's far easier to prove you're doing
> > something right and everybody else is doing it wrong. In programming
> > languages it's almost impossible, at least without getting a huge user
> > base.
>
> I am telling you without any automatic provers - with Nemerle you are
> doing it right :) There are only a few steps left that maybe are not
> so interesting, but have to be done.

I hope you're right.

> > I think we can roll out the 1.0 release, I can focus on bug fixing
> > let's say in the next week. This would have some good psychological
> > effects I think.
>
> > I hope this helps.
>
> It would be great. We can do almost everything, but without your help,
> guys, some thinks can take an infinite amount of time. So, our
> enthusiasm can come to the end sooner :(

I fully understand. I will really focus on bug fixing this week. Also,
as a general note, if some particular bug is holding you back, please
tell me so, I'll focus on it more.

-- 
   Michał