Newest at the top
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) |
2024-10-25 18:22:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-25 18:21:49 +0200 | <tomsmeding> | bwe: you aren't going to be able to have decorators on functions, because haskell simply doesn't have that syntax |
2024-10-25 18:21:11 +0200 | <EvanR> | Functor and Foldable classes are so uniquely defined for data structures that they are auto derivable |
2024-10-25 18:21:10 +0200 | <bwe> | tomsmeding: I mean https://docs.pytest.org/en/latest/how-to/parametrize.html |
2024-10-25 18:19:22 +0200 | <morsinichi> | hi, i am new to functional programming and i recently thought about whether there is general concepts about data like data traversal or data structure; i've noticed that in haskell you might define types that are non-terminating (like stream) and the traversal is bound to type's structure. |
2024-10-25 18:17:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 18:14:42 +0200 | acarrico1 | (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) (Quit: Leaving.) |
2024-10-25 18:14:40 +0200 | morsinichi | (~morsinich@61.4.97.157) |
2024-10-25 18:12:34 +0200 | vglfr | (~vglfr@2607:fb90:ea15:5496:ad3:f751:9b84:2064) (Read error: Connection reset by peer) |
2024-10-25 18:11:02 +0200 | <lxsameer> | cheers |