This PR is interesting in Utils & Value where things were updated to fixpoint combinators.
Which, if internally laziness is preserved - running the function & apply the argument to it only once & optimize during compilation.
In Haskell Core I found that fix sometimes roughly converts just to let x = f x in x (stays a basic let, letrec in terms of Core language).
So far I can not reason beyond Core, it is hard to say how letrec compiles.
This is a work I did before the Nix 2.4 release, which broke the CI on all fronts. I decided to not run putting created by upstream fires. Decided to not overcomplicate the Git processes for myself, so decided to finish & contribute the work first & then go do fix things.
This PR is interesting in
Utils&Valuewhere things were updated to fixpoint combinators.Which, if internally laziness is preserved - running the function & apply the argument to it only once & optimize during compilation.
In Haskell Core I found that
fixsometimes roughly converts just tolet x = f x in x(stays a basiclet,letrecin terms of Core language).So far I can not reason beyond Core, it is hard to say how
letreccompiles.This is a work I did before the
Nix 2.4release, which broke the CI on all fronts. I decided to not run putting created by upstream fires. Decided to not overcomplicate the Git processes for myself, so decided to finish & contribute the work first & then go do fix things.