procedural typing purely functional implicit parallelism scala side effects procedures monads circuitries arrows
Tout plus