aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorDmitry Petrashko <dark@d-d.me>2016-05-09 10:41:34 -0400
committerDmitry Petrashko <dark@d-d.me>2016-05-09 10:41:34 -0400
commit7124da9606a3d780366bb06a89a56ebc347144dc (patch)
treec8343ce7747a87315bfbab799c3bf188e33afc2f /README.md
parentb321c3c039a57f0d696a83748cba0e5b5a3ff533 (diff)
downloaddotty-7124da9606a3d780366bb06a89a56ebc347144dc.tar.gz
dotty-7124da9606a3d780366bb06a89a56ebc347144dc.tar.bz2
dotty-7124da9606a3d780366bb06a89a56ebc347144dc.zip
Update README.md
Diffstat (limited to 'README.md')
-rw-r--r--README.md57
1 files changed, 29 insertions, 28 deletions
diff --git a/README.md b/README.md
index 4da96081c..7b573b721 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,7 @@ theory behind these constructors is researched in
a calculus for dependent object types.
####Current status:
- _Technology preview_: currently unsupported, may not be functionally complete, and are not suitable for deployment in production.
+ _Technology preview_: currently unsupported, may not be functionally complete, and not suitable for deployment in production.
####Is it going to be the future Scala?
Yes, eventually.
@@ -21,36 +21,37 @@ Yes, eventually.
See [github contributors page](https://github.com/lampepfl/dotty/graphs/contributors).
####What are the features that could make me consider trying it?
-| Feature | Status |
-|------------------------------------------------- |--------------------- |
-| Union, Intersection and Literal singleton types | Implemented |
-| Fast compilation (phase fusion) | Implemented |
-| Working contravariant implicits | Implemented |
-| Trait parameters | Implemented |
-| @Static methods and fields | Implemented |
-| Colored Repl | Implemented |
-| Sbt incremental build | Implemented |
-| Non-blocking lazy vals | Implemented |
-| | |
-| Non-boxed arrays of value classes | In progress |
-| Auto-Specialization | [In progress](https://github.com/dotty-linker/dotty) |
-| Whole program optimizer | [In progress](https://github.com/dotty-linker/dotty) |
-| Library defined optimizations | [In progress](https://github.com/dotty-linker/dotty) |
-| | |
-| HList & HMaps\Record types | Under consideration |
-| Implicit functions | Under consideration |
-| Effects | Under consideration |
-| Auto-completion in repl | Under consideration |
-| Spec name-based patmat | Under consideration |
-| Multiverse equality | Under consideration |
-| Exhaustivity checks in pattern matching | Under consideration |
-There are also plethora of small details such [per-callsite @tailrec annotations](https://github.com/lampepfl/dotty/issues/1221)
+| Feature | Status |
+|---------------------------------------------------------------------------------------------------------|---------------------|
+| Union, Intersection and [Literal singleton types](http://docs.scala-lang.org/sips/pending/42.type.html) | Implemented |
+| Fast compilation (phase fusion) | Implemented |
+| [Trait parameters](http://docs.scala-lang.org/sips/pending/trait-parameters.html) | Implemented |
+| [@Static methods and fields](https://github.com/scala/scala.github.com/pull/491) | Implemented |
+| Colored Repl | Implemented |
+| Sbt incremental build | Implemented |
+| Non-blocking lazy vals | Implemented |
+| Option-less pattern matching(based on [name-based patmat](https://github.com/scala/scala/pull/2848)) | Under consideration |
+| | |
+| Non-boxed arrays of value classes | In progress |
+| Working contravariant implicits | In progress |
+| [Auto-Specialization](https://github.com/dotty-linker/dotty) | In progress |
+| [Whole program optimizer](https://github.com/dotty-linker/dotty) | In progress |
+| [Library defined optimizations](https://github.com/dotty-linker/dotty) | In progress |
+| | |
+| HList & HMaps\Record types | Under consideration |
+| Implicit functions | Under consideration |
+| Effects | Under consideration |
+| Auto-completion in repl | Under consideration |
+| Spec Option-less pattern matching | Under consideration |
+| Multiverse equality | Under consideration |
+| Exhaustivity checks in pattern matching | Under consideration |
+There are also plethora of small details such as [per-callsite @tailrec annotations](https://github.com/lampepfl/dotty/issues/1221)
####What are the complications that I can have If I start using Dotty?
Dotty can use libraries compiled by scalac 2.11, but Scala scalac can't use libraries compiled by Dotty.<br>
No existential types.<br>
No macro support yet. We have big plans here.<br>
-No early initializers. No scala.DelayedInit. Use trait arguments instead.<br>
+No early initializers. No scala.DelayedInit. Use trait parameters instead.<br>
Whole program optimizer will only work if all dependencies are compiled by Dotty.<br>
@@ -68,11 +69,11 @@ Basic support for Scala.js,<br>
[Prototype](https://github.com/scala-native/scala-native/tree/topic/dotty-support) of compilation to x86 native code(Shabalin)<br>
####What about scalac:
-Scalac is basis for stability in scala. We expect scalac & dotty to coexist for long.
+Scalac is the basis for stability in scala. We expect scalac & dotty to coexist for long time.
####Contributions are welcome!
We invite you to help us build the future of Scala.<br>
-That's the best moment to participate, as everyone can make an impact.<br>
+This is the best moment to participate, as everyone can make an impact.<br>
####SI-2712?
If scalac will put it into 2.12, we’ll mimic their behaviour. But we have bigger plans for