Skip to content

Commit 3bb27d4

Browse files
felixmulderfelixmulder
authored
Merge pull request #1566 from felixmulder/topic/migrate-dotty.epfl.ch
Migrate dotty.epfl.ch to static site in repository
2 parents a1d8e04 + 2ffc7cf commit 3bb27d4

33 files changed

+4338
-29
lines changed

‎docs/_includes/faq.html

Lines changed: 101 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,101 @@
1+
<div class="page blue">
2+
<div class="centered questions">
3+
<h1 id="why-dotty">Why Dotty?</h1>
4+
<p>
5+
Dotty is a platform to try out new language concepts and compiler
6+
technologies for Scala. The focus is mainly on simplification. We
7+
remove extraneous syntax (e.g. no XML literals), and try to boil
8+
down Scala’s types into a smaller set of more fundamental
9+
constructors. The theory behind these constructors is researched in
10+
<a href="https://infoscience.epfl.ch/record/215280">DOT</a>, a
11+
calculus for dependent object types.
12+
</p>
13+
14+
<h1 id="is-it-the-future-scala">Is it the future Scala?</h1>
15+
<div class="centered-text">
16+
<p>Yes, it will be - eventually.</p>
17+
</div>
18+
19+
<h1 id="can-i-use-it">Can I use it?</h1>
20+
<div class="centered-text">
21+
<p>
22+
<a href="#getting-started">You can!</a> But it currently comes with
23+
no guarantees of stability.
24+
</p>
25+
</div>
26+
27+
<h1 id="is-there-scala-2-interop">Is there Scala 2 interop?</h1>
28+
<div class="centered-text">
29+
<p>
30+
Dotty currently interops with libraries compiled with Scala
31+
2.11 - but not 2.12
32+
</p>
33+
</div>
34+
35+
<h1 id="how-do-i-migrate-my-code-to-dotty">How do I migrate my code to Dotty?</h1>
36+
<p>
37+
An automated rewriting tool is planned for Dotty, more on this to come.
38+
Scala 2 sources can be compiled to some degree by issuing:
39+
</p>
40+
<pre class="sourceCode bright"><code>./bin/dotc -language:Scala2 file.scala</code></pre>
41+
<p>when compiling your program.</p>
42+
43+
<h1 id="whos-working-on-it">Who’s working on it?</h1>
44+
<div class="contributors">
45+
<div class="contributors-cell">
46+
<div class="contributor">
47+
<a href="http://github.com/odersky">
48+
<img src="{{ site.baseurl }}/images/martin.jpg">
49+
</a>
50+
Martin Odersky
51+
</div>
52+
53+
<div class="contributor">
54+
<a href="http://www.d-d.me">
55+
<img src="{{ site.baseurl }}/images/petrashko.png">
56+
</a>
57+
Dmitry Petrashko
58+
</div>
59+
60+
<div class="contributor">
61+
<a href="http://guillaume.martres.me/">
62+
<img src="{{ site.baseurl }}/images/smarter.jpg">
63+
</a>
64+
Guillaume Martres
65+
</div>
66+
</div>
67+
<div class="contributors-cell">
68+
<div class="contributor">
69+
<a href="http://fengy.me/">
70+
<img src="{{ site.baseurl }}/images/fengyun.png">
71+
</a>
72+
Liu Fengyun
73+
</div>
74+
75+
<div class="contributor">
76+
<a href="https://github.com/felixmulder">
77+
<img src="{{ site.baseurl }}/images/felix.jpeg">
78+
</a>
79+
Felix Mulder
80+
</div>
81+
82+
<div class="contributor">
83+
<a href="https://github.com/nicolasstucki">
84+
<img src="{{ site.baseurl }}/images/nico.png">
85+
</a>
86+
Nicolas Stucki
87+
</div>
88+
</div>
89+
</div>
90+
91+
<div class="centered-text">
92+
<p>
93+
And a long line of
94+
<a href="https://github.com/lampepfl/dotty/graphs/contributors">
95+
contributors!
96+
</a>
97+
</p>
98+
</div>
99+
</div>
100+
</div>
101+

‎docs/_includes/features.html

