Ideas for the IO Monad

phasm/compiler.py

@@ -84,6 +84,10 @@ def type3(inp: type3types.Type3OrPlaceholder) -> wasm.WasmType:
             # Tuples are passed as pointer, which are i32
             return wasm.WasmTypeInt32()
 
+        if inp.base == type3types.IO:
+            assert 1 == len(inp.args)
+            return type3(inp.args[0])
+
     raise NotImplementedError(type3, inp)
 
 # Operators that work for i32, i64, f32, f64
@@ -569,6 +573,12 @@ def statement_if(wgn: WasmGenerator, inp: ourlang.StatementIf) -> None:
             # for stat in inp.else_statements:
             #     statement(wgn, stat)
 
+def statement_expression(wgn: WasmGenerator, inp: ourlang.StatementExpression) -> None:
+    """
+    Compile: Expression whose result is ignored
+    """
+    expression(wgn, inp.expr)
+
 def statement(wgn: WasmGenerator, inp: ourlang.Statement) -> None:
     """
     Compile: any statement
@@ -584,6 +594,10 @@ def statement(wgn: WasmGenerator, inp: ourlang.Statement) -> None:
     if isinstance(inp, ourlang.StatementPass):
         return
 
+    if isinstance(inp, ourlang.StatementExpression):
+        statement_expression(wgn, inp)
+        return
+
     raise NotImplementedError(statement, inp)
 
 def function_argument(inp: ourlang.FunctionParam) -> wasm.Param:

phasm/ourlang.py

@@ -270,6 +270,19 @@ class StatementIf(Statement):
         self.statements = []
         self.else_statements = []
 
+class StatementExpression(Statement):
+    """
+    An expression within a function
+
+    The result of the expression is by the code.
+    """
+    __slots__ = ('expr', )
+
+    expr: Expression
+
+    def __init__(self, expr: Expression) -> None:
+        self.expr = expr
+
 class FunctionParam:
     """
     A parameter for a Function

phasm/parser.py

@@ -27,6 +27,7 @@ from .ourlang import (
 
     Statement,
     StatementIf, StatementPass, StatementReturn,
+    StatementExpression,
 
     FunctionParam,
     ModuleConstantDef,
@@ -343,6 +344,9 @@ class OurVisitor:
         if isinstance(node, ast.Pass):
             return StatementPass()
 
+        if isinstance(node, ast.Expr):
+            return StatementExpression(self.visit_Module_FunctionDef_expr(module, function, our_locals, node.value))
+
         raise NotImplementedError(f'{node} as stmt in FunctionDef')
 
     def visit_Module_FunctionDef_expr(self, module: Module, function: Function, our_locals: OurLocals, node: ast.expr) -> Expression:
@@ -593,6 +597,22 @@ class OurVisitor:
         raise NotImplementedError(f'{node.value} as constant')
 
     def visit_type(self, module: Module, node: ast.expr) -> type3types.Type3:
+        if isinstance(node, ast.Call):
+            if not isinstance(node.func, ast.Name):
+                _raise_static_error(node, 'Can only call Monads by name')
+
+            if node.keywords:
+                _raise_static_error(node, 'Monads cannot have keyword arguments')
+
+            monad_type = self.visit_type(module, node.func)
+            if not isinstance(monad_type, type3types.MonadType3):
+                _raise_static_error(node, 'Must be a Monad')
+
+            return type3types.AppliedType3(
+                monad_type,
+                (self.visit_type(module, x) for x in node.args)
+            )
+
         if isinstance(node, ast.Constant):
             if node.value is None:
                 return type3types.none

phasm/type3/constraintsgenerator.py

@@ -183,6 +183,12 @@ def statement_if(ctx: Context, fun: ourlang.Function, inp: ourlang.StatementIf)
     for stmt in inp.else_statements:
         yield from statement(ctx, fun, stmt)
 
+def statement_expression(ctx: Context, fun: ourlang.Function, inp: ourlang.StatementExpression) -> ConstraintGenerator:
+    yield from expression(ctx, inp.expr)
+
+    yield SameTypeConstraint(fun.returns_type3, inp.expr.type3,
+        comment=f'TODO')
+
 def statement(ctx: Context, fun: ourlang.Function, inp: ourlang.Statement) -> ConstraintGenerator:
     if isinstance(inp, ourlang.StatementReturn):
         yield from statement_return(ctx, fun, inp)
@@ -192,6 +198,10 @@ def statement(ctx: Context, fun: ourlang.Function, inp: ourlang.Statement) -> Co
         yield from statement_if(ctx, fun, inp)
         return
 
+    if isinstance(inp, ourlang.StatementExpression):
+        yield from statement_expression(ctx, fun, inp)
+        return
+
     raise NotImplementedError(statement, fun, inp)
 
 def function(ctx: Context, inp: ourlang.Function) -> ConstraintGenerator:

phasm/type3/types.py

@@ -69,6 +69,14 @@ class PrimitiveType3(Type3):
 
     __slots__ = ()
 
+class MonadType3(Type3):
+    """
+    A type method to indicate that actions have to be made
+    one after the other, usually because they affect outside state.
+    """
+
+    __slots__ = ()
+
 class IntType3(Type3):
     """
     Sometimes you can have an int as type, e.g. when using static arrays
@@ -307,6 +315,8 @@ It should be applied with zero or more arguments. It has a compile time
 determined length, and each argument can be different.
 """
 
+IO = MonadType3('IO')
+
 LOOKUP_TABLE: Dict[str, Type3] = {
     'none': none,
     'bool': bool_,
@@ -319,4 +329,6 @@ LOOKUP_TABLE: Dict[str, Type3] = {
     'f32': f32,
     'f64': f64,
     'bytes': bytes,
+
+    'IO': IO,
 }