Операции поразрядных операций в T-SQL

Монада является, эффективно, формой "оператора типа". Это сделает три вещи. Сначала это "обернет" (или иначе преобразует), значение одного типа в другой тип (обычно названный "одноместным типом"). Во-вторых, это сделает все операции (или функции) доступный на базовом типе доступный на одноместном типе. Наконец это окажет поддержку для объединения сам с другой монадой для создания составной монады.

, "возможно, монада" является по существу эквивалентом "nullable типов" в Visual Basic / C#. Это берет не nullable тип "T" и преобразовывает его в "Nullable< T>"; и затем определяет то, что все бинарные операторы означают на Nullable< T>.

Побочные эффекты представлены так же. Структура создается, который содержит описания побочных эффектов вместе с возвращаемым значением функции. "Снятые" операции тогда копируют вокруг побочных эффектов, когда значения передаются между функциями.

Их называют "монадами", а не более легким к схватыванию названием "операторов типа" по нескольким причинам:

1. Монады имеют ограничения на то, что они могут сделать (см. определение для деталей).
2. Те ограничения, наряду с тем, что существует три включенные операции, приспосабливают структуре чего-то позвонившего монаде в Теории категорий, которая является неясным ответвлением математики.
3. Они были разработаны сторонниками "чистых" функциональных языков
4. Сторонники чистых функциональных языков как неясные ответвления математики
5. , поскольку математика неясна, и монады связаны с конкретными стилями программирования, люди склонны использовать монаду слова в качестве своего рода секретного квитирования. Из-за этого никто не потрудился вкладывать капитал в лучшее имя.