Newest at the top
| 2024-05-16 13:41:02 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-16 13:39:43 +0200 | danse-nr3 | (~danse-nr3@an-19-164-164.service.infuturo.it) |
| 2024-05-16 13:37:59 +0200 | bolivood | (~bolivood@2a0d:6fc2:5d10:8200:e4f7:dd84:71b6:db6) (Ping timeout: 256 seconds) |
| 2024-05-16 13:37:37 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-05-16 13:35:46 +0200 | bolivood1 | (~bolivood@2a0d:6fc2:5d10:8200:11e8:e299:e23d:e488) |
| 2024-05-16 13:34:35 +0200 | koz | (~koz@121.99.240.58) |
| 2024-05-16 13:34:09 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-05-16 13:33:27 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 256 seconds) |
| 2024-05-16 13:32:53 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 256 seconds) |
| 2024-05-16 13:28:44 +0200 | patrl | (~patrl@user/patrl) |
| 2024-05-16 13:26:21 +0200 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 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`) |