Or port the Clojure implementation of Dhall to Guile Scheme, and have the best of both worlds? Also add commutative associative row variables to Dhall's typesystem and enjoy the full power of bus nix's prototype object system?
Maybe nix should officially adopt Dhall as its configuration language? Or if it's too much reflection for Dhall, maybe the solution is GUIX?
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
It wouldn't work, mainly due to pervasive weakly typed idioms and general recursion in Nixpkgs/NuxOS. You'd have to redesign both of them around total functional programming idioms
-
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?
- 1 more reply
New conversation -
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!