a
А зачем в кваскель тащить зависимые типы?
избавить от использования синглтонов
Size: a a a
2021 February 05
DB
избавить от использования синглтонов
норм, но в синглтонах тоже пока не алё. знаю тока, шо можно классное че-то делать
Oℕ
Ну наши 130к компилируются за 3,5 минуты, например)
Ну если у вас есть большая программа на хаскеле, которая быстро собирается, а у кого-то есть маленькая программа на идрисе, которая долго собирается, действительно стоит сделать вывод, что дело в ЯП
DB
Ну если у вас есть большая программа на хаскеле, которая быстро собирается, а у кого-то есть маленькая программа на идрисе, которая долго собирается, действительно стоит сделать вывод, что дело в ЯП
не, я про скалу(
Oℕ
не, я про скалу(
тем более
[
Ну наши 130к компилируются за 3,5 минуты, например)
У вас там только изменённые части пересобираются что ли?
DB
У вас там только изменённые части пересобираются что ли?
нет, с нуля
DB
[info] compiling 2675 Scala sources to ...
[info] done compiling
[info] compiling 50 Scala sources and 1 Java source to ...
[info] done compiling
[success] Total time: 184 s (03:04), completed Feb 5, 2021, 3:47:34 PM
Oℕ
Как я рад, что попал в чат, где обсуждают время компиляции скалы, а "хачкель" не обсуждают.
DB
Как я рад, что попал в чат, где обсуждают время компиляции скалы, а "хачкель" не обсуждают.
не один кваскелем живём тута
[
норм, но в синглтонах тоже пока не алё. знаю тока, шо можно классное че-то делать
Синглтоны это, конечно, круто, но область памяти без определённого времени жизни это отстой.
Накидаешь ты этих сингтонов, а потребление оперы ниже 500 метров не опускается, кул, да?
Накидаешь ты этих сингтонов, а потребление оперы ниже 500 метров не опускается, кул, да?
DB
Синглтоны это, конечно, круто, но область памяти без определённого времени жизни это отстой.
Накидаешь ты этих сингтонов, а потребление оперы ниже 500 метров не опускается, кул, да?
Накидаешь ты этих сингтонов, а потребление оперы ниже 500 метров не опускается, кул, да?
всё ещё меньше холодного хрома
[
всё ещё меньше холодного хрома
Ну, это я при минимальную планку, по максимуму там спейслик и минус 6 гб оперы
AA
офтоп, но что ненормального то
прокомментируйте пожалусто критику кьютити на странице 29, чет эйзенберг любит на это налегать, но мне проблема особо серьезной не кажется
DB
прокомментируйте пожалусто критику кьютити на странице 29, чет эйзенберг любит на это налегать, но мне проблема особо серьезной не кажется
расшифруеш наброс?
к
Сорри за оффтоп, но, может, кто дельное что-то предложит. В одной книжке есть термин
conditional data, который используется для обозначения типа суммы (видимо, автор выдумал свою терминологию заместо общепринятой). Как бы удачнее этот термин перевести на русский язык? Типа слово conditional используется потому, что такие данные представляют собой "or": цвет светофора это _или_ красный, _или_ жёлтый, _или_ зелёный.а это книга по хаскелю? Есть языки, в которых есть именно что типы с условием (typescript)
AA
расшифруеш наброс?
говорю ж на стр 29 написано, в видосе выше эйзенберг тоже про это упоминает
Oℕ
прокомментируйте пожалусто критику кьютити на странице 29, чет эйзенберг любит на это налегать, но мне проблема особо серьезной не кажется
на странице 29 пдфки папера про квантификацию?
AA
Oℕ
хорошо, вернусь, как открою его