Logs: freenode/#haskell
| 2021-03-22 20:38:27 | × | todda7 quits (~torstein@2a02:587:1b19:7e00:c6c7:4f08:2883:aa95) (Remote host closed the connection) |
| 2021-03-22 20:38:36 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-03-22 20:38:50 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-22 20:39:29 | → | dleffler1 joins (~dleffler@178.239.168.171) |
| 2021-03-22 20:41:23 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-22 20:41:25 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
| 2021-03-22 20:42:06 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Read error: Connection reset by peer) |
| 2021-03-22 20:42:08 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2021-03-22 20:42:19 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-03-22 20:42:25 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-03-22 20:42:42 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-22 20:42:58 | × | frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 260 seconds) |
| 2021-03-22 20:42:58 | × | cfricke quits (cfricke@gateway/vpn/mullvad/cfricke) (Ping timeout: 260 seconds) |
| 2021-03-22 20:43:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-22 20:46:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 264 seconds) |
| 2021-03-22 20:47:08 | × | wonko7 quits (~wonko7@45.15.17.60) (Ping timeout: 245 seconds) |
| 2021-03-22 20:47:12 | → | metaweta joins (a6461f1c@166.70.31.28) |
| 2021-03-22 20:48:40 | <metaweta> | @djinn (a->z)->a |
| 2021-03-22 20:48:40 | <lambdabot> | -- f cannot be realized. |
| 2021-03-22 20:50:00 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-22 20:52:17 | <ski> | @djinn-add type Search z a = (a -> z) -> a |
| 2021-03-22 20:52:28 | <ski> | @djinn a -> Search z a |
| 2021-03-22 20:52:28 | <lambdabot> | f a _ = a |
| 2021-03-22 20:52:42 | <ski> | @djinn Search z a -> (a -> Search z b) -> Search z b |
| 2021-03-22 20:52:42 | <lambdabot> | f a b c = b (a (\ d -> c (b d c))) c |
| 2021-03-22 20:55:13 | → | nighmi joins (~felix@port-83-236-34-206.dynamic.as20676.net) |
| 2021-03-22 20:56:15 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-03-22 20:59:04 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-22 20:59:47 | × | ystael quits (~ystael@24.sub-174-196-202.myvzw.com) (Read error: Connection reset by peer) |
| 2021-03-22 21:00:17 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-22 21:01:05 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-03-22 21:01:15 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-22 21:01:55 | <monochrom> | "is this a monad?" meme >:) |
| 2021-03-22 21:02:06 | <koz_> | Butterfly Man rofl. |
| 2021-03-22 21:02:22 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-03-22 21:02:23 | <koz_> | Someone needs to make that, but with a burrito over the butterfly. |
| 2021-03-22 21:02:30 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-22 21:02:34 | <monochrom> | hahaha yes |
| 2021-03-22 21:02:51 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-22 21:04:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-22 21:05:01 | → | cd540 joins (4b87575b@075-135-087-091.res.spectrum.com) |
| 2021-03-22 21:07:51 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-03-22 21:10:06 | × | seveg quits (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 265 seconds) |
| 2021-03-22 21:10:58 | → | seveg joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-03-22 21:12:33 | × | day quits (~Unknown@unaffiliated/day) (Ping timeout: 264 seconds) |
| 2021-03-22 21:13:38 | → | forp joins (57e3c46d@87.227.196.109) |
| 2021-03-22 21:13:44 | <tomsmeding> | @pf \a b c -> b (a (\d -> c (b d c))) c |
| 2021-03-22 21:13:44 | <lambdabot> | Maybe you meant: pl bf |
| 2021-03-22 21:13:48 | <tomsmeding> | @pl \a b c -> b (a (\d -> c (b d c))) c |
| 2021-03-22 21:13:48 | <lambdabot> | flip flip id . (ap .) . ap (.) . (. (ap (.) . flip)) . (.) |
| 2021-03-22 21:14:38 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 245 seconds) |
| 2021-03-22 21:14:55 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2021-03-22 21:15:27 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-03-22 21:15:48 | → | conal joins (~conal@192.145.118.79) |
| 2021-03-22 21:17:03 | → | jneira joins (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) |
| 2021-03-22 21:18:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-22 21:18:50 | → | ddere joins (uid110888@gateway/web/irccloud.com/x-osvdowtbmzcjquma) |
| 2021-03-22 21:19:33 | <tomsmeding> | @djinn (a -> b) -> Search z a -> Search z b |
| 2021-03-22 21:19:34 | <lambdabot> | f a b c = a (b (\ d -> c (a d))) |
| 2021-03-22 21:20:39 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-22 21:21:19 | × | maerwald quits (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2021-03-22 21:21:25 | <ski> | @where impossible |
| 2021-03-22 21:21:26 | <lambdabot> | <http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/>,<http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/> |
| 2021-03-22 21:21:36 | → | maerwald joins (~maerwald@mail.hasufell.de) |
| 2021-03-22 21:21:37 | <koz_> | Oh yeah, that's really cool. |
| 2021-03-22 21:22:21 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-22 21:23:17 | × | ryxai quits (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-22 21:23:30 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-22 21:23:53 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-22 21:25:35 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-22 21:25:57 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 2021-03-22 21:26:03 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-03-22 21:26:31 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-03-22 21:26:53 | × | Guest92446 quits (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-22 21:27:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-22 21:32:21 | × | fendor quits (~fendor@178.165.131.158.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2021-03-22 21:32:37 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2021-03-22 21:33:36 | → | ystael joins (~ystael@209.6.50.55) |
| 2021-03-22 21:36:17 | × | Sathiana quits (~kath@185-113-98-38.cust.bredband2.com) (Ping timeout: 256 seconds) |
| 2021-03-22 21:36:59 | × | michalz quits (~user@185.246.204.47) (Remote host closed the connection) |
| 2021-03-22 21:37:51 | × | knupfer quits (~Thunderbi@200116b82ce29200ddd218e8c7a73226.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2021-03-22 21:39:04 | × | cd540 quits (4b87575b@075-135-087-091.res.spectrum.com) (Quit: Connection closed) |
| 2021-03-22 21:40:15 | × | roconnor quits (~roconnor@host-45-58-230-226.dyn.295.ca) (Ping timeout: 246 seconds) |
| 2021-03-22 21:41:38 | → | stevenxl joins (~stevenlei@unaffiliated/stevenxl) |
| 2021-03-22 21:42:09 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
| 2021-03-22 21:42:29 | × | borne quits (~fritjof@200116b864caf700a6d9c1e30b1bd3ca.dip.versatel-1u1.de) (Ping timeout: 265 seconds) |
| 2021-03-22 21:42:54 | → | Alleria joins (~textual@2603-7000-3040-0000-5567-17e6-5142-189b.res6.spectrum.com) |
| 2021-03-22 21:43:17 | Alleria | is now known as Guest85182 |
| 2021-03-22 21:43:21 | × | Guest85182 quits (~textual@2603-7000-3040-0000-5567-17e6-5142-189b.res6.spectrum.com) (Client Quit) |
| 2021-03-22 21:45:02 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 264 seconds) |
| 2021-03-22 21:45:03 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-03-22 21:45:58 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9578819a903e74dd056f.dip0.t-ipconnect.de) |
| 2021-03-22 21:46:22 | × | dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0) |
| 2021-03-22 21:46:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 244 seconds) |
| 2021-03-22 21:47:50 | → | borne joins (~fritjof@200116b864caf700a6d9c1e30b1bd3ca.dip.versatel-1u1.de) |
| 2021-03-22 21:48:35 | → | roconnor joins (~roconnor@host-45-58-230-226.dyn.295.ca) |
| 2021-03-22 21:49:22 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 256 seconds) |
| 2021-03-22 21:49:42 | <bbhoss> | I've got a function with a where block with like 10 assignments. is this a smell or anti-pattern? everything is just using built in functions to transform data, and setting names for intermediate states that I process further. the function ends up just returning a combo of the assignments. |
| 2021-03-22 21:50:18 | <dmj`> | bbhoss: can you paste your code? |
| 2021-03-22 21:50:42 | <bbhoss> | here's a link: https://github.com/bbhoss/instant-runoff/blob/main/src/Lib.hs |
All times are in UTC.