В одной из предыдущих статей мы рассматривали объектно-ориентированное программирование / ООП. Сегодня мы поговорим про его неотъемлемую часть - классы. Что это такое, зачем они нужны, и как применяются. Поехали! Подобному тому, как человек не может обойтись без скелета и мышц, объектно-ориентированное программирование не обходится без классов и методов (но конечно не ограничиваясь только ими). Понимание концепции классов и умелая работа с ними, позволяет быстро создавать очень красивые программы...

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