3 ms·
pure flake nix with nixos modules is strongly statically typed. in this case typing is evaluation. so tvix promises doing typing faster.
by dlahoda 3y ago
pure flake nix with nixos modules is strongly statically typed.
in this case typing is evaluation. so tvix promises doing typing faster.
- aidenn0 3y agoI guess it does depend on what you consider evaluation-time to be e.g. “Haskell is a dynamically-typed, interpreted language.”[1] 1: https://aphyr.com/posts/342-typing-the-technical-interview https://aphyr.com/posts/342-typing-the-technical-interview