Logs: freenode/#haskell
| 2021-04-20 03:47:52 | → | pjb joins (~pjb@2a01cb04063ec500ad42b45c394adc0f.ipv6.abo.wanadoo.fr) |
| 2021-04-20 03:51:01 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-20 03:55:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-20 03:56:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-20 03:56:58 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-20 04:00:22 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2021-04-20 04:01:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-20 04:01:12 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2021-04-20 04:02:16 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-20 04:03:16 | × | philderbeast quits (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-20 04:03:49 | → | isovector joins (~isovector@172.103.216.166) |
| 2021-04-20 04:04:05 | <isovector> | can anyone show me why this diverges? |
| 2021-04-20 04:04:09 | <isovector> | knot :: State (Set String) a -> a |
| 2021-04-20 04:04:11 | <isovector> | knot m = fst $ fix $ \(_, used) -> runState m used |
| 2021-04-20 04:04:18 | <isovector> | i'd expect `knot $ pure True` to be `True` |
| 2021-04-20 04:04:32 | <isovector> | importing Control.Monad.State.Lazy |
| 2021-04-20 04:05:25 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-20 04:05:55 | <isovector> | ohh is it the lambda? |
| 2021-04-20 04:06:51 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5d5d:73a8:97:bab4) |
| 2021-04-20 04:07:18 | <isovector> | wow. using a tilde fixes it |
| 2021-04-20 04:07:21 | <isovector> | no pun intended :) |
| 2021-04-20 04:08:58 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-dagvmnchyestqbjc) (Quit: Connection closed for inactivity) |
| 2021-04-20 04:09:25 | × | elliott_ quits (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-20 04:09:39 | <c_wraith> | so using snd would also fix it |
| 2021-04-20 04:10:45 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-04-20 04:10:53 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-04-20 04:11:18 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-04-20 04:11:25 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5d5d:73a8:97:bab4) (Ping timeout: 258 seconds) |
| 2021-04-20 04:12:57 | × | jesystani quits (~thorn@2404:4404:17f1:4900:d29c:def4:f106:7586) (Ping timeout: 258 seconds) |
| 2021-04-20 04:13:44 | ← | isovector parts (~isovector@172.103.216.166) ("WeeChat 3.1") |
| 2021-04-20 04:14:05 | → | jesystani joins (~thorn@2404:4404:17f1:4900:5cee:f769:9f0a:b398) |
| 2021-04-20 04:14:19 | × | alx741 quits (~alx741@181.196.68.199) (Quit: alx741) |
| 2021-04-20 04:22:08 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-20 04:22:43 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-20 04:25:48 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-lfqvebqbrutpzvro) (Quit: Connection closed for inactivity) |
| 2021-04-20 04:29:18 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-20 04:30:19 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-04-20 04:33:38 | → | plutoniix joins (~q@ppp-124-122-197-70.revip2.asianet.co.th) |
| 2021-04-20 04:35:48 | → | falafel_ joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-20 04:40:42 | mnrmnaugh | is now known as awk |
| 2021-04-20 04:40:44 | <Guest78317> | hello haskell wizards |
| 2021-04-20 04:40:59 | <Guest78317> | i have a thing that i just KNOW can be made horribly terse, but i am not sure how to do it |
| 2021-04-20 04:41:02 | <Guest78317> | https://pastebin.com/0c5HxyRB |
| 2021-04-20 04:41:15 | <Guest78317> | would anyone be willing to walk me through simplifying the code in that paste |
| 2021-04-20 04:41:31 | <Guest78317> | i will appreciate it greatly!! |
| 2021-04-20 04:42:07 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-20 04:43:24 | × | nitrix quits (~nitrix@haskell/developer/nitrix) (Quit: Genius is one percent inspiration and ninety-nine percent perspiration) |
| 2021-04-20 04:43:36 | awk | is now known as mnrmnaugh |
| 2021-04-20 04:44:24 | <Cale> | func = maybe mempty (Map.fromListWith (++) . map (bar &&& bazzes)) foo -- perhaps? |
| 2021-04-20 04:44:37 | <Cale> | oops, missed a (.) |
| 2021-04-20 04:44:37 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 252 seconds) |
| 2021-04-20 04:44:52 | <Cale> | func = maybe mempty (Map.fromListWith (++) . map (bar &&& bazzes)) . foo |
| 2021-04-20 04:45:26 | <Cale> | I don't know if it's really much better. I probably wouldn't bother to avoid the case expression |
| 2021-04-20 04:45:32 | → | nitrix joins (~nitrix@haskell/developer/nitrix) |
| 2021-04-20 04:45:49 | <Cale> | But I also usually wouldn't define tups, and would inline that |
| 2021-04-20 04:46:23 | <Cale> | I also don't mind the lambda |
| 2021-04-20 04:46:45 | <Cale> | Using &&& is cute, but it's usually less easy to work with later |
| 2021-04-20 04:47:00 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-20 04:47:46 | → | Sgeo__ joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-20 04:47:54 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-04-20 04:48:05 | → | poljar1 joins (~poljar@93-139-112-157.adsl.net.t-com.hr) |
| 2021-04-20 04:48:07 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-04-20 04:48:07 | → | MVQq joins (~anja@198.254.208.159) |
| 2021-04-20 04:48:08 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2021-04-20 04:48:11 | × | poljar quits (~poljar@93-139-112-157.adsl.net.t-com.hr) (Read error: Connection reset by peer) |
| 2021-04-20 04:48:11 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 2021-04-20 04:48:20 | × | cpape quits (~user@static.180.18.203.116.clients.your-server.de) (Read error: Connection reset by peer) |
| 2021-04-20 04:48:23 | × | puke quits (~vroom@217.138.252.184) (Remote host closed the connection) |
| 2021-04-20 04:48:24 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-20 04:48:27 | → | cpape joins (~user@static.180.18.203.116.clients.your-server.de) |
| 2021-04-20 04:48:32 | → | gawen_ joins (~gawen@163.172.122.128) |
| 2021-04-20 04:48:34 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-20 04:48:35 | → | pyuk joins (~vroom@217.138.252.184) |
| 2021-04-20 04:48:39 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-04-20 04:49:11 | × | xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 240 seconds) |
| 2021-04-20 04:50:41 | × | Sgeo_ quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-20 04:50:42 | × | gawen quits (~gawen@movzbl.root.sx) (Ping timeout: 240 seconds) |
| 2021-04-20 04:50:42 | × | MarcelineVQ quits (~anja@198.254.208.159) (Ping timeout: 240 seconds) |
| 2021-04-20 04:51:26 | × | Codaraxis__ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 265 seconds) |
| 2021-04-20 04:53:17 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-04-20 04:59:21 | <Guest78317> | lambdabot: |
| 2021-04-20 04:59:27 | <Guest78317> | lambdabot: help |
| 2021-04-20 04:59:32 | <Guest78317> | :help lambdabot |
| 2021-04-20 05:00:03 | × | carlomagno quits (~cararell@148.87.23.8) (Quit: Leaving.) |
| 2021-04-20 05:00:13 | <Axman6> | Guest78317: /msg lambdabot @help |
| 2021-04-20 05:00:17 | <Guest78317> | oh |
| 2021-04-20 05:01:16 | <Guest78317> | oh wow lambdabot pointfree just saved my life |
| 2021-04-20 05:01:18 | <Guest78317> | wowie |
| 2021-04-20 05:08:49 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-20 05:09:42 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-uwdxggeqquhliznf) (Quit: Connection closed for inactivity) |
| 2021-04-20 05:12:33 | → | malumore_ joins (~malumore@151.62.126.110) |
| 2021-04-20 05:13:27 | × | jesystani quits (~thorn@2404:4404:17f1:4900:5cee:f769:9f0a:b398) (Ping timeout: 250 seconds) |
| 2021-04-20 05:14:23 | → | jesystani joins (~thorn@2404:4404:17f1:4900:746:76fb:2b67:7367) |
| 2021-04-20 05:16:50 | <sm[m]> | Guest78317: firing squad at dawn if you didn't make it shorter eh ? |
| 2021-04-20 05:17:01 | <Guest78317> | kinda |
| 2021-04-20 05:17:16 | <Guest78317> | more like embarrassing myself in front of the guy that hired me |
| 2021-04-20 05:17:30 | <Guest78317> | which id prefer to not do because i would like to keep getting paid to write this sort of haskell |
| 2021-04-20 05:17:43 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:b5bb:e6d4:94df:23fa) (Remote host closed the connection) |
| 2021-04-20 05:18:06 | <Guest78317> | i just need the opportunity to get paid to write haskell and i get better so quickly but |
| 2021-04-20 05:18:10 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
All times are in UTC.