DB
а тут в старый язык
Size: a a a
2021 February 05
AA
а нормально и не планируют
DB
принято)
Oℕ
идрес вот с нуля не может до сих пор сделать, чтобы было _нормально_
офтоп, но что ненормального то
Oℕ
тем более там область применения совсем другая нежели, чем у идриса
a
Не не могут, а не хотят.
хотят хотят
VD
Мне больше интересно что потом будет с base. Десять вариаций base, одна с DH, другая с линтипами и т.д.? Или они как-то умудрятся впихнуть всё в обычный base и оно при этом будет работать точно так же, как раньше, при выключеных зав\лин типах?
DB
офтоп, но что ненормального то
Ну какое-то время назад говорили, что компеляция иногда просто не заканчивается, или типа того
DB
тем более там область применения совсем другая нежели, чем у идриса
там — это где?
Oℕ
Ну какое-то время назад говорили, что компеляция иногда просто не заканчивается, или типа того
Так это так в любом языке с достаточно мощной системой типов, это показатель нормальности, а не наоборот
Oℕ
там — это где?
В завкайндах, которые в хачкель втаскивать собирались
DB
Так это так в любом языке с достаточно мощной системой типов, это показатель нормальности, а не наоборот
Ну хочется всё же собирать программу за конечное время. Тоже _нормальное_ желание)
DB
В завкайндах, которые в хачкель втаскивать собирались
то завтипы, то завкайнды, копец. я даже с трудом себе представляю, как это
AV
Ну хочется всё же собирать программу за конечное время. Тоже _нормальное_ желание)
Если все функции тотальные, то за конечное соберётся, просто за большое конечное
Oℕ
Ну хочется всё же собирать программу за конечное время. Тоже _нормальное_ желание)
Ну если хочется верхний баунд на время конпеляции, тогда нужно использовать не хаскель и не скалу
Oℕ
Если все функции тотальные, то за конечное соберётся, просто за большое конечное
Если памяти хватит
Oℕ
Память тоже экспоненциальной можно сделать
AV
Ну хочется всё же собирать программу за конечное время. Тоже _нормальное_ желание)
Это же проблема сложности программ, которые позволяет писать система типов. Не причина из запрещать
DB
Ну если хочется верхний баунд на время конпеляции, тогда нужно использовать не хаскель и не скалу
Ну наши 130к компилируются за 3,5 минуты, например)