Преобразование имени конструктора в строку в OCaml

Question

У меня есть следующие определения типов в моем коде:

type tag = 
| Head 
| Title 
| Body 
| H1 
| P;; 

type domtree = 
| Empty 
| Node of tag * string * domtree list;; 

мне нужно напечатать метки вместе со строками. Но я не смог найти способ конвертировать тег (имена конструктора в определении первого типа) в строки и объединить их со строковой частью domtree. Есть ли какой-либо конкретный способ сделать это? Оказывает ли OCaml способ преобразования нестрочных типов в строки? Я нашел здесь подобный вопрос, но я не совсем понял это.

Answer 1

В OCaml нет такого объекта, и вам нужно будет написать функцию преобразования tag_to_string : tag -> string.

Легко сформировать тело этой строки автоматически, например, использовать этот sed Однострочник:

sed -e 's/\| \(.*\)/| \1 -> "\1"/' 

и вставить определение тега в стандартном вводе. Это дает

| Head -> "Head" 
| Title -> "Title" 
| Body -> "Body" 
| H1 -> "H1" 
| P;; -> "P;;" 

и вы просто должны очистить ;;.

Существует множество других решений для определения этого шаблона кода, я также люблю использовать для этого макросы Emacs.