ЕС
как это ничем. а как же тайп теори
Только твой КС ты сам себе придумал и сам живёшь в нем.
Size: a a a
2020 June 29
ЕС
Не замечая течения жизни вокруг.
H
например, верхнее правая палочка означает что если из контекста переменных и типов, к которому добавили что
x: A, выводится что c: C, то тогда из этого контекста выводится что функция fun x -> c имеет тип A -> CH
Только твой КС ты сам себе придумал и сам живёшь в нем.
что такое КС?
ЕС
CS - computer science
H
жизнь вокруг нас это матрица
H
все уже давно это поняли
ЕС
Именно поэтому нужно создавать матрицу внутри матрицы?
H
не обязательно. но можно создать и наслаждаться ею
H
будет твоя личная матрица которая пляшет под твою дудку
T1
и вот тайп теори решил осилить
ту книгу стараешься осилить?)
T1
иль новую нашёл
H
ту книгу стараешься осилить?)
ДА
👑
будет твоя личная матрица которая пляшет под твою дудку
Так. И какие методы?
T1
ахахаха
T1
вообще она странная немного
T1
старая наверное
H
вообще она странная немного
эта книга можно сказать разволекается мною)))
ЕС
старая наверное
Научная просто
H
ну я первую часть на 70% осилил