A STRONGLY TYPED GRAPH-BASED LANGUAGE Some idea about a graph-based language. Why calculate and spend time visualing interconnections between variables, functions and whatnot, when you can directly visual them to begin with? Using graphs we can do this! The trick is we need two systems to make it work, from both a human and computer perspective. While the user creates their program via drawing, an equivalent machine-understandable program is created via a language that can express graphs (maybe graphviz?). This way the machine will not need to be intelligent to know how to parse the program - it simply walks the graph. * Execution is traversal from a function node. * Assignment / value passing is traversal from a variable node. Predefined types and operations: Arthmetic: +-/*: nbit floating Logic: &|~^: n-bits type (any amount of bits) Lambda: (x.x), () Text: trim, concat