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

Доброго времени суток, читатели, зрители моего канала programmer's notes. Не забывайте подписываться и писать свои комментарии к моим статьям и видео. Сегодня в моём философском разделе поговорим о таком вопросе, как побочные эффекты в программировании. Побочные эффекты (далее ПБЭ) - интересный вопрос. Он интересен и для программирования и для обучения программированию. Во всяком случае можно встретить рассуждения, где ПБЭ привязывают к тому, с какого языка следует обучать программированию. Побочные эффекты могут вызывать ошибки при работе программы...