В Permutive мы привержены функциональному программированию. Обычно это также означает фиксацию неизменяемых структур данных (что очень хорошо!), Но бывают случаи, когда алгоритм работал бы намного быстрее или занимал бы меньше места, если бы он мог обновлять состояние на месте . Рассмотрим очень полезный, но сильно оклеветанный nub , который удаляет дубликаты из списка: Это имеет O(n^2) временную сложность из-за внутреннего обхода списка. Но если мы хотим ввести Ord a..