false)>]
[<NoDynamicInvocation; MethodImpl(MethodImplOptions.AggressiveInlining)>]
let inline (?) (_ : Hole) (hid : string) : 'T =
raise <| NotImplementedException $"Runtime error: Incomplete hole '%s{hid} : %O{typeof<'T>}'"
Дык мне надо чтобы компилятор мне в статике сказал, какой тип ожидается.
[<EntryPoint>] let main _ = let abs n = if n >= 0 then n else Hole ?Negation abs -1 0 // compile time warning: // Test.fs(28,15): warning FS10003: Incomplete hole // val abs : n:int -> int
О, класс, спасибо!
Обсуждают сегодня