Alyssa Ross
7 jaren geleden
bovenliggende
commit
7ed977e60d
Geen bekende sleutel gevonden voor deze handtekening in de database
GPG sleutel-ID: C4844408C0657052
1 gewijzigde bestanden met
toevoegingen van 6 en
3 verwijderingen
-
lib/fixed-points.nix
|
|
|
@@ -30,9 +30,12 @@ rec { |
|
|
|
# nix-repl> converge (x: x / 2) 16 |
|
|
|
# 0 |
|
|
|
converge = f: x: |
|
|
|
if (f x) == x |
|
|
|
then x |
|
|
|
else converge f (f x); |
|
|
|
let |
|
|
|
x' = f x; |
|
|
|
in |
|
|
|
if x' == x |
|
|
|
then x |
|
|
|
else converge f x'; |
|
|
|
|
|
|
|
# Modify the contents of an explicitly recursive attribute set in a way that |
|
|
|
# honors `self`-references. This is accomplished with a function |
|
|
|
|