Newest at the top
2024-05-16 14:31:09 +0200 | danse-nr3 | (~danse-nr3@151.43.160.43) |
2024-05-16 14:31:07 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-16 14:30:52 +0200 | danse-nr3 | (~danse-nr3@151.43.160.43) (Read error: Connection reset by peer) |
2024-05-16 14:20:23 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-16 14:19:47 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
2024-05-16 14:06:15 +0200 | danse-nr3 | (~danse-nr3@151.43.160.43) |
2024-05-16 14:05:59 +0200 | danse-nr3 | (~danse-nr3@an-19-164-164.service.infuturo.it) (Read error: Connection reset by peer) |
2024-05-16 14:05:29 +0200 | neiluj | (~neiluj@193.203.71.162) |
2024-05-16 14:04:03 +0200 | neiluj | (~neiluj@193.203.71.162) (Ping timeout: 255 seconds) |
2024-05-16 13:57:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-16 13:47:54 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-16 13:47:31 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
2024-05-16 13:44:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
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]` |