4 ms·Safety at Speed: In-Place Array Algorithms from Pure Functional Programs2 points by matt_d 7y ago