AS
У всех вещей есть имена. Если ты можешь объяснить, как используется та или иная переменная, ты можешь написать ей отвратительноСтрашноеИмяПеременнойКотораяВДанномСлучаеИспользуетсяДляПримера
Size: a a a
2021 May 03
AF
А я не перемножал числа. Я вычислял геном слоновьего потомства. У меня есть моноид слонов, и я в нем всё это запускаю.
multiply :: Elephant -> Elephant -> Elephant
multiply mother father = mother * father
multiply :: Elephant -> Elephant -> Elephant
multiply mother father = mother * father
DB
надо было использовать оператор для полугруппы!
к
ну так и речь не шла про числа, если моноид мультипликативный, что в данном случае выводится только из оператора, то это все еще умножение, просто не чисел, а моноидальное
умножение в любой мультипликативной алгебре умножение, будь полугруппа, или поле, содержащее мультипликативный моноид
умножение в любой мультипликативной алгебре умножение, будь полугруппа, или поле, содержащее мультипликативный моноид
DB
че значит мультипликативный моноид?
AS
Есть больше 26 коротких и известных однобуквенных имен
AS
В этом и проблема
DB
да не проблема это ни для кого, кто хоть раз попытался разобратсья в линзах
DB
просто по-моему слово мультипликаивный ничего не добавляет
к
она именно что добавляет различие между двумя моноидами, чтобы можно было ссылаться на какой-то из них, когда в контексте есть два связанных моноида
например есть моноид (+, 0) и полугруппа (*). Они связаны законом 0*x = 0 (0 из одного моноида связан с операцией другого). В этом случае, можно называть первый аддитивным, а второй мультипликативным
например есть моноид (+, 0) и полугруппа (*). Они связаны законом 0*x = 0 (0 из одного моноида связан с операцией другого). В этом случае, можно называть первый аддитивным, а второй мультипликативным
AS
В этом и есть проблема, что тебе надо разбираться в каждой библиотеке, применение которой ты видишь.
В любом нормальном языке, если ты скажешь, что на интеграцию библиотеки всем, кто когда либо будет работать с проектом, придется потратить несколько дней, на тебя посмотрят как на умалишенного
В любом нормальном языке, если ты скажешь, что на интеграцию библиотеки всем, кто когда либо будет работать с проектом, придется потратить несколько дней, на тебя посмотрят как на умалишенного
AS
Это же просто библиотека
DB
это неправда
AS
Я не буду просить каких-нибудь примеров из жизни, так как мне даже сложно представить себе такую библиотеку в каком то другом языке
AF
А для пользования библиотекой профункторов надо в s t a b лезть? Это самый нижний слой — прямой буквальный перенос аксиом и теорем, чтобы комп мог на их основе автоматически доказывать, что код говно, компилировать нельзя
AS
Но, тем не менее, я ожидаю аргументации хотя бы
AF
дальше разработчики библиотеки должны постепенно снижать абстракцию, по мере того как они подбираются к экспортируемым инструментам
DB
не надо, конечно