David Allsopp
@dra27.uk
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Yes, I very much agree!
November 8, 2025 at 12:33 PM
Yes, I very much agree!
Actually, dune package management is then able to stop doing anything special for the compiler - it becomes possible for Dune’s cache to cache the build instead (which was tested with a much earlier build back in March IIRC). So Dune still “builds” the compiler multiple times - but using the cache
September 15, 2025 at 3:09 PM
Actually, dune package management is then able to stop doing anything special for the compiler - it becomes possible for Dune’s cache to cache the build instead (which was tested with a much earlier build back in March IIRC). So Dune still “builds” the compiler multiple times - but using the cache
Discuss announcement at discuss.ocaml.org/t/17253; “overview” PR at github.com/ocaml/ocaml/...; some additional pontifications at www.dra27.uk/blog/platfor...
Relocatable OCaml
It is my great pleasure, 3 years to the day since I finalised the first full demonstration of it in Ljubljana for the OCaml Workshop in 2022, to announce the general availability of Relocatable OCaml ...
discuss.ocaml.org
September 15, 2025 at 11:46 AM
Discuss announcement at discuss.ocaml.org/t/17253; “overview” PR at github.com/ocaml/ocaml/...; some additional pontifications at www.dra27.uk/blog/platfor...
Working on Windows, too... 16 seconds verses 4 minutes.
July 20, 2025 at 3:13 PM
Working on Windows, too... 16 seconds verses 4 minutes.
I was then wondering if there may be some trickery/annotion which would allow it to realise that the old ref cell is now consumed and the new one is the same, so reuse it (doesn’t the uniqueness mean we can’t observe the physical address either?)
June 2, 2025 at 2:21 PM
I was then wondering if there may be some trickery/annotion which would allow it to realise that the old ref cell is now consumed and the new one is the same, so reuse it (doesn’t the uniqueness mean we can’t observe the physical address either?)