After writing a lot of Nix in the last year, it has opened me to possibly switch to Scheme. I’ve always been a strong static type guy since 1st year of univers

After writing a lot of Nix in the last year, it has opened me to possibly switch to Scheme. I’ve always been a strong static type guy since 1st year of university, and yes, it ties to perfectionism and even a sense of OCD: if I model the world around me, I can relax. But here’s a take that I’ve been trying to articulate about Nix: it’s not about the static types. Nix is loosely typed, and if there is a functional language that doubles as coping strategy for recreating a quasi-perfect model of the world, it’s Nix. So I believe any strong modelling combined with declarative syntax can be argued is a coping strategy for autism. It’s not strictly the types. It also happens that software made this way is more reliable, breaks less. Maybe the opposition to its use in businesses is that business needs often change rapidly, and tying yourself to any correct understanding of the world means you’re late to the party. (I’ll then argue: there are companies that succeed at strong modelling, and companies that succeed at pivoting, and all companies need a bit of both at different times. That’s why huge companies with scaling problems and infinite runway pick Rust, and startups pick JavaScript.)