!9IQChSjwSHXPPWTa:lix.systems

Lix

1095 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-rooms291 Servers

Load older messages


SenderMessageTime
14 Nov 2025
@raitobezarius:matrix.orgraitobezariusi already know what caused it, don't worry21:24:34
15 Nov 2025
@suyashtnt:matrix.orgsuya changed their profile picture.11:16:28
@emma:rory.gayEmma [it/its] i wonder if its possible to build less of lix 14:34:04
@emma:rory.gayEmma [it/its]ie. ommitting nix-channel etc14:34:36
@aloisw:julia0815.dealoisw Such a possibility does not exist right now. I'm also afraid it wouldn't help much, as nix-channel is not that large and mostly works by calling other stuff that has to be there anyway. 14:48:16
@flacks:matrix.orgflax changed their display name from Jean to flax.15:31:38
@347online:matrix.orgKatie

Hello. I have a question about prior art in Nix language RFCs/pre-RFCs of if anyone had anyone had ever proposed something along the lines of Regex Literals?
Considering that the Lix project is interested in evolving the language12, I figured this might be a good place to ask?

(Wasn't sure if this moreso belonged here or in Development)

18:28:31
@347online:matrix.orgKatie *

Hello. I have a question about prior art in Nix language RFCs/pre-RFCs of if anyone had anyone had ever proposed something along the lines of Regex Literals?
Considering that the Lix project is interested in evolving the language[1][2], I figured this might be a good place to ask?

(Wasn't sure if this moreso belonged here or in Development)

18:29:12
@k900:0upti.meK900 Was never proposed AFAIK and also Nix regex semantics are wildly underspecified 18:31:29
@k900:0upti.meK900 @aloisw has horror stories if you want 18:31:34
@aloisw:julia0815.dealoisw The "horror stories" I found are mostly about finding a library that actually works. 18:34:24
@aloisw:julia0815.dealoisw Yes, such a library exists (TRE with proper configuration), but never got around to rejecting its extensions. 18:35:00
@aloisw:julia0815.dealoisw Regex literals are also something that looks more related to URL literals than to regex implementations, and maybe it suffices to say that the former were thrown out some time ago. 18:35:47
@k900:0upti.meK900Actually now that I think about it18:36:14
@k900:0upti.meK900 What would a regex literal even do 18:36:19
@k900:0upti.meK900Like would it have function semantics?18:36:25
@k900:0upti.meK900 So /foo/ bar desugars to builtins.match "foo" bar? 18:36:42
@aloisw:julia0815.dealoisw no, it would just be another way of writing a string to confuse users 18:36:49
@347online:matrix.orgKatieOh that's an interesting thought18:36:50
@k900:0upti.meK900Cause I kinda hate that18:36:52
@522_:catgirl.cloud522 it/its ⛯ΘΔi assume url literals were at least checked for validity?18:37:15
@k900:0upti.meK900Not really18:37:23
@k900:0upti.meK900And "validity" for URLs is a very nebulous concept anyway18:37:32
@aloisw:julia0815.dealoisw
nix-repl> /foo/ bar
error: path has a trailing slash
       at «string»:1:6:
            1| /foo/ bar
             |      ^

surprisingly enough that syntax is free

18:37:36
@522_:catgirl.cloud522 it/its ⛯ΘΔ /foo[/ should fail to evaluate, at least 18:37:40
@k900:0upti.meK900Most things you would not expect to be valid URLs actually are18:37:41
@347online:matrix.orgKatie...this is roughly what I imagined, but you do make a good point 😅18:37:44
@aftix:matrix.orgaftix you can write regex in '' to avoid double backslashing already? 18:37:54
@k900:0upti.meK900Yeah I think the question here really is, what kind of semantics do you want18:38:07
@k900:0upti.meK900And also why18:38:09

Show newer messages


Back to Room ListRoom Version: 10