3 ms·
Nix the language is untyped; I don't believe Tvix changes this, particularly since it has the goal of supporting all of Nixpkgs.
by aidenn0 3y ago
Nix the language is untyped; I don't believe Tvix changes this, particularly since it has the goal of supporting all of Nixpkgs.
- Filligree 3y agoThat’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 3y agopure 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