aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2016-12-07 14:39:55 +0100
committerMartin Odersky <odersky@gmail.com>2016-12-17 18:34:27 +0100
commitb78150d0ef7da350b580232f1b80433f34392774 (patch)
tree73fdab16de6419b862e725214498a48782489e3e /docs
parentc10a9903144d9c6e039528fcf0269c4f7dadf1cb (diff)
downloaddotty-b78150d0ef7da350b580232f1b80433f34392774.tar.gz
dotty-b78150d0ef7da350b580232f1b80433f34392774.tar.bz2
dotty-b78150d0ef7da350b580232f1b80433f34392774.zip
Add conclusion to blog post
Diffstat (limited to 'docs')
-rw-r--r--docs/blog/_posts/2016-12-05-implicit-function-types.md10
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/blog/_posts/2016-12-05-implicit-function-types.md b/docs/blog/_posts/2016-12-05-implicit-function-types.md
index 007665564..73e048369 100644
--- a/docs/blog/_posts/2016-12-05-implicit-function-types.md
+++ b/docs/blog/_posts/2016-12-05-implicit-function-types.md
@@ -358,3 +358,13 @@ comonads is very interesting in its own right.
But these discussions will have to wait for another time, as
this blog post is already too long.
+## Conclusion
+
+Implicit function types are unique way to abstract over the context in
+which some piece of code is run. I believe they will deeply influence
+the way we write Scala in the future. They are very powerful
+abstractions, in the sense that just declaring a type of a function
+will inject certain implicit values into the scope of the function's
+implementation. Can this be abused, making code more obscure?
+Absolutely, like every other powerful abstraction technique. To keep
+your code sane, please keep the (Principle of Least Power)[http://www.lihaoyi.com/post/StrategicScalaStylePrincipleofLeastPower.html] in mind.