1 Matching Annotations
  1. Aug 2016
    1. Functional programming is not only about composing functions and algebraic data structures — it makes concurrency composable

      This seems to refer to my last comment: composition is not just about composing function and ADTs, but also makes concurrency composable.

      From this first lvar paper: http://lambda-the-ultimate.org/node/4823, if two sets of modifications can be structured to commute, then they are guaranteed to be thread safe and thus can be composed.