Logs: freenode/#haskell
| 2021-03-08 16:23:09 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
| 2021-03-08 16:24:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 264 seconds) |
| 2021-03-08 16:25:33 | × | hoppfull quits (55e07729@c-2977e055.19-9-64736c10.bbcust.telenor.se) (Quit: Connection closed) |
| 2021-03-08 16:25:48 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-08 16:26:15 | × | m2rrorbird quits (~dwsjeid91@m83-187-177-242.cust.tele2.se) (Remote host closed the connection) |
| 2021-03-08 16:27:33 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 264 seconds) |
| 2021-03-08 16:27:38 | → | jonathanx_ joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-08 16:28:49 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1) |
| 2021-03-08 16:30:06 | <zebrag> | > let {h :: Int -> Char -> [Char]; h _ _ = "Hello"; a = Just 3; b = Just 'a'} in fmap (\(x,y) -> fmap y x) (fmap (\x -> (b,x)) (fmap h a)) -- Supposing I know no specifics of the functor (here Maybe), I don't think I can collapse the result. So I lifted a multi-argument function, but the result is twice encapsulated. |
| 2021-03-08 16:30:08 | <lambdabot> | Just (Just "Hello") |
| 2021-03-08 16:32:21 | <zebrag> | So "every functor is an applicative" is far from being a fact so far. |
| 2021-03-08 16:34:58 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-08 16:36:01 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 2021-03-08 16:36:34 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-03-08 16:37:42 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-08 16:38:08 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-08 16:38:46 | × | chisui quits (5882391a@mue-88-130-57-026.dsl.tropolys.de) (Quit: Connection closed) |
| 2021-03-08 16:38:47 | × | gitgoood quits (~gitgood@82-132-219-97.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-08 16:41:28 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Ping timeout: 260 seconds) |
| 2021-03-08 16:41:36 | <zebrag> | Of course I could apply `join` on that, but that'd be assuming the functor is a monad, that'd be defeating the purpose. |
| 2021-03-08 16:42:52 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-08 16:43:14 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 264 seconds) |
| 2021-03-08 16:44:15 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-08 16:44:24 | → | muzimuzhi joins (32740d90@50.116.13.144) |
| 2021-03-08 16:45:08 | × | rj quits (~x@gateway/tor-sasl/rj) (Remote host closed the connection) |
| 2021-03-08 16:45:16 | → | conal joins (~conal@192.145.118.133) |
| 2021-03-08 16:45:31 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-08 16:46:49 | × | crobbins_ quits (~crobbins@2601:2c1:200:ec50:5478:59f2:999b:c6a1) (Remote host closed the connection) |
| 2021-03-08 16:47:28 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:f55d:19c5:faea:9b3) |
| 2021-03-08 16:48:30 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection) |
| 2021-03-08 16:48:48 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-03-08 16:48:50 | × | conal quits (~conal@192.145.118.133) (Client Quit) |
| 2021-03-08 16:49:12 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-08 16:51:13 | <muzimuzhi> | doc typo: unpaired left brace "(" in doc for PostfixOperators language extension |
| 2021-03-08 16:51:13 | <muzimuzhi> | In doc |
| 2021-03-08 16:51:14 | <muzimuzhi> | (for any expression e and operator (!). |
| 2021-03-08 16:51:14 | <muzimuzhi> | the "(" before "for" is unpaired. |
| 2021-03-08 16:51:15 | <muzimuzhi> | doc: https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/rebindable_syntax.html#postfix-operators |
| 2021-03-08 16:51:15 | <muzimuzhi> | source: https://gitlab.haskell.org/ghc/ghc/-/blob/master/docs/users_guide/exts/rebindable_syntax.rst#L143 |
| 2021-03-08 16:51:16 | <muzimuzhi> | I was too lazy to post an issue to gitlab.haskell.org/ghc/ghc, so sorry. |
| 2021-03-08 16:53:20 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-08 16:53:34 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-03-08 16:55:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-08 16:55:27 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-08 16:56:19 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) |
| 2021-03-08 16:57:26 | × | pjb quits (~t@2a01cb04063ec5009532626e850365ce.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-03-08 16:58:36 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-08 16:59:33 | × | locrian9 quits (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Quit: leaving) |
| 2021-03-08 16:59:44 | → | poscat joins (~poscat@2408:8207:4829:8650::1) |
| 2021-03-08 17:01:31 | → | pjb joins (~t@2a01cb04063ec500f0530f573da1cece.ipv6.abo.wanadoo.fr) |
| 2021-03-08 17:02:05 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-03-08 17:02:10 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-08 17:03:59 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-08 17:05:53 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-03-08 17:07:04 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-clfenppapebihjat) (Quit: Connection closed for inactivity) |
| 2021-03-08 17:08:56 | <lyxia> | I sent a fix |
| 2021-03-08 17:11:22 | → | conal joins (~conal@192.145.118.133) |
| 2021-03-08 17:11:27 | → | johnw joins (~johnw@haskell/developer/johnw) |
| 2021-03-08 17:13:43 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 265 seconds) |
| 2021-03-08 17:13:49 | → | writenix joins (~quassel@87.196.236.144) |
| 2021-03-08 17:14:32 | × | writenix quits (~quassel@87.196.236.144) (Client Quit) |
| 2021-03-08 17:14:54 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2021-03-08 17:14:57 | × | nrh^ quits (nrh@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-08 17:15:15 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-08 17:17:03 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 2021-03-08 17:19:33 | → | ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) |
| 2021-03-08 17:20:23 | → | tfl^ joins (tfl@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-08 17:20:33 | <muzimuzhi> | @lyx |
| 2021-03-08 17:20:34 | <lambdabot> | Maybe you meant: thx let |
| 2021-03-08 17:20:41 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-08 17:20:45 | → | fendor_ joins (~fendor@178.115.130.50.wireless.dyn.drei.com) |
| 2021-03-08 17:21:17 | <muzimuzhi> | lyxia I think you mean https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5203, thanks. |
| 2021-03-08 17:22:41 | × | vjacob quits (~vjacob@217.71.0.65) (Ping timeout: 256 seconds) |
| 2021-03-08 17:22:59 | × | fendor quits (~fendor@178.115.130.22.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 2021-03-08 17:24:13 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-08 17:27:03 | × | toorevitimirp quits (~tooreviti@117.182.183.154) (Remote host closed the connection) |
| 2021-03-08 17:29:11 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-08 17:30:10 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection) |
| 2021-03-08 17:31:09 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-08 17:31:45 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-08 17:31:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 17:34:09 | × | roconnor quits (~roconnor@host-104-157-194-235.dyn.295.ca) (Ping timeout: 264 seconds) |
| 2021-03-08 17:34:19 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-08 17:37:26 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 2021-03-08 17:38:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-08 17:38:22 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2021-03-08 17:39:24 | → | augnun joins (~augnun@2804:14c:658b:41bb:7293:21b:60d:209c) |
| 2021-03-08 17:39:54 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-08 17:41:31 | Techcable_ | is now known as Techcable |
| 2021-03-08 17:42:07 | → | crobbins_ joins (~crobbins@2601:2c1:200:ec50:5478:59f2:999b:c6a1) |
| 2021-03-08 17:43:01 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-08 17:44:10 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-03-08 17:44:25 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-08 17:44:46 | <ep1ctetus> | Hi, I have a record of data I want to save and read again later, does anyone recommend a format to save it in? I have used JSON in the past, so I'm leaning towards that |
| 2021-03-08 17:45:37 | → | bitmagie joins (~Thunderbi@200116b806c05f001879c69ab5903a67.dip.versatel-1u1.de) |
| 2021-03-08 17:45:37 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-08 17:45:50 | × | Aphex quits (uid70120@gateway/web/irccloud.com/x-rbipwsxddmowtxzn) (Quit: Connection closed for inactivity) |
| 2021-03-08 17:46:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-08 17:46:05 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-08 17:46:14 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:f55d:19c5:faea:9b3) (Ping timeout: 264 seconds) |
All times are in UTC.