Tix is a new type checker and LSP for the Nix language that aims to provide TypeScript-like development experience with strong type inference and annotations. It uses algebraic subtyping with negation types and offers features like error checking, autocompletion for NixPkgs, and cross-file navigation. The project demonstrates significant performance with full nixpkgs type checking in about 20 seconds.
Background
Nix is a functional package manager and language that lacks built-in type checking, leading developers to create third-party tools like LSPs to improve the development experience. Type checkers help with code completion, error detection, and navigation in modern programming environments.
- Source
- Lobsters
- Published
- Apr 4, 2026 at 01:36 AM
- Score
- 6.0 / 10