OCaml (imperative part)</td>
<tr>
<td width=30%>untyped lambda calculus<br>
-combinatorial logic</td>
+combinatory logic</td>
<tr>
<td colspan=3 align=center>--------------------------------------------------- Turing complete ---------------------------------------------------</td>
<tr>
OCaml (imperative part)</td>
<tr>
<td width=30%>untyped lambda calculus<br>
-combinatorial logic</td>
+combinatory logic</td>
<tr>
<td colspan=3 align=center>--------------------------------------------------- Turing complete ---------------------------------------------------</td>
<tr>
In the presence of imperatival elements, sequencing order is very relevant. For example, these will behave differently:
(begin (print "under") (print "water"))
-
+
(begin (print "water") (print "under"))
And so too these: