Lix - Public Room Timeline

	Lix	1124 Members
	Lix user channel. Feel free to discuss on-topic issues here and give each other help. For matrix.to links to the rest of the Lix channels, see: https://wiki.lix.systems/books/lix-organisation/page/matrix-rooms	304 Servers

Sender	Message	Time
20 Dec 2025
piegames	You remind me of https://bartoszmilewski.com/2014/02/26/c17-i-see-a-monad-in-your-future/ :p	13:54:32
pentane	yeah I've also already thought about how to model the evaluation/build process of Nix derivarions as a monadic data structure basically you wanna have a monad like `Derivation a`, where `a` is the type of the value produced by the build of the derivation (currently, Nix derivations always produce files or directories, but theoretically nothing speaks against derivations producing strings, integers, etc as their build result too) `Derivation FileOrDirectory` would then be equivalent to our current `.drv` files	14:21:10
pentane	and the monadic `bind` operation would correspond to IFD	14:21:47
pentane	cause if you e.g. have a derivation returning a lock file by reading it from an archive or something (`Derivation LockFile`) and a build helper constructing a package out of that lock file (`LockFile -> Derivation Package`), you can use `>>=` to get a `Derivation Package`	14:24:26
pentane	and the monoid operation `join :: Derivation Derivation a -> Derivation a` would basically be "build this .drv file to obtain another .drv file and build that in turn, and then return the result`	14:25:53
pentane	although afaict from a theoretical standpoint, this matches the semantics of dynamic derivations better than IFD	14:26:52
piegames	now that you say all of this, maybe k900 has a point :p	14:27:06
pentane	yeah I also agree with K900	14:27:51