Newest at the top
| 2024-05-16 13:21:56 +0200 | patrl | (~patrl@user/patrl) |
| 2024-05-16 13:18:09 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-05-16 13:12:25 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:c695:1779:f1ed:a0d3) |
| 2024-05-16 13:07:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) |
| 2024-05-16 13:02:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-16 13:02:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2024-05-16 13:00:14 +0200 | <famubu> | Yeah |
| 2024-05-16 13:00:08 +0200 | <famubu> | :) |
| 2024-05-16 13:00:01 +0200 | <tomsmeding> | famubu: every time you figure something like this out, you gain a little more intuition for what the types meant :) |
| 2024-05-16 12:59:41 +0200 | <famubu> | Thanks. |
| 2024-05-16 12:59:37 +0200 | <famubu> | Oh.. sorry. That worked. I'm not yet that good at extracting the correct info from the types.. 😬 |
| 2024-05-16 12:58:23 +0200 | <tomsmeding> | famubu: `rep` returns useful info here so you shouldn't use (<$) |
| 2024-05-16 12:58:04 +0200 | <lambdabot> | Functor f => a -> f b -> f a |
| 2024-05-16 12:58:03 +0200 | <tomsmeding> | :t (<$) |
| 2024-05-16 12:58:00 +0200 | <tomsmeding> | but Rep is not fully applied so that fails |
| 2024-05-16 12:57:58 +0200 | <neiluj> | hey! ocaml guy here! I'd like to deepen my knowledge by playing with haskell advanced features such as liquid haskell, category theory stuff. Which projects/reading material would you recommend to achieve this goal? |
| 2024-05-16 12:57:54 +0200 | <tomsmeding> | <$ is for if you don't care about the result of 'rep' and want it to be Rep anyway |
| 2024-05-16 12:57:43 +0200 | <tomsmeding> | I meant the latter |
| 2024-05-16 12:57:40 +0200 | <tomsmeding> | famubu: Postfix (Rep <$ rep) is not the same as Postfix rep |
| 2024-05-16 12:57:32 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-16 12:57:23 +0200 | <famubu> | This was the error: https://bpa.st/U6MQ |
| 2024-05-16 12:56:54 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-16 12:56:52 +0200 | <famubu> | Rep constructor is like `Re a -> Integer -> Integer` |
| 2024-05-16 12:56:33 +0200 | <famubu> | Yeah. |
| 2024-05-16 12:56:22 +0200 | <tomsmeding> | ) |
| 2024-05-16 12:56:20 +0200 | <tomsmeding> | (I wasn't reading carefully and assumed (:-) was for e.g. `[a-z]` |
| 2024-05-16 12:56:09 +0200 | <famubu> | Postfix rep didn't work. Because of the extra `Integer -> Integer`. |
| 2024-05-16 12:56:04 +0200 | <tomsmeding> | sure |
| 2024-05-16 12:56:02 +0200 | <tomsmeding> | ah I see |
| 2024-05-16 12:55:45 +0200 | <famubu> | Symbols are single characters. So ABC should become like `A :- B :- C`. So no need to explicitly parse a hyphen. Is that what you meant? |
| 2024-05-16 12:53:57 +0200 | neiluj | (~neiluj@193.203.71.162) |
| 2024-05-16 12:50:46 +0200 | <tomsmeding> | I wonder if your :- parsing is working though; should it not parse a '-'? |
| 2024-05-16 12:49:42 +0200 | <tomsmeding> | note the type of Postfix here https://hackage.haskell.org/package/parser-combinators-1.3.0/docs/Control-Monad-Combinators-Expr.h… |
| 2024-05-16 12:49:14 +0200 | <tomsmeding> | famubu: `Postfix rep` doesn't work? |
| 2024-05-16 12:49:06 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:d028:ce6d:23c1:c5bb) (Remote host closed the connection) |
| 2024-05-16 12:44:01 +0200 | yin | (~yin@user/zero) |
| 2024-05-16 12:41:39 +0200 | <famubu> | where they mention it for `+`, and `*`. But still couldn't figure how to make it more general. |
| 2024-05-16 12:41:15 +0200 | <famubu> | Saw this (parsec): https://stackoverflow.com/questions/9020254/using-parsec-to-parse-regular-expressions |
| 2024-05-16 12:38:31 +0200 | <famubu> | I wasn't sure how to add `rep` to the operator table (`optab`) |
| 2024-05-16 12:38:01 +0200 | <famubu> | This is what I have: https://bpa.st/5O4Q |
| 2024-05-16 12:37:33 +0200 | <famubu> | Hi. I had been trying to make a megaparsec parser to parse regular expression. I got atoms and concatenation working. Now I'm trying to get repetition like `r{2,4}` but couldn't finish it. |
| 2024-05-16 12:33:26 +0200 | famubu | (~julinuser@user/famubu) |
| 2024-05-16 12:28:55 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-05-16 12:26:29 +0200 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-05-16 12:24:05 +0200 | patrl | (~patrl@user/patrl) |
| 2024-05-16 12:23:19 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-05-16 12:21:37 +0200 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-05-16 12:20:48 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-05-16 12:13:28 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-05-16 12:08:51 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |