Скринкаст. Встроенные примитивы в OCaml.

https://t.me/dx3md/56 Если вы внимательно читали пост про операторы, то могли заметить, что разбираемый аппликативный оператор @@ определён как external да и не просто как Си-функция, а странное нечто %apply. А всё потому, что перед нами, так называемый, встроенный примитив, эдакий специальный маркер для компилятора, в коде которого описана как поступать с такими функциями, во что их раскрыть. В этом крохотном скринкасте покажу где они определенны и что за волшебство с ними делается.