Телеграмм чат группы fprog

Похоже на начало холивара х(

10:23пожаловаться #1

Это инвертированный холивар

10:24пожаловаться #2

Yuuri in fprog_spb

Равилох?

10:24пожаловаться #3

Ко-холивар

10:24пожаловаться #4

Должен прийти кто-то из оппонентов и писать за статическю типизацию

10:24пожаловаться #5

Не, ко-холивар это функция из холивара куда-то?

10:25пожаловаться #6

Alexander Vershilov

Не, ко-холивар это функция из холивара куда-то?

Я не шарю в теории категорий

10:25пожаловаться #7

Я же на хаскеле пишу

10:25пожаловаться #8

@dshevchenko шарит

10:25пожаловаться #9

Yuuri in fprog_spb

Снова процитирую, что срач – это монада:

начатьСрач :: тема -> Срач тема
сменитьТему :: Срач тема1 -> (тема1 -> Срач тема2) -> Срач тема2

10:26пожаловаться #10

я боюсь identity не выполняется

10:27пожаловаться #11

pure тема >>= f будет не равно f тема

10:28пожаловаться #12

а правая айдентити совсем удивительно

10:28пожаловаться #13

Alexander Vershilov

@dshevchenko шарит

угу, прям маэстро ТК 😂

10:32пожаловаться #14

знаю основы основ

10:32пожаловаться #15

Просто ТК предоставляет нам унифицированный язык для краткого и ёмкого формулирования наших мыслей. Например, если что-то воплощает идею моноида, мы сразу понимаем, что мы можем сделать с этим что-то.

10:36пожаловаться #16

Хотя, помню, меня спросили, зачем нам нужен такой эльфийский язык, если можно обойтись и без него?

10:36пожаловаться #17

да, можно

10:36пожаловаться #18

😊

10:36пожаловаться #19

Ryzhikov Nikolay in fprog_spb

давайте лайвкодинг на типах!