hnra·il y a 11 mois·discussThere 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·l’année dernière·discussUsing 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·l’année dernière·discussAre these defaults part of Skia or Chromium, i.e. will all Skia dependents benefit from this change?