Телеграмм чат группы javascript

по умолчанию вы должны удовлетворить и ковариантности контрвариантности

18:11пожаловаться #1

работая с сущностью A которая User как с типом Person я смогу присвоить в model сущность, которая НЕ БУДЕТ удовлетворять интерфейсу IUser, но будет удовлетворять интерфейсу IPerson и это будет валидная операция с точки зрения типов, после которой сущность А будет в некорректном состоянии относительно класса User

18:11пожаловаться #2

Угу, или все еще нет?

18:13пожаловаться #3

вот чтобы понятнее было - вот так ошибок нет (закомменчено по понятным причинам и это не решение):
https://flow.org/try/#0JYOwLgpgTgZghgYwgAgJIFkD2ATCAbAHgBUA+ZAbwChkbkBqAWx3wC5kjKBfSy0SWRClQAFaAGdMICtVog4DCGzFgooAOZcefaPCRoAqmOjIIAD0ghsYtKKgSpVWiYZxgeJSvWbKCPHDHWtvbIwAwADngQCuDWGMyEIuKSZI60jPFsiXaSANw8TgiSylAArghgmFAAFGFJIJlBkgCU0k7IAPTttGAAFsBiAHRMuHjIALzItdkgeU7c3D5+AciGxmYWVsiNUqERURAxaFgjBKirUCkyNOkjmed5V8iFIMVlFdUlRlB3Xy2pbcgxCUplVPtAmrMAZ1kL1+kN4uNkGCoJCaPMeEA

Flow

Try Flow | Flow

Interactive Flow REPL

18:15пожаловаться #4

Действительно. Первый вариант этого не допускает.
Теперь понятно. Спасибо

18:15пожаловаться #5

+ говорит о ковариантности, но естественно из-за этого не дает присвоить

18:16пожаловаться #6

Illya Klymov

+ говорит о ковариантности, но естественно из-за этого не дает присвоить

да, теперь понятно! еще раз спасибо

18:17пожаловаться #7

Не за что, ковариантность и контрвариантность одна из сложных тем в типизации

18:18пожаловаться #8

Illya Klymov

Не за что, ковариантность и контрвариантность одна из сложных тем в типизации

А может тогда подскажете вот еще какой момент.
Вот это поле (model) появилось потому что я только такой способ нашел в интерфейс запихнуть имплементацию дженерика.

Проще говоря я хотел что-то типо этого:

interface IModel<T> implements T {
    toJson(any): any
}

модель имеет какие-то свои методы и имплементирует все свойства переданного типа

Но не смог и тогда сделал поле этого типа.
Но вот теперь оно мне мешает экстендить класс

18:30пожаловаться #9

В общем решил без дженерика делать, класс будет имплементировать два интерфейса. За что люблю flow, он всегда максимально затруднит попытку сделать не правильно.

19:15пожаловаться #10