OCaml – лучший функциональный язык | OCaml vs Haskell vs TypeScript | Podlodka Podcast

Описание: OCaml – уникальный язык и по своему историческому значению, и по фичам. Он сильно повлиял практически на все современные языки, на нем до сих пор написаны многие из их компиляторов, и одновременно с этим он считается идеальным входом для новичков в мир функционального программирования. А погружаемся в этот язык мы вместе с Павлом Аргентовым, программистом из Evrone, который страстно любит OCaml и пишет на нем очень много кода.

Полезные ссылки:
— OCaml.org — официальный сайт. Getting Started, документация, packages https://ocaml.org/
— OCaml Manual — полная справка по языку. Формальная семантика, все языковые конструкции https://ocaml.org/manual/
— Real World OCaml — практическая книга (2nd Edition).Jane Street, Yaron Minsky, Anil Madhavapeddy https://dev.realworldocaml.org/
— CS3110: Data Structures and Functional Programming (Cornell). Лучший образовательный ресурс для начинающих https://cs3110.github.io/textbook/

Инструменты:
— OPAM — package manager. 4,600+ packages https://opam.ocaml.org/
— Dune — build system. Композируемая, быстрая система сборки https://dune.build/
— Merlin — IDE support (LSP). Автодополнение, type information, jump to definition https://github.com/ocaml/merlin
— OCamlFormat — code formatter. Opinionated formatting https://github.com/ocaml-ppx/ocamlformat

Полный список ссылок на странице выпуска https://podlodka.io/465

❓ Хочешь обсудить выпуск или задать вопрос эксперту? Вступай в наш Telegram-чат: https://t.me/podlodka
📰 Не любишь чаты, но хочешь оставаться в курсе дел и прокачивать свой IT кругозор? Подписывайся на наш Telegram-канал: там публикуются анонсы новых выпусков, а в комментах идут ценные и горячие обсуждения! 5 тысяч опытных IT-специалистов уже с нами: https://t.me/podlodkanews
👉Предложить себя в подкаст https://forms.gle/NtmaZmeDAa3MHSra7

Тайм-коды:
00:00 О чём выпуск?
02:30 Чем OCaml уникален?
22:13 Разные синтаксисы OCaml
46:05 В каких областях применяется OCaml ?
55:22 Системы типы в OCaml
01:08:46 Управление памятью
01:12:45 Многопоточность
01:17:30 Почему в OCaml мощная модульная система?
01:26:55 Почему мало апдейтов новых версий OCaml?
01:33:38 Понимают ли LLM OCaml?
01:38:20 Почему OCaml не популярен?
01:42:35 Стоит ли начинать новые проекты на OCaml?
01:46:07 Заключение