Newest at the top
| 2024-04-29 20:26:01 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-29 20:25:06 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-04-29 20:23:15 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 245 seconds) |
| 2024-04-29 20:17:47 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-29 20:13:32 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-29 20:10:46 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-29 20:08:19 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-04-29 20:08:13 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-29 20:07:50 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 20:07:37 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-29 20:05:50 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 20:04:03 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2024-04-29 20:03:46 +0200 | andrewboltachev | (~andrewbol@178.141.238.156) (Quit: Client closed) |
| 2024-04-29 19:59:36 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-04-29 19:59:31 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-29 19:56:42 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-29 19:50:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-29 19:37:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-29 19:36:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-29 19:36:20 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-29 19:33:43 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-04-29 19:26:26 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-04-29 19:23:33 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-04-29 19:22:44 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 268 seconds) |
| 2024-04-29 19:21:03 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-29 19:20:55 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-04-29 19:20:15 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-29 19:18:32 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-04-29 19:15:50 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-29 19:12:08 +0200 | andrewboltachev | (~andrewbol@178.141.238.156) |
| 2024-04-29 19:00:38 +0200 | gaff | (~gaff@49.207.216.126) () |
| 2024-04-29 18:58:51 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-29 18:56:54 +0200 | Square | (~Square@user/square) |
| 2024-04-29 18:56:03 +0200 | <gaff> | ncf: thanks |
| 2024-04-29 18:55:47 +0200 | <ncf> | let's go with no |
| 2024-04-29 18:54:26 +0200 | <EvanR> | outlook unclear call again |
| 2024-04-29 18:54:12 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-04-29 18:54:11 +0200 | <ncf> | :( |
| 2024-04-29 18:53:55 +0200 | <lambdabot> | Unknown command, try @list |
| 2024-04-29 18:53:55 +0200 | <ncf> | @8ball |
| 2024-04-29 18:52:35 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-04-29 18:52:15 +0200 | <gaff> | Consider the following example. you are writing a bunch of parser combinators, and many of these combinators use `get` and `put`. Is that circumventing the State monad? |
| 2024-04-29 18:52:07 +0200 | <ncf> | i mean you are asking for a general yes/no answer to something that is essentially a value judgement (bookkeeping) and highly context-dependent |
| 2024-04-29 18:50:28 +0200 | <gaff> | ncf: I am not really clear what you meant there. |
| 2024-04-29 18:49:44 +0200 | <ncf> | but other than that get and put are just part of the normal State interface |
| 2024-04-29 18:49:14 +0200 | <ncf> | if you end up using get and put in between every function call then i would say you are bookkeeping and defeating the purpose of State |
| 2024-04-29 18:48:55 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-04-29 18:48:26 +0200 | <ncf> | that's not a well-defined concept, just a vibe |
| 2024-04-29 18:47:57 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-29 18:47:53 +0200 | <gaff> | ncf: well, I want to be clear about what is state "bookkeeping" (which you would have to do if you didn't use the State monad) vs the use of these functions `get` and `put`. |