on master help sign in
various minor fixes
commit36de7f909067e2eff404490338de701108d382b3 authorjoshuareagan <joshuareagan@gmail.com> dateMon 24 Sep 2018, 17:18 (8 years ago) parent72eed5d
7 files changed+11−4
docs/tutorials/gall.umd+1−1 docs/tutorials/hall.umd+2 docs/tutorials/hoon-ch1.umd+2 docs/tutorials/hoon-ch2.umd+2 docs/tutorials/internals.umd+1−2 docs/tutorials/nock.umd+2 docs/tutorials/sail.umd+1−1
docs/tutorials/gall.umd+1−1
@@ -9,6 +9,6 @@
99
1010This is documentation about how to write Gall apps. Some knowledge of Hoon is assumed.
1111
12−Note: these lessons were first written in 2016. They need to be rewritten; in some ways they are outdated, and in other ways they were not always accessible enough to beginners. We are planning to rewrite these in the near future. In the meantime there is still useful information to be found here.
12+> Note: the last major revision of these lessons was in 2016. They need to be rewritten; in some ways they are outdated, and in other ways they were not always accessible enough to beginners. We are planning to rewrite these in the near future. In the meantime there is still useful information to be found.
1313
1414;list;
docs/tutorials/hall.umd+2
@@ -8,6 +8,8 @@
88
99# Hall
1010
11+> Last major revision of this tutorial: 2017. Some of the information here may be outdated.
12+
1113Hall is the Urbit messaging and notifications protocol. Read up on Hall's
1214architecture, its interfaces and the new Gall model it's built to target.
1315
docs/tutorials/hoon-ch1.umd+2
@@ -7,6 +7,8 @@
77
88# Chapter 1: Fundamental Concepts of Subject-oriented Programming
99
10+> Last major revision of this tutorial: September 2018
11+
1012Hoon is a high-level, statically typed, functional programming language, custom-designed for use with Urbit. For a functional language it has a surprisingly imperative style, and mastering it doesn't require knowing any advanced mathematics.
1113
1214Hoon is an unusual language in several respects, both in syntax and semantics. It uses runes (i.e., ASCII digraphs) in place of keywords, and the spacing rules are a bit strict. A great deal can be expressed in few lines, though excessively compressed code tends to be hard to read. Hoon has surprisingly simple semantics, but mastering it requires learning concepts that don't have close analogues in other languages.
docs/tutorials/hoon-ch2.umd+2
@@ -7,6 +7,8 @@
77
88# Chapter 2: Introduction to Writing Hoon Programs
99
10+> Last major revision of this tutorial: September 2018
11+
1012In Chapter 2 we cover the basics of writing full programs in Hoon.
1113
1214Lesson 1 takes you through a simple Hoon program without explaining every detail. Lesson 2 covers Hoon's syntax rules. Lesson 3 covers some of the basic flow control and loop expressions. Lessons 4-6 introduce Hoon's type system. Lessons 7 and 8 show you how to use cores effectively in your Hoon programs, including how to use them as state machines. Lessons 9 and 10 cover some of the basic data structures commonly used in Hoon, such as lists, trees, and sets. Those lessons also introduce many of the standard library functions for use with those data structures. Lesson 11 includes a walk-through of two Hoon programs that are intended to reinforce everything taught earlier in the chapter: a prime sieve and a tic-tac-toe program.
docs/tutorials/internals.umd+1−2
@@ -7,8 +7,7 @@
77
88# Arvo internals
99
10−Note: The following documentation was written in 2016. It needs to be rewritten: it's outdated in some respects, and it's also not always as clear as it could be. A rewrite is planned at some point. There is still good information to be found here, but don't bet the farm on anything you read in this section.
11−
10+> Note: The last major revision of these sections was in 2016. They need to be rewritten: they're outdated in some respects, and also not always as clear as they could be. A rewrite is planned. There is still plenty of good information to be found, but don't bet the farm on anything you read here.
1211
1312Arvo is composed of modules called vanes:
1413
docs/tutorials/nock.umd+2
@@ -7,6 +7,8 @@
77
88# Nock
99
10+> Last major revision of this tutorial: 2016
11+
1012Nock is the low-level functional programming language that is interpreted by Vere. You don't need to know Nock to write Hoon, or even to work on most parts of Vere. But if you want to understand the foundations of Urbit and are mathematically-inclined, dive right in.
1113
1214;list;
docs/tutorials/sail.umd+1−1
@@ -1,7 +1,7 @@
11:- :~ navhome/'/docs/'
22 sort/'4'
33 next/'true'
4− title/'Introduction to Sail'
4+ title/'Sail'
55 ==
66;>
77