12 ms·
Is the language statically-typed? If not, why not?
by angiosperm 2y ago
Is the language statically-typed? If not, why not?
- aidenn0 2y agoNix the language is untyped; I don't believe Tvix changes this, particularly since it has the goal of supporting all of Nixpkgs.
- Filligree 2y 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 2y agopure flake nix with nixos modules is strongly statically typed. in this case typing is evaluation. so tvix promises doing typing faster.
- aidenn0 2y 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