2017-01-12 16:51 GMT+03:00 Marc Weber <marco-oweber at gmx.de>: > Have you never debugged a "got x but y expected" problem? The typesystem > is there, its just lazy as nix is - typed on evaluation. This is nothing. Haskell is typed on evaluation too. Nix is an interpreter, not a compiler :)