Fixpunkt-Kombinator
Funktion höherer Ordnung y, für die gilt: y f = f (y f)
Ein Fixpunkt-Kombinator ist ein mathematischer Operator in Form einer Funktion höherer Ordnung , welcher von einer Funktion einen ihrer Fixpunkte liefert. Ein Fixpunkt der Funktion erfüllt die Bedingung
und somit
Durch Einsetzen ergibt sich die Eigenschaft des Fixpunkt-Kombinators dann als
Spezielle Fixpunkt-Kombinatoren
BearbeitenEin spezieller Fixpunkt-Kombinator ist der von Haskell Curry beschriebene Y-Kombinator des Lambda-Kalküls:
Fixpunkt-Kombinatoren werden in verschiedenen Bereichen eingesetzt:
- im untypisierten und im typisierten Lambda-Kalkül,
- in der funktionalen Programmierung
- und in der imperativen Programmierung.
🔥 Top keywords: Jagdfliegergeschwader 3Liste der Kulturdenkmäler in Hamburg-BahrenfeldUte KittelbergerZanggasseWikipedia:HauptseiteFalko OchsenknechtGraue WölfeSpezial:SucheMerih DemiralSpecial:MyPage/toolserverhelferleinconfig.jsChristian DürenFußball-Europameisterschaft 2024Brandanschlag von SivasLeisefuchsListe der größten AuslegerbrückenVan Halen (Album)Altersglühen – Speed Dating für SeniorenMelis SekmenFußball-Weltmeisterschaft 2026Mario AdorfCristiano RonaldoFußball-Weltmeisterschaft 2026/QualifikationAmira PocherNekrolog 2024Mark CavendishChatGPTFußball-EuropameisterschaftOrientalische MauerwespeBeverly Hills Cop: Axel F3. JuliHauptseiteEddie MurphyUwe OchsenknechtKirche ZöbigkerToni KroosRampe von LaffreyDatei:Germany adm location map.svgDeutschlandRobert TowneFranz BeckenbauerMesut ÖzilAntonio RüdigerWolfgang Puck