I am reading a book chapter titled "Origami Programming" by Jeremy Gibbons. I came across an interesting paragraph:
There are advantages in expressing programs as instances of common patterns, rather than from first principles -- the same advantages as for any kind of abstraction. Essentially, one can discover general properties of the abstraction once and for all, and infer those properties of the specific instances for free. These properties may be theorems, design idioms, implementations, optimizations, and so on.
Nicely put! He also mentions how functional programming are more flexible in accommodating such useful patterns:
... In functional programming, in contrast to imperative programming, we can often express the new constructions as higher-order operations within the language, whereas the move from unstructured to structured programming entailed the development of new languages.
No comments:
Post a Comment