N
тебе нужно сделать на компе cargo +nightly fmt
так чеки же гитхаб делает
Size: a a a
2020 August 10
DS
т.е. это достаточное основание чтобы не вводить аксиоматику а просто дергать термины по вкусу "вот у нас symbolic logic, теория множеств, теоркат, морфизмы, а исчисление"
Ты сейчас ведешь себя как те самые динамисты на которых ты тут жалуешься постоянно
p
т.е. это достаточное основание чтобы не вводить аксиоматику а просто дергать термины по вкусу "вот у нас symbolic logic, теория множеств, теоркат, морфизмы, а исчисление"
ну да они любят вводить рандомные слова и на них строить маняопределения
SP
Ты сейчас ведешь себя как те самые динамисты на которых ты тут жалуешься постоянно
ну я допускаю это, да
p
А не "ой, там слова, а я не умею читать"
p
для меня это почти любая математика хз
SP
ну как правило когда видишь это в языке все оказывается проще. те же монадки например нужно просто один раз попробовать в реальном мире чем читать
KR
Доге прав. Мы с этими морфизмами/моноидами/кольцами работали ещё на дискретке на 1м курсе. Потом в теории чисел, как предверии в криптографию. Там ни про терию типов, ни про теорию категорий было ни-ни.
KR
Это всё язык алгебры, по сути.
DS
т.е. это достаточное основание чтобы не вводить аксиоматику а просто дергать термины по вкусу "вот у нас symbolic logic, теория множеств, теоркат, морфизмы, а исчисление"
Тут просто дело в том, что теорий типов дофига разных и в них "тип" может значить немного разные вещи.
Тебе надо смотреть конкретную теорию типов для точного опредления "тип" в её рамках.
Тебе надо смотреть конкретную теорию типов для точного опредления "тип" в её рамках.
KR
В математике им удобно работать.
KR
Вне математики тоже, если сесть и разобраться.
p
ну как правило когда видишь это в языке все оказывается проще. те же монадки например нужно просто один раз попробовать в реальном мире чем читать
ну доге правильно сказал, тип это какая-то характеристика, которой можно охарактеризовать термы, и работу этих термов с другими термами
DS
т.е. это достаточное основание чтобы не вводить аксиоматику а просто дергать термины по вкусу "вот у нас symbolic logic, теория множеств, теоркат, морфизмы, а исчисление"
И это скорее было к тому, при чём здесь вообще теоркат и нафига он тут оказался
KR
Так как даёт общий понятийный апарат для абстрактных штук и свойств.
SP
Доге прав. Мы с этими морфизмами/моноидами/кольцами работали ещё на дискретке на 1м курсе. Потом в теории чисел, как предверии в криптографию. Там ни про терию типов, ни про теорию категорий было ни-ни.
ну так это термины из абстрактной алгебры. кто знает почему баззворд абстрактная алгебра не хайпанул а теоркат хайпанул?
DS
ну так это термины из абстрактной алгебры. кто знает почему баззворд абстрактная алгебра не хайпанул а теоркат хайпанул?
абстрактная алегбра если что точно так же хайпанула
DS
Лол
KR
Тебе просто теоркат на слуху ближе, так как твоя область более смежная
BD
А не "ой, там слова, а я не умею читать"
+