Я получаю удовольствие от изучения теории категорий, напрямую переводя определения и законы на Haskell. Haskell, конечно, не Coq, но он помогает мне понять теорию категорий. Мой вопрос: является ли следующий разумным «переводом» определения...

Когда я узнал о Control.Arrow и встроенной в Haskell нотации proc , у меня возникла идея, что этот язык может оказаться очень полезным в качестве eDSL для общих моноидальных категорий (с использованием *** для тензора и >>> для...