Пик Балмера – это термин, введенный самим Стивом Балмером, бывшим генеральным директором Microsoft, который описывает уникальное состояние сознания, достигаемое при небольшом уровне алкоголя в крови (1,29-1,38%), что якобы способствует повышению способностей к программированию. Эта идея вызвала немало дискуссий и споров в технологическом сообществе, но насколько она обоснована и есть ли реальные данные, подтверждающие этот "феномен"? Стив Балмер и происхождение понятия "Пик Балмера" Стив Балмер...

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