Question

我使用pf作为printfn的缩写

let pf = printfn

// signature:
val pf : (Printf.TextWriterFormat<'a> -> 'a)

我们可以改变pf，使其成为noop并且不输出任何东西吗？我试过像

这样的东西

let pf<'a> (x : (Printf.TextWriterFormat<'a> -> 'a)) = ()

// signature:
val pf : (Printf.TextWriterFormat<'a> -> 'a)

Answer 1

怎么样：

> let noprintf f = Printf.ksprintf (fun _ -> ()) f;;
val noprintf : f:Printf.StringFormat<'a,unit> -> 'a

> noprintf "Hello, %s!" "world";;
val it : unit = ()
>

Answer 2

这是一个简单的解决方案

let pf fstring = 
    if false then 
        printfn fstring 
    else 
        fun _ -> Operators.Unchecked.defaultof<'a>;;

注意：这确实存在一些问题，并且在所有情况下都不起作用 - 请参阅注释

我怎样才能用noop替换printfn

2 个答案: