hnra·11 か月前·議論There is a great blog post on how the OCaml type checker is inspired by garbage collection here: https://okmij.org/ftp/ML/generalization.html
hnra·昨年·議論Using map, fold etc. is not the hard part of functional programming. The hard part is managing effects (via monads, monad transformers, or effects). Trying to convert a procedural inner mutating algorithm to say Haskell is challenging.
hnra·昨年·議論Are these defaults part of Skia or Chromium, i.e. will all Skia dependents benefit from this change?