[dlahoda]

pure flake nix with nixos modules is strongly statically typed.

in this case typing is evaluation. so tvix promises doing typing faster.

[aidenn0]

I 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