λ
Пообъективнее
Смешно
генерики я знаю - во, они нужны, кто их не использует - дураки и страдальцы
монады я не знаю - они не нужны, кто их использует - выпендрежные задроты
Size: a a a
2020 March 02
p
Ну а что не так
r
Кто ждал статью: можно читать - https://habr.com/ru/post/490112/
Вот значит как 100x программисты получаются...
DS
Ну а в других языках не юзают и норм
Миллионы мух не могут ошибаться?
Вон, 3 billion devices use Java, почему ты ещё не на джаве?
Вон, 3 billion devices use Java, почему ты ещё не на джаве?
p
Лан, пойду почитаю статью, потом вернусь
DF
red75prime
Вот значит как 100x программисты получаются...
Как ето?
r
Линейный рост продуктивности - квадратичный рост продукта. Круто.
Т8
Миллионы мух не могут ошибаться?
Вон, 3 billion devices use Java, почему ты ещё не на джаве?
Вон, 3 billion devices use Java, почему ты ещё не на джаве?
Если джава, то котлин
Т8
Но не скала
p
Миллионы мух не могут ошибаться?
Вон, 3 billion devices use Java, почему ты ещё не на джаве?
Вон, 3 billion devices use Java, почему ты ещё не на джаве?
У меня андроид, чей-то я не на джаве?
G
F* так не думает
AZ
red75prime
Вот значит как 100x программисты получаются...
Как?
G
Ну благодаря F* я хоть освежил в памяти доказательство по индукции
AZ
наличие более сложных ФП языков не запрещет существование более простых
G
Но так и не понял каким образом это в F* делается, лол
AZ
Ну а что не так
то что ты с чего-то взял что ты сейчас достиг золотой середины, и шаг в любую сторону - шаг от оптимальности
AZ
немного самонадеянно
Т8
наличие более сложных ФП языков не запрещет существование более простых
Фп язык сразу становится попроще, как только туда сишный синтаксис заносят
r
Как?
Продуктивность на графике как-то слишком оптимистично растёт.
AZ
Т-34 85
Фп язык сразу становится попроще, как только туда сишный синтаксис заносят
никому не нужен сишный синтаксис, который говно