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