점수 유형에 동적 프로그래밍 알고리즘 다형성을 구현하고 싶습니다. 다음은 경계 조건이없는 단순화 된 1D 버전입니다. {-# LANGUAGE ConstraintKinds, FlexibleContexts, RankNTypes, ScopedTypeVariables #-}
import Control.Monad
import Control.Monad.ST.St
나는 C++로 marray 라이브러리를 사용하는 프로젝트를 가지고있다. 현재로서는 MinGW g ++ 4.7 및 msvc2010 (Windows 7 x64) 및 g ++ 4.7 (Linux Mint x64)에서 컴파일 및 실행이 원활합니다. 필자는 Linux 용 인텔 C++ 컴파일러 v. 12.1.4를 사용하기로 결정했습니다. 코드를 컴파일 할 수 있었지만
일반적으로 IOArray 또는 MArray 중에서 슬라이스 (하위 배열보기)를 효율적으로 구성하는 방법이 있습니까? 즉, 동일한 배열을 사용하여 경계를 제한하는 것입니다. 서명은 경계 (1,1000) 배열을 취하고 만 경계 일본어 배열 (500,700)와 소자에 대한 액세스를 제공하는 도면을 예를 들어 (MArray a e m, Ix i) => a i e
나는 의 MArrays에 대해 일하고 있습니다. 속도가 중요하므로 가능한 한 많이 최적화하고 싶습니다. 현재 간단히 정렬 기능이 INLINE입니다. 이렇게하면 최적화되지 않은 코드에 비해 코드가 10 배 이상 빨라집니다. 그러나 여러 곳에서 함수를 사용하고 컴파일 속도가 느려지면 코드 크기가 쉽게 폭발 할 수 있습니다. 유일한 대안은 MArray의 모든 기