denful
In 2003, Eelco sent out a “ping” by saddling devops engineers and ricers alike with a functional programming language for defining their infrastructure. Its relationship to Haskell (oft derided as overly academic) is often viewed by new converts as over-engineering.
But I feel like what you guys are building is the first real “pong” to Eelco’s ping that I’ve seen. “Oh, you gave us a Turing-complete functional programming language? Let’s use it to build abstractions instead of just clumsily working around it.” -- @theutz
careful with statements like that, vic will copy it into the readme -- @sini
Pinned Loading
Repositories
-
-
- flake-file Public
Generate flake.nix from module options. Input and Output schemas. Works with flakes, unflake, npins or tack
- bend Public
Lens based data parser-combinators. Bidirectional transformation and validation pipelines for Nix.
-
-
- nix-effects Public Forked from kleisli-io/nix-effects
A type-checking kernel, algebraic effects, and dependent types in pure Nix
- dnx Public
A high performance Nix runtime. Reproducible, parallel, and verifiable derivations and code.
Top languages
Loading…
Most used topics
Loading…