Overview
| Comment: | Fix typo. forgettng => forgetting. |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
ee2064fe31f372a7d74c5ff6af9d87f9 |
| User & Date: | robin.hansen on 2020-11-23 12:41:08 |
| Other Links: | manifest | tags |
Context
|
2021-02-20
| ||
| 11:26 | Prepare for upcoming name change. check-in: 1ed4ceb2a4 user: robin.hansen tags: trunk | |
|
2020-11-23
| ||
| 12:41 | Fix typo. forgettng => forgetting. check-in: ee2064fe31 user: robin.hansen tags: trunk | |
|
2020-11-22
| ||
| 10:36 | Add copyright and link to Plays twitter profile. check-in: 8144f30df2 user: robin.hansen tags: trunk | |
Changes
Modified src/index.html from [dbf2f34578] to [723f0b9c09].
51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 |
: 1 +
</pre>
<p>Without going into too much detail, code in Play consists of whitespace-separated functions which are called in a left-to-right fashion. The return value, or values, of a function call serve as the input arguments for the next function call. Numbers are functions which return themselves. Technically, this entire paragraph is valid Play syntax.</p>
<h3>Easy to reason about</h3>
<p>Play also improves on Forth in several ways. A strong, static type system helps you prevent bugs and to document your code. Errors and IO are represented in the type system, so that forgettng to deal with a certain error condition is caught at compile time. All data structures in Play are also immutable, which greatly reduces the number of states your program can be in, which again makes your code easy to reason about.</p>
<pre class="shell left">
Compilation failed:
9 | def: some-word
10| type: -- Bool
11| : 1
|
| |
51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 |
: 1 +
</pre>
<p>Without going into too much detail, code in Play consists of whitespace-separated functions which are called in a left-to-right fashion. The return value, or values, of a function call serve as the input arguments for the next function call. Numbers are functions which return themselves. Technically, this entire paragraph is valid Play syntax.</p>
<h3>Easy to reason about</h3>
<p>Play also improves on Forth in several ways. A strong, static type system helps you prevent bugs and to document your code. Errors and IO are represented in the type system, so that forgetting to deal with a certain error condition is caught at compile time. All data structures in Play are also immutable, which greatly reduces the number of states your program can be in, which again makes your code easy to reason about.</p>
<pre class="shell left">
Compilation failed:
9 | def: some-word
10| type: -- Bool
11| : 1
|