VS
аа, понял кажется, пересечение имеет смысло когда есть юнион типы
Size: a a a
2020 April 03
IB
у входного объекта дернут какой-нибудь ToString() - вот и профит
AH
аа, понял кажется, пересечение имеет смысло когда есть юнион типы
Да, это базис АДТ
AH
Короче, это прям киллер фича. Чот я прям даже подумал скалу 3 попробовать
VS
Чо бы это?
тем что оно пустое)
IB
Короче, это прям киллер фича. Чот я прям даже подумал скалу 3 попробовать
там дырки, не забыл?
AH
тем что оно пустое)
Это проблема вызывающей стороны
AH
Но ты прав, без инстанса такого типа ничего не выйдет
AH
Ты можешь объявить функцию принимающую Void, как её вызовут уже не твоя проблема
VS
а, ну пересечение же есть у нас
VS
where T: IEnumerable, IComparable
VS
а в фшарпе кстати не уверен как такое написать
AH
То есть да, у пересечения Int и Comparable может не быть инстансов.
И если Int уже объявлен, то вроде бы конец.
Но тайп класс может создать инстанс такого типа
И если Int уже объявлен, то вроде бы конец.
Но тайп класс может создать инстанс такого типа
AH
а в фшарпе кстати не уверен как такое написать
Опять же никак, нет тайпклассов
VS
у нас можно #ienumerable
AH
У своих типов
AH
Старым ты его не докинешь
VS
что возможно и хорошо (во многих случаях)
AH
То есть в теории ты можешь объявить функцию с типом Guid && IEnumerable, но гуид не реализует этот интерфейс.
Тут только тайпклассы спасут
Тут только тайпклассы спасут
AH
что возможно и хорошо (во многих случаях)
Тайпклассы это тоже очень круто. Но их уже почти ввели в фшарп через сртп