Oℕ
Откуда любовь гонять с модными терминами в каких-то говночатах
Size: a a a
2020 October 11
Oℕ
не ищется, видимо, какие-то не те жобсы либо потерто.
Я по-моему сам же и потёр
Oℕ
Он скидывал старый пейпер про нетипизированные эффекты в окамле
KC
Какому-то другому челу в оопе чате, пытался объяснить что такое кодата, он сука начал сам загонять про кодату, оказалось, что кодатой он называл код в жаваскрипте без классов
что такое кодата
SK
что такое кодата
CODATA (англ. Committee on Data for Science and Technology — Комитет по данным для науки и техники; русское произношение аббревиатуры — [кода́та]) — междисциплинарный комитет Международного совета по науке, учрежденный в 1966 году и ставящий своей целью сбор, критическую оценку, хранение и поиск важных данных для задач науки и техники.Oℕ
Т.е. типа какой-то жажаскриптёр почитал даунена ариола про кодата ин экшон, написал какой-то на полторы страницы одноимённый пост со сниппетами на жажаскрипте и этот чел его как библию рассматривал свою
SK
Т.е. типа какой-то жажаскриптёр почитал даунена ариола про кодата ин экшон, написал какой-то на полторы страницы одноимённый пост со сниппетами на жажаскрипте и этот чел его как библию рассматривал свою
думаю, в таких чатиках стоит начинать с уточняющих вопросов, чтобы лишний раз время не тратить на такие казусы. Просить дать определение монады.
AS
думаю, в таких чатиках стоит начинать с уточняющих вопросов, чтобы лишний раз время не тратить на такие казусы. Просить дать определение монады.
+
Oℕ
думаю, в таких чатиках стоит начинать с уточняющих вопросов, чтобы лишний раз время не тратить на такие казусы. Просить дать определение монады.
надо чтобы каждый чат имел свой /get monad, чтобы даже вопросов не нужно было задаватт
S
There is no such get "надо чтобы каждый чат имел свой monad, чтобы даже вопросов не нужно было задаватт"
Oℕ
Типа пришёл сразу узнал местные порядки
AS
/get monad
S
monad
1) //Monads are kind of types which have some fundamental ops(like a 'List') are:
//unit(also called pure or apply). which construct a Monad out of a value or out of many values.
//bind - transforms a monad of certain type parameter into a monad of another type parameter.
1) //Monads are kind of types which have some fundamental ops(like a 'List') are:
//unit(also called pure or apply). which construct a Monad out of a value or out of many values.
//bind - transforms a monad of certain type parameter into a monad of another type parameter.
Oℕ
Кто здесь за монаду, а кто здесь за контейнер
ᛒ
Блин полчаса рассказывал в жопсах какому-то фанату окамла и эффектов что такое хайер ордер эффекты
блин полчаса рассказывать в жопсах какому-то фанату танков и оружия что такое лазерное оружие
ᛒ
говоришь ему про уничтожение ракеты лазером, морские реилганы, а он "а чём проблема, нн вижу"
Oℕ
не ищется, видимо, какие-то не те жобсы либо потерто.
я же и потёр
ᛒ
/get monad-laws
S
monad-laws
(left-identity) - unit(x).flatMap(f) == f(x)
(right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
(left-identity) - unit(x).flatMap(f) == f(x)
(right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))