Stronger typing would be very nice for improving error messages, but many things about the nix language (e.g. recursive attribute sets) are very nicely matched to the task.