Size: a a a

2018 February 26

AI

Andrey Ivanov in fprog_spb
Объективно
источник

AV

Alexander Vershilov in fprog_spb
@ne_formal сорри, я не смог найти, если интересует мой ответ, то можно хайлайтнуть меня с ссылкой, я дойду до дома часа через пол - отвечу
источник

Aq

A64m AL256m qn[cores] in fprog_spb
Andrey Ivanov
Вы уже на Хаскеле начали работать? Был же Фшарп
где-то с 15-го года. Когда я на эфшарпе на работе писал, я всегда и говорил, что "я не хаскелист." Но вопрос-то был про Пирогова же?
источник

AI

Andrey Ivanov in fprog_spb
Да, я просто уточнил
источник

AI

Andrey Ivanov in fprog_spb
Но критерий так себе все же
источник

Aq

A64m AL256m qn[cores] in fprog_spb
Отстаиваю мнение, что хаскель плохо, но другого ФЯ у них для нас нет
источник

AV

Alexander Vershilov in fprog_spb
у нас вооще на работе уже запросы на coq и формальную верификаию и т.п. идут :/
источник

AV

Alexander Vershilov in fprog_spb
а я не умею ещё
источник

AI

Andrey Ivanov in fprog_spb
я то вообще на 1С пишу (будем считать так )))
источник

AI

Andrey Ivanov in fprog_spb
но эта битва остроконечников с тупоконечниками просто умиляет
источник

Aq

A64m AL256m qn[cores] in fprog_spb
ну и хорошо!
источник

AI

Andrey Ivanov in fprog_spb
"ах он считает систему типов жавы лучше хаскельной, какая крамола!" )))
источник

AI

Andrey Ivanov in fprog_spb
децкий сат прямо
источник

AI

Andrey Ivanov in fprog_spb
и Пирса мы читывали, есличе
источник

Y

Yuuri in fprog_spb
neFormal
в динамике это обходится за счёт большей гибкости
Рабочесть программы обходится?)
источник

Aq

A64m AL256m qn[cores] in fprog_spb
Andrey Ivanov
"ах он считает систему типов жавы лучше хаскельной, какая крамола!" )))
это смешно, как в любом похожем случае, когда худший альбом группы или там худший фильм серии кто-то называет лучшим.
источник

Вл

В ладу in fprog_spb
но вообще, поклонники статики просто вводят ограничения на задачу, если их типизация не натягивается на реальность.
динамика поволяет реализовать разные подходы
источник

Вл

В ладу in fprog_spb
динамика проще, т.к. ты не ограничен решёткой из типов
поэтому её поклонники гибче подходят к задачам
источник

AI

Andrey Ivanov in fprog_spb
"худший альбом группы" - ну теперь вижу что тупо троллинг )
источник

n

neFormal in fprog_spb
Alexander Vershilov
@ne_formal сорри, я не смог найти, если интересует мой ответ, то можно хайлайтнуть меня с ссылкой, я дойду до дома часа через пол - отвечу
- но вообще, поклонники статики просто вводят ограничения на задачу, если их типизация не натягивается на реальность. динамика поволяет реализовать разные подходы
- нет
- обкладывают ещё одним слоем обсракций? или рефакторят всю систему типов?
источник