H
Да
Size: a a a
2020 June 26
D
ну если закрыть глаза на некоторые странности - то более-менее
отлично, мат. строгость зашкаливает)
H
Dima
отлично, мат. строгость зашкаливает)
Да почти. Ну зуб даю))))
AZ
red75prime
Side-effects and aliasing matters?
#ALIASINGMATTERS
AZ
Теоркат изоморфен математике, математика изоморфна миру, значит теоркате изоморфен миру!
не факт что из теорката можно всё выразить
KR
"Настолько пресытился я этим вашим теоркатом, что стал он изоморфен миру, а мир изоморфен мне, а я ему и в нём, и всё стало единой категорией Hask"(c)
AZ
по крайней мере щас классикой всё из множеств растить
D
"Настолько пресытился я этим вашим теоркатом, что стал он изоморфен миру, а мир изоморфен мне, а я ему и в нём, и всё стало единой категорией Hask"(c)
что это?)
t
идущий к натуральному преобразованию
AZ
ты пытаешься соптимизировать ФП-структуры компилятором рассчитанным на оптимизацию императивного кода, и удивляешься?
и? Таким образом работает например SQL и никому в голову не приходит писать руками код чтобы данные из БД доставать.
Итераторы в расте эффективнее циклов
И так далее
Итераторы в расте эффективнее циклов
И так далее
KR
Dima
что это?)
дзен чистоты
p
и? Таким образом работает например SQL и никому в голову не приходит писать руками код чтобы данные из БД доставать.
Итераторы в расте эффективнее циклов
И так далее
Итераторы в расте эффективнее циклов
И так далее
В расте нет циклов просто
p
Поэтому итераторы однозначно эффективнее)
AZ
red75prime
Наверно peephole оптимизации не рассчитаны на такие паттерны. А про монадические законы компилятор не знает
1. про многие знает
2. для монадических законов можно написать рерайт правила которые автоматом применятся.
2. для монадических законов можно написать рерайт правила которые автоматом применятся.
D
идущий к натуральному преобразованию
натуральные преобразования простые и понятные концепции, не то что ваши интегралы всякие
AZ
В расте нет циклов просто
как это нет:
let mut i = 0;
loop {
if (i >= n) { break; }
...
i += 1;
}p
Ок
KR
Dima
натуральные преобразования простые и понятные концепции, не то что ваши интегралы всякие
интегрирование есть альфа, дифференциирование есть омега
любое натуральное преобразование без них - не полно
любое натуральное преобразование без них - не полно