Доброе время суток, мой дорогой читатель. Сегодня я бы хотел сделать с тобой программу которая сможет продемонстрировать 3 простых алгоритма. Алгоритм — это некая последовательность вычислительных шагов, благодаря чему происходит преобразование входных данных в выходные. Начнём мы с бессмертной классики жанра - пузырьковой сортировки или сортировки простыми обменами. Принцип действий прост: обходим массив от начала до конца, попутно меняя местами неотсортированные соседние элементы. В результате первого прохода на последнее место «всплывёт» максимальный элемент...

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