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

Description

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-канал: там публикуются анонсы новых выпусков, а в комментах идут ценные и горячие обсуждения! 7 тысяч опытных IT-специалистов уже с нами: https://t.me/podlodkanews 👉Предложить себя в подкаст https://a37921.webask.io/211d3eec0 Тайм-коды: 00:00 О чём выпуск? 02:30 Чем OCaml уникален? 22:13 Разные синтаксисы OCaml 46:05 В каких областях применяется OCaml ? 55:22 Системы типы в OCaml 01:08:46 Управление памятью 01:12:45 Многопоточность 01:17:30 Поч