Mantenimiento de la función parcialmente aplicada genérico

Question

¿Es posible aplicar parcialmente una función como bprintf y evitar que se restrinja en función de su uso inicial?

me gustaría hacer lo siguiente:

let builder = new System.Text.StringBuilder() 
let append = Printf.bprintf builder 
append "%i" 10 
append "%s" string_value 

Answer 1

puede agregar explícita formato argumento

let builder = new System.Text.StringBuilder() 
let append format = Printf.bprintf builder format 
append "%i" 10 
append "%s" "1" 

Answer 2

El aspecto de F # que está causando esto se llama restricción valor. Se puede ver que si se introduce sólo los dos let declaraciones a F # Interactivo (para que el compilador no infiere el tipo desde el primer uso):

> let builder = new System.Text.StringBuilder() 
    let append = Printf.bprintf builder ;; 

error FS0030: Valor restricción. Se ha inferido que el valor 'append' tiene apend genérico de tipo val ('_a ->' _b) cuando '_a:> Printf.BuilderFormat <' _b> O bien explicita los argumentos para 'anexar' o, si no tiene la intención de ser genérico, agregue una anotación de tipo.

Hay un excellent article by Dmitry Lomov del equipo F # que lo explica en detalle. Como sugiere el artículo, una solución es agregar declaración explícita de parámetro de tipo:

let builder = new System.Text.StringBuilder() 
let append<'T> : Printf.BuilderFormat<'T> -> 'T = Printf.bprintf builder 
append "%i" 10 
append "%s" "Hello" 

Esto funcionará bien.

Answer 3

Te encuentras con la restricción de valor F #.

Aquí hay una buena explicación de algunas soluciones: Understanding F# Value Restriction Errors

Aquí es un artículo bastante profundo para explicar las razones detrás de él: http://blogs.msdn.com/b/mulambda/archive/2010/05/01/value-restriction-in-f.aspx