Newest at the top
2024-04-26 12:20:03 +0200 | chele | (~chele@user/chele) |
2024-04-26 12:14:39 +0200 | titibandit | (~titibandi@user/titibandit) |
2024-04-26 12:08:26 +0200 | <Rembane> | Sounds good. I'm always trudging around in the testing swamps, which is why I see these things everywhere. |
2024-04-26 12:04:51 +0200 | <carbolymer> | I'll go with nr 2 |
2024-04-26 12:04:43 +0200 | <carbolymer> | thanks everyone |
2024-04-26 12:04:37 +0200 | <carbolymer> | that'd be an overkil for this |
2024-04-26 12:04:11 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
2024-04-26 12:01:21 +0200 | <Rembane> | If you wanna go really spicy you can replace IO with some monad that looks like IO to make it possible to test stuff in a pure fashion. |
2024-04-26 11:59:42 +0200 | <tomsmeding> | definitely 2 |
2024-04-26 11:57:48 +0200 | yin | (~yin@user/zero) |
2024-04-26 11:57:35 +0200 | destituion | (~destituio@85.221.111.174) |
2024-04-26 11:57:18 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Read error: Connection reset by peer) |
2024-04-26 11:54:34 +0200 | <carbolymer> | [Leary]: oh that's a nice idea |
2024-04-26 11:53:55 +0200 | <[Leary]> | carbolymer: 3: `do { Tripwire{trigger,check} <- mkTripwire; ... }` |
2024-04-26 11:52:38 +0200 | <carbolymer> | can you call changing the state, an accessor? |
2024-04-26 11:51:32 +0200 | <Hecate> | carbolymer: is 2 just likeā¦ accessors? |
2024-04-26 11:49:42 +0200 | <Rembane> | I prefer number 2, it contains more words and not just a bundle of IO operations. |
2024-04-26 11:49:25 +0200 | <carbolymer> | fair point |
2024-04-26 11:48:46 +0200 | <ncf> | 2 is extensible |
2024-04-26 11:47:48 +0200 | forell | (~forell@user/forell) |
2024-04-26 11:47:48 +0200 | <carbolymer> | which API do you prefer, 1 or 2? https://paste.tomsmeding.com/qxFouHyR |
2024-04-26 11:45:27 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 255 seconds) |
2024-04-26 11:40:31 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2024-04-26 11:22:50 +0200 | anon1123_ | anon8697 |
2024-04-26 11:22:20 +0200 | waldo | (~waldo@user/waldo) (Client Quit) |
2024-04-26 11:21:11 +0200 | waldo | (~waldo@user/waldo) |
2024-04-26 11:16:28 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
2024-04-26 11:15:50 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer) |
2024-04-26 11:07:48 +0200 | __monty__ | (~toonn@user/toonn) |
2024-04-26 11:06:59 +0200 | mei | (~mei@user/mei) |
2024-04-26 11:04:34 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-26 10:58:33 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 268 seconds) |
2024-04-26 10:38:56 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
2024-04-26 10:33:54 +0200 | waldo | (~waldo@user/waldo) |
2024-04-26 10:28:25 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-04-26 10:25:39 +0200 | AlexZenon | (~alzenon@178.34.161.189) |
2024-04-26 10:21:06 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
2024-04-26 10:20:45 +0200 | AlexZenon | (~alzenon@178.34.161.189) (Ping timeout: 245 seconds) |
2024-04-26 10:11:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-04-26 10:09:37 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Ping timeout: 255 seconds) |
2024-04-26 10:05:25 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:2575:1903:5fc2:ed7c) |
2024-04-26 10:04:05 +0200 | lol_ | (~lol@2603:3016:1e01:b940:500c:2d35:d29f:521d) (Ping timeout: 245 seconds) |
2024-04-26 09:59:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
2024-04-26 09:44:54 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-04-26 09:39:52 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds) |
2024-04-26 09:35:45 +0200 | son0p | (~ff@191.104.18.195) (Ping timeout: 245 seconds) |
2024-04-26 09:29:34 +0200 | gmg | (~user@user/gehmehgeh) |
2024-04-26 09:28:46 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
2024-04-26 09:18:21 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-04-26 08:59:53 +0200 | mima | (~mmh@aftr-62-216-211-229.dynamic.mnet-online.de) |