속도를 위해 MArray 함수를 올바르게 최적화하는 방법은 무엇입니까?

Question

나는 의 MArrays에 대해 일하고 있습니다. 속도가 중요하므로 가능한 한 많이 최적화하고 싶습니다.

현재 간단히 정렬 기능이 INLINE입니다. 이렇게하면 최적화되지 않은 코드에 비해 코드가 10 배 이상 빨라집니다. 그러나 여러 곳에서 함수를 사용하고 컴파일 속도가 느려지면 코드 크기가 쉽게 폭발 할 수 있습니다.

유일한 대안은 MArray의 모든 기존 인스턴스에 대한 기능을 SPECIALIZE하는 것 같습니다. 또한 결과 코드가 확대되지만 함수가 몇 번 사용 되느냐에 의존하지 않는 상수 요소에 의해서만 확장됩니다. 문제는 MArray의 새로운 인스턴스가 나타날 가능성이 있습니까? 아니면 MArray가 특별하고 Haskell의 내부에 바인딩되어있어 다른 모듈에서 새 인스턴스를 정의 할 수 없다는 것을 확신 할 수 있습니까?

Answer 1

가장 좋은 방법은 INLINE 플러그마를 사용하는 것 같습니다. sort부터 vector-algorithmsuses it too.