Newest at the top
| 2024-11-08 18:00:50 +0100 | <haskellbridge> | <magic_rb> and 17 is the first | char |
| 2024-11-08 18:00:35 +0100 | <haskellbridge> | <magic_rb> thats the failure |
| 2024-11-08 18:00:29 +0100 | <haskellbridge> | <magic_rb> Left (ParseErrorBundle {bundleErrors = TrivialError 17 (Just (Tokens ('|' :| ""))) (fromList [Label ('w' :| "hite space"),EndOfInput]) :| [], bundlePosState = PosState {pstateInput = "("bar" -> tags ) || ("foo" -> tags )", pstateOffset = 0, pstateSourcePos = SourcePos {sourceName = "", sourceLine = Pos 1, sourceColumn = Pos 1}, pstateTabWidth = Pos 8, pstateLinePrefix = ""}}) |
| 2024-11-08 18:00:17 +0100 | <EvanR> | kind of hard to follow the logic at that level |
| 2024-11-08 17:59:40 +0100 | <EvanR> | magic_rb is it that your have too many "space" in your parser for parseOpIn and symbol... |
| 2024-11-08 17:56:40 +0100 | <haskellbridge> | <magic_rb> its just: between (symbol "(") (symbol ")") parseOp <|> parseOpEqual <|> parseOpNot <|> parseOpIn <|> parseOpOr <|> parseOpAnd |
| 2024-11-08 17:56:25 +0100 | <EvanR> | ok then ignore me |
| 2024-11-08 17:56:13 +0100 | <haskellbridge> | <magic_rb> i have no idea how to do that, i now assume that parens are gonna be there |
| 2024-11-08 17:56:01 +0100 | <EvanR> | or not because parens required |
| 2024-11-08 17:55:49 +0100 | <EvanR> | are -> and || operators with precedence |
| 2024-11-08 17:55:27 +0100 | <haskellbridge> | <magic_rb> ("bar" -> tags) || ("foo" -> tags) like that |
| 2024-11-08 17:55:18 +0100 | <geekosaur> | yin, I think optics or not is more of a stylistic choice. and Haskell is not Python with its "there is only One True Way" mentality |
| 2024-11-08 17:55:14 +0100 | <haskellbridge> | <magic_rb> uh, my bridge may have screwed it up, ignore the out ones |
| 2024-11-08 17:55:11 +0100 | <EvanR> | sounds tricky |
| 2024-11-08 17:54:51 +0100 | <EvanR> | nested quotation marks? |
| 2024-11-08 17:54:27 +0100 | <haskellbridge> | <magic_rb> I need help with parsing, ive been banging my head against this one for far too long, ive the following simple DSL https://paste.tomsmeding.com/s7OHAeBW and while i can parse "("people" -> tags)" i cannot parse "("bar" -> tags) || ("foo" -> tags)" and i for the life of me cannot figure out why |
| 2024-11-08 17:54:16 +0100 | <EvanR> | leaky abstractions is just a strong relatively verifiable claim |
| 2024-11-08 17:53:53 +0100 | <yin> | but i completely accept that people find it useful |
| 2024-11-08 17:53:33 +0100 | <yin> | i think that if i get myself into a place where optics would make thing easier, it's because i'm doing something wrong. structured the program the wrong way or something like that |
| 2024-11-08 17:53:20 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-11-08 17:53:02 +0100 | euleritian | (~euleritia@dynamic-176-007-148-106.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-08 17:51:46 +0100 | <yin> | that starts getting into the dozen paragraphs i can't commit to writing right now |
| 2024-11-08 17:50:15 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-08 17:49:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-08 17:49:57 +0100 | willscripted | (~willscrip@user/willscripted) (Client Quit) |
| 2024-11-08 17:48:28 +0100 | <EvanR> | I guess I heard of this or that "lens that's not a true lens" or something |
| 2024-11-08 17:47:52 +0100 | <EvanR> | leaky abstractions? in optics? |
| 2024-11-08 17:46:47 +0100 | <yin> | apart from introducing complexity, hard to reason about performance penalties and arguably inevitably leaky abstractions, which i guess you can say still belongs to the realm of stylistic preference, i think it goes against one of the main reasons why *I* choose to use Haskell, which is managing complexity and making things more maintainable (for some definition of maintainable) |
| 2024-11-08 17:46:41 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-08 17:46:22 +0100 | willscripted | (~willscrip@user/willscripted) (Client Quit) |
| 2024-11-08 17:45:56 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-08 17:43:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 17:42:21 +0100 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-11-08 17:42:11 +0100 | willscripted | (~willscrip@user/willscripted) (Quit: willscripted) |
| 2024-11-08 17:41:06 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-08 17:36:22 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2024-11-08 17:35:25 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-08 17:34:32 +0100 | willscripted | (~willscrip@user/willscripted) (Quit: Client closed) |
| 2024-11-08 17:32:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-08 17:32:16 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2024-11-08 17:32:03 +0100 | <haskellbridge> | <Bowuigi> yin "mostly" implies that you have non-stylistic arguments too, what are they? |
| 2024-11-08 17:31:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2024-11-08 17:27:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 17:26:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-08 17:21:38 +0100 | <merijn> | I mean, I rarely use optics, but sometimes they just make things infinitely easier :) |
| 2024-11-08 17:19:38 +0100 | <yin> | merijn: i could write a dozen paragraphs about it but it all comes down to personal stylistic preferences (mostly) |
| 2024-11-08 17:17:51 +0100 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) rachelambda |
| 2024-11-08 17:16:58 +0100 | willx | (~willscrip@user/willscripted) (Client Quit) |
| 2024-11-08 17:15:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-08 17:15:27 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |