Maybe nix should officially adopt Dhall as its configuration language? Or if it's too much reflection for Dhall, maybe the solution is GUIX?
Have you identified and located the relevant idioms? Could code be migrated piecewise? Would a richer row polymorphism suffice to type the object system? What other "general recursion" is there beside the prototype fix-points?
-
-
It could be migrated piecewise In the small the main issue is builtins.listToAttrs, which requires dhallToNix to convert Dhall association lists to Nix attribute sets In the large the main issues are the overlay system (open recursion) and `callPackages` (row polymorphism)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!