а
питон с синтаксисом хаскеля
Size: a a a
2021 May 28
B
AN
Вообще, у меня пока так и остался не отвеченрый вопрос, можно ли термы эти ваши сопоставить с синглетон типами :)
AN
Кстати начал читать ту книгу. И там конечно математика гребаная. Не навижу много определений подряд.
а
Кто такие синглтон типы
AN
Множество с одним элементом имею ввиду
AN
А. Ещё интересно как эти термы ввести в не фп язык. Или даже в фп язык когда есть алиасы. Я забыл как там в хаскель они вводятся. Where или with
AN
По сути просто переменные локальные как бы.
AN
Но не понятно если в идрисе типы зависят от термов, то что это значит для локальных переменных.
AN
Их надо сразу как то подставлять чтобы избежать колизий имён при тайпчекмнге.
а
Чего
AN
В каком месте
AN
Я немного путанно излагаю. Но скажи что не так )
AN
В хаскеле есть where или let in конструкция.
AN
Новые переменные, которы так вводятся, это терм или нет?
а
Терм
AN
Наверное из за ссылочной прозрачности это не важно.
а
Почему должна колизия произойти? Надо просто не использовать существующие имена, тогда всё будет ок
а
Да