Comment on Tvix – A New Implementation of NixparentComments−aidenn02yNix the language is untyped; I don't believe Tvix changes this, particularly since it has the goal of supporting all of Nixpkgs.−Filligree2yThat’s a pity. IMO the lack of static typing is one of the biggest flaws of the language, and it persistently slows me down.−dlahoda2ypure flake nix with nixos modules is strongly statically typed.in this case typing is evaluation. so tvix promises doing typing faster.−aidenn02yI 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
Comments
Nix the language is untyped; I don't believe Tvix changes this, particularly since it has the goal of supporting all of Nixpkgs.
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.
pure flake nix with nixos modules is strongly statically typed.
in this case typing is evaluation. so tvix promises doing typing faster.
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