From 6ce5fb1fa658de5b0509eade48c94e83534abab7 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 7 Dec 2016 14:41:53 +0100 Subject: Fix link --- docs/blog/_posts/2016-12-05-implicit-function-types.md | 16 +++++----------- 1 file changed, 5 insertions(+), 11 deletions(-) (limited to 'docs') 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. -- cgit v1.2.3