0
ответов
Как мне включить токен CSRF Django 1.2 в HTML-форму, сгенерированную Javascript?
Я недавно обновился до Django 1.2.3, и мои формы загрузки теперь не работают. Всякий раз, когда я пытаюсь загрузить, Я получаю сообщение «Ошибка проверки CSRF. Запрос отменен». сообщение об ошибке. Прочитав Django ...
вопрос задан: 4 May 2019 23:57
0
ответов
Альтернатива выражению «перестановочности» в Прологе?
Будучи новичком в Прологе, я обнаружил, что коммутативные выражения в Прологе совершенно не интуитивны. например, если я хочу выразить X и Y в одной семье, например:семья(X,Y):-замужем(X,Y);...
вопрос задан: 21 April 2012 10:12
0
ответов
Автоматическое и детерминированное тестирование функции на ассоциативность, коммутативность и т.д.
Можно ли построить функцию более высокого порядка isAssociative, которая принимает другую функцию двух аргументов и определяет, является ли эта функция ассоциативной? Аналогичный вопрос, но для других ...
вопрос задан: 28 December 2011 06:20
0
ответов
Как узнать, коммутативна ли монада?
В документации для Control.Monad.List.ListT сказано, что она «не дает монаду, если монада аргументов не коммутативна. " Как узнать, коммутативна ли монада? Есть ли ...
вопрос задан: 22 May 2011 18:47
0
ответов
Relax ordering constraints in monadic computation
here is some food for thought. When I write monadic code, the monad imposes ordering on the operations done. For example, If I write in the IO monad: do a <- doSomething b <- ...
вопрос задан: 5 May 2011 17:10
0
ответов
3 Оператор Equals или Case Equality
В Ruby Integer === 5 возвращает истину. Аналогично String === "karthik" возвращает истину.
Однако 5 === Integer возвращает false. И "картик" === Струна.
Почему оператор не коммутативен?
вопрос задан: 24 December 2010 16:25
0
ответов
Как я могу указать, что две операции коммутируют в классе типов?
Я начал читать этот документ по CRDT, который является способом совместного использования изменяемых данных одновременно, гарантируя, что операции, которые изменяют данные коммутативны. Мне казалось, что это будет ...
вопрос задан: 23 December 2010 19:53