Является ли jQuery монадой

Ответ 1

Большинство API не удовлетворяют законам монады. jQuery является большим API, поэтому статистически он вряд ли будет "случайно" монадическим. В результате я скептически отношусь к тому, что API jQuery в целом может удовлетворять законам монады (т.е. Что "jQuery является монадой" ).

Это не означает, что данное (очень ограниченное) подмножество может не удовлетворить их, но API в целом, скорее всего, будет содержать "небезопасные" операции, которые будут нарушать законы при их использовании, нарушая абстракцию.

Поскольку никто, кажется, не представил доказательств того, что API полностью или частично удовлетворяет законам, я предлагаю предположить, что это не так, пока не будут представлены доказательства.

Должно быть показано:

• какая операция jQuery соответствует return (снятие значения в монаде jQuery)?
• какая операция jQuery соответствует bind, для склеивания вычислений вместе?
• как законы левого, правого и ассоциативного поведения сохраняются над этими операциями?

И затем, какие правовые нарушения возможны, учитывая остальную часть jQuery API? Могу ли я, например, сломать bind, вызвав одну из других функций API?

Литература:

• jQuery не является монадой
• jQuery по-прежнему не является монадой

Ответ 2

Я думаю, вы имеете в виду неявное поведение цикла jQuery. В этом отношении jQuery похож на работу в монаде списка, где цепочка эквивалентна bind, а обертка элемента в $() сродни return (я думаю).

Итак, где с jquery вы можете добавить новый элемент списка в кучу divs списков с помощью:

$('div').children().append("<li>New list element</li>");

... в haskell у вас может быть:

appendToEachList divs = divs >>= children >>= append "<li>New list element</li>"

Вышеизложенное из памяти и должно рассматриваться как псевдокод ерунда.

В любом случае, я думаю, что было бы сказать, что "jQuery - это Монада".