В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

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

qwarta.ru подробнее

Size: a a a

Haskell

1560 membersпожаловаться на группу
2020 July 22

DS

Denis Shevchenko in Haskell
Я запомнил потому, что аналогия эта неверна.
источник
10:51пожаловаться#1

YS

Yan Shkurinskiy in Haskell
Она верна в том случае, когда программист не ошибается
источник
10:51пожаловаться#2

DS

Denis Shevchenko in Haskell
Нет, она в любом случае неверна
источник
10:52пожаловаться#3

YS

Yan Shkurinskiy in Haskell
Ну либо когда он готов везде заменить типы на тесты или готов чтобы программа чуть чаще падала
источник
10:52пожаловаться#4

YS

Yan Shkurinskiy in Haskell
Denis Shevchenko
Нет, она в любом случае неверна
Когда ты не ошибаешься - тебе не нужны типы)
источник
10:52пожаловаться#5

YS

Yan Shkurinskiy in Haskell
Ты итак не сделаешь ничего неверного
источник
10:52пожаловаться#6

DS

Denis Shevchenko in Haskell
Неверно
источник
10:52пожаловаться#7

DS

Denis Shevchenko in Haskell
неа
источник
10:52пожаловаться#8

DS

Denis Shevchenko in Haskell
Эта аналогия представляет типы исключительно как средство от проблем. Но типы - это не только средство от проблем.
источник
10:52пожаловаться#9

DS

Denis Shevchenko in Haskell
Это и средство оптимизации (с точки зрения компилятора), и гарантированно актуальная документация.
источник
10:53пожаловаться#10

YS

Yan Shkurinskiy in Haskell
Если все пишут правильно, всё работает и никто не ошибается - документация тоже не особо актуальна)
источник
10:54пожаловаться#11

YS

Yan Shkurinskiy in Haskell
По поводу оптимизации - ничего не скажу
источник
10:54пожаловаться#12

АГ

Александр Гранин... in Haskell
Типы - это: носитель идеи; язык; способ коммуникации; средство защиты
источник
10:54пожаловаться#13

DS

Denis Shevchenko in Haskell
> Если все пишут правильно, всё работает и никто не ошибается

и заодно умеют читать мысли друг друга.
источник
10:54пожаловаться#14

DS

Denis Shevchenko in Haskell
😊
источник
10:54пожаловаться#15

DS

Denis Shevchenko in Haskell
тогда документация точно не нужна
источник
10:54пожаловаться#16

YS

Yan Shkurinskiy in Haskell
Denis Shevchenko
> Если все пишут правильно, всё работает и никто не ошибается

и заодно умеют читать мысли друг друга.
Вот именно!
источник
10:54пожаловаться#17

YS

Yan Shkurinskiy in Haskell
В этом и суть
источник
10:55пожаловаться#18

YS

Yan Shkurinskiy in Haskell
Что кложуристы либо считают себя сверхълюдьми, либо готовы больше писать тестов, либо готовы время от времени "падать в пропасть из-за отсутствия бордюра"
источник
10:55пожаловаться#19

YS

Yan Shkurinskiy in Haskell
Когда говорят такое про типы и бордюры
источник
10:56пожаловаться#20