verdyr / SlipStream

Implementation and semantic description of computation which can be represented in a machine understandable way and sent to another execution environment where, using the semantic, it can be reconstructed and computed. The computations target is a particular kind of function that can be executed or put in chain with other functions of the same type like it happens with monadic values that can be put in chain with monadic operators like ‘>>= ( bind). Computations originated by a certain HW/SW combination, can be executed independently from the executor operating system or hardware architecture.