Logs: freenode/#haskell
| 2021-03-03 02:35:56 | × | renzhi quits (~renzhi@2607:fa49:653f:eb00::5bc7) (Ping timeout: 240 seconds) |
| 2021-03-03 02:36:22 | <monochrom> | I think <*> is very troublesome with "Ap :: f (a->b) -> Ap f a -> Ap f b". |
| 2021-03-03 02:36:28 | × | pja quits (~phil@2a02:8010:6098:0:f2de:f1ff:fe2c:3d9) (Ping timeout: 265 seconds) |
| 2021-03-03 02:37:42 | × | dansho quits (~dansho@ec2-52-69-239-82.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving) |
| 2021-03-03 02:37:43 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 276 seconds) |
| 2021-03-03 02:37:59 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-03 02:38:57 | × | drbean_ quits (~drbean@TC210-63-209-35.static.apol.com.tw) (Ping timeout: 264 seconds) |
| 2021-03-03 02:40:08 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-03 02:40:45 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-03 02:42:55 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-03-03 02:42:55 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-03-03 02:43:46 | <monochrom> | OK, not very troublesome, I got it, but it's a bit more awkward. |
| 2021-03-03 02:44:12 | × | Wuzzy quits (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-03 02:44:36 | × | apache801 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 2021-03-03 02:44:43 | → | madnificent joins (~madnifice@static.210.74.63.178.clients.your-server.de) |
| 2021-03-03 02:44:54 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-03 02:45:35 | → | dixie joins (~dixie@real.wilbury.sk) |
| 2021-03-03 02:45:48 | → | sdressel joins (~sdressel@pwning.de) |
| 2021-03-03 02:47:29 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Remote host closed the connection) |
| 2021-03-03 02:47:43 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-03 02:48:11 | → | renzhi joins (~renzhi@2607:fa49:653f:eb00::296e) |
| 2021-03-03 02:48:24 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Remote host closed the connection) |
| 2021-03-03 02:48:54 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-03-03 02:49:28 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-03-03 02:49:36 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-03 02:49:42 | → | knupfer joins (~Thunderbi@200116b82cfd6c00951237cec1956766.dip.versatel-1u1.de) |
| 2021-03-03 02:50:15 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-03 02:50:30 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-03 02:51:03 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-03 02:52:23 | <monochrom> | https://paste.tomsmeding.com/Ld3vOJIn |
| 2021-03-03 02:55:06 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds) |
| 2021-03-03 02:55:42 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-03 02:57:18 | <zebrag> | indeed |
| 2021-03-03 02:57:22 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-03 02:58:14 | × | xff0x quits (~xff0x@2001:1a81:53bf:4d00:76e3:7146:e0fd:c933) (Ping timeout: 264 seconds) |
| 2021-03-03 03:00:00 | → | xff0x joins (~xff0x@2001:1a81:53fc:b400:9e6f:7ec7:a06c:c48c) |
| 2021-03-03 03:00:41 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Remote host closed the connection) |
| 2021-03-03 03:00:49 | × | tinhatcat quits (~tsranso@2600:1700:ae40:21c8:883b:8e1b:48a:92f0) (Quit: Leaving) |
| 2021-03-03 03:01:23 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:6892:934d:985d:8f37) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-03 03:02:27 | × | alx741 quits (~alx741@186.178.108.117) (Quit: alx741) |
| 2021-03-03 03:02:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-03 03:02:57 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-03-03 03:03:47 | → | ollierees joins (~ollierees@host86-158-135-255.range86-158.btcentralplus.com) |
| 2021-03-03 03:04:08 | → | solomon joins (4ca8078b@cpe-76-168-7-139.socal.res.rr.com) |
| 2021-03-03 03:04:10 | solomon | is now known as solomon` |
| 2021-03-03 03:04:10 | × | fl0_id quits (~fl0_id@claudia.s7t.de) (Ping timeout: 256 seconds) |
| 2021-03-03 03:04:14 | × | reactormonk1 quits (~reactormo@mehl.schokokeks.org) (Ping timeout: 272 seconds) |
| 2021-03-03 03:04:14 | × | ManiacTwister quits (~Twister@2a01:4f8:171:4de::40:2) (Ping timeout: 264 seconds) |
| 2021-03-03 03:05:19 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-03-03 03:05:22 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:dc70:c510:31c6:3b4) |
| 2021-03-03 03:07:08 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection reset by peer) |
| 2021-03-03 03:09:24 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-03 03:09:47 | <zebrag> | There are four implementation there: https://ro-che.info/articles/2013-03-31-flavours-of-free-applicative-functors, three of them with functor requirement. |
| 2021-03-03 03:10:08 | <zebrag> | imo it's an interesting simple idea. |
| 2021-03-03 03:10:20 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-03-03 03:10:42 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-03-03 03:11:12 | <zebrag> | I'll read your paste more thoroughly later. |
| 2021-03-03 03:11:23 | <zebrag> | I suppose it will still be there. |
| 2021-03-03 03:11:49 | <zebrag> | Thanks a lot for, everything. |
| 2021-03-03 03:13:19 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-03 03:15:41 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-03 03:15:41 | finn_elija | is now known as Guest29895 |
| 2021-03-03 03:15:41 | FinnElija | is now known as finn_elija |
| 2021-03-03 03:16:38 | → | fl0_id joins (~fl0_id@2a01:4f8:171:4de::40:2) |
| 2021-03-03 03:16:40 | → | reactormonk1 joins (~reactormo@mehl.schokokeks.org) |
| 2021-03-03 03:17:28 | → | ManiacTwister joins (~Twister@claudia.s7t.de) |
| 2021-03-03 03:19:00 | <zebrag> | Just putting the relevant links here: http://web.jaguarpaw.co.uk/~tom/blog/posts/2012-09-09-towards-free-applicatives.html, https://www.eyrie.org/~zednenem/2013/05/27/freeapp, http://arxiv.org/abs/1403.0749, https://hackage.haskell.org/package/free/docs/Control-Applicative-Free.html |
| 2021-03-03 03:19:20 | × | Guest29895 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-03 03:19:45 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:9170:144e:46d9:ed03) |
| 2021-03-03 03:24:36 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-03-03 03:27:01 | → | __minoru__shirae joins (~shiraeesh@109.166.56.62) |
| 2021-03-03 03:27:59 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-03 03:29:02 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-03 03:29:14 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2021-03-03 03:29:21 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds) |
| 2021-03-03 03:29:36 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2021-03-03 03:30:12 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Remote host closed the connection) |
| 2021-03-03 03:30:51 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-03 03:30:57 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 2021-03-03 03:33:19 | × | __minoru__shirae quits (~shiraeesh@109.166.56.62) (Ping timeout: 260 seconds) |
| 2021-03-03 03:35:42 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-03-03 03:36:04 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-03 03:36:16 | <swarmcollective> | :t nub |
| 2021-03-03 03:36:17 | <lambdabot> | Eq a => [a] -> [a] |
| 2021-03-03 03:36:26 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-03 03:36:39 | <swarmcollective> | @src nub |
| 2021-03-03 03:36:40 | <lambdabot> | nub = nubBy (==) |
| 2021-03-03 03:36:40 | <lambdabot> | --OR |
| 2021-03-03 03:36:40 | <lambdabot> | nub l = go l [] |
| 2021-03-03 03:36:40 | <lambdabot> | where go [] _ = [] |
| 2021-03-03 03:36:40 | <lambdabot> | go (x:xs) ls |
| 2021-03-03 03:36:42 | <lambdabot> | | x `elem` ls = go xs ls |
| 2021-03-03 03:36:44 | <lambdabot> | | otherwise = x : go xs (x:ls) |
| 2021-03-03 03:37:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-03 03:37:34 | × | dcoutts__ quits (~duncan@85.186.125.91.dyn.plus.net) (Remote host closed the connection) |
| 2021-03-03 03:37:40 | → | dcoutts_ joins (~dcoutts@unaffiliated/dcoutts) |
| 2021-03-03 03:37:59 | → | dcoutts__ joins (~duncan@85.186.125.91.dyn.plus.net) |
| 2021-03-03 03:38:00 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-03 03:38:08 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-ufymsxtwwagrydka) (Quit: Connection closed for inactivity) |
| 2021-03-03 03:39:47 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
All times are in UTC.