При исследовании структурной типизации я нашел следующую статью, описывающую как интерфейсы в Go переводятся в таблицы поиска методов во время выполнения. Процесс, описанный в сообщении, кажется значительно отличающимся от рефлексивных и генерирующих методов, описанных для Scala дополнительной структурной системы типов и расширения White Oak языка Java.
Есть ли какие-то подробные ресурсы, которые обсуждают, как структурная типизация реализована в OCaml? Меня особенно интересует любое обсуждение оптимизаций или сопоставлений производительности во время исполнения с системами номинального типа.