Skip to content

Instantly share code, notes, and snippets.

@Pitometsu

Pitometsu/ocaml-education.org

Last active October 24, 2019 21:20
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Pitometsu/b9e4d6fd127a2ff4de15b6fc927d7b64 to your computer and use it in GitHub Desktop.
Save Pitometsu/b9e4d6fd127a2ff4de15b6fc927d7b64 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ocaml-education.org

OCaml

Guides

https://ocaml.org/learn/tutorials/

https://www2.lib.uchicago.edu/keith/ocaml-class/

http://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/

http://mirror.ocamlcore.org/ocaml-tutorial.org/

https://caml.inria.fr/pub/docs/manual-ocaml-4.07/

http://blog.ezyang.com/2010/10/ocaml-for-haskellers/

https://www.tutorialspoint.com/compile_ocaml_online.php

http://ocaml.github.io/ocamlunix/index.html

Books

https://v1.realworldocaml.org/

https://caml.inria.fr/pub/docs/u3-ocaml/ocaml.pdf

https://doc.lagout.org/programmation/Functional%20Programming/Pearls%20of%20Functional%20Algorithm%20Design.pdf

https://doc.lagout.org/programmation/Functional%20Programming/Chris_Okasaki-Purely_Functional_Data_Structures-Cambridge_University_Press%281998%29.pdf

https://people.csail.mit.edu/dnj/teaching/6898/projects/vicente-wagner.pdf

https://caml.inria.fr/pub/docs/oreilly-book/ocaml-ora-book.pdf

https://moflow.org/ref/The%20Handbook%20of%20Practical%20Logic%20and%20Automated%20Reasoning.pdf

Style Guide

https://ocaml.org/learn/tutorials/guidelines.html

Toolchain

Merlin

https://github.com/ocaml/merlin

OCamlDoc

https://caml.inria.fr/pub/docs/manual-ocaml/ocamldoc.html#sec351

https://github.com/zoggy/odoc_depgraph

https://dune.readthedocs.io/en/stable/documentation.html?#documentation-stanza

Dune

https://medium.com/@bobbypriambodo/starting-an-ocaml-app-project-using-dune-d4f74e291de8

https://ocamlverse.github.io/content/quickstart_ocaml_project_dune.html

https://dune.readthedocs.io/en/latest/quick-start.html

https://dune.readthedocs.io/en/latest/dune-files.html

https://github.com/mjambon/dune-starter

OPAM

https://opam.ocaml.org/doc/Manual.html#PackageFormulas

https://opam.ocaml.org/packages/

UTop

https://github.com/ocaml-community/utop#readme

Unit Testing

https://github.com/mirage/alcotest#readme

https://dune.readthedocs.io/en/latest/tests.html

https://github.com/janestreet/ppx_inline_test

PPX

https://tarides.com/blog/2019-05-09-an-introduction-to-ocaml-ppx-ecosystem.html

https://victor.darvariu.me/jekyll/update/2018/06/19/ppx-tutorial.html

http://rgrinberg.com/posts/extension-points-3-years-later/

https://whitequark.org/blog/2014/04/16/a-guide-to-extension-points-in-ocaml/

Concurrency

https://caml.inria.fr/pub/docs/manual-ocaml/libref/Thread.html

https://caml.inria.fr/pub/docs/manual-ocaml/libref/Mutex.html

https://ocaml.github.io/ocamlunix/threads.html

FFI

https://ocaml.org/learn/tutorials/calling_c_libraries.html

https://www.brendanlong.com/easy-mistakes-when-writing-ocaml-c-bindings.html

https://www.linux-nantes.org/%7Efmonnier/OCaml/ocaml-wrapping-c.html

https://caml.inria.fr/pub/docs/manual-ocaml/intfc.html

https://www.seas.upenn.edu/~cis120/current/ocaml-4.01-manual/intfc.html

http://rgrinberg.com/posts/configurator-reborn/

https://jbuilder.readthedocs.io/en/latest/quick-start.html#defining-a-library-with-c-stubs-using-pkg-config

https://jbuilder.readthedocs.io/en/latest/dune-files.html#library

https://dev.realworldocaml.org/files-modules-and-programs.html

https://dune.readthedocs.io/en/latest/configurator.html

https://unix.stackexchange.com/a/171640/97334

http://longwei.github.io/rpath_origin/

https://www.physics.drexel.edu/~wking/unfolding-disasters-old/posts/rpath/

https://amir.rachum.com/blog/2016/09/17/shared-libraries/#rpath-and-runpath

https://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual033.html#c:intf-c

https://www.brendanlong.com/easy-mistakes-when-writing-ocaml-c-bindings.html

CS/FP

Row polymorphism

https://www.cl.cam.ac.uk/teaching/1415/L28/rows.pdf

Modules

http://gallium.inria.fr/blog/overriding-submodules/

https://stackoverflow.com/a/37307124/3195266

http://www.enseignement.polytechnique.fr/informatique/INF478/docs/Ocaml/extn.html#sec233

http://www.enseignement.polytechnique.fr/informatique/INF478/docs/Ocaml/extn.html#sec234

http://www.enseignement.polytechnique.fr/informatique/INF478/docs/Ocaml/extn.html#sec235

https://blog.janestreet.com/better-namespaces-through-module-aliases/

https://dev.to/yawaramin/a-modular-ocaml-project-structure-1ikd

