Apparently some kind of #OCaml #ebook, this section describing mutable fields
on 02025-10-17"Hardcaml" is Jane Street’s #HDL in #OCaml.
on 02025-09-05#PDF slides on the evolution of #OCaml by KC Sivaramakrishnan, a professor at IIT Madras and CTO of #Tarides. Apparently OCaml finally has dynamic arrays (like C++ vector) since 5.2.0. #toread
"ocp-indent" is an “indentation tool for #OCaml, to be used from editors like #Emacs and #Vim”
on 02025-08-30"Merlin" provides “context sensitive completion for #OCaml in #Vim and #Emacs”
on 02025-08-30#Wasm got #garbage-collection support (useful for things like #OCaml)
on 02025-08-30#OCaml #ebook introduction advocating OCaml
on 02025-08-30I didn’t know #OCaml had a compiler targeting #Wasm, which has now been merged back into the JS compiler.
on 02025-08-30on why the author uses #OCaml and in particular things like LSP tooling (and Merlin, an alternative), Jane Street’s Dune build system, and the OPAM package manager. #CC BY-SA
on 02025-08-30#LLVM supports the TI-84+ CE calculator now, which has 256KiB of RAM, and ocamlcc can compile #OCaml to C, and js_of_ocaml compiles it to JS. Farlow wrote a new c_of_ocaml backend for js_of_ocaml. But he doesn’t have floats or exceptions working yet. #compilers
a #ropes library for #OCaml, with “all non-deprecated operations of String”
on 02023-12-27#OCaml uses the value restriction in the same way as SML to monomorphize mutable #types
on 02022-05-21Polymorphic variant #types in #OCaml
on 02022-05-21Variant records (sum #types) as explained by Real World #OCaml
on 02022-05-21applicative #parsing in #OCaml with GADTs
on 02021-03-02#OCaml has an #FFI confusingly also called “ctypes” now. It’s in OPAM, not the base distribution.
on 02019-02-15Xavier Leroy of #OCaml fame found a nondeterministic #hardware bug (“nightmare-level erratum”) in Intel Skylake processors. “Short loops using both the AH/BH/CH/DH registers and the corresponding wide register may result in unpredictable system behavior” #debugging
on 02017-07-13why #OCaml or other ML-family languages are good for writing compilers.
on 02015-12-12Edgar Aroutiounian wrote a compiler from #OCaml to #JS for node.js. #compilers
on 02015-12-03an #ebook #introduction to #OCaml.
on 02015-11-16discussion of #OCaml for new users, and what libraries and stuff to use, starting from Edgar Aroutiounian’s opinionated blog post on the matter, where he recommends opam; possibly ocamlfind and/or ocamlbuild; oasis instead of make; merlin for Emacs/Vim integration; either Core, Batteries, or Containers; and his own Podge library for doing Perlish stuff.
on 02015-11-16#Oleg and Chung-Chieh Shan have built a #probabilistic-programming system as an embedded DSL in #OCaml, called "HANSEI". Holy shit, they did it in 2008. That’s at least five years ahead of the trend.
on 02015-09-18#OCaml on PIC microcontrollers.
on 02015-08-27Oh my, the #OCaml Batteries Included package includes #algorithms and data structures like finger trees, dynamic arrays, abstract iteration (“enumeration”), UTF-8, and serialization (“marshal”). No inotify though.
on 02015-08-13some notes on the new features of the #OCaml 4.00.0 release in 2012, including much better #GDB integration and some new #performance optimizations, including in particular infix function application operators like Haskell's $ and flip $.
Oh hey, Jane Street released #inotify bindings for #OCaml! Their documentation kind of sucks still.
on 02015-08-13How to do high-#performance #OCaml, according to a HFT prop #trading shop. Lots of #asm and a bunch of FFI C. I didn't know None had the same representation as int 0.
An #OCaml blog by some (Turkish?) people who have apparently an SMT solver. Notes about #performance and #profiling.
on 02015-08-05How to understand #performance and do #profiling in #OCaml.
on 02015-08-05Google trends shows #Clojure search interest coming from zero in 2008 and now a few times higher than #OCaml, a bit below F# (whose upward trend crossed OCaml’s downward trend in 2008), and about equal to GHC. Sadly, “Haskell” and “Scala” are not useful search terms, and even “F#” may not be.
on 02015-08-05That jerk Jon Harrop says he thinks #OCaml #multithreading’s lack of multicore #performance scalability is due to the GC, and that OCaml has become less popular since the dawn of the multicore era as a result.
on 02015-08-05More on #OCaml #multithreading.
on 02015-08-05#OCaml doesn’t support getting multicore performance by #multithreading, which is perhaps unsurprising since it uses an incremental garbage collector; it does support Python-GIL-style multithreading for the purpose of not rewriting your loops in explicit CPS. When bytecode-executing (ocamlc rather than ocamlopt) it can use emulated threads.
There are #OCaml bindings to #Cairo; even though they are not part of lablgtk2, they work with lablgtk2. I don’t know how to do gdk_cairo_create() in lablgtk2 though.
Documentation for the #OCaml #Incremental library for #SAC from Jane Street
on 02015-08-05#LZ4 #compression implementation catalog, including incompatible #OCaml and #Lua implementations
on 02015-08-05