Выдержка изБлог Эрика Липперта околоЧто означает «есть», это:

Распространенная концепция типов состоит в том, что тип - это набор [...] значений, и что совместимость присваивания просто проверяет, является ли данное значение членом необходимого набора. Но это не так в C #.

Контрпример, который он приводит, состоит в том, чтоnull is string возвращаетсяfalse, ноstring b = null полностью хорошо компилятором C #.

Возможно, это глупый вопрос, но как лучше определить идею «типа» в контексте C # .Net? Это просто слово используется для определения ... правил памяти? ... в CLR? Я понимаю, насколько неоправданно (и ужасно неправильно) это определение, но я изо всех сил стараюсь подобрать красивую обертку и склонить голову над идеей шрифта.

Примечание: чем проще, но точнее, тем лучше. (сильныйТип N, Вот).