https://stackoverflow.com/questions/52161048/applicative-vs-generative-functors

Type Classes

https://accu.org/index.php/journals/2445

https://gist.github.com/lambdahands/6ef7e03e0c3573708698

http://www.mseri.me/typeclass-ocaml/

http://rgrinberg.com/posts/free-monads-in-the-wild-ocaml/

http://blog.shaynefletcher.org/2017/05/more-type-classes-in-ocaml.html

http://okmij.org/ftp/Computation/typeclass.html

Fix Type

https://stackoverflow.com/questions/12995044/fix-data-type-in-ocaml

https://rosettacode.org/wiki/Y_combinator#OCaml

https://www.cs.cornell.edu/courses/cs3110/2013sp/supplemental/lectures/lec29-fixpoints/lec29.html

Recursive types and aliases

https://caml.inria.fr/pub/docs/oreilly-book/html/book-ora208.html

http://www.brool.com/post/recursive-types-in-ocaml/

Type Constraints

https://stackoverflow.com/questions/24490648/what-can-be-done-with-the-constraint-keyword-in-ocaml

Variance

https://blog.janestreet.com/a-and-a/

AdHoc

https://discuss.ocaml.org/t/types-as-first-class-citizens-in-ocaml/2030/3

http://merd.sourceforge.net/polymorphism.html

Polymorphic functions

https://blog.janestreet.com/ensuring-that-a-function-is-polymorphic-in-ocaml-3-12/

https://caml.inria.fr/pub/docs/manual-ocaml/polymorphism.html

https://kunigami.blog/2017/10/02/polymorphic-recursion-in-ocaml/

http://roscidus.com/blog/blog/2013/12/20/polymorphism-for-beginners/

https://discuss.ocaml.org/t/how-would-i-implement-a-polymorphic-recursive-modules-for-generic-types/1808/2

Existential types

https://medium.com/@stephenebly/an-introduction-to-existential-types-25c130ba61a4

https://discuss.ocaml.org/t/first-class-module-and-existential-type/1253/2

https://stackoverflow.com/questions/29023783/difference-between-modules-and-existentials

http://devmusings.legiasoft.com/blog/2008/05/23/higher-rank_polymorphism_in_ocaml

http://okmij.org/ftp/Computation/Existentials.html

https://stackoverflow.com/a/16776370/3195266

Generic Programming

https://hal.inria.fr/hal-01664286/file/generic.submitted.pdf

https://ocaml.org/meetings/ocaml/2016/Balestrieri-Mauny-generic_programming_in_OCaml.pdf

https://balez.github.io/generic/

http://ocamllabs.io/iocamljs/generic_programming.html

http://mechtaev.com/publications/ml11.pdf

https://discuss.ocaml.org/t/how-would-i-implement-a-polymorphic-recursive-modules-for-generic-types/1808

Bounded quantification

https://discuss.ocaml.org/t/how-would-i-implement-a-polymorphic-recursive-modules-for-generic-types/1808/3

Implicits

https://discuss.ocaml.org/t/modular-implicits/144

https://bitbucket.org/camlspotter/ppx_implicits/src/default#readme

https://tycon.github.io/modular-implicits.html

GADT

https://discuss.ocaml.org/t/first-class-modules-and-gadt-existentials/1657

https://caml.inria.fr/pub/docs/manual-ocaml/extn.html#s%3Agadts

https://engineering.issuu.com/2015/09/17/gadt-practicalities.html

https://mads-hartmann.com/ocaml/2015/01/05/gadt-ocaml.html

https://blog.janestreet.com/why-gadts-matter-for-performance/#isso-556

https://gist.github.com/NicolasT/5373649

https://ocaml.org/meetings/ocaml/2013/proposals/formats-as-gadts.pdf

https://dttw.tech/posts/SkHN2ZlEG

Lenses

https://github.com/pdonadeo/ocaml-lens#readme

http://lambdafoo.com/blog/2015/01/16/ocaml-lenses/

http://jobjo.github.io/2017/12/20/lenses-as-modules.html

Dependent Types

https://www.reddit.com/r/ocaml/comments/3mrg2y/ocaml_as_a_dependently_typed_language/

Higher-kinded

http://ocamllabs.io/doc/higher-kinded-polymorphism.html

Phantom Types

http://camltastic.blogspot.com/2008/05/phantom-types.html

Free Monads

http://rgrinberg.com/posts/free-monads-in-the-wild-ocaml/

Libraries

https://opensource.janestreet.com/core/

delimcc

http://okmij.org/ftp/continuations/implementations.html#caml-shift

https://github.com/zinid/delimcc

https://monkey.org/~marius/implementing-python-style-generators-with-delimited-continuations.html

https://github.com/dbuenzli/logs#readme

https://github.com/vbmithr/ocaml-msgpck#readme

https://github.com/inhabitedtype/angstrom#readme

yojson

https://github.com/ocaml-community/yojson

https://github.com/ocaml-ppx/ppx_deriving_yojson

PPX

https://github.com/ocaml-ppx/ppx_deriving#readme

https://bitbucket.org/camlspotter/ppx_implicits

https://github.com/ocaml-ppx/ppx_import#readme

https://bitbucket.org/camlspotter/ppx_monadic/

https://github.com/bobatkey/ppx-monoid#readme

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment