Я заметил, что среди программистов OCaml, которых я знаю, некоторые из нихвсегда использовать полиморфные варианты (варианты, которые не объявлены, с префиксом обратной кавычки), в то время как другиеникогда используйте полиморфные варианты и предпочитайте варианты, объявленные в типах.

За исключением соображений производительности (полиморфные варианты в настоящее время компилируются менее эффективно, чем простые варианты), как опытные разработчики OCaml выбирают между ними?