Невероятные приключения в коде

В прошлый раз мы обсуждали, как параметр «dynamic» стремится расшириться по программе подобно вирусу : если выражение типа dynamic «касается» другого выражения, то последнее зачастую тоже становится типа dynamic. Сегодня я хочу остановиться на менее всего...

  Предположим, что вы эпидемиолог, моделирующий возможное распространение сильно заразной болезни. Прямой способ моделирования серии прискорбных событий – предположить, что население может быть разделено на три категории: определенно зараженных,...

На этой неделе я реализовывал семантический анализ динамических выражений в проекте Roslyn, так что я исследовал множество вопросов со своей командой, касающихся дизайна динамических возможностей в C# 4. В этом контексте мне очень часто задают следующий...

Сегодняшний пост, как обычно будет представлен в виде диалога. C # – это строго типизированный или слабо типизированный язык программирования? Да. Ответ не очень-то полезный. Я серьезно. Любопытно, что если вы перефразируете свой вопрос так, чтобы в нем...

Мы можем рассматривать компьютерную программу, как устройство, которое берет на вход набор целых чисел и выдает на выходе другой набор целых чисел. Компилятор языка C#, например, принимает на вход строки исходного кода, а это всего лишь набор огромных...

Я все пропустил! Я подготовился к огромной волне анонсов по поводу выхода языка TypeScript , но форс-мажорные семейные обстоятельства оторвали меня от компьютеров, и я не добавил свою статью в очередь на публикацию. Достаточно будет сказать, что мне ОЧЕНЬ...

Я рад сообщить, что выпустили третий ознакомительный выпуск («Community Technology Preview») проекта Roslyn. Roslyn, если вы еще о нем не слышали, – это кодовое имя проекта, над которым я сейчас работаю; мы переписываем компиляторы языков C# и VB таким...

  Прежде чем переходить к сегодняшнему невероятному приключению, я хотел бы поздравить всё подразделение разработки с потрясающим продуктом, который мы запускаем официально . (Я приложил очень мало усилий к разработке Visual Studio 2012 и языку C#...

Как я и говорил в прошлый раз , это загадка была довольно простой: мы получим такое поведение, если FooBar или тип локальной переменной x будут параметром типа (type parameter). Т.е.: void M<FooBar>() {   int x = 0;   bool b = x is FooBar; ...

  Возможно, что в программе с некоторой локальной переменной x: bool b = x is FooBar; во время исполнения присваивается b значение true, даже если преобразование типов (явное или неявное) переменной x к FooBar запрещено компилятором! Т.е. выражение...

Я вернулся из ежегодного отпуска, проведенного в прекрасном месте на юго-западе Онтарио; прежде чем переходить к теме сегодняшнего поста, посмотрите на снимок, сделанный с помощью Windows Phone при возвращении домой. Мы находимся на высоте 37000 футов...

Как вы наверное знаете, компилятор языка C# анализирует константы для поиска недостижимого кода. В следующем методе компилятор предупреждает о том, что вызов метода является недостижимым. const object x = null; void Foo() {   if (x != null)  ...

Мне очень часто задают вопрос о логике преобразования типов в языке C#, что, в общем-то, не удивительно. Преобразования типов является распространенной операцией и соответствующие правила довольно запутанные. Вот фрагмент кода, о котором у меня недавно...

Сейчас всего лишь небольшая ссылка: Прекраснейшие люди из InformIT (*) выпускают серию коротких статей по теме «лучший совет, который мне когда-либо давали», что, как мне кажется, должно быть очень интересными. Они попросили у меня пример совета, который...

Сегодняшний пост как обычно будет представлен в виде диалога. Почему в некоторых случаях использование ключевого слова var является обязательным для неявно типизированной локальной переменной, а иногда его использование запрещено ? Это хороший вопрос...

Рейчел Румелиотис (Rachel Roumeliotis), которая, помимо прочего является редактором книг о C# в издательстве O’Reilly, взяла у меня недавно интервью, в котором я рассказываю о async/await, проекте Roslyn, анализе производительности как об инженерной дисциплине...

Как я уже неоднократно упоминал в этом блоге ранее , язык C# был тщательно спроектирован таким образом, чтобы устранить некоторое «неопределенное поведение» или «поведение, определяемое реализацией», с которым можно столкнуться в языках типа С и С++....

На ранних стадиях дизайна проекта Roslyn мы решили, что основной структурой данной, с которой будут иметь дело разработчики при анализе кода, будет синтаксическое дерево (syntax tree). Таким образом, одной из самых сложных задач на ранних стадиях дизайна...

Внимание всем, я рад сообщить, что мы выпускаем вторую предварительную версию проекта Roslyn, проекта, над которым я сейчас работаю. Я невероятно рад этому! Переходим к делу. Ключевые моменты: Roslyn – это библиотека для анализа кода, полезная для создания...

Прежде чем перейти к сути нашего сегодняшнего повествования, несколько замечаний. Во-первых, я извиняюсь за отсутствие новых постов в последние три недели; я был невероятно занят добавлением новых возможностей в семантический анализатор языка C# проекта...

Давайте напомним, о чем шла речь: GUID – это 128-разрядное целое, который используется в качестве глобального уникального идентификатора. Система генерации GUID не является безопасной; при наличии злоумышленника, намеренно создающего коллизии, уникальность...

Так каким же образом, GUID гарантированно является уникальным без централизованного контролирующего органа, аналогичного тому, что используется в системе ISBN? Во-первых, обратите внимание на то, что количество возможных GUID-ов значительно больше количества...

Что такое GUID? Данный акроним расшифровывается как «globally unique identifier» (глобально уникальный идентификатор); иногда GUID-ы еще называют UUID-ами, что означает «universally unique identifier» (универсальный уникальный идентификатор). (Мне непонятно...

Возвращаемся к теме нашего обсуждения: мы бы хотели позволить пользователям «перегружать» операторы & и | в языке C#, и если мы хотим перегружать эти операторы, то кажется, что должна существовать возможность перегрузки операторов && и ||...

Прежде чем мы продолжим наши изыскания, небольшое отступление. В прошлый раз я упомянул о головоломках Реймонда Смаллиана о «рыцарях и лжецах». И хотя мне очень нравятся эти головоломки, самыми любимыми его головками являются шахматные задачи, вторыми...