diff options
author | Martin Odersky <odersky@gmail.com> | 2016-12-07 14:41:53 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-12-17 18:34:27 +0100 |
commit | 6ce5fb1fa658de5b0509eade48c94e83534abab7 (patch) | |
tree | 5f31422cd2c32c4586972555ffdf15702a0e2599 /docs | |
parent | b78150d0ef7da350b580232f1b80433f34392774 (diff) | |
download | dotty-6ce5fb1fa658de5b0509eade48c94e83534abab7.tar.gz dotty-6ce5fb1fa658de5b0509eade48c94e83534abab7.tar.bz2 dotty-6ce5fb1fa658de5b0509eade48c94e83534abab7.zip |
Fix link
Diffstat (limited to 'docs')
-rw-r--r-- | docs/blog/_posts/2016-12-05-implicit-function-types.md | 16 |
1 files changed, 5 insertions, 11 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 73e048369..670c652ee 100644 --- a/docs/blog/_posts/2016-12-05-implicit-function-types.md +++ b/docs/blog/_posts/2016-12-05-implicit-function-types.md @@ -5,16 +5,10 @@ author: Martin Odersky authorImg: /images/martin.jpg --- -I just made the first pull request to add _implicit function types_ to -Scala. I am pretty excited about it, because, citing the explanation -of the pull request "_This is the first step to bring contextual -abstraction to Scala_". That's quite a mouthful, so I better explain what I -mean by it. - -Let me try to explain the words in this sentence from right to left. - -**Scala**: I assume everyone who reads this understands that we mean the - programming language, not the opera house. +I just made the [first pull request](https://github.com/lampepfl/dotty/pull/1775) to add _implicit function types_ to +Scala. I am pretty excited about it, because - citing the explanation +of the pull request - "_This is the first step to bring contextual +abstraction to Scala_". What do I mean by this? **Abstraction**: The ability to name a concept and use just the name afterwards. @@ -367,4 +361,4 @@ 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. +your code sane, please keep the [Principle of Least Power](http://www.lihaoyi.com/post/StrategicScalaStylePrincipleofLeastPower.html) in mind. |