Описание тега computation-expression
Выражения вычислений в F# - это метод написания вычислений, которые можно комбинировать с использованием конструкций и привязок потока управления.
Выражения вычислений являются производными от монад haskell, которые, в свою очередь, представляют собой программную реализацию монад, математическую концепцию в теории категорий.
Выражения вычислений обычно реализуются разработчиком как набор функций, тогда как среда разработки F# предоставляет средства косвенного вызова этих функций с различными ключевыми словами и другими синтаксическими конструкциями (см. Syntactic-sugar).
Дальнейшее чтение:
F# Программирование / Вычисление выражения на Викиучебниках
вычислительных выражений на MSDN
F# 2.0 Спецификация язык / Вычисление выражений