JS
а рекусивные числа Пеано — для понимания рекурсии
Size: a a a
2021 May 12
JS
сложнее или труднее?
[
Мораль в том, что зависит от конкретного программиста
JS
лёгкость сложности не противоречит, а часто даже связаны они
JS
как и трудность с простотой
JS
(глупые шутки — в @haskell_blah)
YS
(надеюсь это умная шутка)
[
Кстати, а как сказываются на производительности программы мощные системы типов (как, например, хаскельная или и того сильнее - завтипы)? Чисто по логике доказательство инвариантов во многих моментах должно позволять "срезать" ненужный код "на поворотах", но как с этим обстоит на самом деле?
Oℕ
Можно ли построить систему типов, отличающую умную шутку в коде от глупой и запрещающую вторые
[
Ты начинаешь о чём-то догадываться
JS
по-разному. ФП в среднем мешает производительности из-за необходимости GC в общем случае. хотя в некоторых случаях GC помогает производительности. а линтипы однозначно полезны
JS
потому что лёгкость управления часто обеспечивается сложностью системы, а простота системы часто влечёт тяжесть управления ею
[
на быстром железе пошёл хаскель и теперь тебе придётся учить монады