bla

examples.flow

@@ -56,8 +56,14 @@ var y = foo("Hello")
 var x = (foo (42))
 
 var z = (typeof y !== 'undefined')?    y.trim() : "pippo"
+
+/* 
+  the following should fail but it does not 
+*/
+
 var u = (typeof x !== 'undefined')?    x.trim() : "pippo"
 
+
 var foo2 : (number => number | void ) & (string => string | void ) = x => {
  (typeof(x) === "number")? x++ : x.trim() 
 }

language.tex

@@ -116,7 +116,7 @@ $\Cx[e]\reduces\Cx[e']$.
 \subsection{Static semantics}\label{sec:static}
 
 While the syntax and reduction semantics are, on the whole, pretty
-standard for the type system, we will have to introduce several
+standard, for what concerns the type system we will have to introduce several
 unconventional features that we anticipated in
 Section~\ref{sec:challenges} and are at the core of our work. Let
 us start with the standard part, that is the typing of the functional