Sender | Message | Time |
---|---|---|
24 Apr 2024 | ||
The functor idea is indeed really neat, and someday someone would figure a way to make an HTML template tool based on Nix. | 16:35:04 | |
I myself tried it without being convinced by my own monster :P | 16:35:05 | |
The functor idea is a really neat use of them | 16:38:39 | |
I wish they were better documented because they are a really cool and interesting feature of the language | 16:38:55 | |
We have functors :O | 20:17:47 | |
20:21:56 | ||
21:01:45 | ||
are there any libraries for writing modules designed to work across module systems? Is there any kind of way to introspect what kind of module system is consuming a module? i.e., I'd like to be able to do like | 21:38:48 | |
(obviously, where interfaces are compatible, you can have some modules imported in various different module systems and just werk; I do this with I'm wondering what projects have explored/attempted this the most | 21:39:54 | |
I think nixvim might do some of this but it's not what I would consider a simple example | 21:40:39 | |
25 Apr 2024 | ||
06:45:38 | ||
pxc: mkSinkUndeclaredOptions can be used to fake option declarations for such cases. If such interopperable module exists, they might define option for some module set and not others.If any such library exists, they would likely make use of this option declaration function as a mean to make generic modules work across module-sets. | 09:48:27 | |
* pxc: mkSinkUndeclaredOptions can be used to fake option declarations for such cases. If such interopperable module exists, they might define option for some module set which are not in others.If any such library exists, they would likely make use of this option declaration function as a mean to make generic modules work across module-sets. | 09:48:54 | |
* pxc: If such interoperable module exists, they might define option for some module set which are not in others. mkSinkUndeclaredOptions can be used to fake the interface (option declarations) of other module sets. | 09:51:50 | |
12:15:07 | ||
In reply to @nbp:mozilla.orgthank you for the tip! | 14:56:38 | |
19:30:54 | ||
23:01:27 | ||
23:09:21 | ||
23:52:06 | ||
26 Apr 2024 | ||
14:03:53 | ||
14:07:08 | ||
14:49:03 | ||
23:32:11 | ||
23:32:18 | ||
23:47:44 | ||
23:47:57 | ||
27 Apr 2024 | ||
00:01:06 | ||
00:09:42 | ||
00:46:07 |