Website

Check-in [ee2064fe31]
Login
Overview
Comment:Fix typo. forgettng => forgetting.
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: ee2064fe31f372a7d74c5ff6af9d87f995447d7858103870707cd100ee9271d2
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
Hide Diffs Unified Diffs Ignore Whitespace Patch

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