Dataflow programming language with static types and implicit parallelism that compiles to machine code and interops with Go