AD
Size: a a a
AD
Dv
type T = T with
static member inline ($) (T, arg: unit) = ()
static member inline ($) (T, func: 'a -> 'b): 'a -> 'b =
fun _ -> (T $ Unchecked.defaultof<'b>)
let inline negate<'a>(): 'a =
let argType = typeof<'a>
printfn "%A" <| typeof<'a>
T $ Unchecked.defaultof<'a>
Dv
н
н
Dv
NM
type T = T with
static member inline ($) (T, arg: unit) = ()
static member inline ($) (T, func: 'a -> 'b): 'a -> 'b =
fun _ -> (T $ Unchecked.defaultof<'b>)
let inline negate<'a>(): 'a =
let argType = typeof<'a>
printfn "%A" <| typeof<'a>
T $ Unchecked.defaultof<'a>
Dv
AD
P
AD
н
Dv
a, b, c
— тоже тупл, без всяких скобочек.P
a, b, c
— тоже тупл, без всяких скобочек.Dv
AD
Dv
let x = a, b, c
foon x
Dv
<|
и т.п. приколы