[aidenn0]

Nix the language is untyped; I don't believe Tvix changes this, particularly since it has the goal of supporting all of Nixpkgs.

[Filligree]

That’s a pity. IMO the lack of static typing is one of the biggest flaws of the language, and it persistently slows me down.

[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