사용자 정의 유형을 통해 기능을위한 고정 점 결합기?

Question

고정 점 결합기의 사용의 대부분의 예는 정수를 정수 (예 : 인식)에 가져 오는 기능을 포함합니다. 대부분의 경우 실수의 기능의 고정 지점은 임의의 합리적인 또는 아마도 비합리적 인 수 (유명한 예는 물류지도 http://en.wikipedia.org/wiki/logistic_map ). 이러한 경우 고정 점은 원시 유형의 관점에서 표현되지 않을 수 있습니다 (클라렌스는 비율을 지원하는 경우). 이러한 "이국적인"유형에 대한 기능의 고정 점을 계산할 수있는 고정점 조합 자 (및 구현)에 대해 알아내는 데 관심이 있습니다. 비합리적 인 수와 같은 것들이 무한한 서열으로 소수 표현을 가지 므로이 계산이 늦게 평가되어야하는 것처럼 보입니다. 이 (예절) 게으른 평가 중 하나는 진정한 고정 점에 좋은 근사치를 산출합니까? 타겟 언어는 파이썬과 collugure이지만 확실히 OCAML 또는 Haskell 구현을 보는 것이 좋습니다.

Answer 1

Andrej Bauer 의 블로그에서 고정 점을 계산하는 그러한 기능을 찾을 수 있습니다.예를 들어 불가능한 프로그램 및 유한 시간에 무한 검색 그것이 고정 된 점이 실제로 '유한 거리'에있는 경우에, 그것이 도달 할 수 있습니다.

당신이 말하는 고정 점 중 일부는 정말로 '무한히 멀리 떨어져서'일과 같이이 종류의 것이 아닙니다.이들은 Computable Analysis 에서 사용되는 고정 점의 유형입니다.기본적으로 이론은 고정 지점으로 좋은 근사치를 얻는 방법에 관한 것입니다.