A
вот то что в хаскеле нету неймспейса для каждого объявления типа - это большой недостаток
И туда же еще type directed name resolution
Size: a a a
2021 February 12
YP
И туда же еще type directed name resolution
А примеры языков где как в хаскеле?
AA
Yuriy Pachin
Чем это отличается от сказанного выше?
ну что с неймспейсом что без все равно префикс-то обязателен
YP
ну что с неймспейсом что без все равно префикс-то обязателен
А какой смысл тогда?
AA
без префикса можно или TDNR-ом разрешить, и тогда досвиданье вывод типов, или роу-полиморфизмом, не то чтобы вообще досвиданье, но тоже можно замучаться
AA
Yuriy Pachin
А какой смысл тогда?
используешь префикс только когда неоднозначность разрешаешь, а не вообще вегда
YP
используешь префикс только когда неоднозначность разрешаешь, а не вообще вегда
A.B?
AA
Yuriy Pachin
A.B?
ну, про это и речь. это просто удобнее когда для каждого типа уже неймспейс готовый с его названием и не надо это самому модулями организовывать
YP
ну, про это и речь. это просто удобнее когда для каждого типа уже неймспейс готовый с его названием и не надо это самому модулями организовывать
Я, вроде, об этом же говорил.
AA
да в целом локальные модули когда примут, то проблема уйдет
будет
import qualified module List1 where
data List1 = Nil
import qualified module List2 where
data List2 = Nil
x = List2.Nil
будет
import qualified module List1 where
data List1 = Nil
import qualified module List2 where
data List2 = Nil
x = List2.Nil
удивительно насколько хаскелистам плевать на судьбу этого пропозала
их волнуют проблемы поважнее видать
их волнуют проблемы поважнее видать
AA
вроде лет рек
ЗП
да в целом локальные модули когда примут, то проблема уйдет
будет
import qualified module List1 where
data List1 = Nil
import qualified module List2 where
data List2 = Nil
x = List2.Nil
будет
import qualified module List1 where
data List1 = Nil
import qualified module List2 where
data List2 = Nil
x = List2.Nil
мечты мечты)