Большая часть общения между пользователями интернета происходит в соцсетях и на форумах. Там можно поделиться проблемой, переживаниями, обменяться мнениями, получить консультацию или просто поддержку. Если назрела такая необходимость, не обойтись без понимания того, что же такое «топик» в интернет-сленге. Форумы: что такое топик Топик от англ. «topic» — тема, предмет обсуждения, что, в свою очередь, происходит от греческого «τοπικός» (топикос) – тематический. Заходя на форумы и блоги, предназначенные для общения и обмена историями, вы увидите тему, обсуждаемый вопрос и ветку комментариев...

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