Y
Size: a a a
2020 November 09
AA
Какое-то оно недостаточно __обще__принятое, оказывается
тут дело не в определении частичности, а в понимании того что такое хаскельная функция
YS
буду ждать определения частичности
YS
ну либо альтернативного определения
VD
буду ждать определения частичности
А мог бы код писать
YS
чтобы просто более "правильно" использовать этот термин
YS
А мог бы код писать
уже!
JS
я короче буду молчать)
ну вот, зануды затравили новичков
AA
Может, так: тотальная функция – та, которая неботтом для всех неботтомных (сочетаний) аргументов.
этого недостаточно же
YS
ну вот, зануды затравили новичков
да не, я правда хочу услышать
YS
просто я тут наговорю такого
JS
этого недостаточно же
неконструктивно
YS
потом краснеть буду
JS
этого недостаточно же
докажи, что недостаточно
VD
Но ведь в хачкеле и правда абсолютно все функции частичные с т.з. теорката, если я правильно понимаю.
AV
неконструктивно
в смысле лемма об исключенном третьем используется?
Y
докажи, что недостаточно
Еее, баттл зануд! 🍿
YS
Но ведь в хачкеле и правда абсолютно все функции частичные с т.з. теорката, если я правильно понимаю.
ну вот этот боттом вроде и хотим исключить
KV
Но ведь в хачкеле и правда абсолютно все функции частичные с т.з. теорката, если я правильно понимаю.
С т.з. теорката Hask не категория
VD
Но у нас хаскелл это готовый для продакшена язык, поэтому нам нужно более практичное определение частичности