いわゆる Parallel ML の一つである MPL の論文最新作です > Efficient Parallel Functional Programming with Effects: Jatin Arora Sam Westrick Umut A. Acar. PLDI 2023. 重要な拡張に思えたので全体を読みましたのでメモしておきます。 MPL MPL はいわゆる Parallel ML の実装の一つで、(dis)entanglement という性質に基づいたメモリマネージャを搭載することで、コア数に沿って関数型並列プログラムの実行速度がスケールする(ことを目指している)SML処理…
