-
-

Type Inference

+
+

The Blissful Elegance of Typing Joy

This notebook presents a simple type inferencer for Joy code. It can infer the stack effect of most Joy expressions. It’s built largely by means of existing ideas and research. (A great overview of the existing @@ -410,6 +410,8 @@ integers or tuples of type descriptors:

s[u] = v elif isinstance(v, int): s[v] = u + else: + s = False return s
@@ -566,6 +568,9 @@ work:

print e