Nickel, glistix, and guix come to mind. Stronger typing would be very nice for improving error messages, but many things about the nix language (e.g. recursive

Nickel, glistix, and guix come to mind. 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.