ELI5: Why do we use fixed point recursion? How would you explain it what it is?
Hi all, I have studied Kleene fixed point theorem during my CompEng bachelor but it passed a bit of time, so I need a refresh. I read that we use a fixed point recursion in Nix for instance to import nixpkgs, and (perhaps?) to use overlay and overrides. I tried reading this beautiful post by layus but it only partially "clicked". How would you explain fixed point recursion, and why it is important in Nix, especially in the nixpkgs case? Thanks!