Are there any languages which feature static type checking like in C++ with modern syntax like in Python, and does not have GIL?
I belive, Python 3 with ability to explicitly declare type of each variable would be 'almost there', but GIL makes me sad.
Java is nice, but I need something more 'embedable' without bulky JRE.
Update: Anything .NET-related or non-open source is a no-go.
Update2: I need explicit+strong typing to write safer code in the expense of development speed. GIL is important as the code is going to be quite computing extensive and will run on multicore servers, so it has to effectively use multiple CPU.
Update3: Target platform is Linux(Debian) on x86
After reading your updated spec:

I need explicit+strong typing to write safer code in the expense of development speed. GIL is important as the code is going to be quite computing extensive and will run on multicore servers, so it has to effectively use multiple CPU

What exactly does "computing extensive" mean? What problem domain? What do others who work in this problem domain use? If you are serious with this specification, you can't do much other things than using C++ in connection with well-tested libraries for multithreading and numerical computing.
my $0.02
rbo
Looking for strong/explicit-typed language without GIL