Какая программа Unix генерирует «различия» между текстовыми файлами (или INSERT / UPDATE / DELETE для баз данных) таким образом, что порядок, в котором применяются «diff», не имеет значения, а результат одинаков независимо от порядка. Etherpad...

Может ли существовать mtl-подобный механизм для преобразователей монад, созданных FreeT / ProgramT? Я понимаю историю следующим образом. Давным-давно был изобретен преобразователь монад. Потом люди начали складывать монадные преобразователи один...

У меня есть несколько простых примитивных операций, например: В случае монады operational : import Control.Monad.Operational type Process a = Program ProcessI a data ProcessI a where GetInput :: ProcessI String Dump :: String ->...