169 похожих чатов

#Fsharp #srtp #constrain #static_constrain #Q: констрейн vs. статический констрейн я так

и не смог понять в чём между ними разница

- если у нас есть констрейн, значит у нас srtp
- раз "статический констрейн" это "констрейн" + "статический", значит надо просто догадаться что нахрен имеется в виду под этим самым "статический" 😱😱😱
- static member - Влад сказал, что нет
- может констрейн по какому-то (любому) мемберу называется статическим констрейном?

(я хз в чём между ними разница)

ПыСы:

бля! я тут подумал, может имеются в виду обобщённые типы в srtp? ('a, 'T, 'U, ... - вот это вот всё)
т.е. когда обобщённого типа нет (а есть конкретный) + делаем констрейн по этому типу, то это и есть ебический статический констрейн
??

6 ответов

15 просмотров

Обычный констрейнт может быть и по типу или struct, not null, etc.

Обычный констрейнт это уровень дотнет. Статический (=сртп) это уровень только фшарп

dd- Автор вопроса

let f (a: 'a) when 'a :> IInterface = ...

ORTO
let f (a: 'a) when 'a :> IInterface = ...

чота скобки странно расставлены

Похожие вопросы

Обсуждают сегодня

30500 за редактор? )
Владимир
47
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
вы делали что-то подобное и как? может есть либы готовые? увидел картинку нокода, где всё линиями соединено и стало интересно попробовать то же в ddl на lua сделать. решил с ч...
Victor
8
Подскажите пожалуйста, как в CustomDrawCell(Sender: TcxCustomGridTableView; ACanvas: TcxCanvas; AViewInfo: TcxGridTableDataCellViewInfo; var ADone: Boolean); получить наз...
A Z
7
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
1
Он в одиночку это дело запилил или была какая-то команда?
Aquinary
12
~ 2m21s  nix shell github:nixos/nixpkgs#stack ~  stack ghc -- --version error: … while calling the 'derivationStrict' builtin at /builtin/derivation.nix:...
Rebuild your mind.
6
Всем привет, нужна как никогда, нужна помощь с IO в загрузчике. Пишу в code16 после установки сегментных регистров, пишу вывод символа. Пробовал 2 варианта: # 1 mov $0x0E, %a...
Shadow Akira
14
Карта сайта