diff options
author | Martin Odersky <odersky@gmail.com> | 2016-12-07 14:39:55 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-12-17 18:34:27 +0100 |
commit | b78150d0ef7da350b580232f1b80433f34392774 (patch) | |
tree | 73fdab16de6419b862e725214498a48782489e3e /docs | |
parent | c10a9903144d9c6e039528fcf0269c4f7dadf1cb (diff) | |
download | dotty-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.md | 10 |
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. |