Lines changed: 114 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,114 @@
1+
<div class="page teal">
2+
<div class="centered questions">
3+
<h1 id="so-features">So, features?</h1>
4+
<div class="centered-table">
5+
<table>
6+
<colgroup>
7+
<col width="82%" />
8+
<col width="17%" />
9+
</colgroup>
10+
<tbody>
11+
<tr class="odd">
12+
<td>Union, intersection and <a href="http://docs.scala-lang.org/sips/pending/42.type.html">literal singleton types</a></td>
13+
<td>Implemented</td>
14+
</tr>
15+
<tr class="even">
16+
<td>Fast compilation (phase fusion)</td>
17+
<td>Implemented</td>
18+
</tr>
19+
<tr class="odd">
20+
<td><a href="http://docs.scala-lang.org/sips/pending/trait-parameters.html">Trait parameters</a></td>
21+
<td>Implemented</td>
22+
</tr>
23+
<tr class="even">
24+
<td><a href="https://github.com/scala/scala.github.com/pull/491">@@static methods and fields</a></td>
25+
<td>Implemented</td>
26+
</tr>
27+
<tr class="odd">
28+
<td>Improved REPL with colors</td>
29+
<td>Implemented</td>
30+
</tr>
31+
<tr class="even">
32+
<td>Sbt incremental build</td>
33+
<td>Implemented</td>
34+
</tr>
35+
<tr class="odd">
36+
<td>Non-blocking lazy vals</td>
37+
<td>Implemented</td>
38+
</tr>
39+
<tr class="even">
40+
<td>Option-less pattern matching (based on <a href="https://github.com/scala/scala/pull/2848">name-based patmat</a>)</td>
41+
<td>Implemented</td>
42+
</tr>
43+
<tr class="odd">
44+
<td>Function arity adaptation</td>
45+
<td>Implemented</td>
46+
</tr>
47+
<tr class="even">
48+
<td>Multiversal equality</td>
49+
<td>Implemented</td>
50+
</tr>
51+
<tr class="odd">
52+
<td></td>
53+
<td></td>
54+
</tr>
55+
<tr class="even">
56+
<td>Non-boxed arrays of value classes</td>
57+
<td>In progress</td>
58+
</tr>
59+
<tr class="odd">
60+
<td>Working contravariant implicits</td>
61+
<td>In progress</td>
62+
</tr>
63+
<tr class="even">
64+
<td><a href="https://github.com/dotty-linker/dotty">Auto-Specialization</a></td>
65+
<td>In progress</td>
66+
</tr>
67+
<tr class="odd">
68+
<td><a href="https://github.com/dotty-linker/dotty">Whole program optimizer</a></td>
69+
<td>In progress</td>
70+
</tr>
71+
<tr class="even">
72+
<td></td>
73+
<td></td>
74+
</tr>
75+
<tr class="odd">
76+
<td>HList &amp; HMaps/Record types</td>
77+
<td>Considered</td>
78+
</tr>
79+
<tr class="even">
80+
<td>Implicit functions</td>
81+
<td>Considered</td>
82+
</tr>
83+
<tr class="odd">
84+
<td>Effects</td>
85+
<td>Considered</td>
86+
</tr>
87+
<tr class="even">
88+
<td>Auto-completion in repl</td>
89+
<td>Considered</td>
90+
</tr>
91+
<tr class="odd">
92+
<td>Spec Option-less pattern matching</td>
93+
<td>Considered</td>
94+
</tr>
95+
<tr class="even">
96+
<td>Exhaustivity checks in pattern matching</td>
97+
<td>Considered</td>
98+
</tr>
99+
</tbody>
100+
</table>
101+
</div>
102+
<p>The complete list is available <a href="https://github.com/lampepfl/dotty#what-are-the-features-that-could-make-me-consider-trying-it">here</a>.</p>
103+
<h1 id="talks-on-dotty">Talks on Dotty?</h1>
104+
<ul>
105+
<li><a href="https://www.youtube.com/watch?v=WxyyJyB_Ssc">Compilers are Databases</a> by Martin Odersky (<a href="http://www.slideshare.net/Odersky/compilers-are-databases">slides</a>)</li>
106+
<li><a href="https://www.youtube.com/watch?v=aftdOFuVU1o">Exploring the future of Scala</a> by Dmitry Petrashko (<a href="https://d-d.me/scalaworld2015/#/">slides</a>)</li>
107+
</ul>
108+
<h1 id="i-have-more-questions">I have more questions!</h1>
109+
<div class="centered-text">
110+
<p>That’s great! We have more details on the <a href="{{ site.baseurl }}/docs">docs</a> and please join our <a href="https://gitter.im/lampepfl/dotty">Gitter channel</a>!</p>
111+
</div>
112+
</div>
113+
</div>
114+

