Newest at the top
2024-10-25 19:32:01 +0200 | morj | (~morj@2a01:e0a:e0e:5dd0:c932:38f5:27f7:ff4b) |
2024-10-25 19:31:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-25 19:31:30 +0200 | ljdarj1 | ljdarj |
2024-10-25 19:31:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2024-10-25 19:31:09 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3204-088a-fce6-8c1c-cc30-bfac.rev.sfr.net) alexherbo2 |
2024-10-25 19:30:50 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3204-088a-fce6-8c1c-cc30-bfac.rev.sfr.net) (Remote host closed the connection) |
2024-10-25 19:29:42 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-25 19:28:52 +0200 | Flerix | (Flerix@user/Flerix) Flerix |
2024-10-25 19:28:20 +0200 | Flerix | (Flerix@user/Flerix) (Quit: Leaving) |
2024-10-25 19:21:16 +0200 | rosco | (~rosco@60.53.7.10) (Quit: Lost terminal) |
2024-10-25 19:20:48 +0200 | spew | (~spew@155.133.15.67) spew |
2024-10-25 19:20:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 19:17:46 +0200 | Flerix | (Flerix@user/Flerix) Flerix |
2024-10-25 19:16:25 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-10-25 19:10:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-25 19:07:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-25 19:05:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 19:01:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-25 18:58:44 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Client Quit) |
2024-10-25 18:58:40 +0200 | ChanServ | +v yahb2 |
2024-10-25 18:58:40 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
2024-10-25 18:58:27 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
2024-10-25 18:57:45 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
2024-10-25 18:54:21 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-10-25 18:54:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-25 18:53:55 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) tomsmeding |
2024-10-25 18:53:20 +0200 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Quit: ZNC 1.9.1 - https://znc.in) |
2024-10-25 18:52:15 +0200 | <geekosaur> | because you hit it immediately with numeric types, since `(+)` and `(*)` both form valid and important monoids on them |
2024-10-25 18:51:35 +0200 | <geekosaur> | the more canonical example of such is `Monoid` |
2024-10-25 18:50:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 18:46:55 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-10-25 18:45:58 +0200 | <EvanR> | (though only one is allowed at a time in haskell) |
2024-10-25 18:45:37 +0200 | <EvanR> | morsinichi, there are types where there are multiple valid Applicative instances |
2024-10-25 18:39:34 +0200 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) tomsmeding |
2024-10-25 18:38:59 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.9.1 - https://znc.in) |
2024-10-25 18:37:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-25 18:35:45 +0200 | jespada | (~jespada@222.203-67-87.adsl-dyn.isp.belgacom.be) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2024-10-25 18:32:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 18:27:38 +0200 | <bwe> | …I know, nitty-picky |
2024-10-25 18:27:20 +0200 | <bwe> | c_wraith: yeah, it's mainly about how the test suite outputs the results of parametrised tests |
2024-10-25 18:27:00 +0200 | <bwe> | (to summarise a group instead giving each member of that sequence its own line, for example) |
2024-10-25 18:26:33 +0200 | <bwe> | tomsmeding: ok! and I can change the output for such a group with custom formatters (hspec): https://hspec.github.io/extending-hspec-formatter.html#a-simple-formatter |
2024-10-25 18:25:42 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2024-10-25 18:24:29 +0200 | acarrico1 | acarrico |
2024-10-25 18:23:28 +0200 | <tomsmeding> | (using hspec here, but any unit testing framework could be adapted in this way surely) |
2024-10-25 18:22:58 +0200 | <tomsmeding> | as c_wraith said: haskell is a programming language :p |
2024-10-25 18:22:53 +0200 | <bwe> | tomsmeding: I don't mean the decorators :) - I mean the inputs and expected values for the test function. |
2024-10-25 18:22:45 +0200 | <tomsmeding> | but re input/output pairs, what about \l -> describe "function name" $ sequence [it (show input) $ f input == expec | (input, expec) <- l] |
2024-10-25 18:22:28 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
2024-10-25 18:22:28 +0200 | acarrico1 | (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) |