Как преобразовать полиморфное значение в строку?

В OCaml невозможно сопоставить типы, и это функция! Такое ограничение приводит к параметричности.

Проще говоря, если функция f имеет тип 'a -> string, ее тип обещает работать с любыми возможными типами, прошлыми и будущими. Другими словами, функция f не может делать никаких предположений о содержании своего аргумента.

Таким образом, единственная честная возможность - не пытаться ничего прочитать из аргумента и просто вернуть строку, например

 let f _x = "x?"

Возможно, мы можем прочитать некоторые глобальные состояния с помощью функции g

let f _x = g ()

например

let counter = ref 0
let f _x = incr counter; string_of_int !counter