SG
Size: a a a
2021 October 15
AP
Когда один тип является подтипом другого.
SG
это понятно
AP
Это добавляет веселья выводу типов, начинаются всякие ковариантности
SG
Расширение интерфейса делается структурно, информация о том, откуда этот интерфейс пришёл вообще говоря непроверяема.
SG
С классами иначе
SG
Но там есть другой классный трюк: unique symbol
AP
Это уже слегка оффтоп :)
SG
ок ок
SG
Да мне хочется как-то сравнить системы типов Haskell и TypeScript и снабдить это сравнение примерами реальных задач, где это было полезно в моем опыте.
AP
Лучше, и правда, доклад сделать. Останется для потомков, а не потеряется в истории чата
AP
(я бы послушал)
GP
Самое интересное в сравнении это между Generic Rep и сумасшедшими конструкциями с помощью infer , тут самому как то хотелось даже что то написать
[
И в том, что она ансаунд😊
[
И в том что нативные синглтоны плохо вяжутся с завтипами, к которым идёт хаскель
[
И в том, что в тайпскрипте нет нормального параметрического полиморфизма
[
И...
[
Много различий, в общем
GP
Различий много , а в итоге решаются бизнес задачи , иногда неплохо посравнивать в две колонки как они решаются и там и там , чтобы а зачем оно
[
Тайпскрипт нужен для того, чтоб планомерно типизировать жс-проект🤷♀