Hacker News new | ask | show | jobs
by angiosperm 789 days ago
Is the language statically-typed? If not, why not?
1 comments
aidenn0 789 days ago
Nix the language is untyped; I don't believe Tvix changes this, particularly since it has the goal of supporting all of Nixpkgs.
link
Filligree 789 days ago
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.
link
dlahoda 789 days ago
pure flake nix with nixos modules is strongly statically typed.

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

link
aidenn0 788 days ago
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

link