하스켈의 문자열 키로 동적 프로그래밍

Question

순수 함수 프로그래밍 관례보다는 약간 새로운 것으로,이 동적 프로그래밍 사례를 구현하는 방법을 알 수 없습니다. 재귀 적으로 계산되고 그것을 암기하고자하는 함수 f :: String -> [String]이 있습니다. 입력 String은 임의적 일 수 있으므로 게으름 뱅이 Map과 같은 것이 필요하지만 아무 것도 찾을 수 없다고 생각합니다. 어떻게 하스켈에서 그런 경우를 구현 하는가?

Answer 1

가 memoizer 라이브러리를 사용 :

import qualified Data.MemoCombinators as Memo 

f :: String -> [String] 
f = Memo.list Memo.char memof -- because String = [Char] 
    where 
    memof x = ... f ...   -- call *f* recusively (not memof) 

더의 documentation를 참조 어쩌면 그것은 당신에게 몇 가지 통찰력을 줄 것이다. 또한 참조하십시오 MemoTrie

Answer 2

이 기사는 이에 대한 좋은 정보를 제공합니다. 피보나치 함수가 어떻게 암기되었는지보십시오.

http://www.haskell.org/haskellwiki/Memoization