Joe Duffy's team has been designing and implementing a set of “systems programming” extensions to C# over the past 4 years.
At long last, I’ll begin sharing our experiences in a series of blog posts.

The first question is, “Why a new language?”

Java is closer than C# thanks to the excellent work in HotSpot-like VMs which employ code pitching and stack allocation.

I’ve seen many people run away from garbage collection back to C++, with a sour taste permeating their mouths. (To be fair, this is only partly due to garbage collection itself; it’s largely due to poor design patterns, frameworks, and a lost opportunity to do better in the language.)

RC divides execution into three distinct phases: mutation, reference counting collection, and cycle collection.

We have implemented both types of collector: a multiprocessor concurrent reference counting collector with cycle collection

Полиморфи́зм — возможность объектов с одинаковой спецификацией иметь различную реализацию. Язык программирования поддерживает полиморфизм, если классы с одинаковой спецификацией могут иметь различную реализацию — например, реализация класса может быть изменена в процессе наследования[1]. Кратко смысл полиморфизма можно выразить фразой: «Один интерфейс, множество реализаций».

function concatenate(a, b);

Matrix3x3 concatenate(Matrix3x3 a, Matrix3x3 b);

var f = (int x) => x * 2;

void Write(string data) {}

#include <iostream>

template<typename F, typename ...Args>
auto apply(F f, Args... args)
{
    return f(args...);
}

double foo(int x, double y)
{
    return x + y;
}

int main()
{
    std::cout << apply(foo, 1, 0.1);
}

def apply(f, *args):
    return f(*args)

def foo(x, y):
    return x + y

print apply(foo, 1, 0.1)

А>function concatenate(a, b);
А>

А>Matrix3x3 concatenate(Matrix3x3 a, Matrix3x3 b);
А>

template<SemiGroupElement T>
T concatenate(T a, T b);

template<typename SemiGroupElement>
SemiGroupElement concatenate(SemiGroupElement a, SemiGroupElement b);

template <class T, class Integer, class MonoidOperation>
T power(T x, Integer n, MonoidOperation op);

foo(lambda x: bar(x, 1))

foo(x => bar(x, 1));

foo([](auto x){ return bar(x, 1); });

template<typename F, typename ...Args>
auto apply(F f, Args... args)
{
    return f(args...);
}

foo([](auto x){ return bar(x, 1); });

foo(lambda x: bar(x, 1))

I>>var f = (int x) => x * 2;
I>>

I>>

I>>void Write(string data) {}
I>>

var old = obj.method;

obj.method = function() { me.fireSomeEvent(arguments); old.apply(this, arguments); }

I>....плюшки динамики — православный полиморфизм.

Ф>Можно подробнее?

I>Полиморфизмы они разные бывают. В C# система типов очень сильно ограничивает этот самый полиморфизм.
I>Пример

AVK>И что этот пример должен показать?

I>Хилый вывод типа и все вытекающие проблемы.

AVK>Какая связь между выводом типов и динамическим полиморфизмом?

I>Пудозреваю, связь такая — ты увидел лямбду, которая не скомпилится и решил, что я говорю про динамический полиморфизм. Годится ?

In 1960, researchers introduced the two main branches of automatic garbage collection: tracing and reference counting [14, 24].
* G. E. Collins. A method for overlapping and erasure of lists. Commun. ACM, 3(12):655–657, December 1960.
* J. McCarthy. Recursive functions of symbolic expressions and their computation by machine, part I. Commun. ACM, 3(4):184–195, April 1960.

I found that the performance of JavaScript improved a hundredfold between 1996 and 2006.
If Web 2.0 is built on a backbone of JavaScript, it’s largely possible only because
of those crucial Moore’s Law performance improvements.