d
Size: a a a
2020 April 01
G
Чё gat в расте вообще не движется
G
Нашёл время почитать статью Жуковского про монады, стало ещё грустнее насчёт Rust
G
А ведь если бы с самого начала сделали возможность указывать виды типов, добавили монады, и всё было бы по-другому
AZ
Т-34 85
то есть, если я временно хочу убрать ослеживание за объектом, то без Option я не смогу это сделать?
можешь через ансейф сделать какой-нибудь лик и отстрелит ьсебе ногу, но не нужно
AZ
А ведь если бы с самого начала сделали возможность указывать виды типов, добавили монады, и всё было бы по-другому
S
А ведь если бы с самого начала сделали возможность указывать виды типов, добавили монады, и всё было бы по-другому
А виды типов чем-то отличаются от типов типов?
С
А виды типов чем-то отличаются от типов типов?
Yo dawg
G
А виды типов чем-то отличаются от типов типов?
Я не знаю что такое типы типов, в Idris разве что есть
Type один - тип всех типовS
Ну... Что-то вроде трейта, который реализован для нескольких типов
S
красивый собак
С
Жырный
AZ
Я не знаю что такое типы типов, в Idris разве что есть
Type один - тип всех типовесли что, "вид" по английски это "kind"
AZ
возможн так вопрос станет понятнее)
G
Нет, не стал
AZ
хотя что такое типы типов действительно не очень понятно
AZ
думаю что тайп фэмили
AZ
Ну... Что-то вроде трейта, который реализован для нескольких типов
кайнды это не трейты
AZ
не знаю как еще ответить)