и не смог понять в чём между ними разница
- если у нас есть констрейн, значит у нас srtp
- раз "статический констрейн" это "констрейн" + "статический", значит надо просто догадаться что нахрен имеется в виду под этим самым "статический" 😱😱😱
- static member - Влад сказал, что нет
- может констрейн по какому-то (любому) мемберу называется статическим констрейном?
(я хз в чём между ними разница)
ПыСы:
бля! я тут подумал, может имеются в виду обобщённые типы в srtp? ('a, 'T, 'U, ... - вот это вот всё)
т.е. когда обобщённого типа нет (а есть конкретный) + делаем констрейн по этому типу, то это и есть ебический статический констрейн
??
Обычный констрейнт может быть и по типу или struct, not null, etc.
Обычный констрейнт это уровень дотнет. Статический (=сртп) это уровень только фшарп
а как можно без srtp констрейн сделать?
when 'T :> ISomething
let f (a: 'a) when 'a :> IInterface = ...
чота скобки странно расставлены
Обсуждают сегодня