In C# a dependency graph that automatically updates only the affected dependencies can be implemented using events and/or functors and/or data binding.

I do not understand what is the big deal with Increment. Is it more efficient because it is written in OCaml rather than C#?