Type-checking in Expression Evaluation

From CoreASM Wiki

While one can take care of many aspects of type checking (such as adding function signatures, type checking on updates, etc.) using plugins, we realize that we cannot do type-checking in expression evaluation (e.g., on function parameters). To do so, one needs to change the Kernel Interpreter.

Please check the Discussion Tab.