Потаенный червизм F#

[metaclass]

В F# есть набор вуду-функций, типизация которых у меня вызывает неадекватные ощущения. Конкретно, это функции форматированной печати, например sprintf:
sprintf "%s" : string->string //превращает строку в строку
sprintf "%s %d" : string->int->string //превращает строку и число в строку
Итд, соответственно формату.
Выглядит это весьма удобно и типобезопасно, т.е. неправильное сочетание строки формата и параметров не скомпилируется, но как реализована функция sprintf и аналогичные, я с ходу не соображу.
Там используется какое-то адское метапрограммирование на типах + дотнетовский Reflection, причем даже intellisense в студии показывает, что тип возвращаемый sprintf fmt меняется в зависимости в от того, что запишешь в fmt. И строковый литерал fmt явно где-то хитрой магией конвертируется не в строку, а в String.Format<'T>.

Comments

[usovalx.livejournal.com]

В ванильном ocaml тоже такое вуду есть. И вроде какая-то документация как оно сделано и как делать самому.

[potan.livejournal.com]

В OCaml Printf.printf типизирован так, что компилятор проверяет правильность формата, а реализован через жоunsafe-работу с памятью.
Я когда-то переписывал его через макрос, но как-то лениво поддерживать было.

[zamotivator.livejournal.com]

В ocaml это делается через camlp4

[vaddimka.livejournal.com]

sprintf "%s %d" : string->int->string

нет ли тут ошибки? вроде как два аргумента должно быть

[cd-riper.livejournal.com]

> но как реализована функция sprintf и аналогичные, я с ходу не соображу.

для меня тож была загадка, но я F# так и не доучил.

как я понимаю, метапрограммирование -- строку для форматирования нужно в compile-time проанализировать и под это дело код подстроить. либо выдать ошибку.

[nivanych.livejournal.com]

Судя по расписанию, эти темы разрабатываются кружком имени Эсфири Мендееевны.
Так держать!

[(Anonymous)]

В хаскелле printf реализован через классы типов, вроде бы.