Size: a a a

2018 February 26

I

Igor in fprog_spb
Да ок, от backend-secret я все равно уже отписался.
Ждем когда туда уже Навального пригласят, а то зачем на эти “бэкендщики”
источник

АГ

Александр Гранин in fprog_spb
Artyom Kazak
тогда весь аргумент сводится к тому, что "если забить на гигантский класс нетривиальных ошибок, которые не ловит ни хаскель, ни питон, то хаскель ловит гораздо больше ошибок, чем питон"

это верно, но бесполезно
Сойдемся на том, что это верно, а бесполезно или нет, пусть каждый считает для себя сам. Потому что если вы где-то в моих словах увидели, что я запрещаю кому-то использовать языки с ДТ, то я не запрещаю. Кто-то найдет очень полезным для себя, например, Python, а кто-то - Haskell.
источник

Aq

A64m AL256m qn[cores] in fprog_spb
Yuuri
Кто бы говорил 😁
Понятно, что человек, который ситает все подходящим для всего со мной не согласен
источник

λO

λeonid Onokhov in fprog_spb
Александр Гранин
Сойдемся на том, что это верно, а бесполезно или нет, пусть каждый считает для себя сам. Потому что если вы где-то в моих словах увидели, что я запрещаю кому-то использовать языки с ДТ, то я не запрещаю. Кто-то найдет очень полезным для себя, например, Python, а кто-то - Haskell.
Мы, как сообщество программистов, не может просто так всё пустить на самотёк.
источник

АГ

Александр Гранин in fprog_spb
λeonid Onokhov
Мы, как сообщество программистов, не может просто так всё пустить на самотёк.
Все - это что?
источник

λO

λeonid Onokhov in fprog_spb
Александр Гранин
Все - это что?
Нельзя разрешать выбирать "что нравится". Выберут же не что-нибудь не то
источник

Y

Yuuri in fprog_spb
A64m AL256m qn[cores]
Понятно, что человек, который ситает все подходящим для всего со мной не согласен
Straw man fallacy
источник

AK

Artyom Kazak in fprog_spb
> Потому что если вы где-то в моих словах увидели, что я запрещаю кому-то использовать языки с ДТ

нет, конечно же

я увидел, цитирую ещё раз:

> Тезис: с динамической типизацией разработка сложнее, чем со статической.

я не вижу аргументов в пользу того, что "хаскель ловит больше ошибок" упрощает разработку сильнее, чем "зато на питоне можно быстрее написать что-то, что запускается"

единственное, что если цель разработки — написать идеальный код, тогда да

но написать идеальный код невозможно, так что фейл
источник

АГ

Александр Гранин in fprog_spb
λeonid Onokhov
Нельзя разрешать выбирать "что нравится". Выберут же не что-нибудь не то
Почти всегда так и происходит, да. Но я не уверен, как тут можно что-либо запретить. У меня для этого нет никаких рычагов влияния. А срачи в чате не особо помогают.
источник

Aq

A64m AL256m qn[cores] in fprog_spb
Yuuri
Straw man fallacy
т.е. на самом деле какие-то вещи вы считаете неподходящими для чего-то?
источник

λO

λeonid Onokhov in fprog_spb
Artyom Kazak
> Потому что если вы где-то в моих словах увидели, что я запрещаю кому-то использовать языки с ДТ

нет, конечно же

я увидел, цитирую ещё раз:

> Тезис: с динамической типизацией разработка сложнее, чем со статической.

я не вижу аргументов в пользу того, что "хаскель ловит больше ошибок" упрощает разработку сильнее, чем "зато на питоне можно быстрее написать что-то, что запускается"

единственное, что если цель разработки — написать идеальный код, тогда да

но написать идеальный код невозможно, так что фейл
я не вижу чем "на питоне быстрее", ну кроме раздутой стандартной либы из говна и палок.
источник

Y

Yuuri in fprog_spb
Нужно изобрести тайпчекер для срачей, который бы запрещал неявные приведения высказываний.
источник

Y

Yuuri in fprog_spb
A64m AL256m qn[cores]
т.е. на самом деле какие-то вещи вы считаете неподходящими для чего-то?
Разумеется.
источник

λO

λeonid Onokhov in fprog_spb
Александр Гранин
Почти всегда так и происходит, да. Но я не уверен, как тут можно что-либо запретить. У меня для этого нет никаких рычагов влияния. А срачи в чате не особо помогают.
Если срач в чате сможет убедить хотя-бы одного человека, это уже результат стоящий пары часов истеричного набивания текста!
источник

Aq

A64m AL256m qn[cores] in fprog_spb
Artyom Kazak
> Потому что если вы где-то в моих словах увидели, что я запрещаю кому-то использовать языки с ДТ

нет, конечно же

я увидел, цитирую ещё раз:

> Тезис: с динамической типизацией разработка сложнее, чем со статической.

я не вижу аргументов в пользу того, что "хаскель ловит больше ошибок" упрощает разработку сильнее, чем "зато на питоне можно быстрее написать что-то, что запускается"

единственное, что если цель разработки — написать идеальный код, тогда да

но написать идеальный код невозможно, так что фейл
а для утверждения "зато на питоне можно быстрее написать что-то, что запускается" какие-то доказательства есть?
источник

Aq

A64m AL256m qn[cores] in fprog_spb
Yuuri
Разумеется.
а критерии какие?
источник

Aq

A64m AL256m qn[cores] in fprog_spb
λeonid Onokhov
Если срач в чате сможет убедить хотя-бы одного человека, это уже результат стоящий пары часов истеричного набивания текста!
срач не для того чтоб кого-то убедить, а чтоб удовольствие получать
источник

АГ

Александр Гранин in fprog_spb
λeonid Onokhov
Если срач в чате сможет убедить хотя-бы одного человека, это уже результат стоящий пары часов истеричного набивания текста!
Убеждаются все. Но обычно не в том, в чем вы хотели бы. Не уверен, что это вообще можно как-то измерить. Разве что кто-то скажет, что он изменил свою точку зрения, и докажет делом.
источник

Вл

В ладу in fprog_spb
A64m AL256m qn[cores]
срач не для того чтоб кого-то убедить, а чтоб удовольствие получать
++
источник

Y

Yuuri in fprog_spb
A64m AL256m qn[cores]
а критерии какие?
Эмпирические. Что-то типа "можно получить желаемый результат"
источник