Connect

[aameen-tulip]

Hey I'm very interested in typed Nix pretty strictly without extending the language evaluator itself.

I've used the module type system extensively and found it, quite frankly, to be pretty worthless. After getting fed up with it I extended YANTS and I suspect that I'm sitting on the largest collection of YANTS types which I've converted to module types in many cases.

In any case this stuff interests me and I'd like to pick your brain about it.

Shoot me an email and we can link up on matrix or something. Alex.ameen.tx@gmail.com

A big blob of YANTS types that you might find interesting :
https://github.com/aameen-tulip/at-node-nix/blob/main/types/pkginfo.nix

[tazjin]

For context, yants is a runtime type checker for Nix by TVL: https://code.tvl.fyi/about/nix/yants

[aakropotkin]

Big thanks for that system BTW. I'm evidently a fan 😁

[hsjobeki]

You can try to use it in your future codebase as my rubber duck ;) And tell me about your experience and what pieces are missing