p
Кек
Size: a a a
2020 May 23
SP
ну это такая моя прихоть но это МУДРО
SP
если чекаются типы полчаса то тоже мало смысла
p
@hirrolot в идрисе нет статической типизации
p
Кек
SP
ну какая разница есть ли она если смысл в том помогает она или нет
p
Она помогает
p
Не дает скомпилировать неправильную программу
p
Позволяет оптимизировать программу
SP
это минорно если вопрос в том как быть быстрее чем на динамике
SP
ты продолжаешь унылейший дискурс из нулевых типа "ладно, на статике ты очень медленный и очень церемонный зато оптимизация и корректность"
SP
это чушь. на статике можешь быть быстрее чем на динамике если отбросить всю эту ахинею. на тс я быстрее чем на жс например
p
Какие церемонии
p
p
На статике нет церемоний
SP
в статике нет. в не ide-first статике есть
G
ты продолжаешь унылейший дискурс из нулевых типа "ладно, на статике ты очень медленный и очень церемонный зато оптимизация и корректность"
Некоторые люди представляют статику как точку. На самом деле, это линия, где на левом краю - Java, на правом - Idris
G
Чем правее - тем сложнее программировать и корректнее результат
p
Некоторые люди представляют статику как точку. На самом деле, это линия, где на левом краю - Java, на правом - Idris
Сайшерп скорее
p
Чем правее - тем сложнее программировать и корректнее результат
Где сложнее