Некоторые элементы функциональных языков программирования

Кратко расскажу о истории возникновения функциональных языков и их эволюции. В докладе будут освещены следующие элементы функциональных языков: вывод типов, замыкания, свертка, сопоставление с образцом, функции высшего порядка, хвостовой вызов и, возможно, что-нибудь ещё. Под занавес расскажу о типичных задачах, которые легко решаются на функциональных языках. Будут небольшие примеры на F#.