06-22-2016 02:19 PM
Wasn't sure where to drop this, but thought people here might find it interesting
In particular the section on strongly typed dataflow languages. Might be where dependent typing meets dataflow meets industry some day.
07-19-2016 08:22 PM
There is a Breakpoint board where this might get noticed more