osiire’s blog



The parallel GC

The parallel GC project has made a first proof-of-concept of a parallel GC in OCaml. It's an exciting step, but it's not clear to me where it goes from here, although we do expect to see a release of their current prototype. The performanc…

private abbreviation type

3.11のChangesには、 Introduction of private abbreviation types "type t = private ", for abstracting the actual manifest type in type abbreviations. と書いてある。意味は今までのprivate typesと同じなんじゃないかなー。private指定された型は、…