| 11 Dec 2025 |
 helle (just a stray cat girl) | (we may have written in so many different languages at this point) | 21:36:35 |
 Rutile (Commentator2.0) feel free to ping | Oh wait, nvm :: was just the (right hand associated) prepend operator, one must end it with a :: Nil | 21:37:12 |
| Rutile (Commentator2.0) feel free to ping | Can nixlang2 get static typing at least?, the currrent one really feels like another javascript but for config instead of websites | 21:50:33 |
 K900 | My galaxy brain take is that actually statically typing Nix is basically impossible to make good | 21:54:17 |
| K900 | You need to do whole program inference, typescript style | 21:54:45 |
| K900 | And probably refinement typing too | 21:54:51 |
 rosssmyth | Yeah, if you can define the types for all the common Nixpkgs utilities then let me know | 22:03:52 |
| rosssmyth | like | 22:04:07 |
| rosssmyth | overlays | 22:04:08 |
 piegames | In reply to @charles:computer.surgery
you need some syntax to "dereference" a string as if it were a variable Yes, that would indeed be needed | 22:21:54 |
