4
고정 소수점 결합 자의 사용에 대한 대부분의 예는 정수를 정수 (예 : 계승)로 사용하는 함수를 포함합니다. 많은 경우, 실수에 대한 함수의 고정 점은 임의의 합리적이거나 비합리적인 수로 끝납니다 (유명한 예는 물류지도 http://en.wikipedia.org/wiki/Logistic_map입니다). 이러한 경우 고정 소수점은 기본 유형 (Clojure가 비율에 대한 지원을 가지고 있음에도 불구하고)으로 표현되지 않을 수 있습니다. 나는이 "이국적인"유형에 대한 함수의 고정 점을 계산할 수있는 고정 소수점 결합 자 (및 해당 구현 자)에 대해 알아보고 싶습니다. 비이성적 인 숫자 같은 것들은 무한한 연속체로서 십진수 표현을 가지고 있기 때문에,이 계산이 느리게 평가되어야하는 것처럼 보입니다. 이러한 (추정 된) 게으른 평가가 진정한 고정 점에 대한 좋은 근사값을 산출합니까? 내 타겟 언어는 Python과 Clojure이지만, OCaml이나 Haskell 구현은별로 신경 쓰지 않을 것이다.)사용자 정의 유형에 대한 기능을위한 고정 소수점 결합 자?