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