‎docs/_includes/getting-started.html

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
<div class="page white">
2+
<div class="centered" style="padding-top: 32px">
3+
<h1 id="getting-started">Getting Started</h1>
4+
<p>
5+
Using Dotty to compile your project is now pretty simple. Create the
6+
following structure:
7+
</p>
8+
<pre class="sourceCode bordered">
9+
<code>.
10+
├── build.sbt
11+
├── project
12+
│ ├── build.properties
13+
│ └── plugins.sbt
14+
└── src</code></pre>
15+
<h2 id="build.sbt">build.sbt</h2>
16+
<pre class="sourceCode bordered"><code>name := "application"
17+
version := "0.1"
18+
enablePlugins(DottyPlugin)</code></pre>
19+
<h2 id="build.properties">build.properties</h2>
20+
<pre class="sourceCode bordered"><code>sbt.version=0.13.11</code></pre>
21+
<h2 id="plugins.sbt">plugins.sbt</h2>
22+
<pre class="sourceCode bordered"><code>addSbtPlugin("com.felixmulder" % "sbt-dotty" % "0.1.4")</code></pre>
23+
<p>
24+
This plugin is based on the
25+
<a href="https://github.com/smarter/dotty-example-project">
26+
dotty-example-project
27+
</a>, but let’s you skip building dotty from scratch.
28+
</p>
29+
</div>
30+
</div>
31+

‎docs/_includes/logo-page.html

Lines changed: 89 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,89 @@
1+
<div class="page red exactly-one-page">
2+
<div id="header">
3+
<nav class="nav nav-pills">
4+
<li class="nav-item">
5+
<a class="nav-link" href="#why-dotty">
6+
FAQ
7+
</a>
8+
</li>
9+
<li class="nav-item">
10+
<a class="nav-link" href="{{ site.baseurl }}/blog">
11+
Blog
12+
</a>
13+
</li>
14+
<li class="nav-item">
15+
<a class="nav-link" href="{{ site.baseurl }}/docs">
16+
Docs
17+
</a>
18+
</li>
19+
<!--
20+
<li class="nav-item">
21+
<a class="nav-link" href="#build-status">
22+
Community Projects
23+
</a>
24+
</li>
25+
-->
26+
<li class="nav-item">
27+
<a class="nav-link" href="https://github.com/lampepfl/dotty">
28+
<img id="github-logo" src="{{ site.baseurl }}/images/github-logo.svg" />
29+
</a>
30+
</li>
31+
</nav>
32+
</div>
33+
<div id="mobile-header">
34+
<nav class="navbar navbar-light">
35+
<button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#collapsed-header" aria-controls="collapsed-header" aria-expanded="false" aria-label="Toggle navigation">
36+
&#9776;
37+
</button>
38+
<div class="collapse" id="collapsed-header">
39+
<div class="bg-inverse p-a-1">
40+
<ul>
41+
<li class="nav-item">
42+
<a class="nav-link" href="#why-dotty">
43+
FAQ
44+
</a>
45+
</li>
46+
<li class="nav-item">
47+
<a class="nav-link" href="{{ site.baseurl }}/blog">
48+
Blog
49+
</a>
50+
</li>
51+
<li class="nav-item">
52+
<a class="nav-link" href="#getting-started">
53+
Getting Started
54+
</a>
55+
</li>
56+
<li class="nav-item">
57+
<a class="nav-link" href="#build-status">
58+
Community Projects
59+
</a>
60+
</li>
61+
<li class="nav-item">
62+
<a class="nav-link" href="https://github.com/lampepfl/dotty/wiki">
63+
Wiki
64+
</a>
65+
</li>
66+
<li class="nav-item">
67+
<a class="nav-link" href="https://github.com/lampepfl/dotty">
68+
<img id="github-logo" src="{{ site.baseurl }}/images/github-logo.svg" />
69+
</a>
70+
</li>
71+
</ul>
72+
</div>
73+
</div>
74+
</nav>
75+
</div>
76+
<div class="scala-logo-container">
77+
<p><img src="{{ site.baseurl }}/images/scala-logo.svg" alt="image" /></p>
78+
<div class="centered-subtitle">
79+
<h1 id="dotty">Dotty</h1>
80+
<p>A next generation compiler for Scala</p>
81+
<a href="#why-dotty">
82+
<i id="scroll-down-arrow" class="animated infinite pulse material-icons">
83+
expand_more
84+
</i>
85+
</a>
86+
</div>
87+
</div>
88+
</div>
89+

