3 ms·Koka: function-oriented language with automatic (side) effect inference2 points by primodemus 14y ago