t
ну не знаю, я когда список фильмов себе пишу, я просто пишу их через \n, а не в виде чистофункциональной монады
это вы через do-нотацию их пишете, значит
Size: a a a
2020 June 11
а
Там \n
В lua ";" и "\n" не обязательны. Можно утверждения пробелами разделять :)
а
ну не знаю, я когда список фильмов себе пишу, я просто пишу их через \n, а не в виде чистофункциональной монады
Это список данных,а не последовательность вычислений
t
здравствуйте, это чат про rust? как сформулировать hott в coq?
S
это вы через do-нотацию их пишете, значит
Это вы через do-нотацию эмулируете человеческое поведение
S
Это список данных,а не последовательность вычислений
а я их потом смотрю по порядку
а
а я их потом смотрю по порядку
То есть итерируетесь по списку с начала)
а
Это всё ещё не код
PP
что такое монада можно пояснение
что такое монада можно пояснение [2]
S
Кстати Rust ужасен, я так и не смог настроить в Nix кросс-компиляцию Rust-проекта, и не нашел дистрибутива с исходниками Rust, содержащего все целевые платформы.
S
что такое монада можно пояснение [2]
ну я же пояснил
t
ну вот with в python это монада
а
о ней можно просто не говорить
Мы сейчас говорим о теории,тут нужно учитывать все объекты будь то полезные на практике и не полезные) Так проще обобщать их
G
что такое монада можно пояснение
Это моноид в категории эндофункторов
t
Это моноид в категории эндофункторов
лови теоркатщика
DS
MIT?
кек, нет, там же академия сплошная
S
Это контейнер, данные внутри этого контейнера,
функция, которая вытаскивает данные из контейнера,
функция, которая принимает контейнер и функцию, которая принимает данные и возвращает новый контейнер с новыми данными
функция, которая вытаскивает данные из контейнера,
функция, которая принимает контейнер и функцию, которая принимает данные и возвращает новый контейнер с новыми данными
t
Это контейнер, данные внутри этого контейнера,
функция, которая вытаскивает данные из контейнера,
функция, которая принимает контейнер и функцию, которая принимает данные и возвращает новый контейнер с новыми данными
функция, которая вытаскивает данные из контейнера,
функция, которая принимает контейнер и функцию, которая принимает данные и возвращает новый контейнер с новыми данными
монады - не контейнеры
раунд!
раунд!