diff --git a/about/coding.md b/about/coding.md index 06cc2e3..28e9a47 100644 --- a/about/coding.md +++ b/about/coding.md @@ -42,7 +42,8 @@ These are guidelines for code style and quality that we follow at UseTheSource. * local helper functions are otherwise made `private` * `switch` is avoided when pattern based dispatch is also possible, for future extensibility's sake. * use nullary ADT constructors as "enums", never strings. -* use `loc` source locations as references, qualified names or general identifiers; to avoid strings, captured variables or other fancy yardages of first class functions. -* use relations over maps where possible, for future generalizability where suddenly the mapping is not many-to-one anymore. The underlying datastructures for relations gracefully expand. +* use `loc` source locations as references, qualified names or general identifiers; to avoid strings, captured variables or other fancy usages of first class functions. +* use relations over maps where possible, for future generalizability where suddenly the mapping is not many-to-one anymore. The underlying datastructures for relations gracefully expand. +* Staging before parametrization: introduce an intermediate datatype or relation instead of adding (higher order) parameters to introduce algorithmic variability.