Copy chapter12 -> chapter13

1 files changed, 47 insertions, 0 deletions

diff --git a/chapter13/README.md b/chapter13/README.md
new file mode 100644
index 00000000..e381f1dc
--- /dev/null
+++ b/chapter13/README.md
@@ -0,0 +1,47 @@
+# Chapter 12: Floats, Arrays, Refs
+
+## Floats
+
+In this chapter we add a series of new types and some modest syntax.
+
+Floating point values start with the `flt` type and compute IEEE754 64-bit arithmetic.
+Integer expressions auto-widen to floats when involved in a float expression.
+
+```java
+flt f = 0.5;
+int x = 2;
+f = f+x;     // Auto-widen x to 2.0, result is 2.5
+f = f+true;  // Since bools are just synonyms for integers 0,1 they auto-widen also
+```
+
+
+Here is Newton's method to a square root:
+```java
+flt guess = arg;  // Initial guess is just argument
+while( true ) {
+    // Next guess from Newton's method
+    flt next = (arg/guess + guess)/2;
+    // Break if hit fixed point
+    if( next == guess ) break;
+    guess = next;
+}
+return guess;
+```
+When run with argument 2.0, produces 1.414213562373095.
+
+Floating point operations have their own Nodes:
+
+| Node                   | Op                   |
+|------------------------|----------------------|
+| AddF, SubF, MulF, DivF | Basic binary FP ops  |
+| MinusF                 | Unary negate         |
+| EQF, LTF, LEF          | FP compare operators |
+
+And their own section in the Type lattice:
+
+Within the Type Lattice, we now add the following domain:
+
+* Float type - Float values.  The same shape as the Integer values, but floats
+  with a TOP, BOT and constants
+
+