Draft Dotty 0.11.0-RC1 blog post

Author: allanrenucci

docs/blog/_posts/2018-11-27-11th-dotty-millestone-release.md

@@ -0,0 +1,207 @@
+---
+layout: blog-page
+title: Announcing Dotty 0.11.0-RC1
+author: Allan Renucci
+authorImg: /images/allan.jpg
+date: 2018-11-17
+---
+
+Today we are excited to release Dotty version 0.11.0-RC1.
+This release serves as a technology preview that demonstrates new language features and the
+compiler supporting them.
+
+Dotty is the project name for technologies that are considered for inclusion in Scala 3. Scala has
+pioneered the fusion of object-oriented and functional programming in a typed setting. Scala 3 will
+be a big step towards realising the full potential of these ideas. Its main objectives are to
+
+- become more opinionated by promoting programming idioms we found to work well,
+- simplify where possible,
+- eliminate inconsistencies and surprising behaviours,
+- build on strong foundations to ensure the design hangs well together,
+- consolidate language constructs to improve the language’s consistency, safety, ergonomics, and
+  performance.
+
+You can learn more about Dotty on our [website](https://dotty.epfl.ch).
+
+<!--more-->
+
+This is our 11th scheduled release according to our
+[6-week release schedule](https://dotty.epfl.ch/docs/usage/version-numbers.html).
+
+## What’s new in the 0.11.0-RC1 technology preview?
+
+### Opaque Type Aliases
+
+Opaque types aliases provide type abstraction without any overhead. Example:
+
+```scala
+opaque type Logarithm = Double
+```
+
+This introduces `Logarithm` as a new type, which is implemented as `Double` but is different from
+it. The fact that `Logarithm` is the same as `Double` is only known in the companion object of
+`Logarithm`. Here is a possible companion object:
+
+```scala
+object Logarithm {
+
+  // These are the ways to lift to the logarithm type
+  def apply(d: Double): Logarithm = math.log(d)
+
+  def safe(d: Double): Option[Logarithm] =
+    if (d > 0.0) Some(math.log(d)) else None
+
+  // This is the first way to unlift the logarithm type
+  def exponent(l: Logarithm): Double = l
+
+  // Extension methods define opaque types' public APIs
+  implicit class LogarithmOps(val `this`: Logarithm) extends AnyVal {
+    // This is the second way to unlift the logarithm type
+    def toDouble: Double = math.exp(`this`)
+    def +(that: Logarithm): Logarithm = Logarithm(math.exp(`this`) + math.exp(that))
+    def *(that: Logarithm): Logarithm = Logarithm(`this` + that)
+  }
+}
+```
+
+The companion object contains with the `apply` and `safe` methods ways to convert from doubles to
+`Logarithm` values. It also adds an `exponent` function and a decorator that implements `+` and `*`
+on logarithm values, as well as a conversion `toDouble`. All this is possible because within object
+`Logarithm`, the type `Logarithm` is just an alias of `Double`.
+
+Outside the companion object, `Logarithm` is treated as a new abstract type. So the following
+operations would be valid because they use functionality implemented in the `Logarithm`
+object.
+
+```scala
+  val l = Logarithm(1.0)
+  val l3 = l * l2
+  val l4 = l + l2
+```
+
+But the following operations would lead to type errors:
+
+```scala
+  val d: Double = l       // error: found: Logarithm, required: Double
+  val l2: Logarithm = 1.0 // error: found: Double, required: Logarithm
+  l * 2                   // error: found: Int(2), required: Logarithm
+  l / l2                  // error: `/` is not a member fo Logarithm
+```
+
+### Worksheet Mode Support in Visual Studio Code
+
+???
+
+### And much more!
+
+Please read our [release notes](https://github.com/lampepfl/dotty/releases/tag/0.11.0-RC1)
+for more details!
+
+## Trying out Dotty
+
+### sbt
+
+You can setup a new sbt project with Dotty as the compiler by running:
+
+```shell
+sbt new lampepfl/dotty.g8
+```
+
+For more details on using Dotty with sbt, see the
+[example project](https://github.com/lampepfl/dotty-example-project).
+
+### [Mill](http://www.lihaoyi.com/mill/)
+
+The Mill build tool version 0.2.6 introduced experimental support for Dotty. For more details on
+using Dotty with Mill, see the
+[example project](https://github.com/lampepfl/dotty-example-project/tree/mill).
+
+### IDE support
+
+Start using the Dotty IDE in any Dotty project by following
+the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html).
+
+### Standalone installation
+
+Releases are available for download on the _Releases_
+section of the Dotty repository:
+[https://github.com/lampepfl/dotty/releases](https://github.com/lampepfl/dotty/releases)
+
+For MacOs users, we also provide a [homebrew](https://brew.sh/) package that can be installed by
+running:
+
+```shell
+brew install lampepfl/brew/dotty
+```
+
+In case you have already installed Dotty via `brew`, you should instead update it:
+
+```shell
+brew upgrade dotty
+```
+
+## Let us know what you think!
+
+If you have questions or any sort of feedback, feel free to send us a message on our
+[Gitter channel](https://gitter.im/lampepfl/dotty). If you encounter a bug, please
+[open an issue on GitHub](https://github.com/lampepfl/dotty/issues/new).
+
+## Contributing
+
+Thank you to all the contributors who made this release possible!
+
+According to `git shortlog -sn --no-merges 0.10.0..0.11.0-RC1` these are:
+
+```
+   143  Martin Duhem
+   104  Nicolas Stucki
+    82  Martin Odersky
+    60  Guillaume Martres
+    35  Allan Renucci
+    21  poechsel
+    12  Olivier Blanvillain
+    10  Liu Fengyun
+     8  Aleksander Boruch-Gruszecki
+     6  Tobias Bordenca
+     5  Sébastien Doeraene
+     4  Stéphane Micheloud
+     3  João Pedro Evangelista
+     3  Miles Sabin
+     3  Neeraj Jaiswal
+     3  Abel Nieto
+     2  Ólafur Páll Geirsson
+     2  Fengyun Liu
+     2  veera venky
+     1  mikhail
+     1  Glavo
+     1  0xflotus
+     1  Paolo G. Giarrusso
+```
+
+If you want to get your hands dirty and contribute to Dotty, now is a good time to get involved!
+Head to our [Getting Started page for new contributors](https://dotty.epfl.ch/docs/contributing/getting-started.html),
+and have a look at some of the [good first issues](https://github.com/lampepfl/dotty/issues?q=is%3Aissue+is%3Aopen+label%3Aexp%3Anovice).
+They make perfect entry points into hacking on the compiler.
+
+We are looking forward to having you join the team of contributors.
+
+## Library authors: Join our community build
+
+Dotty now has a set of widely-used community libraries that are built against every nightly Dotty
+snapshot. Currently this includes ScalaPB, algebra, scalatest, scopt and squants.
+Join our [community build](https://github.com/lampepfl/dotty-community-build)
+to make sure that our regression suite includes your library.
+
+[Scastie]: https://scastie.scala-lang.org/?target=dotty
+
+[@odersky]: https://github.com/odersky
+[@DarkDimius]: https://github.com/DarkDimius
+[@smarter]: https://github.com/smarter
+[@felixmulder]: https://github.com/felixmulder
+[@nicolasstucki]: https://github.com/nicolasstucki
+[@liufengyun]: https://github.com/liufengyun
+[@OlivierBlanvillain]: https://github.com/OlivierBlanvillain
+[@biboudis]: https://github.com/biboudis
+[@allanrenucci]: https://github.com/allanrenucci
+[@Blaisorblade]: https://github.com/Blaisorblade
+[@Duhemm]: https://github.com/Duhemm