Информатика и информационно-коммуникационные технологии в профессиональной деятельности … – это блоки, составляющие схему компьютера по фон Нейману Тип ответа: Одиночный выбор Алгоритм – это … Тип ответа: Одиночный выбор Буфер обмена – это … Тип ответа: Одиночный выбор В алгоритмах … структуры все операции выполняются строго последовательно Тип ответа: Одиночный выбор ** В числе элементов, которые входят в структуру типичного окна Windows, – … Тип ответа: Множественный выбор В числе элементов, которые...

Почему среди программистов на Haskell бытует легенда, что если программа компилируется, то она верна? Почему мало смысла в споре между приверженцами статической и динамической типизации? Как превратить тип функции в теорему, а программу — в еë доказательство? Об этом и многом другом мы поговорим в мини-серии статей, посвящённой теории типов. Зачем? Когда речь заходит о типах и типизации в программировании, то в ход идут самые разные аналогии. Кто во что горазд! Типы сравнивают с наклейками на...