Потаенный червизм 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-работу с памятью.
Я когда-то переписывал его через макрос, но как-то лениво поддерживать было.

[metaclass.livejournal.com]

Вот я счас в F# ищу, как бы это к реализации подобраться и использовать в своих целях, но там только простые обертки вокруг общей реализации вроде доступны.

[zamotivator.livejournal.com]

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

[vaddimka.livejournal.com]

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

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

[cd-riper.livejournal.com]

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

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

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

[metaclass.livejournal.com]

Тут и есть два.

[potan.livejournal.com]

Когда я смотрел реализацию - не делалось. Я переделал, но народ тогда не оценил. Неужели сейчас одумался?

[zamotivator.livejournal.com]

Гм, а как оно ещё может быть сделано?
Batteries те же самые как делают?

[potan.livejournal.com]

Комментом выше описал :-).

[zamotivator.livejournal.com]

Ты хочешь сказать, что это на уровне КОМПИЛЯТОРА сделано?

[potan.livejournal.com]

bash$ ocaml
        Objective Caml version 3.10.2

# Printf.printf;;
- : ('a, out_channel, unit) format -> 'a = <fun>
# let s : ('a, out_channel, unit) format = "%d" in s;;
- : (int -> unit, out_channel, unit) format = <abstr>

Я не знаю, как такое сделать в camlp4 :-).

[nivanych.livejournal.com]

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

[thedeemon.livejournal.com]

Не, использование camlp4 надо отдельно указывать, по умолчанию он не используется, однако printf доступен.

[(Anonymous)]

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

[migmit.vox.com (from livejournal.com)]

Вроде, в окамле "%s %d" может быть не string, а какая-то хреновня, тип которой зависит от того, что внутри написано.

[metaclass.livejournal.com]

В F# то же самое.