ΛВ
Size: a a a
2021 February 13
GP
голосуйте кур кодами
Oℕ
очень не нравятся некоторые формулировки Жона
Oℕ
хочется самому топологию типов нарисовать
Oℕ
бесит всё, что я вижу
Oℕ
оч уважаю претти
Oℕ
оч не нравится доклад
GP
он не мог начать долго
GP
войти в зум не мог
Oℕ
он не мог начать долго
простите пожалуйста, что я затупил с Q&A
Oℕ
т.е. как описать тайп-конструктор?
Oℕ
это фактически функция типов
Oℕ
как мы изображаем функцию - её графиком
Oℕ
в моём представлении мы могли бы показать примеры классических тайпконструкторов с параметрисетью как непрерывные функции
Oℕ
и матчтипы - как разрывные функции, где мы можем увидеть разрыв вдоль матча