Size: a a a

2020 May 15

АГ

Александр Гранин... in fprog_spb
Yan Shkurinskiy
И вообще, как @dshevchenko правильно заметил - доказывать ничего не обязаны
Да, поддержу и тебя, и @dshevchenko . Я тоже наблюдаю эту презумпцию виновности статистов-хаскеллистов, и меня очень подмывает сделать не слишком хорошие выводы
источник

АГ

Александр Гранин... in fprog_spb
neFormal
Поэтому и шаблон зависимостей.
Если различия только в терминах, то ладно
источник

AS

Alex Shipilov in fprog_spb
Yan Shkurinskiy
Уверен что не интересно
Вы предвзяты, сириозли:) мне программирование просто нравится, т.е. это не моя основная работа. В кложу влюбился из за быстрой обратной связи и ощущения «живого кода под пальцами»
источник

AV

Alexander Vershilov in fprog_spb
Например нужна валидация, можно выразить это в типах, автоматом валидация будет, её никто никуда не потеряет
источник

YS

Yan Shkurinskiy in fprog_spb
Alex Shipilov
Вы предвзяты, сириозли:) мне программирование просто нравится, т.е. это не моя основная работа. В кложу влюбился из за быстрой обратной связи и ощущения «живого кода под пальцами»
Я пытался тут 2 дня быть нейтральным, но сделал свои выводы)
источник

YS

Yan Shkurinskiy in fprog_spb
Теперь я предвзят, да
источник

YS

Yan Shkurinskiy in fprog_spb
Не увидел пока ни одного не предвзятого кложуриста
источник

YS

Yan Shkurinskiy in fprog_spb
Что поделать!
источник

AV

Alexander Vershilov in fprog_spb
Т.е. даже если написать что функции на вход требуется Valid Value (я тут никак не типизировал Value) то уже вызывающий обязан будет её сконструировать вызвав валидацию
источник

AV

Alexander Vershilov in fprog_spb
Если вы где-то в коде полагаетесь на структуру, например работаете с (:sender sender :recipient recipient а тут что угодно)
источник

AV

Alexander Vershilov in fprog_spb
И вы обязаны иметь эти поля, и ничего не можете сделать сообщением если их нет
источник

AV

Alexander Vershilov in fprog_spb
То мы можете это выразить в типах
источник

YS

Yan Shkurinskiy in fprog_spb
Это при том, что я всегда считал и считаю, что все языки хороши и кложа не лучше/хуже хаскеля, ровно как стат. типизация не лучше/хуже динамической
источник

AV

Alexander Vershilov in fprog_spb
data Info = Info { sender :: Text, recipient ::Text}
и функция WithFields Info Value
источник

AV

Alexander Vershilov in fprog_spb
Это структура работающая с произвольным json, но таким, в котором есть эти 2 поля
источник

YS

Yan Shkurinskiy in fprog_spb
И я отлично понимаю почти все доводы "За" кложуристов
источник

YS

Yan Shkurinskiy in fprog_spb
Другой вопрос что не разделяю, но это уже моё дело
источник

AV

Alexander Vershilov in fprog_spb
Такие штуки не нужны, только если у функций вообще нет никаких контрактов, я вижу целых 2 кейса для этого:
1. вы передаёте сообщения из пункта А в пункт Б, например перекладываете всё что придёт в базу
2. вы даёте пользователю доступ к анализу документов
источник

AV

Alexander Vershilov in fprog_spb
И в том и в другом случае у вас действительно нет структуры у данных, вообще никакой
источник

AV

Alexander Vershilov in fprog_spb
Ну разве, что это json данные
источник