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

Многоагентные системы и сообщества искусственного интеллекта традиционно содействовали разработке программ, ориентированных на агентов и логику. Как правило, они связаны с академическими программами по искусственному интеллекту и интеллектуальным агентам, а также с исследовательскими проектами в области искусственного интеллекта. Тем не менее, растущий практический интерес к этим темам проявляется и в коммутируемости программной инженерии, которая фокусируется на надежных методологиях разработки...