21
엄격한 데이터 구조를 구현하는 라이브러리는 무엇입니까? 특히 엄격한 목록과 엄격한 기준을 찾고 있습니다.하스켈의 엄격한 데이터 구조를위한 라이브러리
면책 :
나는 deepseq 알고있다. 이것은 매우 유용하지만 deepseq (두 번 이상 사용될 수 있음)를 사용할 때마다 전체 데이터 구조를 탐색하는 오버 헤드를 추가합니다.
나는 엄격한 용기와 같은 데이터 구조 완전히 평가됩니다 포함 모든 것을 보장하지 않는다는 것을 알고 있지만, 구조가 자체가, 예를 들면 엄격해야
data StrictList a = !a :$ !(StrictList a) | Empty(여기에서, 포함 된 요소는 WHNF에 있으며 아마도 완전히 평가되지는 않았지만 목록의 구조는 무한 목록입니다. 예를 들어 무한 목록은 종결되지 않는 값입니다.)
'엄격한'패키지에 대한 정보는 알고 있지만 그것은 매우 limite를 가지고있다. 엄격한 데이터 구조 세트. 엄격한 목록이나 세트를 포함하지 않습니다.
- 자신이 (내가 BTW, 펑터에 이동 및 접이식를 유도하기 위해 GHC의 확장을 사랑 해요.) 놀라 울 정도로 쉽게 보인다 엄격한 목록을 작성
하지만, 더 나은 별도의 라이브러리에서 수행 될 것처럼 여전히 보인다. 그리고 집합의 효율적인 구현은 그다지 사소한 것처럼 보이지 않습니다.
왜 엄격한 구조가 필요합니까? – fuz
@FUZxxl 일이 지체없이 평가되는 것을 확인하면 공간 사용을 줄이고 계산을 훨씬 빠르게 할 수 있습니다. 또한 역 효과를 가질 수 있으므로 게으른 구조도 중요합니다. 효율적인 코드를 얻으려면 둘 다 필요합니다 (어디에서 사용해야하는지 알 필요가 있습니다). –
@FUZxxl : Set에서 상태 모나드와 같은 일을하고 있었는데, 세트에서 요소를 삽입하고 삭제하는 경우가 많았지 만, Set을 얼마 동안 평가하지는 않았습니다. 이것은 spine-strict (감사합니다, John L) 데이터 구조에 의해 고쳐질 수있는 공간 누설을 가져 왔습니다. – shahn