Телеграмм чат группы haskellru страница 16429

и то что ничего не мешает мне иметь нужный инструмент, никак не помогает справится с его отсутствием

15:14пожаловаться #1

ну да, и какое это отношение к вопросу имеет?

15:14пожаловаться #2

однотиповые нужны потому что на них уже есть нужные вещи

15:14пожаловаться #3

а на многотипых нет

15:14пожаловаться #4

так эти вещи никак с однотиповостью не связаны

15:14пожаловаться #5

а это не так важно

15:14пожаловаться #6

adam in Haskell

я не могу понять почему ты на си не пишешь с такой богатой экосистемой

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

ну смотря для чего. для обсуждаемого вопроса важно

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

это нормально

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

ну куча людей пишет
значит языки с такой убогой системой типов как у си нужны - иначе экосистемы не будет

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

adam in Haskell

перед тем как работать на заводе, нужно в первую очередь продать обещания

15:16пожаловаться #11

adam in Haskell

на этом и строится прогресс емае

15:16пожаловаться #12

вопрос очевидно обсуждается только в контексте реального мира, обсуждение других миров не особо интересно

15:19пожаловаться #13

да, естественно, и че?

15:19пожаловаться #14

тогда какой смысл учитывать вообще потенциальную реализумость каких-то фичей, которые не завязаны на однотиповость, если их нет все равно

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

потому что есть разница между нет и нельзя сделать

15:21пожаловаться #16

КРАЙНЕ несущественная

15:21пожаловаться #17

разница совершенно реальна
когда ерланга не было, это не означало, что его нельзя сделать

15:22пожаловаться #18

принципиально существенная

15:22пожаловаться #19

когда эрланга не было, то программист не мог на нем писать, и не важно, нельзя было его сделать или еще просто не сделали