C
хотел пошутить но ладно, тупая шутка
Size: a a a
2019 December 25
Ct
а как ты питон компилируешь?
Никто не мешает делать тайпчек после парсинга и до "компиляции" (да, компиляции, да, в питоне) в байткод
λ
Все умещается в голове, а компилятор не пилит тебе голову в каждой функции, заставляя писать дженерики с тайпклассами
> Всё умещается в голове
ну ещё бы не умещалось, когда скрипты до 200 строк пишешь
> заставляя писать дженерики с тайпклассами
будто что-то плохое
ну ещё бы не умещалось, когда скрипты до 200 строк пишешь
> заставляя писать дженерики с тайпклассами
будто что-то плохое
λ
к тому же есть вывод типов
AZ
> Всё умещается в голове
ну ещё бы не умещалось, когда скрипты до 200 строк пишешь
> заставляя писать дженерики с тайпклассами
будто что-то плохое
ну ещё бы не умещалось, когда скрипты до 200 строк пишешь
> заставляя писать дженерики с тайпклассами
будто что-то плохое
у человека 5000 строк в голове умещается
λ
очень сомневаюсь
λ
Вообще, насколько я понимаю, беды с многопоточностью, традиционные - это от бедности. Вот например окамл тоже долго был однопоточным, да и сейчас у него проблемы. А почему?
Представим себе европейского учОного. Это такое существо на бюджетном подсосе и в бюджетном же жилье. Нечто вроде героев Гофмана или Андерсена (которого сказки). Сюртук, сутулость и бедность, причем это у них поколениями. Принято так.
И возьмём учёного-американца. На пикапе, с большим американским домом и женой-блондинкой.
Как же эти люди выглядят в сравнении? Да как virgin xxx и chad yyy из известного мема.
Ну и у кого из них хватит денег на нормальное железо, на что-то многопроцессорное? Разумеется, у американца.
Поэтому и ocaml не взлетел.
Представим себе европейского учОного. Это такое существо на бюджетном подсосе и в бюджетном же жилье. Нечто вроде героев Гофмана или Андерсена (которого сказки). Сюртук, сутулость и бедность, причем это у них поколениями. Принято так.
И возьмём учёного-американца. На пикапе, с большим американским домом и женой-блондинкой.
Как же эти люди выглядят в сравнении? Да как virgin xxx и chad yyy из известного мема.
Ну и у кого из них хватит денег на нормальное железо, на что-то многопроцессорное? Разумеется, у американца.
Поэтому и ocaml не взлетел.
оч сложно
λ
непонятно тогда откуда в хаскеле нормальная (лучшая на рынке) поддержка многопоточности и конкурентности
λ
нет, ты в доказательстве пишешь
multiply _ 0 = 0
multiply 0 _ = 0
multiply x y = (multiply x y - 1) + xнет, ты пишешь функцию
forall (x y :: Int) . x * y = multiply x y и доказываешьp
Хз, я такой херни не допускал в программах
AZ
нет, ты пишешь функцию
forall (x y :: Int) . x * y = multiply x y и доказываешьэто если у тебя есть модель
AZ
а её может и не быть
λ
нет, ты пишешь функцию
forall (x y :: Int) . x * y = multiply x y и доказываешьто есть тебе в любом случае нужна некая эталонная функция
AZ
то есть тебе в любом случае нужна некая эталонная функция
не обязательно, ты можешь по индукции доказать
λ
что ты по индукции будешь доказывать?
p
> Всё умещается в голове
ну ещё бы не умещалось, когда скрипты до 200 строк пишешь
> заставляя писать дженерики с тайпклассами
будто что-то плохое
ну ещё бы не умещалось, когда скрипты до 200 строк пишешь
> заставляя писать дженерики с тайпклассами
будто что-то плохое
Иди нахер
AZ
что умножение с нулем это ноль
AZ
а не с нулем умножение на n-1 + x
AZ
Хз, я такой херни не допускал в программах
очень за тебя рад. А я постоянно так делаю
С
непонятно тогда откуда в хаскеле нормальная (лучшая на рынке) поддержка многопоточности и конкурентности
В хаскель толпа людей вложилась, и MS Research поучаствовал. Это не проект психа-одиночки с мотором.