к
а я сейчас как раз на хаскеле работаю
Size: a a a
2020 May 23
Oℕ
Это называется образование
Второй подвох в том, что моноид в той фразе в обобщённом смысле. И что он имплиситно (да я скалист) подразумевает, что у категории есть доп структура
к
на того человека которого тут опять же задушили ночью
IK
Ну вообще так то мне кажется теоркат для хаскеля полезен настолько же, насколько абстрактная Алгебра
Если ты не полезешь в какую-то очень специфичную библиотеку, тебе понимать что такое линейный функционал не надо
Но на уровне моноид, группа, кольцо знать не помешает
Если ты не полезешь в какую-то очень специфичную библиотеку, тебе понимать что такое линейный функционал не надо
Но на уровне моноид, группа, кольцо знать не помешает
Oℕ
Ну вообще так то мне кажется теоркат для хаскеля полезен настолько же, насколько абстрактная Алгебра
Если ты не полезешь в какую-то очень специфичную библиотеку, тебе понимать что такое линейный функционал не надо
Но на уровне моноид, группа, кольцо знать не помешает
Если ты не полезешь в какую-то очень специфичную библиотеку, тебе понимать что такое линейный функционал не надо
Но на уровне моноид, группа, кольцо знать не помешает
Абстрактная алгебра полезнее
LO
Что полезнее хаскелисту: теоркат или рекурсивные схемы?
Oℕ
Что полезнее хаскелисту: теоркат или рекурсивные схемы?
рекурсивные схемы ⊂ теоркат
LO
Что за символ?
LO
Вот
к
собственное подмножество
LO
Хаскелисту полезнее знать GHC RTS, чем вот это вот всё
Oℕ
Ну вообще так то мне кажется теоркат для хаскеля полезен настолько же, насколько абстрактная Алгебра
Если ты не полезешь в какую-то очень специфичную библиотеку, тебе понимать что такое линейный функционал не надо
Но на уровне моноид, группа, кольцо знать не помешает
Если ты не полезешь в какую-то очень специфичную библиотеку, тебе понимать что такое линейный функционал не надо
Но на уровне моноид, группа, кольцо знать не помешает
так линейный функционал - это функан, а не алгебра
Oℕ
Это не наша собака, это машинлёрнинговская
Oℕ
собственное подмножество
я пофиксил, там был (-
Oℕ
Хаскелисту полезнее знать GHC RTS, чем вот это вот всё
эх
LO
я пофиксил, там был (-
Одноглазая улыбка развёрнутая
LO
Индустрия она такая
LO
А то ходят, топят за индустрию, а сами ни ртс попатчить, ни корку почитать не могут
Oℕ
Нас @clayrat регулярно тренирует читать термы на своих исчислениях в понве, корка уже не кажется такой нечитаемой
DS
А то ходят, топят за индустрию, а сами ни ртс попатчить, ни корку почитать не могут
Так корка элементарно читается, что там уметь-то?
Вот STG уже сложнее
Вот STG уже сложнее