λ
вот это да
Size: a a a
2018 November 28
λ
вот это технологии
λ
XXXI век
R:
В хаскеле такого не было
ЗП
уже можно писать в стиле
val foo = new CheToTamчто в скале, c# и котлин по умолчанию)
AG
да, ну вот жава догоняет потиху
A
в этих по крайней мере RCE тяжелее дернуть
VY
а всё началось с уязвимых пакетов npm
A
дадада, вас хлебом не корми дай похоливарить
ЗП
просто удивляют люди, для которых явные кванторы - это плохо
R:
просто удивляют люди, для которых явные кванторы - это плохо
А в чем их преимущество?
R:
Чем неявные кванторы уступают явным?
λ
просто удивляют люди, для которых явные кванторы - это плохо
просто удивляют люди которые хотят лишний раз читать/писать что-то без какой либо явной на то причины
ЗП
например scopedtypevariables
VY
rank-n types
λ
например scopedtypevariables
ну вот когда они нужны, тогда можно и квантор написать
ЗП
просто удивляют люди которые хотят лишний раз читать/писать что-то без какой либо явной на то причины
ну с тобой все ясно)
иди в идрисе, агде так попиши
иди в идрисе, агде так попиши
λ
но пурса не идрис и не агда
R:
Я когда с хаскеля на пурсу садился писать, просто постоянно забывал писать forall, а потом вспоминал и это было лишней рутиной
ЗП
Я когда с хаскеля на пурсу садился писать, просто постоянно забывал писать forall, а потом вспоминал и это было лишней рутиной
это не лишнее