website updated
This commit is contained in:
parent
528cf3eae4
commit
2f07ac785f
2 changed files with 12 additions and 30 deletions
|
|
@ -49,26 +49,7 @@
|
|||
# if currentTab == "index":
|
||||
<div id="slideshow">
|
||||
<!-- slides -->
|
||||
<div id="slide0" class="active zeoslide">
|
||||
<a href="news.html#Z2015-10-16-first-nim-conference">
|
||||
<img src="assets/zeo/banner.jpg" alt="First Nim workshop in Ukraine!"/>
|
||||
</a>
|
||||
</div>
|
||||
<div id="slide1" class="codeslide1">
|
||||
<h2>Why should I be excited?</h2>
|
||||
<span class="desc">Nim is the only language that leverages automated proof technology to perform a <i>disjoint check</i> for your parallel code. Working on disjoint data means no locking is required and yet data races are impossible:</span><br><br>
|
||||
<pre>
|
||||
<span class="kwd">parallel</span>:
|
||||
<span class="tab"> </span><span class="kwd">var</span> i = <span class="val">0</span>
|
||||
<span class="tab"> </span><span class="kwd">while</span> i <= a.high:
|
||||
<span class="tab"> <span class="tab"> </span></span></span><span class="kwd">spawn</span> f(a[i])
|
||||
<span class="tab"> <span class="tab"> </span></span></span><span class="kwd">spawn</span> f(a[i+<span class="val">1</span>])
|
||||
<span class="tab"> <span class="tab"> </span></span></span><span class="cmt"># ERROR: cannot prove a[i] is disjoint from a[i+1]</span>
|
||||
<span class="tab"> <span class="tab"> </span></span></span><span class="cmt"># BUT: replace 'i += 1' with 'i += 2' and the code compiles!</span>
|
||||
<span class="tab end"> <span class="tab end"> </span></span>i += <span class="val">1</span>
|
||||
</pre>
|
||||
</div>
|
||||
<div id="slide2" class="codeslide2">
|
||||
<div id="slide0" class="active codeslide2">
|
||||
<div>
|
||||
<h2>Nim is simple..</h2>
|
||||
<pre>
|
||||
|
|
@ -102,7 +83,7 @@ p.greet() <span class="cmt"># or greet(p)</span>
|
|||
</pre>
|
||||
</div>
|
||||
</div>
|
||||
<div id="slide3" class="codeslide3">
|
||||
<div id="slide1" class="codeslide3">
|
||||
<div>
|
||||
<h2>C FFI is easy in Nim..</h2>
|
||||
<pre>
|
||||
|
|
@ -138,8 +119,6 @@ runForever()
|
|||
<div id="slideshow-nav">
|
||||
<div id="slideControl0" onclick="slideshow_click(0)" class="active"></div>
|
||||
<div id="slideControl1" onclick="slideshow_click(1)"></div>
|
||||
<div id="slideControl2" onclick="slideshow_click(2)"></div>
|
||||
<div id="slideControl3" onclick="slideshow_click(3)"></div>
|
||||
</div>
|
||||
# end
|
||||
<aside id="sidebar">
|
||||
|
|
|
|||
|
|
@ -1,6 +1,16 @@
|
|||
Nim's Documentation
|
||||
===================
|
||||
|
||||
.. container:: standout
|
||||
|
||||
Search Options
|
||||
--------------
|
||||
|
||||
.. container:: internals
|
||||
|
||||
`Documentation Index <docs/theindex.html>`_ - The generated
|
||||
index. **Index + (Ctrl+F) == Joy**
|
||||
|
||||
.. container:: standout
|
||||
|
||||
Standards & Guides
|
||||
|
|
@ -58,10 +68,3 @@ Nim's Documentation
|
|||
- | `Internal Documentation <docs/intern.html>`_
|
||||
| The internal documentation describes how the compiler is implemented.
|
||||
Read this if you want to hack the compiler.
|
||||
|
||||
|
||||
Search Options
|
||||
--------------
|
||||
|
||||
`Documentation Index <docs/theindex.html>`_ - The generated
|
||||
index. **Index + (Ctrl+F) == Joy**
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue