Изучайте OCaml

Стремитесь к более глубокому пониманию языка? Хотите расширить границы и открыть для себя совершенно новые вещи? Ознакомьтесь с работами, написанными ведущими исследователями OCaml:

Язык Eff – это OCaml-подобный язык, служащий прототипом реализации теории алгебраических эффектов, предназначенный для экспериментов с алгебраическими эффектами в больших масштабах. Мы представляем встраивание Eff в OCaml, используя библиотеку разграниченных продолжений или ветвь Multicore OCaml. Мы демонстрируем корректность встраивания денотационно, опираясь на денотационную семантику, основанную на интерпретаторе в стиле tagless-final, включая новую, прямую денотационную семантику многопрограммного разграниченного управления. Встраивание является систематическим, легким, производительным и поддерживает даже “динамические” эффекты более высокого порядка с их полиморфизмом. Таким образом, OCaml можно рассматривать как еще одну реализацию Eff, что расширяет сферу применения и привлекательность этого языка.

Мы предлагаем модель памяти для OCaml, в целом повторяющую дизайн аксиоматических моделей памяти для таких языков, как C++ и Java, но с рядом отличий, обеспечивающих более сильные гарантии и более легкие рассуждения для программиста, за счет того, что не допускает всех возможных оптимизаций.

Мы предлагаем гармоничное расширение конструкции `open` языка OCaml. Существующая в OCaml конструкция `open M` импортирует имена, экспортируемые модулем `M`, в текущую область видимости. В настоящее время требуется, чтобы `M` был путем к модулю. Мы предлагаем расширить `open` и вместо этого принимать произвольное выражение модуля, что позволит лаконично решить ряд существующих трудностей, связанных с областью видимости, которые возникают при написании программ на OCaml.