AI
по определению понятия тип )
Size: a a a
2018 February 26
Aq
тем более вы же за ограничения и боретесь ))
мы боремся за сохранение информации. Информация не только ограничения, она может использоваться для генерации кода
AV
те возможность написать некорректную программу это плохо, и фиксится гибкостью динамических языков
AV
да, я согласен
AV
в статических языках эта проблема не то что не решена, а ещё и движение в обратную сторону
AI
корректность - штука субъективная, хотя и верифицируемая при наличии критериев
AI
вот это "в обратную сторону" все и портит
Aq
типы не для какой-то там "корректности", в основном, а чтоб кода меньше писать
AI
поэтому в жаве удобнее чем в хаскеле
Aq
поэтому в жаве удобнее чем в хаскеле
нет, в жаве больше кода писать
VM
нет, в жаве больше кода писать
А в кложе - меньше.
VM
В форте совсем чуть-чуть.:)
Aq
А в кложе - меньше.
чем где?
AI
бесспорно. но она не настолько ]"в обратную сторону"
Aq
не надо про "меньше писать", а то совсем будет больно)
ну ну
AI
хотя Идрис еще больше в обратную
AI
так что Хаскель еще на грани нормальности