Podcasts about real world ocaml

У меня в гостях Павел Аргентов, практикующий fp-программист. В этом выпуске мы попытались осветить все аспекты языка OCaml, сферы его применения, вопросы разработки, экосистему и сообщество вокруг. В начале Паша сделал довольно подробный экскурс в историю появления самого языка, начиная с появления диалекта Lisp'а в семидесятых, добавление алгебраических типов данных и категориальной абстрактной машины в восьмидесятых, появление реализации Caml Light в девяностых и заканчивая уже современной инкарнацией c поддержкой объектной модели. Подробно обсудили основые парадигмы языка и ключевые концепции, такие как: функциональное программирование, strict-механика и вытекающие из этого последствия, связывание переменных и лексические скоупы для связывания, система типов Хиндли-Милнера и опциональные аннотации типов, ООП-слой, язык модулей и функторы, инструментарий для синтаксического расширения (собственные DSL) и многое другое. Пообщались о сферах применения языка, для каких задач OCaml подходит лучше всего, какие преимущества у него по сравнению с другими языками в контексте этих задач. Паша рассказал про различные известные (и не очень) проекты, написанные на OCaml, среди которых, например, MirageOS, фреймворк для построения Unikernel систем. Рассказал про различные проекты, написанные под сильным влиянием OCaml. В основном это различные языки программирования, которые основаны на идеях OCaml, например FSharp, Haxe или ReasonML. Не забыли мы обсудить и экосистему вокруг языка, какие есть инструменты для работы с языком: моды к различным IDE, браузер типов, пакетные менеджеры и прочие сопутствующие инструменты, коммьюнити вокруг языка, списки рассылки, места скопления OCaml-программистов, чаты и форумы. Так же немного пофилософствовали на тему того, почему язык не получил широкого распространения среди разработчиков, с каких языков проще перейти на OCaml, стоит ли в принципе сейчас изучать этот язык. Ссылки на ресурсы по темам выпуска: * ocaml.org (http://ocaml.org/). Главный источник информации, знаний и документации по OCaml * Wiki-статья про OCaml (https://ru.wikipedia.org/wiki/OCaml) * Статья Павла “Beginner’s OCaml setup on Mac” (https://medium.com/@argent_smith/beginners-ocaml-setup-on-mac-fc206747b1ab) * Статья Павла “How to synchronize application development using Unison?” (https://hype.codes/how-synchronize-application-development-using-unison) * Multicore OCaml (http://ocamllabs.io/doc/multicore.html) * Экосистема OCaml: * Awesome OCaml (https://github.com/rizo/awesome-ocaml) * OCaml Package Manager (https://opam.ocaml.org/) * Tuareg: an Emacs OCaml mode (https://github.com/ocaml/tuareg) * Merlin (https://github.com/ocaml/merlin) is an editor service that provides modern IDE features for OCaml * oasis - Tooling for building OCaml libraries and application (https://github.com/ocaml/oasis)s * OCaml Labs (http://ocamllabs.io/) * Jane Street Capital's standard library overla (https://github.com/janestreet/core)y * Ocsigen (http://ocsigen.org/).The most advanced multi-tier framework for Web and mobile apps * MirageOS (https://mirage.io/). Library operating system that constructs unikernels * Success’n’users: * http://fsharp.org (http://fsharp.org/) * http://hacklang.org (http://hacklang.org/) * https://flow.org (https://flow.org/) * https://github.com/facebook/pfff/wiki/Main * https://reasonml.github.io (https://reasonml.github.io/) * http://haxe.org (http://haxe.org/) * https://github.com/xapi-project/ * https://blog.janestreet.com/tag/ocaml/ * https://coq.inria.fr (https://coq.inria.fr/) * https://www.cis.upenn.edu/~bcpierce/unison/ * Книги: * The OCaml system (http://caml.inria.fr/pub/docs/manual-ocaml/) * Real World OCaml (https://realworldocaml.org/) * Список книг на офф сайте (https://ocaml.org/learn/books.html) Поддержи подкаст на patreon (https://www.patreon.com/KSDaemon) а так же ретвитом, постом и просто рассказом друзьям!

Your favorite features of Type Systems in one episode! Interfaces, Generics, ADT, Type Classes and Dependent Types. We'll talk about what they are and how they shape the way we work. Code Podcast Forum: https://discuss.codepodcast.com/t/episode-5-type-systems/22 Episode produced by: Andrey Salomatin https://twitter.com/flpvsk Michael Beschastnov michael@codepodcast.com Guests (in order of appearance): Joseph Abrahamson https://twitter.com/sdbo Radoslav Kirov https://twitter.com/radokirov Erlend Hamberg https://twitter.com/ehamberg Edwin Brady https://twitter.com/edwinbrady Special thanks to our reviewers, this time: Adriano Melo https://twitter.com/AdrianoMelo Roman Liutikov https://twitter.com/roman01la If you'd like to help us make the podcast better *and* get episodes earlier, consider becoming a reviewer: https://gist.github.com/filipovskii/f12685bc74a425ba651c736fb5e3e5ae ## Links: Basics Benjamin C. Pierce "Types and Programming Languages" https://www.cis.upenn.edu/~bcpierce/tapl/ A draft of the book available for free: http://ropas.snu.ac.kr/~kwang/520/pierce_book.pdf Rob Nederpelt and Herman Geuvers "Type Theory and formal proof" http://www.win.tue.nl/~wsinrpn/book_type_theory.htm Robert Harper "Practical Foundations for Programming Languages" https://www.cs.cmu.edu/~rwh/pfpl.html Interview with Jesper Louis Andersen about Erlang, Haskell, OCaml, Go, Idris, the JVM, software and protocol design — PART I https://notamonadtutorial.com/interview-with-jesper-louis-andersen-about-erlang-haskell-ocaml-go-idris-the-jvm-software-and-b0de06440fbd#.rawqi9bvp Paper by Xavier Leroy "Manifest Types, Modules, and Separate Compilation" (1994) http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3950 Paper by Conor McBride and Ross Paterson "FUNCTIONAL PEARL: Applicative programming with effects" http://strictlypositive.org/IdiomLite.pdf ## Links: Idris Edwin Brady "Type-Driven Development with Idris" http://tinyurl.com/typedd ## Links: TypeScript http://www.typescriptlang.org/ ## Links: Haskell Christopher Allen and Julie Moronuki "Haskell Programming from First Principles" http://haskellbook.com/ Learn you some Haskell http://learnyouahaskell.com/ ## Links: Scala Paul Chiusano and Rúnar Bjarnason "Functional Programming in Scala" https://www.manning.com/books/functional-programming-in-scala ##Links: OCaml Yaron Minsky, Anil Madhavapeddy, Jason Hickey "Real World Ocaml" https://realworldocaml.org A chapter from "Real World Ocaml" about Objects https://realworldocaml.org/v1/en/html/objects.html OCaml Documentation http://caml.inria.fr/pub/docs/manual-ocaml/ Effective ML (video) https://blogs.janestreet.com/effective-ml-video/ ## Links: Discussions What exactly makes the Haskell type system so revered (vs say, Java)? http://softwareengineering.stackexchange.com/questions/279316/what-exactly-makes-the-haskell-type-system-so-revered-vs-say-java What is a Functor? http://stackoverflow.com/questions/2030863/in-functional-programming-what-is-a-functor#2031421 ADTs vs Inheritance http://stackoverflow.com/questions/3271974/why-adts-are-good-and-inheritance-is-bad Existential vs Universal Typess http://stackoverflow.com/questions/14299638/existential-vs-universally-quantified-types-in-haskell#14299983 Subclassing vs Subtyping http://www.cs.princeton.edu/courses/archive/fall98/cs441/mainus/node12.html Why Haskell has no subtyping https://www.reddit.com/r/haskell/comments/423o0c/why_no_subtypingsubtype_polymorphism/ Haskell vs Java type systems http://softwareengineering.stackexchange.com/questions/279316/what-exactly-makes-the-haskell-type-system-so-revered-vs-say-java ## Music Mid-Air! @mid_air

03:32 - Jeff Morrison Introduction Twitter GitHub Facebook 03:46 - Avik Chaudhuri Introduction Twitter GitHub LinkedIn Facebook 04:27 - Flow @flowtype [GitHub] flow 05:36 - Static Type Checking Dynamic vs Static Type Languages 09:52 - Flow and Unit Testing Jest 12:39 - Gradual Typing 15:07 - Type Inference 17:50 - Keeping Up with New Features in JavaScript Babel 20:49 - Generators 24:46 - Working on Flow 28:27 - Flow vs TypeScript Inference Support Tony Hoare: Null References: The Billion Dollar Mistake 35:41 - Putting the “Java” Back in JavaScript Server/Client Overview Prototyping 45:26 - Flow and the JavaScript Community 46:43 - React Support 48:39 - Documentation gh-pages (link to the docs) IRC Channel for Flow: #flowtype on webchat.freenode.net Picks Nolan Lawson: We have a problem with promises (Aimee) Jim 'N Nick's BBQ Restaurant (Aimee) Frank McSherry: Scalability! But at what COST? (Jamison) Frank McSherry: Bigger data; same laptop (Jamison) Greg Wilson: What We Actually Know About Software Development, and Why We Believe It's True (Jamison) Marron: Time-Travel Debugging for JavaScript/HTML Applications (Jeff) Real World OCaml (Jeff) Muse (Jeff) Shtetl-Optimized (Avik) Chef's Table (Avik)

03:32 - Jeff Morrison Introduction Twitter GitHub Facebook 03:46 - Avik Chaudhuri Introduction Twitter GitHub LinkedIn Facebook 04:27 - Flow @flowtype [GitHub] flow 05:36 - Static Type Checking Dynamic vs Static Type Languages 09:52 - Flow and Unit Testing Jest 12:39 - Gradual Typing 15:07 - Type Inference 17:50 - Keeping Up with New Features in JavaScript Babel 20:49 - Generators 24:46 - Working on Flow 28:27 - Flow vs TypeScript Inference Support Tony Hoare: Null References: The Billion Dollar Mistake 35:41 - Putting the “Java” Back in JavaScript Server/Client Overview Prototyping 45:26 - Flow and the JavaScript Community 46:43 - React Support 48:39 - Documentation gh-pages (link to the docs) IRC Channel for Flow: #flowtype on webchat.freenode.net Picks Nolan Lawson: We have a problem with promises (Aimee) Jim 'N Nick's BBQ Restaurant (Aimee) Frank McSherry: Scalability! But at what COST? (Jamison) Frank McSherry: Bigger data; same laptop (Jamison) Greg Wilson: What We Actually Know About Software Development, and Why We Believe It's True (Jamison) Marron: Time-Travel Debugging for JavaScript/HTML Applications (Jeff) Real World OCaml (Jeff) Muse (Jeff) Shtetl-Optimized (Avik) Chef's Table (Avik)

03:32 - Jeff Morrison Introduction Twitter GitHub Facebook 03:46 - Avik Chaudhuri Introduction Twitter GitHub LinkedIn Facebook 04:27 - Flow @flowtype [GitHub] flow 05:36 - Static Type Checking Dynamic vs Static Type Languages 09:52 - Flow and Unit Testing Jest 12:39 - Gradual Typing 15:07 - Type Inference 17:50 - Keeping Up with New Features in JavaScript Babel 20:49 - Generators 24:46 - Working on Flow 28:27 - Flow vs TypeScript Inference Support Tony Hoare: Null References: The Billion Dollar Mistake 35:41 - Putting the “Java” Back in JavaScript Server/Client Overview Prototyping 45:26 - Flow and the JavaScript Community 46:43 - React Support 48:39 - Documentation gh-pages (link to the docs) IRC Channel for Flow: #flowtype on webchat.freenode.net Picks Nolan Lawson: We have a problem with promises (Aimee) Jim 'N Nick's BBQ Restaurant (Aimee) Frank McSherry: Scalability! But at what COST? (Jamison) Frank McSherry: Bigger data; same laptop (Jamison) Greg Wilson: What We Actually Know About Software Development, and Why We Believe It's True (Jamison) Marron: Time-Travel Debugging for JavaScript/HTML Applications (Jeff) Real World OCaml (Jeff) Muse (Jeff) Shtetl-Optimized (Avik) Chef's Table (Avik)