‎docs/_includes/toc.html

Lines changed: 19 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,36 +1,38 @@
11
<div>
2-
<div id="scala-logo">
3-
{% include scala-logo.html %}
4-
</div>
2+
<a href="{{ site.baseurl }}/">
3+
<div id="scala-logo">
4+
{% include scala-logo.html %}
5+
</div>
6+
</a>
57
<ul id="categories">
68
<li><ul><li><a href="{{ site.baseurl }}/blog">Blog</a></li></ul></li>
7-
<li><ul><li><a href="{{ site.baseurl }}/">Dotty Docs</a></li></ul></li>
9+
<li><ul><li><a href="{{ site.baseurl }}/docs">Dotty Docs</a></li></ul></li>
810
<li>
911
Usage
1012
<ul>
11-
<li><a href="{{ site.baseurl }}/usage/migrating.html">Migrating from Scala 2</a></li>
12-
<li><a href="{{ site.baseurl }}/usage/sbt-projects.html">Using Dotty with sbt</a></li>
13+
<li><a href="{{ site.baseurl }}/docs/usage/migrating.html">Migrating from Scala 2</a></li>
14+
<li><a href="{{ site.baseurl }}/docs/usage/sbt-projects.html">Using Dotty with sbt</a></li>
1315
</ul>
1416
</li>
1517
<li>
1618
Contributing
1719
<ul>
18-
<li><a href="{{ site.baseurl }}/contributing/getting-started.html">Getting Started</a></li>
19-
<li><a href="{{ site.baseurl }}/contributing/workflow.html">Workflow</a></li>
20-
<li><a href="{{ site.baseurl }}/contributing/eclipse.html">Eclipse</a></li>
21-
<li><a href="{{ site.baseurl }}/contributing/intellij-idea.html">Intellij-IDEA</a></li>
20+
<li><a href="{{ site.baseurl }}/docs/contributing/getting-started.html">Getting Started</a></li>
21+
<li><a href="{{ site.baseurl }}/docs/contributing/workflow.html">Workflow</a></li>
22+
<li><a href="{{ site.baseurl }}/docs/contributing/eclipse.html">Eclipse</a></li>
23+
<li><a href="{{ site.baseurl }}/docs/contributing/intellij-idea.html">Intellij-IDEA</a></li>
2224
</ul>
2325
</li>
2426
<li>
2527
Internals
2628
<ul>
27-
<li><a href="{{ site.baseurl }}/internals/backend.html">Backend</a></li>
28-
<li><a href="{{ site.baseurl }}/internals/contexts.html">Contexts</a></li>
29-
<li><a href="{{ site.baseurl }}/internals/higher-kinded-v2.html">Higher Kinded Type Scheme</a></li>
30-
<li><a href="{{ site.baseurl }}/internals/overall-structure.html">Project Structure</a></li>
31-
<li><a href="{{ site.baseurl }}/internals/periods.html">Periods</a></li>
32-
<li><a href="{{ site.baseurl }}/internals/type-system.html">Type System</a></li>
33-
<li><a href="{{ site.baseurl }}/internals/dotc-scalac.html">Dotty vs Scala2</a></li>
29+
<li><a href="{{ site.baseurl }}/docs/internals/backend.html">Backend</a></li>
30+
<li><a href="{{ site.baseurl }}/docs/internals/contexts.html">Contexts</a></li>
31+
<li><a href="{{ site.baseurl }}/docs/internals/higher-kinded-v2.html">Higher Kinded Type Scheme</a></li>
32+
<li><a href="{{ site.baseurl }}/docs/internals/overall-structure.html">Project Structure</a></li>
33+
<li><a href="{{ site.baseurl }}/docs/internals/periods.html">Periods</a></li>
34+
<li><a href="{{ site.baseurl }}/docs/internals/type-system.html">Type System</a></li>
35+
<li><a href="{{ site.baseurl }}/docs/internals/dotc-scalac.html">Dotty vs Scala2</a></li>
3436
</ul>
3537
</li>
3638
</ul>

0 commit comments

Comments
 (0)