Skip to content

Making a Type Checker/LSP for Nix

6.8 relevance
Score Breakdown
technical depth
8
novelty
6
actionability
7
community
6
strategic
5
personal
7

Scored daily by a customisable AI persona to surface the most relevant engineering leadership news.

Type checker and LSP for Nix, relevant to developer tooling for Nix.

2026-04-04 general Lobsters
Summary

Tix is a fast type checker and LSP for Nix, based on Simple Sub and Negation types, completing full nixpkgs checks in ~20 seconds. It offers autocompletion, jump-to-definition, and type errors, competing with other Nix LSPs like Nil and Nixd. By extending Hindley-Milner with subtyping, it naturally handles union types for Nix's attrset-heavy syntax.

Key Takeaway

Adopt Tix for Nix projects to leverage type-based features that improve code reliability and navigation in large codebases like nixpkgs.

Why it matters

Tix enhances developer productivity for Nix-based cloud infrastructure by providing robust type checking, reducing configuration errors in complex systems.