3 Sep 2024 |
emily | if you think of Nix as JSON with functions, you won't be too far off | 13:41:20 |
emily | the big mind-bending thing that we use a lot is that Nix uses lazy evaluation, but that's like Haskell rather than ML | 13:41:36 |
emily | (and I wouldn't recommend trying to learn Haskell for this either) | 13:41:45 |
| cynerd left the room. | 14:30:45 |
| cynerd joined the room. | 14:38:14 |
| @stpisme:matrix.org left the room. | 18:23:17 |
| @abreu:matrix.org left the room. | 18:48:16 |
4 Sep 2024 |
| lychee removed their profile picture. | 02:52:16 |
| lychee set a profile picture. | 02:52:20 |
| kagurachan joined the room. | 04:16:08 |
| Robert Michael joined the room. | 06:32:55 |
| cafkafk joined the room. | 10:07:03 |
alpha.404 | In reply to @emilazy:matrix.org I think trying to learn ML will probably make things more confusing rather than less :) so what would you recommend? | 13:13:22 |
alpha.404 | it is indeed confusing for someone who is having its first approach to ML languages | 13:13:49 |
alpha.404 | * it is indeed confusing for someone who is having its first approach to ML languages just to learn Nix | 13:14:02 |
emily | well, ML brings in a pretty complex type system that has no relevance to Nix, and ML doesn't teach you about laziness at all which is most of the non-syntactic reasons why Nix is more confusing than Python or JavaScript or whatever | 15:41:13 |
emily | not sure if there really is another language I'd say helps learn Nix, because Nix is so idiosyncratic. Haskell at least teaches the laziness, but I think learning Haskell to grok laziness is harder than just grokking laziness with Nix itself | 15:41:55 |
emily | I'm not sure what tutorials are good for the Nix language itself because I'm enough of a PL nerd that I never really needed one. do the Nix Pills cover the language? | 15:42:13 |
| SomeoneSerge (utc+3) changed their display name from SomeoneSerge (UTC+3) to SomeoneSerge (nix.camp). | 21:48:18 |
| Ihar Hrachyshka joined the room. | 23:42:28 |
5 Sep 2024 |
infinisil | emily: https://nix.dev/tutorials/nix-language | 04:07:05 |
| @rz_mj:freiburg.social joined the room. | 06:04:22 |
| kagurachan set a profile picture. | 08:39:32 |
| kagurachan changed their profile picture. | 08:40:05 |
| Bot_wxt1221 set a profile picture. | 12:53:28 |
| lingo5080 joined the room. | 15:54:36 |
| @hiwhatname:matrix.org changed their display name from HiWhatName to Deleted. | 17:20:15 |
| @hiwhatname:matrix.org removed their profile picture. | 17:20:24 |
| @hiwhatname:matrix.org removed their display name Deleted. | 17:21:42 |
| @hiwhatname:matrix.org left the room. | 17:21:52 |