Size: a a a

2020 October 09

KV

Kirill Valyavin in haskell_blah
Nick Ivanych
А кто это такая так говорила??
Нагребецкая Юлия Вацлавовна
источник

NI

Nick Ivanych in haskell_blah
Kirill Valyavin
Нагребецкая Юлия Вацлавовна
Из молодых, что ли?
Не помню такую.
источник

KV

Kirill Valyavin in haskell_blah
Ну наверное
источник

NI

Nick Ivanych in haskell_blah
На вид-то незаметно было, из молодых или нет? ;-)
источник

KV

Kirill Valyavin in haskell_blah
Когда тебе 20 лет, все не молодые, так что ничего не могу сказать
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Травма яваскриптом с пакетами типа is-negative
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Переслано от XÆA-XII
Где вообще лежат предикаты для чисел?
источник

KV

Kirill Valyavin in haskell_blah
Где в телеграме чат по ATS?
источник

A

Andrey in haskell_blah
Kirill Valyavin
Где в телеграме чат по ATS?
создавай
источник

KV

Kirill Valyavin in haskell_blah
О, нашёл
источник

AG

Alex Gryzlov in haskell_blah
где?
источник

KV

Kirill Valyavin in haskell_blah
источник

in haskell_blah
у кого-нибудь из вас есть на работе ИНТЕРЕСНЫЕ ЗАДАЧИ?
источник

in haskell_blah
например какие?
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Leonid 🦇 Onokhov
> Iterators are not a “pattern”. They are coalgebras for specific endofunctors.
это правда?
Ну если рассмотреть итератор как просто функцию a -> Maybe a, которая на вход анфолду идёт, то да, это коалгебра очень специфичного эндофунктора Maybe
источник

AG

Alex Gryzlov in haskell_blah
у кого-нибудь из вас есть на работе ИНТЕРЕСНЫЕ ЗАДАЧИ?
да
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Oleg ℕizhnik
Ну если рассмотреть итератор как просто функцию a -> Maybe a, которая на вход анфолду идёт, то да, это коалгебра очень специфичного эндофунктора Maybe
Звучит слишком спецефично
источник

in haskell_blah
а кстати вы же прувите что-то? насколько это близко к индустриям?
источник

Oℕ

Oleg ℕizhnik in haskell_blah
у кого-нибудь из вас есть на работе ИНТЕРЕСНЫЕ ЗАДАЧИ?
Да
источник

A

Andrey in haskell_blah
у кого-нибудь из вас есть на работе ИНТЕРЕСНЫЕ ЗАДАЧИ?
да
источник