corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08c65-1daa-701e-944c-3a6d8caec90f

Why I chose OCaml as my primary language

xvw.lol · published 13 August 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at xvw.lol Wayback capture
1blogs citing
First cited
18 Aug 2025
Most recent
18 Aug 2025
Rank this month
not ranked
Links from this post
271
Words captured
12,824

Cited by

Blog
In the post
Date
gr-im.github.io
Basic dependency injection with objects Read at the source ↗
18 Aug 2025

Links from this post

Link
Host
https://tarides.com
tarides.com
rust Read at the source ↗
rust-lang.org
https://go.dev/
go.dev
https://caml.inria.fr/caml-light/release.fr.html
caml.inria.fr
http://sdz.tdct.org/
sdz.tdct.org
https://www.erlang.org/
erlang.org
https://dev.realworldocaml.org/prologue.html
dev.realworldocaml.org
https://dev.realworldocaml.org/toc.html
dev.realworldocaml.org
https://cs3110.github.io/textbook/chapters/intro/intro.html
cs3110.github.io
https://cs3110.github.io/textbook/cover.html
cs3110.github.io
https://www.youtube.com/watch?v=v1CmGbOGb2I
youtube.com
https://twitter.com/yminsky
twitter.com
https://blog.janestreet.com/
blog.janestreet.com
https://www.youtube.com/watch?v=TxuLrsQZprE
youtube.com
https://lambdafoo.com/ Read at the source ↗
lambdafoo.com
https://yowcon.com/melbourne-2023
yowcon.com
https://roscidus.com/blog/blog/categories/0install/
roscidus.com
https://roscidus.com/blog/
roscidus.com
https://0install.net/
0install.net
NixOS Read at the source ↗
nixos.org
python language Read at the source ↗
python.org
https://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/
roscidus.com
https://www.cs.bu.edu/~hwxi/atslangweb/
cs.bu.edu
https://learn.microsoft.com/en-us/dotnet/csharp/
learn.microsoft.com
https://go.dev
go.dev
https://ocaml.org/industrial-users
ocaml.org
https://ocaml.org/academic-users
ocaml.org
https://ocaml.org/about
ocaml.org
https://v2.ocaml.org/manual/effects.html
v2.ocaml.org
https://arxiv.org/search/cs?searchtype=author&query=Sivaramakrishnan,+K
arxiv.org
https://blog.janestreet.com/search/?query=oxidizing
blog.janestreet.com
https://coq.inria.fr/
coq.inria.fr
https://ocaml.org/conferences/ocaml-workshop-2021
ocaml.org
https://xavierleroy.org/
xavierleroy.org
https://watch.ocaml.org/w/tU8wR9EcAcyFHHVcX4GS46
watch.ocaml.org
https://en.wikipedia.org/wiki/ML_%28programming_language%29
en.wikipedia.org
https://en.wikipedia.org/wiki/Garbage_collection_%28computer_science%29
en.wikipedia.org
https://en.wikipedia.org/wiki/Type_inference
en.wikipedia.org
https://en.wikipedia.org/wiki/Functional_programming
en.wikipedia.org
https://en.wikipedia.org/wiki/Imperative_programming
en.wikipedia.org
https://github.com/ocaml/ocaml?tab=readme-ov-file
github.com
https://ocsigen.org/js_of_ocaml/latest/manual/overview
ocsigen.org
https://github.com/ocaml-wasm/wasm_of_ocaml
github.com
https://melange.re/
melange.re
https://twitter.com/bibear
twitter.com
https://www.ifttd.io/liste-des-episodes
ifttd.io
https://www.ifttd.io/episodes/le-langage-de-tous-les-langages
ifttd.io
https://github.com/d-plaindoux
github.com
https://fsharp.org
fsharp.org
https://www.scala-lang.org/
scala-lang.org
rust Read at the source ↗
rust-lang.org
https://homepages.inf.ed.ac.uk/wadler/papers/erlang/erlang.pdf
homepages.inf.ed.ac.uk
https://openjdk.org/jeps/409
openjdk.org
https://www.ruby-lang.org/en/news/2020/12/25/ruby-3-0-0-released/
ruby-lang.org
https://crystal-lang.org/
crystal-lang.org
https://mypy-lang.org/
mypy-lang.org
https://www.irif.fr/_media/users/gduboc/elixir-types.pdf
irif.fr
TypeScript Read at the source ↗
typescriptlang.org
https://bidenwhitehouse.archives.gov/oncd/briefing-room/2024/02/26/press-release-technical-report/
bidenwhitehouse.archives.gov
https://users.rust-lang.org/t/understanding-how-the-rust-compiler-is-built/87237/7
users.rust-lang.org
A Time for Change: Our Response to the White House Cybersecurity Press Release Read at the source ↗
tarides.com
https://wiki.haskell.org/State_Monad
wiki.haskell.org
https://twitter.com/rtguillon
twitter.com
https://reasonml.github.io/
reasonml.github.io
https://caml.inria.fr/about/history.en.html
caml.inria.fr
https://en.wikipedia.org/wiki/Tk_%28software%29
en.wikipedia.org
https://ocaml.org/manual/lablexamples.html
ocaml.org
https://ocaml.org/manual/polyvariant.html
ocaml.org
https://www.inria.fr/fr/avec-xavier-leroy-linformatique-confirme-sa-presence-au-college-de-france
inria.fr
https://arxiv.org/search/?query=ocaml&searchtype=all&source=header
arxiv.org
https://ocaml.org/manual/objectexamples.html
ocaml.org
https://www.irif.fr/~vouillon/
irif.fr
https://www.irif.fr/~vouillon/publi/these.ps.gz
irif.fr
https://caml.inria.fr/pub/docs/oreilly-book/html/book-ora144.html
caml.inria.fr
https://en.wikipedia.org/wiki/Row_polymorphism
en.wikipedia.org
https://en.wikipedia.org/wiki/Structural_type_system
en.wikipedia.org
https://en.wikipedia.org/wiki/Nominal_type_system
en.wikipedia.org
https://en.wikipedia.org/wiki/SOLID
en.wikipedia.org
https://spring.io/projects/spring-boot
spring.io
https://cs3110.github.io/textbook/chapters/data/algebraic_data_types.html
cs3110.github.io
https://docs.oracle.com/en/java/javase/17/language/sealed-classes-and-interfaces.html
docs.oracle.com
https://docs.scala-lang.org/scala3/reference/enums/adts.html
docs.scala-lang.org
https://ocaml.org/manual/5.2/patterns.html
ocaml.org
https://en.wikipedia.org/wiki/Parametric_polymorphism
en.wikipedia.org
https://pragprog.com/titles/swdddf/domain-modeling-made-functional/
pragprog.com
https://ocaml.org/manual/gadts-tutorial.html
ocaml.org
https://caml.inria.fr/pub/docs/manual-caml-light/
caml.inria.fr
https://smlfamily.github.io/
smlfamily.github.io
https://en.wikipedia.org/wiki/Modula-2
en.wikipedia.org
https://dune.build/
dune.build
https://en.wikipedia.org/wiki/Leaky_abstraction
en.wikipedia.org
https://ocaml.org/docs/functors
ocaml.org
https://okmij.org/ftp/ML/higher-kind-poly.html
okmij.org
https://github.com/yallop/higher?tab=readme-ov-file
github.com
https://dl.acm.org/doi/10.1145/3649818
dl.acm.org
https://people.mpi-sws.org/~dreyer/thesis/main.pdf
people.mpi-sws.org
OCaml, modules, and import schemes Read at the source ↗
xvw.lol
https://ocaml.org/manual/firstclassmodules.html
ocaml.org
https://en.wikipedia.org/wiki/Actor_model
en.wikipedia.org
https://go101.org/article/channel.html
go101.org
https://github.com/ocaml-multicore/ocaml-effects-tutorial
github.com
https://ocaml.org/manual/effects.html
ocaml.org
https://github.com/ocaml/ocaml/pull/12309
github.com
https://github.com/xhtmlboi/yocaml
github.com
https://github.com/xhtmlboi/yocaml/commit/d78bb21077272ae86f7b6b3017509596de0a5a27
github.com
https://github.com/art-w
github.com
https://hackmd.io/@yF_ntUhmRvKUt15g7m1uGw/Bk-5NXh15
hackmd.io
https://hackmd.io/@yF_ntUhmRvKUt15g7m1uGw/BJBZ7TMeq
hackmd.io
https://github.com/yallop/effects-bibliography
github.com
https://ocaml.org/manual/bindingops.html
ocaml.org
https://en.wikipedia.org/wiki/Functor_%28functional_programming%29
en.wikipedia.org
https://en.wikipedia.org/wiki/Applicative_functor
en.wikipedia.org
https://en.wikipedia.org/wiki/Monad_%28functional_programming%29
en.wikipedia.org
https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/computation-expressions
learn.microsoft.com
https://github.com/ocaml/ocaml/pull/12736
github.com
https://arxiv.org/abs/2407.11816
arxiv.org
https://opensource.janestreet.com/
opensource.janestreet.com
https://antonlorenzen.de/mode-inference.pdf
antonlorenzen.de
https://clement.blaudeau.net/assets/pdf/blaudeau_ocaml_modules.pdf
clement.blaudeau.net
https://www.cl.cam.ac.uk/~jdy22/papers/modular-implicits.pdf
cl.cam.ac.uk
https://xnning.github.io/papers/icfp23.pdf
xnning.github.io
https://okmij.org/ftp/ML/MetaOCaml.html
okmij.org
https://ocamlpro.com/blog/tag/flambda2/
ocamlpro.com
https://en.wikipedia.org/wiki/Ad_hoc_polymorphism
en.wikipedia.org
https://en.wikibooks.org/wiki/Haskell/Classes_and_types
en.wikibooks.org
https://doc.rust-lang.org/book/ch10-02-traits.html
doc.rust-lang.org
https://docs.scala-lang.org/tour/implicit-parameters.html
docs.scala-lang.org
https://coq.inria.fr/doc/v8.18/refman/language/extensions/canonical.html
coq.inria.fr
https://blog.janestreet.com/the-perils-of-polymorphic-compare/
blog.janestreet.com
https://github.com/xvw/preface
github.com
https://github.com/xvw/preface/blob/master/guides/option_instantiation.md
github.com
https://people.mpi-sws.org/~rossberg/1ml/1ml-extended.pdf
people.mpi-sws.org
https://www.ocaml.org/manual/5.2/recursivemodules.html
ocaml.org
https://en.wikipedia.org/wiki/Value_restriction
en.wikipedia.org
https://caml.inria.fr/pub/papers/garrigue-value_restriction-fiwflp04.pdf
caml.inria.fr
https://ocaml.org/docs/modules
ocaml.org
https://ocaml.org/manual/ffects.html
ocaml.org
https://ocaml.org/docs/objects
ocaml.org
https://caml.inria.fr/pub/docs/u3-ocaml/index.html
caml.inria.fr
http://cristal.inria.fr/~remy/
cristal.inria.fr
https://github.com/art-w/deque
github.com
https://doc.rust-lang.org/reference/influences.html
doc.rust-lang.org
https://ocaml.org/docs/is-ocaml-web-yet
ocaml.org
https://dotnet.microsoft.com/en-us/
dotnet.microsoft.com
https://en.wikipedia.org/wiki/Java_virtual_machine
en.wikipedia.org
https://en.wikipedia.org/wiki/Survivorship_bias
en.wikipedia.org
Launching the First-Class Windows Project Read at the source ↗
tarides.com
https://github.com/diskuv/dkml-installer-ocaml
github.com
http://ocsigen.org/js_of_ocaml/latest/manual/overview
ocsigen.org
https://www.irif.fr/~vouillon/publi/js_of_ocaml.pdf
irif.fr
https://nodejs.org/en
nodejs.org
https://webassembly.org/
webassembly.org
https://github.com/WebAssembly/gc
github.com
https://ocsigen.org
ocsigen.org
https://melange.re
melange.re
https://discuss.ocaml.org/t/a-short-history-of-rescript-bucklescript/7222
discuss.ocaml.org
https://www.idris-lang.org/
idris-lang.org
https://nim-lang.org/
nim-lang.org
https://haxe.org/
haxe.org
https://github.com/HaxeFoundation/haxe
github.com
https://www.irif.fr/~balat/publications/2006mlworkshop-balat-ocsigen.pdf
irif.fr
https://mirage.io/
mirage.io
https://en.wikipedia.org/wiki/Unikernel
en.wikipedia.org
https://ocaml.org/platform
ocaml.org
https://ocaml.org/tools/platform-roadmap
ocaml.org
https://en.wikipedia.org/wiki/CTAN
en.wikipedia.org
https://en.wikipedia.org/wiki/TeX
en.wikipedia.org
https://en.wikipedia.org/wiki/CPAN
en.wikipedia.org
https://www.perl.org/
perl.org
https://en.wikipedia.org/wiki/PEAR
en.wikipedia.org
https://www.php.net/
php.net
https://en.wikipedia.org/wiki/RubyGems
en.wikipedia.org
https://opam.ocaml.org
opam.ocaml.org
https://raw.githubusercontent.com/ocaml/opam/30598a59c98554057ce2beda80f0d31474b94150/specs/roadmap.pdf
raw.githubusercontent.com
https://opam.ocaml.org/about.html
opam.ocaml.org
https://ocaml.org/docs/opam-switch-introduction
ocaml.org
https://github.com/ocaml/opam-repository
github.com
https://check.ci.ocaml.org/
check.ci.ocaml.org
https://www.youtube.com/watch?v=5JDSUCx-tPw
youtube.com
https://discuss.ocaml.org/t/ann-dune-developer-preview-updates/15160
discuss.ocaml.org
https://ocaml.org/community
ocaml.org
https://esy.sh/
esy.sh
https://github.com/ocaml/ocamlbuild
github.com
https://github.com/ocaml/oasis
github.com
https://github.com/OCamlPro/ocp-build
github.com
https://ocaml.org/p/jenga/latest
ocaml.org
https://www.gnu.org/software/make/
gnu.org
https://www.janestreet.com/
janestreet.com
https://dune.readthedocs.io/en/stable/
dune.readthedocs.io
https://en.wikipedia.org/wiki/YAML
en.wikipedia.org
https://en.wikipedia.org/wiki/TOML
en.wikipedia.org
https://en.wikipedia.org/wiki/JSON
en.wikipedia.org
https://en.wikipedia.org/wiki/S-expression
en.wikipedia.org
https://ocaml.org/manual/5.2/comp.html
ocaml.org
https://en.wikipedia.org/wiki/Read%E2%80%93eval%E2%80%93print_loop
en.wikipedia.org
https://github.com/tarides/dune-release
github.com
https://blogs.ncl.ac.uk/andreymokhov/about/
blogs.ncl.ac.uk
https://ndmitchell.com/
ndmitchell.com
https://simon.peytonjones.org/
simon.peytonjones.org
https://dl.acm.org/doi/10.1145/3236774
dl.acm.org
https://hackage.haskell.org/package/base-4.20.0.1/docs/Control-Applicative.html
hackage.haskell.org
https://dl.acm.org/doi/10.1145/3341694
dl.acm.org
https://obazl.github.io/docs_obazl/
obazl.github.io
https://bazel.build/
bazel.build
https://github.com/rizo/onix
github.com
NixOS Read at the source ↗
nixos.org
https://buck2.build/
buck2.build
https://github.com/OCamlPro/drom
github.com
https://doc.rust-lang.org/stable/cargo/
doc.rust-lang.org
Vim - VI Improved Read at the source ↗
vim.org
https://www.gnu.org/software/emacs/
gnu.org
https://github.com/ocaml/merlin
github.com
https://github.com/OCamlPro/ocp-indent
github.com
https://github.com/ocaml-ppx/ocamlformat
github.com
https://en.wikipedia.org/wiki/Visual_Studio_Code
en.wikipedia.org
https://en.wikipedia.org/wiki/Language_Server_Protocol
en.wikipedia.org
https://github.com/ocaml/ocaml-lsp
github.com
https://marketplace.visualstudio.com/items?itemName=ocamllabs.ocaml-platform
marketplace.visualstudio.com
https://github.com/tarides/ocaml-eglot
github.com
https://ocaml.org/manual/5.2/ocamldoc.html
ocaml.org
https://ocaml.github.io/odoc/
ocaml.github.io
https://doc.sherlocode.com/
doc.sherlocode.com
https://ocaml.org/packages
ocaml.org
https://en.wikipedia.org/wiki/Doctest
en.wikipedia.org
https://github.com/realworldocaml/mdx
github.com
https://elixir-lang.org/
elixir-lang.org
https://hexdocs.pm/
hexdocs.pm
https://www.lexifi.com/
lexifi.com
https://ocsigen.org/home/intro.html
ocsigen.org
https://www.besport.com
besport.com
https://mirage.io
mirage.io
https://blog.container-solutions.com/all-about-unikernels-part-1-what-they-are
blog.container-solutions.com
https://aantron.github.io/dream/
aantron.github.io
https://ocaml.org/packages/search?q=web
ocaml.org
https://github.com/hacl-star/hacl-star
github.com
https://fstar-lang.org/
fstar-lang.org
https://github.com/mirage/alcotest
github.com
https://github.com/c-cube/qcheck
github.com
https://github.com/stedolan/crowbar
github.com
https://dune.readthedocs.io/en/stable/tests.html
dune.readthedocs.io
https://dune.readthedocs.io/en/latest/reference/cram.html
dune.readthedocs.io
https://github.com/ocaml-batteries-team/batteries-included
github.com
https://github.com/ygrek/ocaml-extlib
github.com
https://opensource.janestreet.com/base/
opensource.janestreet.com
https://janestreet.com
janestreet.com
https://dev.realworldocaml.org/
dev.realworldocaml.org
https://opensource.janestreet.com/core/
opensource.janestreet.com
https://github.com/c-cube/ocaml-containers
github.com
https://github.com/dbuenzli/bos
github.com
https://github.com/hackwaly/ocamlearlybird
github.com
http://gasche.info
gasche.info
https://perso.quaesituri.org/florian.angeletti
perso.quaesituri.org
https://www.heyplzlookat.me/articles/critique-de-la-raison-pure.gmi
heyplzlookat.me
https://fsharp.org/
fsharp.org
https://fsharp.org/history/hopl-final/hopl-fsharp.pdf
fsharp.org
https://dotnet.microsoft.com
dotnet.microsoft.com
https://derniercri.io/
derniercri.io
https://www.d-edge.com
d-edge.com
https://github.com/dotnet/core
github.com
https://ocaml.org/manual/5.2/bindingops.html
ocaml.org
https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/active-patterns
learn.microsoft.com
https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/generics/statically-resolved-type-parameters
learn.microsoft.com
https://learn.microsoft.com/fr-fr/dotnet/fsharp/language-reference/attributes
learn.microsoft.com
https://ocaml.org/manual/5.2/polyvariant.html
ocaml.org
https://kotlinlang.org/
kotlinlang.org
https://en.wikipedia.org/wiki/Type_class
en.wikipedia.org
https://discuss.ocaml.org/t/has-there-been-a-syntax-proposed-for-combining-mli-into-ml/15163
discuss.ocaml.org
https://www.craigfe.io
craigfe.io
https://www.craigfe.io/posts/the-intf-trick
craigfe.io
https://github.com/ocsigen/js_of_ocaml
github.com
https://discuss.ocaml.org/
discuss.ocaml.org