KC
А к неграм значит нет? Расист ебаный
Size: a a a
2020 February 13
DM
Pavel
не, я чисто теоретически можно ли их сделать
не знаю что там в кишках, но сомневаюсь
потому что как минимум надо справиться с парадоксом рассела (тип всех типов не должен быть типом (там же))
потому что как минимум надо справиться с парадоксом рассела (тип всех типов не должен быть типом (там же))
P
не знаю что там в кишках, но сомневаюсь
потому что как минимум надо справиться с парадоксом рассела (тип всех типов не должен быть типом (там же))
потому что как минимум надо справиться с парадоксом рассела (тип всех типов не должен быть типом (там же))
а почему в хаскеле это решено, а в скале сложно?
DM
Pavel
а почему в хаскеле это решено, а в скале сложно?
в хаскелле это не решено
P
(я про хаскель ниче не знаю)
DM
но кроме зажмурившегося Брагилевского никто об этом не думает по-моему
DM
в идрисе решено
(
но кроме зажмурившегося Брагилевского никто об этом не думает по-моему
Олег вроде недавно с этим парадоксом налетал на хаскелистов
P
но кроме зажмурившегося Брагилевского никто об этом не думает по-моему
ну вот в чатах здесь переодически мелькает что-то про завтипы, я думал оно в каскеле
(
@jey_lee дай линк на питончат
P
но это домыслы
DM
Pavel
ну вот в чатах здесь переодически мелькает что-то про завтипы, я думал оно в каскеле
идрис
P
аа, я понял
DM
и для идриса надо пилить либы
DM
всякие, даже ужасного качества, но чтобы хоть что то уже было
P
а идрис активно кто-то разрабатывает?
AG
Брэди и ещё пара человек
AG
есть даже твич канал где идрис разрабатывают три раза в неделю
DM
ну и книжка была