Строки нелитерального формата F # printf - как сделать их доступными в качестве параметров?

Я хотел бы использовать нелитеральные строки для параметра «формат» функции типа ведения журнала, как показано здесь:

// You need to make c:\testDir or something similar to run this.....
//
let csvFile = @"c:\testDir\foo.csv"

open System.IO

let writer file (s:string) =
  use streamWriter = new StreamWriter(file, true)
  streamWriter.WriteLine(s)
  // s

let log format = Printf.ksprintf (writer csvFile) format

let oneString format = (Printf.StringFormat<string->string> format)

let format = oneString "(this does not %s)"

//log format "important string"

log "this works %s" "important string"

В моей первой попытке использовалась литеральная строка, и приведенный выше фрагмент должен работать нормально для вас, если вы создадите нужный каталог или аналогичный.

Обнаружив, что вы не можете просто «разрешить привязку» строки формата, я узнал о Printf.StringFormatи более подробной информации о Printf.ksprintf, но я явно что-то упускаю, потому что не могу заставить их работать вместе с моим небольшим примером.

Если вы закомментируете последнюю строку и восстановите предыдущую, вы увидите ошибку компилятора.

Почти помогло заставить функцию writer возвращать строку (раскомментировать ее последнюю строку), но тогда log возвращает строку (это означает, что каждый вызов теперь нуждается в ignore).

Я хотел бы знать, как динамически устанавливать мои строки формата в мире проверенных типов F # printf!

Обновление Я добавил параметр format в log, чтобы избежать ошибки ограничения значения, которая возникает, если log не вызывается позже, как в моем примере. Я также меняю fmt на format в oneString.

Обновить

Это вопрос, отличный от этот. Этот вопрос не показывает, что аргумент функции передается в Printf.StringFormat (незначительная разница), и в нем нет части о том, что Printf.ksprintf не принимает функцию продолжения, которая возвращает единицу.

Я думал, что нашел решение с:

let oneString format = (Printf.StringFormat<string->string,unit> format)

это компилируется, но есть ошибка времени выполнения. (Изменение ,unit)