| 11 Dec 2025 |
 Rutile (Commentator2.0) feel free to ping | In reply to @charles:computer.surgery
i would explain it as XID_Start followed by zero or more XID_Continue because that's what it is, and you don't need to explain what those are because explaining that is unicode's job Something something consecutive hyphens | 21:28:03 |
 helle (just a stray cat girl) | I mean...... for a first year compsci student with the two classes I just mentioned, :P that is the level a lot of people starting out with any new language actually would have roughly, even if they are super skilled in say PHP | 21:28:07 |
 Charles | the motivation is to ban those from what i'm calling literal identifiers | 21:28:35 |
| Charles | that's the entire point | 21:28:51 |
 rosssmyth | Nix is an immutable lang so there are no "variables", as nothing can ever change. For functional languages you usually call things "[let] bindings," as it is bound to a specific value, and will never change (unless you shadow the binding). | 21:28:52 |
| rosssmyth | * Nix is an immutable lang so there are no "variables", as nothing can ever change. For functional languages you usually call things "[let] bindings," as it is bound to a specific value, and will never change (unless you shadow the binding). Even then you aren't changing the binding itself as once you go back to the original scope, it will still be bound to the original value. | 21:29:33 |
| Charles | yeah but "binding" is too scary of a word so people don't say that, they just say "variable" because that's more commonly understood | 21:29:34 |
| Charles | the rust book for example used to use "binding" because it's correct but then switched to calling everything "variables" to be understandable | 21:29:56 |
| helle (just a stray cat girl) | yep, lies to children | 21:30:00 |
| helle (just a stray cat girl) | or in this case, lies to people who don't do programming language design or analysis or, etc | 21:30:26 |
| rosssmyth | Basically just for people who don't usually sit in functional programming world | 21:31:00 |
| rosssmyth | which is fine | 21:31:07 |
| helle (just a stray cat girl) | (something something we made a mistake by using =, give me :=) | 21:31:10 |
| helle (just a stray cat girl) | or who don't work with the design of programming languages in general (because every modern optimised language ends up being that in the end) | 21:31:41 |
| rosssmyth | My overall biggest complaint with the nix lang is that lists should be separated with commas so that spaces are not quite as overloaded | 21:32:35 |
| helle (just a stray cat girl) | .... yes | 21:32:42 |
| helle (just a stray cat girl) | also so operator binding doesn't require as many braces or pipes | 21:33:22 |
| helle (just a stray cat girl) | well, dealing with | 21:33:29 |
| helle (just a stray cat girl) | it's fine now that I am used to nixlang, but it was a big pit fall early on | 21:33:52 |
| helle (just a stray cat girl) | and I have a background with Haskell (still wish that I could just cross compile Haskell to Nix, but well, that is a different story) | 21:34:17 |
| rosssmyth | I think there's a Gleam backend for Nix. Unsure how maintained it is. | 21:34:50 |
| Rutile (Commentator2.0) feel free to ping | In reply to @rosssmyth:matrix.org
My overall biggest complaint with the nix lang is that lists should be separated with commas so that spaces are not quite as overloaded What about scala sytle no brackets at all and just :: between the elements? :D
i.e.
a :: b :: c
/j | 21:36:04 |
| helle (just a stray cat girl) | noooooo | 21:36:15 |
| helle (just a stray cat girl) | wrote enough Scala, to go nooooo | 21:36:20 |
| 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 |
