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