IRCBrowse

2021/01/14

2021-01-14 00:00:31 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-14 00:00:45 +0100conal(~conal@138.199.52.87)
2021-01-14 00:01:26 +0100conal(~conal@138.199.52.87) (Client Quit)
2021-01-14 00:04:01 +0100EncodePanda(~user@185.238.239.205)
2021-01-14 00:04:16 +0100niekvandepas(~niekvande@84.241.193.190) (Remote host closed the connection)
2021-01-14 00:04:50 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 00:05:14 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-01-14 00:07:42 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-01-14 00:09:13 +0100EncodePanda(~user@185.238.239.205) (Ping timeout: 264 seconds)
2021-01-14 00:10:36 +0100heatsink(~heatsink@2600:1700:bef1:5e10:45f3:1cb8:c634:bead) (Remote host closed the connection)
2021-01-14 00:10:46 +0100vst(~vst@2406:3003:2004:2e8a:10c7:a9a:a957:2d1a)
2021-01-14 00:11:49 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-01-14 00:12:17 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 00:12:50 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-01-14 00:15:50 +0100jamesfielder[m](jamesfield@gateway/shell/matrix.org/x-hodgerwioachkctf)
2021-01-14 00:18:07 +0100dandart(~Thunderbi@home.dandart.co.uk) (Quit: dandart)
2021-01-14 00:21:49 +0100ulidtko(~ulidtko@194.54.80.38) (Ping timeout: 264 seconds)
2021-01-14 00:22:46 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-14 00:22:55 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-14 00:23:05 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-14 00:23:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-14 00:26:45 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-01-14 00:27:40 +0100LKoen(~LKoen@100.170.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-01-14 00:29:39 +0100son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-01-14 00:29:55 +0100etothepiiminus1(uid140653@gateway/web/irccloud.com/x-ypdfugpfcgnjxlri) (Quit: Connection closed for inactivity)
2021-01-14 00:31:05 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds)
2021-01-14 00:31:28 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-14 00:33:22 +0100mtae(uid179115@gateway/web/irccloud.com/x-yrhfyomnuczddnfb) (Quit: Connection closed for inactivity)
2021-01-14 00:34:01 +0100pavonia(~user@unaffiliated/siracusa)
2021-01-14 00:34:33 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-01-14 00:35:36 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds)
2021-01-14 00:39:02 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:6ccc:7c34:64f9:a54f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 00:44:19 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-01-14 00:44:46 +0100ukari(~ukari@unaffiliated/ukari)
2021-01-14 00:46:25 +0100dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 240 seconds)
2021-01-14 00:48:21 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 00:51:08 +0100heatsink(~heatsink@2600:1700:bef1:5e10:45f3:1cb8:c634:bead)
2021-01-14 00:52:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 00:53:10 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection)
2021-01-14 00:57:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-14 01:04:54 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds)
2021-01-14 01:11:12 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-14 01:12:07 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-14 01:12:38 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Client Quit)
2021-01-14 01:13:19 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-14 01:14:05 +0100sawmon-and-natal(sawmon-and@gateway/shell/matrix.org/x-xtzpbggeyumafmmb)
2021-01-14 01:18:18 +0100plutoniix(~q@node-und.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-01-14 01:18:49 +0100Sonderblade(~helloman@94.191.153.115)
2021-01-14 01:21:30 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-14 01:21:49 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-01-14 01:22:03 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 240 seconds)
2021-01-14 01:22:46 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-14 01:22:50 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2021-01-14 01:23:04 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-14 01:23:05 +0100Shiranai(beed0d05@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.5)
2021-01-14 01:26:00 +0100 <Shiranai> Hello, I'm trying to get vscode to work with haskell LSP, but the extension is telling me that it does not work with my ghc version (8.4.4). Looking at the LSP github it says it works well with 8.10.3
2021-01-14 01:26:23 +0100 <Shiranai> what's the right way to update haskell platform? I'm using the debian package and that's already the latest version
2021-01-14 01:26:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 01:28:45 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-01-14 01:28:49 +0100Sonderblade(~helloman@94.191.153.115) (Quit: Konversation terminated!)
2021-01-14 01:29:18 +0100Sonderblade(~helloman@94.191.153.115.mobile.tre.se)
2021-01-14 01:33:04 +0100 <Shiranai> nvm can't be done lol nice
2021-01-14 01:33:17 +0100Dark_Ethereal(~Drew@84.93.106.197) (Read error: Connection reset by peer)
2021-01-14 01:35:54 +0100 <monochrom> 8.4 is probably too old for most purposes
2021-01-14 01:36:12 +0100 <monochrom> HLS is definitely a post-8.6 thing.
2021-01-14 01:38:43 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-01-14 01:38:51 +0100plutoniix(~q@node-und.pool-125-24.dynamic.totinternet.net)
2021-01-14 01:39:37 +0100rajivr(uid269651@gateway/web/irccloud.com/x-wrlzwrvczojvhvjm)
2021-01-14 01:40:36 +0100conal(~conal@212.102.44.53)
2021-01-14 01:47:16 +0100conal(~conal@212.102.44.53) (Quit: Computer has gone to sleep.)
2021-01-14 01:50:48 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 01:52:06 +0100EncodePanda(~user@185.238.239.205)
2021-01-14 01:57:13 +0100acidjnk_new(~acidjnk@p200300d0c704e7817426bb844d6a6b27.dip0.t-ipconnect.de)
2021-01-14 01:57:36 +0100EncodePanda(~user@185.238.239.205) (Ping timeout: 265 seconds)
2021-01-14 02:01:15 +0100mcgriff(~griff-in@c-73-83-195-201.hsd1.wa.comcast.net)
2021-01-14 02:01:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-14 02:01:20 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:255c:8c1d:42fb:24ab:a8e9)
2021-01-14 02:01:40 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 02:02:11 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-01-14 02:02:32 +0100mcgriff(~griff-in@c-73-83-195-201.hsd1.wa.comcast.net) (Client Quit)
2021-01-14 02:04:07 +0100erayo(67817980@128.121.129.103.pba.apn.pmt.pf)
2021-01-14 02:05:55 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 02:06:13 +0100proteusguy(~proteusgu@cm-58-10-154-202.revip7.asianet.co.th) (Ping timeout: 264 seconds)
2021-01-14 02:06:32 +0100 <erayo> given a Map, how can I insert multiple values without having to name each intermediate step ? let m1 = insert k1 v1 myMap; let m2 = insert k2 v2 m1; let m3 = insert k3 v3 m2 ....
2021-01-14 02:10:42 +0100conal(~conal@66.115.157.109)
2021-01-14 02:11:01 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 264 seconds)
2021-01-14 02:12:36 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-14 02:12:55 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-01-14 02:13:13 +0100 <ephemient> let m3 = insert k3 v3 $ insert k2 v2 $ insert k1 v2 myMap
2021-01-14 02:13:43 +0100 <ephemient> as the Map is in the final position, it is easy to chain the functions this way
2021-01-14 02:14:28 +0100gryffonophoneme(~gryffonop@c-73-83-195-201.hsd1.wa.comcast.net)
2021-01-14 02:15:19 +0100 <ephemient> if the incoming key-value pairs are coming from another map, it would be better to use union though
2021-01-14 02:15:32 +0100 <xsperry> erayo, you can also do this if you're just initializing the Map: let m = M.fromList [(k1, v1), ..]
2021-01-14 02:15:54 +0100gryffonophoneme(~gryffonop@c-73-83-195-201.hsd1.wa.comcast.net) (Quit: Leaving)
2021-01-14 02:15:54 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit)
2021-01-14 02:16:03 +0100 <erayo> ah yeah, looks better already
2021-01-14 02:16:11 +0100mcgriff(~griff-in@c-73-83-195-201.hsd1.wa.comcast.net)
2021-01-14 02:16:13 +0100 <ephemient> > M.insert "e" 5 $ M.insert "d" 4 $ M.insert "c" 3 $ M.fromList [("a", 1), ("b", 2)]
2021-01-14 02:16:14 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-01-14 02:16:15 +0100 <lambdabot> fromList [("a",1),("b",2),("c",3),("d",4),("e",5)]
2021-01-14 02:16:54 +0100mcgriff(~griff-in@c-73-83-195-201.hsd1.wa.comcast.net) (Remote host closed the connection)
2021-01-14 02:17:51 +0100 <ephemient> > M.union (M.fromList [("a", 1), ("b", 2)]) (M.fromList [("c", 3), ("d", 4), ("e", 5)])
2021-01-14 02:17:54 +0100 <lambdabot> fromList [("a",1),("b",2),("c",3),("d",4),("e",5)]
2021-01-14 02:19:06 +0100erayo(67817980@128.121.129.103.pba.apn.pmt.pf) (Quit: Connection closed)
2021-01-14 02:19:43 +0100proteusguy(~proteusgu@cm-58-10-154-202.revip7.asianet.co.th)
2021-01-14 02:21:28 +0100darjeeling_(~darjeelin@122.245.120.137) (Ping timeout: 256 seconds)
2021-01-14 02:21:33 +0100 <xsperry> > foldr (uncurry M.insert) M.empty [("a", 1), ("b", 2)]
2021-01-14 02:21:35 +0100erayo(67817980@128.121.129.103.pba.apn.pmt.pf)
2021-01-14 02:21:35 +0100 <lambdabot> fromList [("a",1),("b",2)]
2021-01-14 02:22:43 +0100 <ski> > foldr (.) id [M.insert "e" 5,M.insert "d" 4,M.insert "c" 3] (M.fromList [("a",1),("b",2)])
2021-01-14 02:22:46 +0100 <lambdabot> fromList [("a",1),("b",2),("c",3),("d",4),("e",5)]
2021-01-14 02:23:13 +0100 <erayo> what about deletes, if I have a list of keys to delete from a map, is there anything cleaner than $ ?
2021-01-14 02:23:17 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-01-14 02:23:29 +0100columbarius1(~columbari@87.123.198.176) (Ping timeout: 260 seconds)
2021-01-14 02:23:44 +0100 <koz_> Is there a way to do hex notation for Word8 literals?
2021-01-14 02:24:48 +0100 <Uniaika> koz_: first hack: you can use readHex in base, which gives you a Num
2021-01-14 02:24:57 +0100 <koz_> Uniaika: _literals_ is the key term there.
2021-01-14 02:25:06 +0100 <xsperry> > let m = M.fromList [("a", 1), ("b", 2), ("c", 3)] in foldr M.delete m ["a", "b"]
2021-01-14 02:25:06 +0100 <koz_> I'm not reading an arbitrary runtime value.
2021-01-14 02:25:09 +0100 <lambdabot> fromList [("c",3)]
2021-01-14 02:25:17 +0100 <koz_> I wanna write 0x3bca :: Word8
2021-01-14 02:25:24 +0100 <koz_> (or equivalent)
2021-01-14 02:25:30 +0100columbarius1(~columbari@i5E86B385.versanet.de)
2021-01-14 02:25:31 +0100jollygood2(~bc8177f5@217.29.117.252)
2021-01-14 02:26:38 +0100 <erayo> neet
2021-01-14 02:27:05 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-01-14 02:27:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 02:27:32 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 02:27:36 +0100 <Uniaika> koz_: ah this is tricky, everything seems to do something slightly adjacent to what you want
2021-01-14 02:27:40 +0100 <Uniaika> > Haskell 2010 and Haskell 98 allows for integer literals to be given in decimal, octal (prefixed by 0o or 0O), or hexadecimal notation (prefixed by 0x or 0X).
2021-01-14 02:27:42 +0100 <lambdabot> <hint>:1:69: error: <hint>:1:69: error: parse error on input ‘in’
2021-01-14 02:27:47 +0100 <ski> > 0x3bca :: Word8
2021-01-14 02:27:50 +0100 <lambdabot> 202
2021-01-14 02:27:51 +0100 <koz_> OK, that's what I need.
2021-01-14 02:27:58 +0100 <koz_> > 0x3b :: Word8
2021-01-14 02:28:00 +0100 <lambdabot> 59
2021-01-14 02:28:02 +0100 <koz_> :D
2021-01-14 02:28:05 +0100 <koz_> Thanks ski!
2021-01-14 02:28:06 +0100 <ski> > 0xca :: Word8
2021-01-14 02:28:08 +0100 <lambdabot> 202
2021-01-14 02:28:19 +0100 <koz_> > 0xff
2021-01-14 02:28:21 +0100 <lambdabot> 255
2021-01-14 02:28:22 +0100 <Uniaika> > 0xDEADBEEF :: Word8
2021-01-14 02:28:24 +0100 <lambdabot> 239
2021-01-14 02:28:29 +0100 <koz_> Yep, this is me forgetting my sizes.
2021-01-14 02:28:32 +0100 <koz_> Thanks all.
2021-01-14 02:28:49 +0100 <ski> > 0xca.2bf :: Double
2021-01-14 02:28:52 +0100 <lambdabot> error:
2021-01-14 02:28:53 +0100 <lambdabot> • Variable not in scope: bf
2021-01-14 02:28:53 +0100 <lambdabot> • Perhaps you meant one of these:
2021-01-14 02:29:06 +0100 <Uniaika> ski: HexFloatLitterals
2021-01-14 02:29:19 +0100 <Uniaika> my bad, -XHexFloatLiterals
2021-01-14 02:29:26 +0100 <Uniaika> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-HexFlo…
2021-01-14 02:30:30 +0100 <jollygood2> wasn't there an extension for allowing more than one pattern match in case that share single body?
2021-01-14 02:30:49 +0100 <ski> "the base the exponent is 2 (not 16)" :(
2021-01-14 02:31:02 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-01-14 02:31:36 +0100 <ski> jollygood2 : afaik, there's been no implementation work on disjunctive / "or"- patterns
2021-01-14 02:31:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-14 02:32:49 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 02:33:39 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:6ccc:7c34:64f9:a54f)
2021-01-14 02:33:39 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-01-14 02:33:48 +0100Shiranai(beed0d05@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.5) (Quit: Connection closed)
2021-01-14 02:35:31 +0100jmchael(~jmchael@87.112.235.234) (Ping timeout: 246 seconds)
2021-01-14 02:35:41 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 02:37:45 +0100brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 240 seconds)
2021-01-14 02:38:25 +0100plutoniix(~q@node-und.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-01-14 02:39:13 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-01-14 02:39:47 +0100conal(~conal@66.115.157.109) (Quit: Computer has gone to sleep.)
2021-01-14 02:39:57 +0100Tario(~Tario@201.192.165.173)
2021-01-14 02:40:49 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-14 02:41:41 +0100ericsagnes(~ericsagne@2405:6580:0:5100:6ec1:4cfc:2443:dfd5) (Ping timeout: 272 seconds)
2021-01-14 02:45:38 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-cgwsyvepwlgtqsjc)
2021-01-14 02:46:50 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-01-14 02:47:12 +0100 <ephemient> has there even been a proposal? I don't think I've seen one
2021-01-14 02:48:03 +0100heatsink(~heatsink@2600:1700:bef1:5e10:45f3:1cb8:c634:bead) (Remote host closed the connection)
2021-01-14 02:50:26 +0100Entertainment(~entertain@104.246.132.210) ()
2021-01-14 02:54:42 +0100ericsagnes(~ericsagne@2405:6580:0:5100:4e48:ba59:767e:ec6e)
2021-01-14 02:54:49 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27)
2021-01-14 02:56:23 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net)
2021-01-14 02:57:54 +0100MarcelineVQ(~anja@198.254.199.42)
2021-01-14 02:58:14 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 02:58:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 02:58:29 +0100Wuzzy(~Wuzzy@p5790e10f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-01-14 02:58:31 +0100 <monochrom> ski: I don't think that's a problem. Actually that's a possible benefit. People write hex when they really have binary in mind but just can't be bothered to read/write a long string. 0xABCp3 being 0xABC * 2^3 is probably what most people want to begin with.
2021-01-14 02:58:43 +0100jedws(~jedws@121.209.139.157)
2021-01-14 03:00:04 +0100 <monochrom> What I consider a problem is that 1p10 means 2^ten not 2^sixteen.
2021-01-14 03:01:00 +0100 <monochrom> err 0x1p10. 1p10 is a syntax error heh
2021-01-14 03:01:14 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:255c:8c1d:42fb:24ab:a8e9) (Ping timeout: 264 seconds)
2021-01-14 03:02:01 +0100ystael(~ystael@209.6.50.55) (Ping timeout: 264 seconds)
2021-01-14 03:05:16 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-01-14 03:05:25 +0100darjeeling_(~darjeelin@122.245.120.137)
2021-01-14 03:08:37 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-mgixrozgwxipkcfn) (Quit: Connection closed for inactivity)
2021-01-14 03:11:10 +0100carlomagno1(~cararell@148.87.23.13) (Remote host closed the connection)
2021-01-14 03:11:17 +0100borne(~fritjof@200116b864541200ebe25c0bc4714abc.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-01-14 03:12:53 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 03:14:38 +0100Err(err@unaffiliated/err)
2021-01-14 03:17:07 +0100elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer)
2021-01-14 03:26:01 +0100 <Err> anyone around?
2021-01-14 03:27:04 +0100 <maerwald> No, just idling
2021-01-14 03:27:27 +0100threestrikes(~threestri@cpe-24-243-229-2.hot.res.rr.com)
2021-01-14 03:27:58 +0100 <threestrikes> are there any good resources to help me better understand how to incorporate a module into something I've written?
2021-01-14 03:28:11 +0100 <threestrikes> I'm having a hard time understanding how to properly use data types someone else has written. For example, I'm looking at the System.CPU Library but I don't understand how to get useful information from it.
2021-01-14 03:28:26 +0100drbean_(~drbean@TC210-63-209-220.static.apol.com.tw)
2021-01-14 03:28:46 +0100 <maerwald> looks pretty straight forward
2021-01-14 03:28:50 +0100jedws(~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 03:29:04 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:6ccc:7c34:64f9:a54f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 03:29:35 +0100carlomagno(~cararell@148.87.23.9)
2021-01-14 03:29:44 +0100xff0x_(~xff0x@2001:1a81:528c:9f00:d8d8:ed35:eec8:db5c)
2021-01-14 03:30:26 +0100 <threestrikes> The only thing I've been successful with using is the getCPUs function. I'm running into data type mismatches when I try to use things like physicalProcessors.
2021-01-14 03:30:41 +0100 <maerwald> getCPUs >>= putStrLn . show
2021-01-14 03:31:31 +0100 <maerwald> fmap physicalProcessors $ getCPUs
2021-01-14 03:32:10 +0100 <threestrikes> why does it have to be written that way?
2021-01-14 03:32:18 +0100 <maerwald> It seems to me you're not familiar with Monads and IO
2021-01-14 03:32:26 +0100 <threestrikes> That's where I'm having a disconnect
2021-01-14 03:32:34 +0100xff0x(~xff0x@port-92-195-21-125.dynamic.as20676.net) (Ping timeout: 246 seconds)
2021-01-14 03:32:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-01-14 03:32:58 +0100 <maerwald> There are a couple thousand monad tutorials out there, many of which feature mexican cuisine
2021-01-14 03:33:02 +0100 <threestrikes> I can try to explain what I know and can you please correct me and point me in the right direction to understand more?
2021-01-14 03:33:56 +0100 <threestrikes> I'm clueless on Monads but IO to me is basically when you need to interact with the outside world.
2021-01-14 03:33:59 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 03:34:13 +0100 <maerwald> https://www.cis.upenn.edu/~cis194/spring13/lectures.html there's a monad lecture there, also make sure to look at functor and applicative beforehand
2021-01-14 03:34:19 +0100 <threestrikes> For example if you need to display something to the screen it would need to use IO
2021-01-14 03:34:35 +0100 <monochrom> See my I/O tutorial: http://www.vex.net/~trebla/haskell/IO.xhtml
2021-01-14 03:34:59 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2021-01-14 03:35:13 +0100 <threestrikes> Thanks :)
2021-01-14 03:35:48 +0100rotaerk(rotaerk@2600:3c02::f03c:91ff:fe70:4a45) (Ping timeout: 260 seconds)
2021-01-14 03:36:12 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:6ccc:7c34:64f9:a54f)
2021-01-14 03:36:41 +0100jle`(~mstksg@unaffiliated/mstksg) (Ping timeout: 256 seconds)
2021-01-14 03:37:14 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-01-14 03:37:28 +0100rotaerk(~rotaerk@ender.afternet.org)
2021-01-14 03:37:48 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-01-14 03:38:13 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-01-14 03:39:17 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-01-14 03:39:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-01-14 03:40:19 +0100EncodePanda(~user@185.238.239.205)
2021-01-14 03:40:22 +0100ukari(~ukari@unaffiliated/ukari)
2021-01-14 03:40:26 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-xamyedegeiljgbot) (Quit: Connection closed for inactivity)
2021-01-14 03:41:41 +0100jle`(~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2021-01-14 03:41:41 +0100jle`(~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2021-01-14 03:41:41 +0100jle`(~mstksg@unaffiliated/mstksg)
2021-01-14 03:45:49 +0100EncodePanda(~user@185.238.239.205) (Ping timeout: 264 seconds)
2021-01-14 03:46:00 +0100 <Err> may i have some guide line how to use goper-proxy
2021-01-14 03:46:07 +0100 <Err> im totally confused
2021-01-14 03:48:27 +0100heatsink(~heatsink@2600:1700:bef1:5e10:45f3:1cb8:c634:bead)
2021-01-14 03:50:30 +0100erayo(67817980@128.121.129.103.pba.apn.pmt.pf) (Quit: Connection closed)
2021-01-14 03:50:37 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 03:52:01 +0100nineonine(~nineonine@50.216.62.2) (Remote host closed the connection)
2021-01-14 03:52:30 +0100nineonine(~nineonine@50.216.62.2)
2021-01-14 03:53:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:45f3:1cb8:c634:bead) (Ping timeout: 264 seconds)
2021-01-14 03:54:56 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds)
2021-01-14 03:56:34 +0100hoobop1(~hoobop@84.39.117.57) (Remote host closed the connection)
2021-01-14 03:59:25 +0100heatsink(~heatsink@2600:1700:bef1:5e10:45f3:1cb8:c634:bead)
2021-01-14 03:59:41 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com)
2021-01-14 04:00:06 +0100urodna_(~urodna@unaffiliated/urodna) (Quit: urodna_)
2021-01-14 04:08:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 04:11:22 +0100bruceadams(~bruceadam@84.39.117.57)
2021-01-14 04:13:35 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-01-14 04:13:43 +0100cgfuh(~cgfuh@181.167.191.58) (Quit: WeeChat 2.9)
2021-01-14 04:13:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-01-14 04:14:08 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-14 04:17:37 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com) (Quit: Connection closed)
2021-01-14 04:18:08 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com)
2021-01-14 04:18:35 +0100CMCDragonkai1(~Thunderbi@124.19.3.250)
2021-01-14 04:19:11 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2021-01-14 04:19:32 +0100acidjnk_new(~acidjnk@p200300d0c704e7817426bb844d6a6b27.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-01-14 04:21:28 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net) (Remote host closed the connection)
2021-01-14 04:22:32 +0100djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2021-01-14 04:25:13 +0100djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Client Quit)
2021-01-14 04:25:18 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-01-14 04:29:50 +0100cheater(~user@unaffiliated/cheater)
2021-01-14 04:30:53 +0100plutoniix(~q@184.82.192.185)
2021-01-14 04:33:10 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-01-14 04:34:15 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-01-14 04:40:04 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-01-14 04:42:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 04:42:58 +0100dolio(~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-14 04:43:29 +0100theDon(~td@94.134.91.87) (Ping timeout: 260 seconds)
2021-01-14 04:44:07 +0100Kaivo(~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 3.0)
2021-01-14 04:45:20 +0100theDon(~td@muedsl-82-207-238-218.citykom.de)
2021-01-14 04:47:05 +0100zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-01-14 04:48:15 +0100dolio(~dolio@haskell/developer/dolio)
2021-01-14 04:49:40 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-14 04:49:57 +0100zaquest(~notzaques@5.128.210.178)
2021-01-14 04:51:15 +0100Jd007(~Jd007@162.156.11.151)
2021-01-14 04:52:20 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-hzhnbhdjxyzndlqo) ()
2021-01-14 04:53:17 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-14 04:53:34 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-01-14 04:55:21 +0100Wuzzy(~Wuzzy@p549c9e84.dip0.t-ipconnect.de)
2021-01-14 04:56:32 +0100xirhtogal(~lagothrix@unaffiliated/lagothrix)
2021-01-14 04:56:32 +0100lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (hitchcock.freenode.net (Nickname regained by services)))
2021-01-14 04:56:32 +0100xirhtogallagothrix
2021-01-14 04:59:44 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-14 05:02:52 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds)
2021-01-14 05:02:55 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core)
2021-01-14 05:03:17 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56)
2021-01-14 05:04:16 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-01-14 05:06:45 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-01-14 05:07:03 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
2021-01-14 05:07:22 +0100Tario(~Tario@201.192.165.173)
2021-01-14 05:08:05 +0100threestrikes(~threestri@cpe-24-243-229-2.hot.res.rr.com) (Ping timeout: 240 seconds)
2021-01-14 05:10:07 +0100cdepillabout(~cdepillab@pl35600.ag1001.nttpc.ne.jp)
2021-01-14 05:10:35 +0100cdepillabout(~cdepillab@pl35600.ag1001.nttpc.ne.jp) (Client Quit)
2021-01-14 05:12:03 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:6ccc:7c34:64f9:a54f) (Read error: Connection reset by peer)
2021-01-14 05:12:16 +0100drbean_(~drbean@TC210-63-209-220.static.apol.com.tw) (Ping timeout: 240 seconds)
2021-01-14 05:14:13 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:6ccc:7c34:64f9:a54f)
2021-01-14 05:16:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-14 05:23:16 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-01-14 05:25:14 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-cgwsyvepwlgtqsjc) (Quit: Connection closed for inactivity)
2021-01-14 05:27:23 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-14 05:28:28 +0100EncodePanda(~user@185.238.239.205)
2021-01-14 05:31:03 +0100conal(~conal@198.8.81.214)
2021-01-14 05:33:19 +0100EncodePanda(~user@185.238.239.205) (Ping timeout: 246 seconds)
2021-01-14 05:34:55 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net)
2021-01-14 05:37:36 +0100fosterite(~fosterite@75-168-28-225.mpls.qwest.net)
2021-01-14 05:39:46 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net) (Ping timeout: 272 seconds)
2021-01-14 05:40:39 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com) (Quit: Connection closed)
2021-01-14 05:41:31 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com)
2021-01-14 05:41:48 +0100Foritus_(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-01-14 05:41:48 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Disconnected by services)
2021-01-14 05:42:02 +0100Foritus_Foritus
2021-01-14 05:42:05 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3656:8ea:afab:481d:8a34)
2021-01-14 05:46:29 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 05:46:34 +0100edk_(e@freenode/staff/spy.edk)
2021-01-14 05:47:03 +0100e(e@freenode/staff/spy.edk) (Read error: Connection reset by peer)
2021-01-14 05:48:23 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com) (Quit: Connection closed)
2021-01-14 05:52:01 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-01-14 05:53:05 +0100Wuzzy(~Wuzzy@p549c9e84.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-01-14 05:53:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 05:53:28 +0100hololeap(~hololeap@unaffiliated/hololeap)
2021-01-14 05:53:46 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-14 05:57:05 +0100fosterite(~fosterite@75-168-28-225.mpls.qwest.net) ()
2021-01-14 05:58:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2021-01-14 05:58:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-14 05:59:43 +0100ep1ctetus(~epictetus@ip184-187-162-163.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-01-14 06:00:59 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 06:01:50 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-01-14 06:03:11 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-01-14 06:04:35 +0100Khisanth(~Khisanth@24.sub-174-244-147.myvzw.com) (Ping timeout: 265 seconds)
2021-01-14 06:07:13 +0100ADG1089__(~aditya@122.163.165.143)
2021-01-14 06:12:13 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 264 seconds)
2021-01-14 06:15:19 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net)
2021-01-14 06:17:24 +0100shailangsa(~shailangs@host86-186-177-183.range86-186.btcentralplus.com) (Ping timeout: 260 seconds)
2021-01-14 06:17:31 +0100Khisanth(~Khisanth@24.sub-174-244-147.myvzw.com)
2021-01-14 06:17:36 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-14 06:18:03 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 240 seconds)
2021-01-14 06:19:28 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2021-01-14 06:19:31 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net) (Ping timeout: 246 seconds)
2021-01-14 06:20:16 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Quit: No Ping reply in 180 seconds.)
2021-01-14 06:21:06 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 06:21:19 +0100tsrt^(wearamask@ip98-184-89-2.mc.at.cox.net) ()
2021-01-14 06:26:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 06:30:58 +0100fiQ2(~fiQ@mirkk.ninja) (Ping timeout: 258 seconds)
2021-01-14 06:31:10 +0100fiQ2(~fiQ@mirkk.ninja)
2021-01-14 06:35:36 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-14 06:38:02 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:1875:e83f:3e95:4d35) (Remote host closed the connection)
2021-01-14 06:38:17 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-01-14 06:40:12 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2021-01-14 06:44:41 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3656:8ea:afab:481d:8a34) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 06:47:53 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:fc23:bc14:3ce8:6b77)
2021-01-14 06:49:34 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-14 06:53:26 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:fc23:bc14:3ce8:6b77) (Ping timeout: 264 seconds)
2021-01-14 06:53:45 +0100shailangsa(~shailangs@host86-186-132-61.range86-186.btcentralplus.com)
2021-01-14 06:53:45 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-01-14 06:53:56 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-01-14 06:58:40 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:fc23:bc14:3ce8:6b77)
2021-01-14 07:00:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-14 07:01:56 +0100jespada(~jespada@90.254.245.49) (Ping timeout: 240 seconds)
2021-01-14 07:03:28 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:fc23:bc14:3ce8:6b77) (Ping timeout: 260 seconds)
2021-01-14 07:04:06 +0100jespada(~jespada@90.254.245.49)
2021-01-14 07:08:29 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:fc23:bc14:3ce8:6b77)
2021-01-14 07:12:54 +0100nfip^(~hph@ip98-184-89-2.mc.at.cox.net)
2021-01-14 07:13:14 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:fc23:bc14:3ce8:6b77) (Ping timeout: 264 seconds)
2021-01-14 07:14:18 +0100dandels(~dandels@unaffiliated/dandels)
2021-01-14 07:16:33 +0100EncodePanda(~user@185.238.239.205)
2021-01-14 07:16:57 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-01-14 07:19:52 +0100monochrm(trebla@216.138.220.146)
2021-01-14 07:20:05 +0100monochrom(trebla@216.138.220.146) (Ping timeout: 240 seconds)
2021-01-14 07:20:05 +0100monochrmmonochrom
2021-01-14 07:20:10 +0100nineonin_(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-14 07:21:16 +0100EncodePanda(~user@185.238.239.205) (Ping timeout: 240 seconds)
2021-01-14 07:21:55 +0100vst(~vst@2406:3003:2004:2e8a:10c7:a9a:a957:2d1a) (Remote host closed the connection)
2021-01-14 07:22:17 +0100vst(~vst@2406:3003:2004:2e8a:eca7:1543:921c:b50a)
2021-01-14 07:23:18 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:6ccc:7c34:64f9:a54f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 07:23:38 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 272 seconds)
2021-01-14 07:27:38 +0100vst(~vst@2406:3003:2004:2e8a:eca7:1543:921c:b50a) (Ping timeout: 264 seconds)
2021-01-14 07:28:14 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-01-14 07:28:58 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:fc23:bc14:3ce8:6b77)
2021-01-14 07:29:37 +0100dandels(~dandels@unaffiliated/dandels) (Ping timeout: 264 seconds)
2021-01-14 07:30:04 +0100srk(~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection)
2021-01-14 07:30:04 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection)
2021-01-14 07:30:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 07:30:54 +0100jollygood2(~bc8177f5@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-01-14 07:30:57 +0100hexo(~hexo@gateway/tor-sasl/hexo)
2021-01-14 07:31:01 +0100srk(~sorki@gateway/tor-sasl/sorki)
2021-01-14 07:31:15 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net)
2021-01-14 07:31:44 +0100tzh(~xax@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-01-14 07:33:27 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:fc23:bc14:3ce8:6b77) (Ping timeout: 258 seconds)
2021-01-14 07:35:37 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-01-14 07:36:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-01-14 07:37:12 +0100monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-01-14 07:40:50 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 07:44:01 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-14 07:45:36 +0100some02(~lax@unaffiliated/laxask) (Ping timeout: 256 seconds)
2021-01-14 07:48:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-01-14 07:51:49 +0100mmfood_2(~mmfood@45.91.21.42) (Ping timeout: 264 seconds)
2021-01-14 07:53:38 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 07:55:22 +0100cole-h_(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-01-14 07:57:31 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2021-01-14 07:58:02 +0100monochrom(trebla@216.138.220.146)
2021-01-14 07:58:39 +0100phasespace(~sar@89-162-33-21.fiber.signal.no) (Ping timeout: 265 seconds)
2021-01-14 08:02:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 08:04:26 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2021-01-14 08:04:51 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-01-14 08:05:21 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:e921:35ea:825f:3fd1)
2021-01-14 08:06:16 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2021-01-14 08:07:18 +0100xff0x_xff0x
2021-01-14 08:10:04 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-01-14 08:10:14 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:e921:35ea:825f:3fd1) (Ping timeout: 264 seconds)
2021-01-14 08:13:19 +0100Varis(~Tadas@unaffiliated/varis)
2021-01-14 08:14:36 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-01-14 08:14:36 +0100lagothrix(~lagothrix@unaffiliated/lagothrix) (Ping timeout: 240 seconds)
2021-01-14 08:15:46 +0100lagothrix(~lagothrix@unaffiliated/lagothrix)
2021-01-14 08:19:17 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 08:20:18 +0100phasespace(~sar@80-89-47-117.inet.signal.no)
2021-01-14 08:20:23 +0100cheater(~user@unaffiliated/cheater) (Read error: No route to host)
2021-01-14 08:20:53 +0100cheater(~user@unaffiliated/cheater)
2021-01-14 08:21:40 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Quit: Leaving)
2021-01-14 08:22:39 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-01-14 08:24:44 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds)
2021-01-14 08:24:45 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2021-01-14 08:24:47 +0100berberman_(~berberman@unaffiliated/berberman)
2021-01-14 08:24:53 +0100_d0t(void@gateway/vpn/mullvad/d0t/x-89419360)
2021-01-14 08:25:23 +0100_d0t(void@gateway/vpn/mullvad/d0t/x-89419360) (Client Quit)
2021-01-14 08:26:33 +0100berberman_(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2021-01-14 08:27:00 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-14 08:28:18 +0100da39a3ee5e6b4b0d(~da39a3ee5@49.228.237.19)
2021-01-14 08:30:10 +0100michalz(~user@185.246.204.80)
2021-01-14 08:31:53 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-01-14 08:36:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-14 08:38:49 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-01-14 08:41:25 +0100ericsagnes(~ericsagne@2405:6580:0:5100:4e48:ba59:767e:ec6e) (Ping timeout: 272 seconds)
2021-01-14 08:43:16 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 08:45:18 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-14 08:45:47 +0100cole-h_cole-h
2021-01-14 08:47:36 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-01-14 08:49:04 +0100nineonin_(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-14 08:49:10 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 08:49:38 +0100berberman_(~berberman@unaffiliated/berberman)
2021-01-14 08:49:39 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 260 seconds)
2021-01-14 08:49:50 +0100nineonine(~nineonine@50.216.62.2)
2021-01-14 08:50:26 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds)
2021-01-14 08:51:02 +0100berberman_(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2021-01-14 08:51:32 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-14 08:52:45 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-14 08:53:06 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 08:53:07 +0100laxask(~lax@unaffiliated/laxask)
2021-01-14 08:53:13 +0100jollygood2(~bc8177f5@217.29.117.252)
2021-01-14 08:53:14 +0100ericsagnes(~ericsagne@2405:6580:0:5100:7cf2:29cc:4e39:77c8)
2021-01-14 09:02:25 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-01-14 09:03:41 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-01-14 09:04:37 +0100EncodePanda(~user@185.238.239.205)
2021-01-14 09:05:52 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 09:08:36 +0100jollygood2(~bc8177f5@217.29.117.252) (Quit: http://www.okay.uz/)
2021-01-14 09:09:13 +0100jollygood2(~bc8177f5@217.29.117.252)
2021-01-14 09:10:02 +0100EncodePanda(~user@185.238.239.205) (Ping timeout: 256 seconds)
2021-01-14 09:10:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 09:12:42 +0100raichoo(~raichoo@213.240.178.58)
2021-01-14 09:12:49 +0100niko(~niko@freenode/staff/ubuntu.member.niko)
2021-01-14 09:12:52 +0100dwts(pid@gateway/shell/blinkenshell.org/x-ctstbhsfeyhihnsa) (Ping timeout: 256 seconds)
2021-01-14 09:14:33 +0100dwts(pid@gateway/shell/blinkenshell.org/x-sbnsuibojgnxsxkh)
2021-01-14 09:16:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-01-14 09:21:50 +0100CMCDragonkai1(~Thunderbi@124.19.3.250) (Quit: CMCDragonkai1)
2021-01-14 09:22:20 +0100avn(~avn@78-56-108-78.static.zebra.lt)
2021-01-14 09:25:53 +0100danso(~dan@23-233-104-25.cpe.pppoe.ca) (Quit: WeeChat 3.0)
2021-01-14 09:27:17 +0100pera(pera@gateway/vpn/mullvad/pera)
2021-01-14 09:27:28 +0100CMCDragonkai1(~Thunderbi@124.19.3.250)
2021-01-14 09:30:18 +0100EncodePanda(~user@185.238.239.205)
2021-01-14 09:32:19 +0100kritzefitz(~kritzefit@fw-front.credativ.com)
2021-01-14 09:33:28 +0100Jonkimi727406120(~Jonkimi@119.123.100.164)
2021-01-14 09:37:57 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:e921:35ea:825f:3fd1)
2021-01-14 09:39:22 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 246 seconds)
2021-01-14 09:40:16 +0100knupfer(~Thunderbi@200116b82c627000d80493fffe191ac3.dip.versatel-1u1.de)
2021-01-14 09:40:29 +0100knupfer(~Thunderbi@200116b82c627000d80493fffe191ac3.dip.versatel-1u1.de) (Client Quit)
2021-01-14 09:40:42 +0100knupfer(~Thunderbi@200116b82c6270002c9435c88dfcff1c.dip.versatel-1u1.de)
2021-01-14 09:41:27 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 09:42:42 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:e921:35ea:825f:3fd1) (Ping timeout: 260 seconds)
2021-01-14 09:43:07 +0100CMCDragonkai1(~Thunderbi@124.19.3.250) (Quit: CMCDragonkai1)
2021-01-14 09:44:41 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-14 09:47:01 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2021-01-14 09:47:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 09:48:13 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:e921:35ea:825f:3fd1)
2021-01-14 09:49:10 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-01-14 09:52:50 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:e921:35ea:825f:3fd1) (Ping timeout: 264 seconds)
2021-01-14 09:55:23 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-01-14 09:56:26 +0100xff0x(~xff0x@2001:1a81:528c:9f00:d8d8:ed35:eec8:db5c) (Ping timeout: 264 seconds)
2021-01-14 09:57:01 +0100xff0x(~xff0x@2001:1a81:528c:9f00:53e6:125:e288:b124)
2021-01-14 10:02:28 +0100borne(~fritjof@200116b86496e00002b34828c30df1e8.dip.versatel-1u1.de)
2021-01-14 10:08:32 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:e921:35ea:825f:3fd1)
2021-01-14 10:10:26 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 256 seconds)
2021-01-14 10:10:31 +0100Jonkimi727406120(~Jonkimi@119.123.100.164) (Ping timeout: 246 seconds)
2021-01-14 10:11:07 +0100Vulfe_(~vulfe@2600:1702:31b0:34e0:34c3:1cc3:aad5:1657)
2021-01-14 10:12:13 +0100laxask(~lax@unaffiliated/laxask) (Ping timeout: 256 seconds)
2021-01-14 10:12:18 +0100Vulfe__(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a)
2021-01-14 10:13:21 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-01-14 10:13:37 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:e921:35ea:825f:3fd1) (Ping timeout: 260 seconds)
2021-01-14 10:14:34 +0100nineonine(~nineonine@50.216.62.2)
2021-01-14 10:14:56 +0100Jonkimi727406120(~Jonkimi@119.123.102.18)
2021-01-14 10:15:38 +0100Vulfe_(~vulfe@2600:1702:31b0:34e0:34c3:1cc3:aad5:1657) (Ping timeout: 264 seconds)
2021-01-14 10:16:13 +0100sobq(d96fd642@217.111.214.66)
2021-01-14 10:16:46 +0100sobq(d96fd642@217.111.214.66) (Client Quit)
2021-01-14 10:16:50 +0100Vulfe__(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a) (Ping timeout: 264 seconds)
2021-01-14 10:17:47 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-01-14 10:19:01 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 256 seconds)
2021-01-14 10:21:14 +0100laxask(~lax@unaffiliated/laxask)
2021-01-14 10:24:53 +0100EncodePanda(~user@185.238.239.205) (Remote host closed the connection)
2021-01-14 10:25:17 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-01-14 10:28:14 +0100pera(pera@gateway/vpn/mullvad/pera) (Ping timeout: 260 seconds)
2021-01-14 10:28:31 +0100kuribas(~user@ptr-25vy0i9hu20gjwlk8ce.18120a2.ip6.access.telenet.be)
2021-01-14 10:28:55 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-mexwpzockqddjfgo) (Quit: Connection closed for inactivity)
2021-01-14 10:29:40 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-14 10:29:53 +0100LKoen(~LKoen@100.170.9.109.rev.sfr.net)
2021-01-14 10:29:54 +0100pera(pera@gateway/vpn/mullvad/pera)
2021-01-14 10:30:53 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-01-14 10:32:12 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 10:32:22 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 10:32:38 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a)
2021-01-14 10:33:00 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-14 10:35:58 +0100cheater(~user@unaffiliated/cheater)
2021-01-14 10:36:10 +0100darjeeling_(~darjeelin@122.245.120.137) (Ping timeout: 272 seconds)
2021-01-14 10:36:56 +0100ArConan(9de62a69@157.230.42.105)
2021-01-14 10:37:15 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a) (Ping timeout: 244 seconds)
2021-01-14 10:38:25 +0100christo(~chris@81.96.113.213)
2021-01-14 10:38:43 +0100edk_e
2021-01-14 10:39:45 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-01-14 10:40:57 +0100 <kuribas> Wondering about boring haskell: let's say I use recordlabels. So I make an empty datatype "data Label a". Then I can write #"my_label", instead of (Label :: Label "my_label"). How would that be hard to understand?
2021-01-14 10:41:20 +0100 <kuribas> erm should be #my_label
2021-01-14 10:41:35 +0100 <merijn> kuribas: Because most people don't use recordlabels
2021-01-14 10:41:38 +0100 <merijn> :p
2021-01-14 10:41:40 +0100Khisanth(~Khisanth@24.sub-174-244-147.myvzw.com) (Ping timeout: 246 seconds)
2021-01-14 10:41:49 +0100 <kuribas> merijn: that takes 2 minutes to explain
2021-01-14 10:42:06 +0100 <kuribas> and they need to know that a symbol is a type level string
2021-01-14 10:42:09 +0100 <Rembane> kuribas: What?! Can you do that?! Sweet! :D
2021-01-14 10:42:23 +0100 <kuribas> Rembane: :-)
2021-01-14 10:42:45 +0100 <Rembane> kuribas: In what situations do you use #"my_label" or the longer equivalent?
2021-01-14 10:42:52 +0100fendor(~fendor@178.115.130.196.wireless.dyn.drei.com)
2021-01-14 10:43:42 +0100 <kuribas> Rembane: sorry, #"my_label" was my mistake
2021-01-14 10:44:19 +0100 <kuribas> though it would have been nice
2021-01-14 10:44:26 +0100 <Rembane> kuribas: No worries, reread my question but replace #"my_label" with #my_label. :)
2021-01-14 10:44:46 +0100 <kuribas> Rembane: on anything with the IsLabel constraint
2021-01-14 10:45:00 +0100 <kuribas> class IsLabel (x :: Symbol) a where fromLabel :: a
2021-01-14 10:45:17 +0100 <ephemient> eh, if you want the string version for some reason (not sure why) you can write `fromLabel @"my_label"`
2021-01-14 10:45:42 +0100 <Rembane> kuribas: Got it, cool!
2021-01-14 10:45:56 +0100 <kuribas> so instance IsLabel x (Label x) where fromLabel = Label
2021-01-14 10:46:10 +0100 <ephemient> overloaded labels doesn't seem all that useful without something that actually makes use of them (lens?)
2021-01-14 10:46:14 +0100borne(~fritjof@200116b86496e00002b34828c30df1e8.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2021-01-14 10:47:56 +0100 <kuribas> it's still useful as a replacement for Proxy
2021-01-14 10:49:04 +0100 <ephemient> it did remind me to check on the RecordDotSyntax proposal just now… accepted but not yet implemented, it seems
2021-01-14 10:49:25 +0100 <kuribas> (Proxy :: Proxy "foo") is very verbose
2021-01-14 10:49:40 +0100 <kuribas> Proxy @"foo" is better, but #foo is even better :-)
2021-01-14 10:49:51 +0100 <kuribas> it's light syntactic fluff, but IMO it makes code more readable
2021-01-14 10:50:37 +0100 <kuribas> ephemient: yes, I use it to refer to record fields in a generic function.
2021-01-14 10:51:00 +0100 <kuribas> I suppose the biggest mistake is that haskell has no first class fields.
2021-01-14 10:52:18 +0100nineonine(~nineonine@50.216.62.2)
2021-01-14 10:53:08 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
2021-01-14 10:53:55 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-01-14 10:55:12 +0100Khisanth(~Khisanth@24.sub-174-244-147.myvzw.com)
2021-01-14 10:55:52 +0100hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-01-14 10:56:58 +0100heatsink(~heatsink@2600:1700:bef1:5e10:45f3:1cb8:c634:bead) (Remote host closed the connection)
2021-01-14 10:57:22 +0100Tops2(~Tobias@95.33.27.169)
2021-01-14 10:57:23 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2021-01-14 10:57:52 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Remote host closed the connection)
2021-01-14 10:58:02 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 256 seconds)
2021-01-14 10:58:25 +0100notandinus(andinus@tilde.institute)
2021-01-14 10:58:47 +0100vst(~vst@2406:3003:2004:2e8a:bd6b:578b:4351:fd57)
2021-01-14 11:02:06 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27)
2021-01-14 11:02:14 +0100ubert(~Thunderbi@p200300ecdf1ee017e6b318fffe838f33.dip0.t-ipconnect.de)
2021-01-14 11:02:15 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Client Quit)
2021-01-14 11:02:36 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2021-01-14 11:08:04 +0100 <kuribas> otherwise this wouldn't have been necessary
2021-01-14 11:08:08 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 11:08:17 +0100livvy_(~livvy@gateway/tor-sasl/livvy)
2021-01-14 11:09:13 +0100da39a3ee5e6b4b0d(~da39a3ee5@49.228.237.19) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 11:11:08 +0100Guest7758(~Nik05@85.150.134.175) (Ping timeout: 256 seconds)
2021-01-14 11:12:17 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2021-01-14 11:12:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2)
2021-01-14 11:14:29 +0100Jonkimi727406120(~Jonkimi@119.123.102.18) (Ping timeout: 256 seconds)
2021-01-14 11:18:28 +0100Franciman(~francesco@host-82-48-174-127.retail.telecomitalia.it)
2021-01-14 11:21:16 +0100pera(pera@gateway/vpn/mullvad/pera) (Ping timeout: 240 seconds)
2021-01-14 11:21:21 +0100 <tomjaguarpaw> https://matrix.hackage.haskell.org/#/package/opaleye-sqlite/0.0.1.0/ghc-7.6.3@1593023458
2021-01-14 11:21:31 +0100 <tomjaguarpaw> ^^ does anyone know how "Click the button above" is supposed to work?
2021-01-14 11:24:17 +0100 <merijn> tomjaguarpaw: It doesn't seem too :p
2021-01-14 11:24:49 +0100 <tomjaguarpaw> Thanks, I guess I am/Firefox is not going mad
2021-01-14 11:25:12 +0100 <merijn> tomjaguarpaw: It's supposed to be the "Fail deps" button, but that doesn't load anything :p
2021-01-14 11:27:44 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 256 seconds)
2021-01-14 11:28:18 +0100 <merijn> tomjaguarpaw: Looks like one of your dependencies f-ed up it's bounds :)
2021-01-14 11:28:47 +0100borne(~fritjof@2001:638:708:30da:90f9:9592:bcc4:6fbc)
2021-01-14 11:29:12 +0100 <merijn> tomjaguarpaw: should easy enough to reproduce by copying the index-state and grabbing 7.6.3 :p
2021-01-14 11:30:07 +0100ArConan(9de62a69@157.230.42.105) (Quit: Connection closed)
2021-01-14 11:30:55 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2) (Remote host closed the connection)
2021-01-14 11:31:20 +0100 <tomjaguarpaw> I suspect fixing the build matrix might be easier than grabbing 7.6.3
2021-01-14 11:31:34 +0100 <merijn> :p
2021-01-14 11:31:51 +0100 <merijn> tomjaguarpaw: You could try queueing a new build and see if that works?
2021-01-14 11:31:53 +0100darjeeling_(~darjeelin@122.245.120.137)
2021-01-14 11:32:01 +0100nineonine(~nineonine@50.216.62.2)
2021-01-14 11:32:02 +0100livvy_(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 11:32:13 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 11:32:44 +0100jmchael(~jmchael@87.112.235.234)
2021-01-14 11:32:45 +0100 <merijn> rats
2021-01-14 11:33:23 +0100 <merijn> I was gonna check the old failing output for one of my packages, but I already fixed the build plan of everything and can't find it >.>
2021-01-14 11:33:46 +0100acidjnk_new(~acidjnk@p200300d0c704e7817426bb844d6a6b27.dip0.t-ipconnect.de)
2021-01-14 11:34:52 +0100da39a3ee5e6b4b0d(~da39a3ee5@171.6.244.247)
2021-01-14 11:35:12 +0100 <merijn> Although I wholly support any fixes/improvements to the matrix builder ;)
2021-01-14 11:36:16 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 240 seconds)
2021-01-14 11:39:08 +0100alvinsj[m](alvinsjmat@gateway/shell/matrix.org/x-aiymaqlzfwokexyh)
2021-01-14 11:40:56 +0100thc202(~thc202@unaffiliated/thc202)
2021-01-14 11:44:31 +0100cheater(~user@unaffiliated/cheater)
2021-01-14 11:45:01 +0100poljar(~poljar@93.139.40.93) (Ping timeout: 246 seconds)
2021-01-14 11:46:10 +0100hidedagger(~nate@unaffiliated/hidedagger)
2021-01-14 11:46:15 +0100christo(~chris@81.96.113.213)
2021-01-14 11:46:19 +0100poljar(~poljar@78-2-51-115.adsl.net.t-com.hr)
2021-01-14 11:46:32 +0100ArConan(9de62a69@157.230.42.105)
2021-01-14 11:50:08 +0100hidedagger(~nate@unaffiliated/hidedagger) (Client Quit)
2021-01-14 11:50:43 +0100mmfood_2(~mmfood@45.91.21.42)
2021-01-14 11:51:23 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2021-01-14 11:57:29 +0100 <kuribas> what's the adjective for monoid?
2021-01-14 11:57:32 +0100 <kuribas> monoidal?
2021-01-14 11:57:34 +0100 <kuribas> monoidic?
2021-01-14 11:57:41 +0100 <kuribas> monoidical?
2021-01-14 11:57:43 +0100 <c_wraith> monoidal is standard
2021-01-14 11:58:16 +0100 <kuribas> ok, thanks
2021-01-14 12:00:01 +0100 <c_wraith> if you want non-standard options for entertainment purposes, may I suggest monoidric?
2021-01-14 12:00:32 +0100 <kuribas> you may, but I prefer not to confuse people :)
2021-01-14 12:01:20 +0100 <c_wraith> I suppose if it's a new term for the audience, it's better to avoid that :)
2021-01-14 12:02:21 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 12:02:21 +0100 <kuribas> I already saw scared looks from mentioning Monoid
2021-01-14 12:03:04 +0100 <c_wraith> "joinything"
2021-01-14 12:03:32 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 12:03:39 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-01-14 12:04:48 +0100 <kuribas> Applicative = runny thing?
2021-01-14 12:04:53 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 12:04:59 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds)
2021-01-14 12:05:02 +0100 <kuribas> or paralelly thing
2021-01-14 12:05:10 +0100 <kuribas> and monad = sequentallything
2021-01-14 12:05:25 +0100 <c_wraith> monad = endofunctor joinything
2021-01-14 12:07:09 +0100 <kuribas> joinything in the arrowything of selfreferentiallythingies
2021-01-14 12:08:22 +0100Bjornar(bjornargh@cassarossa.samfundet.no) ("WeeChat 2.3")
2021-01-14 12:08:28 +0100mmfood_2(~mmfood@45.91.21.42) (Ping timeout: 246 seconds)
2021-01-14 12:08:29 +0100mmfood_1(~mmfood@45.91.21.42)
2021-01-14 12:08:51 +0100 <kuribas> hmm, monoid is an order preserving joinything...
2021-01-14 12:09:04 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27)
2021-01-14 12:09:50 +0100ulidtko(~ulidtko@193.111.48.79)
2021-01-14 12:09:53 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 12:10:13 +0100jmchael(~jmchael@87.112.235.234) (Read error: Connection reset by peer)
2021-01-14 12:14:52 +0100ArConan(9de62a69@157.230.42.105) (Quit: Connection closed)
2021-01-14 12:16:42 +0100LKoen(~LKoen@100.170.9.109.rev.sfr.net) (Remote host closed the connection)
2021-01-14 12:16:55 +0100pera(pera@gateway/vpn/mullvad/pera)
2021-01-14 12:21:28 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-14 12:21:48 +0100da39a3ee5e6b4b0d(~da39a3ee5@171.6.244.247) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 12:21:48 +0100 <kritzefitz> `join` of course works on sequentiallythings, not joinythings.
2021-01-14 12:23:34 +0100amerigo(uid331857@gateway/web/irccloud.com/x-opqgzzuumlcpkvel)
2021-01-14 12:25:34 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 12:26:11 +0100bruceadams(~bruceadam@84.39.117.57) (Remote host closed the connection)
2021-01-14 12:26:38 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3656:8d15:34a2:c515:f802)
2021-01-14 12:27:58 +0100ArConan(9de62a69@157.230.42.105)
2021-01-14 12:29:22 +0100 <kuribas> kritzefitz: the joinything is the selfreferentiallything
2021-01-14 12:30:28 +0100 <kuribas> at type level, something like: (IO '<> IO) a
2021-01-14 12:30:33 +0100raichoo(~raichoo@213.240.178.58) (Quit: Lost terminal)
2021-01-14 12:31:16 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-14 12:31:18 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2)
2021-01-14 12:31:19 +0100 <kritzefitz> I think I'm too confuse to continue participating in this conversation.
2021-01-14 12:31:46 +0100__monty__(~toonn@unaffiliated/toonn)
2021-01-14 12:31:48 +0100 <kuribas> kritzefitz: join itself isn't the monoid
2021-01-14 12:31:58 +0100 <kuribas> it's the type of of join which is the monoid
2021-01-14 12:32:22 +0100 <kuribas> but haskell lacks this expressiveness
2021-01-14 12:32:48 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-01-14 12:33:30 +0100ukari(~ukari@unaffiliated/ukari)
2021-01-14 12:34:32 +0100rwdrich(560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net)
2021-01-14 12:34:47 +0100 <kuribas> IO (IO a) is isomorphic to Compose IO IO a
2021-01-14 12:35:02 +0100 <kuribas> so taking the two IO's into a single one is a type level monoid operation
2021-01-14 12:35:29 +0100 <kritzefitz> Ah, yes.
2021-01-14 12:36:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2) (Ping timeout: 264 seconds)
2021-01-14 12:37:50 +0100 <kritzefitz> But still, if you have some joinything you can't generally apply `join` to it.
2021-01-14 12:38:30 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-01-14 12:42:26 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 12:42:38 +0100Tario(~Tario@201.192.165.173)
2021-01-14 12:42:50 +0100zule1(~zule@184.75.221.35)
2021-01-14 12:43:36 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a)
2021-01-14 12:44:20 +0100 <kuribas> join is badly named
2021-01-14 12:44:47 +0100 <kuribas> squash would be better :)
2021-01-14 12:46:58 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 246 seconds)
2021-01-14 12:47:04 +0100 <int-e> > join [[1,2],[3,4,5],[],[6,7]] -- probably inspired by this, i.e., a synonym for concat?
2021-01-14 12:47:06 +0100 <lambdabot> [1,2,3,4,5,6,7]
2021-01-14 12:48:05 +0100rwdrich(560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Quit: Connection closed)
2021-01-14 12:48:16 +0100livvy_(~livvy@gateway/tor-sasl/livvy)
2021-01-14 12:48:22 +0100rwdrich(560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net)
2021-01-14 12:48:38 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a) (Ping timeout: 264 seconds)
2021-01-14 12:49:03 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2021-01-14 12:49:15 +0100livvy_(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 12:50:50 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 12:53:43 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a)
2021-01-14 12:53:51 +0100 <ArConan> I don't quite understand the words `left associated` and `fixity declaration`
2021-01-14 12:54:34 +0100tomferon[m](tomferonmo@gateway/shell/matrix.org/x-noglbyofnphhclbb)
2021-01-14 12:54:50 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-01-14 12:55:04 +0100 <ArConan> In my textbooks, they annotate each other
2021-01-14 12:55:24 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 12:57:19 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 12:57:31 +0100 <ArConan> >:-:
2021-01-14 12:57:45 +0100 <ArConan> >:t (:-:)
2021-01-14 12:58:43 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a) (Ping timeout: 260 seconds)
2021-01-14 12:59:33 +0100 <ArConan> What does `fixity` mean?
2021-01-14 12:59:55 +0100 <kuribas> ArConan: infix, prefix, postfix, ...
2021-01-14 13:00:17 +0100 <kuribas> > (+) 1 2 -- prefix
2021-01-14 13:00:21 +0100 <lambdabot> 3
2021-01-14 13:00:23 +0100 <kuribas> > 1 + 2 -- infix
2021-01-14 13:00:26 +0100 <lambdabot> 3
2021-01-14 13:00:37 +0100 <kuribas> no postfix in haskell I think...
2021-01-14 13:01:29 +0100 <ArConan> er.....and why fixity make
2021-01-14 13:01:37 +0100LKoen(~LKoen@100.170.9.109.rev.sfr.net)
2021-01-14 13:01:45 +0100 <ArConan> >a :-: (List a)
2021-01-14 13:01:49 +0100 <ArConan> equal to
2021-01-14 13:01:59 +0100 <ArConan> >Cons a(List a)
2021-01-14 13:02:01 +0100 <ArConan> ?
2021-01-14 13:02:31 +0100J_Arcane(sid119274@gateway/web/irccloud.com/x-apvicoqedezkzpwr) (Quit: Connection closed for inactivity)
2021-01-14 13:03:38 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-14 13:04:25 +0100bor0(~boro@unaffiliated/boro/x-000000001)
2021-01-14 13:05:30 +0100 <bor0> hi. I have implemented a very simple imperative programming language in Haskell (per https://softwarefoundations.cis.upenn.edu/lf-current/Imp.html) and now I want to implement Hoare logic on top of it. implementing it at the meta level (Haskell) is easy, but I am trying to incorporate it into the object level
2021-01-14 13:05:52 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-14 13:06:15 +0100 <kuribas> ArConan: depends on the definition of :-:
2021-01-14 13:06:17 +0100 <bor0> I am a bit confused as to how to approach this. before Hoare I have `eval :: Context -> Command -> Context`. now after Hoare, I can either have `eval :: Context -> Command -> Either String Context` or leave `eval` as it is and implement a `hoareCheck` function
2021-01-14 13:06:26 +0100 <kuribas> ArConan: I suppose :-: is a type synonym for Cons?
2021-01-14 13:06:51 +0100 <bor0> I want a "compile" step before I run any evaluations but it seems I _need_ to run evaluations to compare pre/post conditions..
2021-01-14 13:07:39 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-01-14 13:08:00 +0100knupfer(~Thunderbi@200116b82c6270002c9435c88dfcff1c.dip.versatel-1u1.de) (Remote host closed the connection)
2021-01-14 13:08:09 +0100knupfer(~Thunderbi@200116b82c627000159a14676961e630.dip.versatel-1u1.de)
2021-01-14 13:08:21 +0100 <bor0> if I don't do it with a "compile" step it's basically runtime assertions which I don't think are hard to implement
2021-01-14 13:08:36 +0100tomsen(~tomsen@2a02:908:1862:49e0::3)
2021-01-14 13:09:47 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-14 13:09:52 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-01-14 13:10:41 +0100 <ArConan> kuribas: my textbook only mentioned `infixr 5 :-:` as interpretion.
2021-01-14 13:10:59 +0100 <kuribas> ArConan: it should be defined somewhere
2021-01-14 13:12:07 +0100 <ArConan> let me try....
2021-01-14 13:12:49 +0100 <ArConan> >let a= 3 :-: 4 :-: Empty
2021-01-14 13:12:58 +0100 <ArConan> >a
2021-01-14 13:13:36 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-14 13:13:55 +0100 <kuribas> > let (:-:) = (:) in 3 :-: 4 :-: []
2021-01-14 13:13:58 +0100 <lambdabot> error: Not in scope: data constructor ‘:-:’
2021-01-14 13:14:08 +0100 <ArConan> er....seems right
2021-01-14 13:14:09 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a)
2021-01-14 13:14:26 +0100 <ArConan> it should be defined somewhere
2021-01-14 13:14:38 +0100 <kuribas> right, :-: is a data constructor operator
2021-01-14 13:15:11 +0100 <kuribas> so it will be defined in a data declaration
2021-01-14 13:15:27 +0100 <kuribas> any operator starting with ':' is a data constructor
2021-01-14 13:15:34 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-01-14 13:15:41 +0100 <opqdonut> except :
2021-01-14 13:15:45 +0100cgadski_(~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-01-14 13:15:51 +0100cgadski_(~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer)
2021-01-14 13:16:06 +0100 <kuribas> (:) could be considered a data constructor, no?
2021-01-14 13:16:09 +0100ukari(~ukari@unaffiliated/ukari)
2021-01-14 13:16:20 +0100 <opqdonut> errr yeah ignore what I just said
2021-01-14 13:16:21 +0100cgadski_(~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-01-14 13:17:30 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds)
2021-01-14 13:17:37 +0100 <merijn> kuribas: It *is* one :p
2021-01-14 13:17:43 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3656:8d15:34a2:c515:f802) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 13:17:48 +0100 <merijn> Just not a user-definable one
2021-01-14 13:18:13 +0100plutoniix(~q@184.82.192.185) (Quit: Leaving)
2021-01-14 13:19:14 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a) (Ping timeout: 264 seconds)
2021-01-14 13:20:02 +0100 <kuribas> right
2021-01-14 13:21:43 +0100jmchael(~jmchael@87.112.235.234)
2021-01-14 13:22:14 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-2c86-5e43-4646-d432.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-01-14 13:24:54 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-21c5-c900-9e1d-bf71.res6.spectrum.com)
2021-01-14 13:24:58 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-01-14 13:25:25 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-01-14 13:27:31 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-drqduyiabtjkanwh)
2021-01-14 13:27:42 +0100zule1(~zule@184.75.221.35) (Ping timeout: 256 seconds)
2021-01-14 13:27:48 +0100ArConan(9de62a69@157.230.42.105) (Quit: Connection closed)
2021-01-14 13:29:36 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-01-14 13:30:22 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-01-14 13:32:45 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2)
2021-01-14 13:34:38 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a)
2021-01-14 13:37:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2) (Ping timeout: 264 seconds)
2021-01-14 13:37:27 +0100 <kritzefitz> I recently uploaded a package (reflex-gi-gtk) to hackage. I thought that would trigger builds in matrix CI, but https://matrix.hackage.haskell.org/#/package/reflex-gi-gtk doesn't show anything. What's going on there?
2021-01-14 13:38:02 +0100 <Uniaika> kritzefitz: when did you upload it?
2021-01-14 13:38:22 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl)
2021-01-14 13:38:23 +0100 <kritzefitz> Uniaika, 2021-01-05T21:13:29Z
2021-01-14 13:38:45 +0100 <Uniaika> indeed that's last week
2021-01-14 13:39:09 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a) (Ping timeout: 258 seconds)
2021-01-14 13:39:09 +0100 <Uniaika> kritzefitz: ask the fine folks on #haskell-infrastructure
2021-01-14 13:39:30 +0100daim2k5(~daim2k5@185.204.1.185)
2021-01-14 13:39:35 +0100 <kritzefitz> Uniaika, thanks, will do.
2021-01-14 13:41:20 +0100ArConan(9de62a69@157.230.42.105)
2021-01-14 13:50:37 +0100urodna(~urodna@unaffiliated/urodna)
2021-01-14 13:53:41 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0)
2021-01-14 13:54:46 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-14 13:55:00 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3656:8d15:34a2:c515:f802)
2021-01-14 13:56:55 +0100geekosaur(ac3a8f02@172.58.143.2)
2021-01-14 13:58:31 +0100drbean(~drbean@TC210-63-209-63.static.apol.com.tw) (Read error: Connection reset by peer)
2021-01-14 14:00:00 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0)
2021-01-14 14:04:17 +0100dandart(~Thunderbi@home.dandart.co.uk)
2021-01-14 14:04:25 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 264 seconds)
2021-01-14 14:09:00 +0100nfip^(~hph@ip98-184-89-2.mc.at.cox.net) ()
2021-01-14 14:09:36 +0100jollygood2(~bc8177f5@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-01-14 14:10:45 +0100tsrt^(~hph@ip98-184-89-2.mc.at.cox.net)
2021-01-14 14:16:50 +0100zariuq(~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection)
2021-01-14 14:19:26 +0100Tario(~Tario@201.192.165.173)
2021-01-14 14:20:25 +0100mmfood_1(~mmfood@45.91.21.42) (Ping timeout: 246 seconds)
2021-01-14 14:21:00 +0100mmfood_1(~mmfood@45.91.21.21)
2021-01-14 14:21:02 +0100LKoen(~LKoen@100.170.9.109.rev.sfr.net) (Remote host closed the connection)
2021-01-14 14:21:28 +0100LKoen(~LKoen@100.170.9.109.rev.sfr.net)
2021-01-14 14:25:33 +0100brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net)
2021-01-14 14:26:24 +0100dandart(~Thunderbi@home.dandart.co.uk) (Quit: dandart)
2021-01-14 14:31:32 +0100Kaivo(~Kaivo@104-200-86-99.mc.derytele.com)
2021-01-14 14:34:01 +0100shailangsa(~shailangs@host86-186-132-61.range86-186.btcentralplus.com) (Ping timeout: 256 seconds)
2021-01-14 14:37:10 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-14 14:41:31 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-14 14:43:09 +0100notzmv(~user@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-01-14 14:43:20 +0100 <Uniaika> I feel like `async` is not the proper primitive for long-lived green threads
2021-01-14 14:43:29 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2021-01-14 14:43:40 +0100 <Uniaika> my usecase is that I have a Spock webserver
2021-01-14 14:43:44 +0100 <merijn> It isn't, no, imo
2021-01-14 14:44:03 +0100 <Uniaika> but alongside of it, I want to run a worker that fetches jobs from postgresql, executes them, all that jazz
2021-01-14 14:44:17 +0100 <Uniaika> I've tried Ki but it doesn't seem to work as well
2021-01-14 14:44:25 +0100 <Uniaika> (even though the types align, what a betrayal)
2021-01-14 14:44:33 +0100 <Uniaika> merijn: shall I go back to bare forkIO?
2021-01-14 14:44:48 +0100 <merijn> tbh, I don't there's a good solution atm
2021-01-14 14:44:51 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-14 14:44:59 +0100 <Uniaika> …
2021-01-14 14:45:00 +0100 <Uniaika> seriously?
2021-01-14 14:45:01 +0100 <merijn> bare forkIO is a mess to get the resource management right
2021-01-14 14:45:04 +0100 <Uniaika> fuck
2021-01-14 14:45:14 +0100 <Uniaika> yeah but I don't have resources to manage
2021-01-14 14:45:20 +0100 <merijn> Uniaika: I use forkIO myself for some stuff, but properly managing it is *hard*
2021-01-14 14:45:28 +0100 <Uniaika> shit
2021-01-14 14:45:32 +0100 <merijn> Uniaika: Sure you do: Your helper thread
2021-01-14 14:45:42 +0100 <Uniaika> okay fair, indeed
2021-01-14 14:45:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-01-14 14:45:54 +0100hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2021-01-14 14:45:59 +0100 <Uniaika> well I'll be damned
2021-01-14 14:45:59 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Remote host closed the connection)
2021-01-14 14:46:18 +0100 <merijn> Uniaika: You should see the horrific logic in my parMap thing-a-majig
2021-01-14 14:46:21 +0100hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-01-14 14:46:25 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds)
2021-01-14 14:46:26 +0100 <Uniaika> I know some people who have two binaries (with the same library code between the two)
2021-01-14 14:46:36 +0100 <Uniaika> merijn: :(
2021-01-14 14:47:17 +0100 <merijn> Uniaika: https://github.com/merijn/broadcast-chan/blob/master/broadcast-chan/BroadcastChan/Extra.hs#L138-L219
2021-01-14 14:47:31 +0100 <merijn> Uniaika: As exercise for the reader, spot the (as of yet unfixed) race condition >.>
2021-01-14 14:47:52 +0100 <Uniaika> merijn: I've been nurtured with Erlang :(
2021-01-14 14:48:22 +0100 <Uniaika> grmbl
2021-01-14 14:48:26 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-14 14:48:27 +0100 <Uniaika> I'm going to go to the shop
2021-01-14 14:48:43 +0100 <Uniaika> this is messed up, with have a superb runtime for that kind of things
2021-01-14 14:48:44 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2021-01-14 14:49:18 +0100xff0x(~xff0x@2001:1a81:528c:9f00:53e6:125:e288:b124) (Ping timeout: 258 seconds)
2021-01-14 14:49:28 +0100daim2k5(~daim2k5@185.204.1.185) (Ping timeout: 246 seconds)
2021-01-14 14:50:17 +0100xff0x(~xff0x@2001:1a81:528c:9f00:3799:e5de:4f4f:1878)
2021-01-14 14:50:18 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl) (Read error: Connection reset by peer)
2021-01-14 14:50:39 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl)
2021-01-14 14:51:03 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-01-14 14:54:49 +0100darjeeling_(~darjeelin@122.245.120.137) (Ping timeout: 264 seconds)
2021-01-14 14:56:24 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-01-14 14:58:05 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-14 14:58:20 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-14 15:00:26 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a)
2021-01-14 15:03:01 +0100forcer1(~forcer@84.39.117.57)
2021-01-14 15:03:24 +0100LKoen(~LKoen@100.170.9.109.rev.sfr.net) (Remote host closed the connection)
2021-01-14 15:07:45 +0100ericsagnes(~ericsagne@2405:6580:0:5100:7cf2:29cc:4e39:77c8) (Ping timeout: 272 seconds)
2021-01-14 15:08:35 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-14 15:08:35 +0100srk(~sorki@gateway/tor-sasl/sorki) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-14 15:09:26 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3656:8d15:34a2:c515:f802) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 15:09:52 +0100hexo(~hexo@gateway/tor-sasl/hexo)
2021-01-14 15:09:53 +0100danso(~dan@23-233-104-25.cpe.pppoe.ca)
2021-01-14 15:09:55 +0100srk(~sorki@gateway/tor-sasl/sorki)
2021-01-14 15:10:41 +0100darjeeling_(~darjeelin@122.245.120.137)
2021-01-14 15:10:49 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-01-14 15:13:59 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-01-14 15:18:05 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-14 15:18:52 +0100carlomagno1(~cararell@148.87.23.10)
2021-01-14 15:19:42 +0100ericsagnes(~ericsagne@2405:6580:0:5100:43d1:199b:be93:211c)
2021-01-14 15:21:04 +0100carlomagno(~cararell@148.87.23.9) (Ping timeout: 260 seconds)
2021-01-14 15:22:45 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3656:8d15:34a2:c515:f802)
2021-01-14 15:25:31 +0100ystael(~ystael@209.6.50.55)
2021-01-14 15:25:44 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds)
2021-01-14 15:31:31 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-14 15:34:01 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2)
2021-01-14 15:36:45 +0100son0p(~son0p@181.136.122.143)
2021-01-14 15:37:45 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-01-14 15:39:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2) (Ping timeout: 264 seconds)
2021-01-14 15:40:30 +0100poljar1(~poljar@78-2-51-115.adsl.net.t-com.hr)
2021-01-14 15:41:27 +0100poljar(~poljar@78-2-51-115.adsl.net.t-com.hr) (Ping timeout: 256 seconds)
2021-01-14 15:43:17 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:6ccc:7c34:64f9:a54f)
2021-01-14 15:49:59 +0100shailangsa(~shailangs@host86-145-14-121.range86-145.btcentralplus.com)
2021-01-14 15:50:29 +0100geekosaur(ac3a8f02@172.58.143.2) (Quit: Connection closed)
2021-01-14 15:51:21 +0100darjeeling_(~darjeelin@122.245.120.137) (Ping timeout: 265 seconds)
2021-01-14 15:52:31 +0100fendor_(~fendor@91.141.0.123.wireless.dyn.drei.com)
2021-01-14 15:53:06 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-01-14 15:55:12 +0100fendor(~fendor@178.115.130.196.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2021-01-14 15:55:29 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-14 15:55:31 +0100acidjnk_new(~acidjnk@p200300d0c704e7817426bb844d6a6b27.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2021-01-14 15:58:52 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-01-14 15:59:46 +0100boro_(~boro@77.28.78.218)
2021-01-14 16:00:19 +0100boro_(~boro@77.28.78.218) (Client Quit)
2021-01-14 16:01:54 +0100fendor_fendor
2021-01-14 16:03:13 +0100bor0(~boro@unaffiliated/boro/x-000000001) (Ping timeout: 264 seconds)
2021-01-14 16:04:14 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a) (Ping timeout: 264 seconds)
2021-01-14 16:04:50 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-01-14 16:06:42 +0100nineonine(~nineonine@50.216.62.2)
2021-01-14 16:06:50 +0100darjeeling_(~darjeelin@122.245.120.137)
2021-01-14 16:09:47 +0100dandels(~dandels@unaffiliated/dandels)
2021-01-14 16:12:03 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 256 seconds)
2021-01-14 16:12:56 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-01-14 16:13:42 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a)
2021-01-14 16:13:42 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-01-14 16:13:53 +0100plutoniix(~q@node-ujk.pool-125-24.dynamic.totinternet.net)
2021-01-14 16:14:00 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-01-14 16:14:10 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 246 seconds)
2021-01-14 16:15:21 +0100Tario(~Tario@200.119.187.212)
2021-01-14 16:16:19 +0100Wuzzy(~Wuzzy@p549c9e84.dip0.t-ipconnect.de)
2021-01-14 16:17:34 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl) (Remote host closed the connection)
2021-01-14 16:18:31 +0100mmfood_1(~mmfood@45.91.21.21) (Quit: Leaving)
2021-01-14 16:20:52 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-01-14 16:21:50 +0100LKoen(~LKoen@100.170.9.109.rev.sfr.net)
2021-01-14 16:22:40 +0100son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-01-14 16:23:44 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-01-14 16:24:59 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-01-14 16:25:23 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2021-01-14 16:25:35 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-01-14 16:26:21 +0100nineonine(~nineonine@50.216.62.2)
2021-01-14 16:28:16 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-01-14 16:29:03 +0100 <raehik> Would anyone know where to start troubleshooting running Hspec tests on Windows?
2021-01-14 16:29:50 +0100 <raehik> I've got a bizarre ExitFailure (-1073741515) and that's all. Compiles, but immediately fails on running test suite
2021-01-14 16:30:03 +0100 <raehik> handful of other public repos I ran worked just fine
2021-01-14 16:30:21 +0100Jd007(~Jd007@162.156.11.151)
2021-01-14 16:30:55 +0100 <sm[m]> you could stick in trace calls to figure out where it's dying and what the values are
2021-01-14 16:31:04 +0100 <sm[m]> or try to run it from ghci
2021-01-14 16:31:10 +0100ArConan(9de62a69@157.230.42.105) (Quit: Connection closed)
2021-01-14 16:31:15 +0100 <raehik> ah great, how do?
2021-01-14 16:31:16 +0100neiluj(~jco@91-167-203-101.subs.proxad.net)
2021-01-14 16:31:16 +0100neiluj(~jco@91-167-203-101.subs.proxad.net) (Changing host)
2021-01-14 16:31:16 +0100neiluj(~jco@unaffiliated/neiluj)
2021-01-14 16:31:19 +0100 <raehik> I only tried stack -v
2021-01-14 16:34:08 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-01-14 16:34:44 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-jagtkbjrzxfjkjox)
2021-01-14 16:35:18 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2)
2021-01-14 16:35:29 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 16:36:10 +0100 <sm[m]> @hoogle Debug.Trace
2021-01-14 16:36:10 +0100 <lambdabot> module Debug.Trace
2021-01-14 16:36:10 +0100 <lambdabot> module TextShow.Debug.Trace
2021-01-14 16:36:10 +0100 <lambdabot> module Rebase.Debug.Trace
2021-01-14 16:37:06 +0100 <sm[m]> @haddock Debug.Trace ?
2021-01-14 16:37:07 +0100 <lambdabot> Unknown command, try @list
2021-01-14 16:37:14 +0100vst(~vst@2406:3003:2004:2e8a:bd6b:578b:4351:fd57) (Ping timeout: 264 seconds)
2021-01-14 16:37:28 +0100 <sm[m]> https://hackage.haskell.org/package/base-4.14.1.0/docs/Debug-Trace.html
2021-01-14 16:38:03 +0100conal(~conal@198.8.81.214) (Quit: Computer has gone to sleep.)
2021-01-14 16:39:06 +0100 <raehik> Thanks sm[m] , also learned you can load tests in ghci
2021-01-14 16:39:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2) (Ping timeout: 264 seconds)
2021-01-14 16:39:42 +0100 <sm[m]> that's good, reloading in ghci will save you time. You can also rerun them with ghcid
2021-01-14 16:41:06 +0100 <raehik> picked up an access violation attempting to read 0x10 ? that looks suspect
2021-01-14 16:41:45 +0100 <raehik> it would make sense to me that the strange error was caused by a bad C lib so yeah now I have something to go on. thank you!
2021-01-14 16:42:37 +0100 <sm[m]> there have been some GHC-on-windows bugs with a message like that. Check your GHC version, 8.10.3 or 8.8.2 might be good
2021-01-14 16:43:06 +0100 <raehik> you're right I read about those, I miiiight be on an offending version
2021-01-14 16:43:06 +0100noctux(~noctux@unaffiliated/noctux) (Read error: Connection reset by peer)
2021-01-14 16:43:07 +0100 <sm[m]> and maybe compare it in WSL
2021-01-14 16:43:49 +0100noctux(~noctux@unaffiliated/noctux)
2021-01-14 16:43:57 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-01-14 16:44:23 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-14 16:44:23 +0100LKoen(~LKoen@100.170.9.109.rev.sfr.net) (Remote host closed the connection)
2021-01-14 16:49:09 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-01-14 16:49:37 +0100ADG1089__(~aditya@122.163.165.143) (Remote host closed the connection)
2021-01-14 16:49:40 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-01-14 16:50:32 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 16:51:48 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net)
2021-01-14 16:55:07 +0100dandels(~dandels@unaffiliated/dandels) (Ping timeout: 256 seconds)
2021-01-14 16:55:31 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-14 16:57:34 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2021-01-14 16:58:03 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2021-01-14 16:58:52 +0100tzh(~xax@c-24-21-73-154.hsd1.or.comcast.net)
2021-01-14 16:59:44 +0100ClaudiusMaximus(~claude@196.67.6.51.dyn.plus.net)
2021-01-14 16:59:56 +0100ClaudiusMaximus(~claude@196.67.6.51.dyn.plus.net) (Changing host)
2021-01-14 16:59:56 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-01-14 17:01:31 +0100Kaeipi(~Kaiepi@47.54.252.148) (Quit: Leaving)
2021-01-14 17:02:49 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
2021-01-14 17:03:24 +0100xff0x(~xff0x@2001:1a81:528c:9f00:3799:e5de:4f4f:1878) (Ping timeout: 240 seconds)
2021-01-14 17:03:57 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net)
2021-01-14 17:03:59 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-womepahugemfqphs)
2021-01-14 17:04:23 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-01-14 17:04:31 +0100xff0x(~xff0x@2001:1a81:528c:9f00:e41b:8ce6:994e:2b92)
2021-01-14 17:04:57 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 17:07:05 +0100conal(~conal@209.58.132.107)
2021-01-14 17:07:36 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-01-14 17:07:47 +0100whyworxbutok(a7072803@167.7.40.3)
2021-01-14 17:08:32 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-14 17:08:36 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 17:08:50 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2021-01-14 17:09:48 +0100mtae(uid179115@gateway/web/irccloud.com/x-zvlrypoijsiqdave)
2021-01-14 17:12:10 +0100Rudd0(~Rudd0@185.189.115.103)
2021-01-14 17:12:49 +0100ADG1089__(~aditya@122.163.165.143)
2021-01-14 17:14:17 +0100Synthetica(uid199651@gateway/web/irccloud.com/x-lowrcjycbkmtdayh)
2021-01-14 17:14:43 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-01-14 17:14:47 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-01-14 17:15:38 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core)
2021-01-14 17:15:55 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56)
2021-01-14 17:18:15 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3656:8d15:34a2:c515:f802) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 17:18:38 +0100borne(~fritjof@2001:638:708:30da:90f9:9592:bcc4:6fbc) (Ping timeout: 264 seconds)
2021-01-14 17:21:30 +0100dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2021-01-14 17:22:23 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:69e7:6bfb:13cc:365a) (Remote host closed the connection)
2021-01-14 17:23:56 +0100Wuzzy(~Wuzzy@p549c9e84.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-01-14 17:24:21 +0100ubert1(~Thunderbi@p200300ecdf1ee06ce6b318fffe838f33.dip0.t-ipconnect.de)
2021-01-14 17:24:24 +0100ubert(~Thunderbi@p200300ecdf1ee017e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-01-14 17:24:25 +0100ubert1ubert
2021-01-14 17:24:44 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3656:8d15:34a2:c515:f802)
2021-01-14 17:24:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2)
2021-01-14 17:25:54 +0100Vulfe_(~vulfe@2600:1702:31b0:34e0:d8ae:e688:b171:9979)
2021-01-14 17:28:02 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net)
2021-01-14 17:28:48 +0100acidjnk_new(~acidjnk@p200300d0c704e7817426bb844d6a6b27.dip0.t-ipconnect.de)
2021-01-14 17:30:24 +0100mmfood(~mmfood@45.91.21.21)
2021-01-14 17:30:38 +0100Vulfe_(~vulfe@2600:1702:31b0:34e0:d8ae:e688:b171:9979) (Ping timeout: 264 seconds)
2021-01-14 17:32:21 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:d8ae:e688:b171:9979)
2021-01-14 17:33:59 +0100sm2n_(~sm2n@bras-base-hmtnon1497w-grc-43-64-231-95-247.dsl.bell.ca)
2021-01-14 17:34:04 +0100sm2n(~sm2n@bras-base-hmtnon1497w-grc-43-64-231-95-247.dsl.bell.ca) (Read error: Connection reset by peer)
2021-01-14 17:38:08 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:d8ae:e688:b171:9979) (Ping timeout: 260 seconds)
2021-01-14 17:39:13 +0100phasespace(~sar@80-89-47-117.inet.signal.no) (Ping timeout: 264 seconds)
2021-01-14 17:40:37 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-01-14 17:41:21 +0100dandels(~dandels@unaffiliated/dandels)
2021-01-14 17:43:25 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3656:8d15:34a2:c515:f802) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 17:44:39 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 17:44:52 +0100geekosaur(42d52137@66.213.33.55)
2021-01-14 17:45:08 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-01-14 17:45:16 +0100berberman_(~berberman@unaffiliated/berberman)
2021-01-14 17:45:38 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-01-14 17:46:42 +0100ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de)
2021-01-14 17:46:46 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-14 17:47:14 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-01-14 17:49:49 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2021-01-14 17:49:49 +0100Lord_of_Life_Lord_of_Life
2021-01-14 17:52:32 +0100darjeeling_(~darjeelin@122.245.120.137) (Ping timeout: 272 seconds)
2021-01-14 17:53:17 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net)
2021-01-14 17:53:41 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:d8ae:e688:b171:9979)
2021-01-14 17:54:12 +0100phasespace(~sar@89-162-33-21.fiber.signal.no)
2021-01-14 17:54:35 +0100Wuzzy(~Wuzzy@p549c9144.dip0.t-ipconnect.de)
2021-01-14 17:55:38 +0100acidjnk_new(~acidjnk@p200300d0c704e7817426bb844d6a6b27.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-01-14 17:57:56 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net) (Ping timeout: 256 seconds)
2021-01-14 17:58:32 +0100 <afreak> is it possible to set some property to all floating windows in xmonad? like setting something silimar to this https://github.com/i3/i3/issues/2223 ? would be nice to only have shadows on floating windows
2021-01-14 17:58:32 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:d8ae:e688:b171:9979) (Ping timeout: 260 seconds)
2021-01-14 17:58:45 +0100 <afreak> xprop property
2021-01-14 17:59:16 +0100 <Uniaika> merijn: actually, async does the job for my usecase
2021-01-14 17:59:16 +0100dandels(~dandels@unaffiliated/dandels) (Ping timeout: 240 seconds)
2021-01-14 17:59:43 +0100 <afreak> ops wrong channel, sorry
2021-01-14 18:00:39 +0100ep1ctetus(~epictetus@ip184-187-162-163.sb.sd.cox.net)
2021-01-14 18:03:20 +0100bitmagie(~Thunderbi@200116b80633010015c9d3aff2b838ff.dip.versatel-1u1.de)
2021-01-14 18:03:39 +0100xff0x(~xff0x@2001:1a81:528c:9f00:e41b:8ce6:994e:2b92) (Ping timeout: 244 seconds)
2021-01-14 18:04:45 +0100xff0x(~xff0x@2001:1a81:528c:9f00:6cfe:f11b:e4a5:7058)
2021-01-14 18:05:39 +0100darjeeling_(~darjeelin@122.245.120.137)
2021-01-14 18:06:33 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2) (Remote host closed the connection)
2021-01-14 18:07:31 +0100tzlil(~tzlil@unaffiliated/tzlil)
2021-01-14 18:10:02 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-14 18:10:08 +0100 <kuribas> merijn: why don't you use async?
2021-01-14 18:10:51 +0100kupi(uid212005@gateway/web/irccloud.com/x-sxbetnzyfydbbjvs)
2021-01-14 18:10:57 +0100Goldio(uid478328@gateway/web/irccloud.com/x-wefrznpbgatcsvzl)
2021-01-14 18:11:07 +0100qpper(2d5f2d1b@45.95.45.27)
2021-01-14 18:11:34 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:14ba:8187:11f3:2cd8)
2021-01-14 18:11:58 +0100 <qpper> hello, is there any way to write "f { value }" instead of "f SumType { value }"?
2021-01-14 18:12:06 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-01-14 18:13:21 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-14 18:15:03 +0100 <kuribas> what's thats supposed to do?
2021-01-14 18:16:14 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:14ba:8187:11f3:2cd8) (Ping timeout: 264 seconds)
2021-01-14 18:16:33 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-01-14 18:16:46 +0100 <qpper> call the function f with a SumType. SumType consists of a single field named value
2021-01-14 18:16:57 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net)
2021-01-14 18:17:06 +0100 <kuribas> so "f $ SumType value"?
2021-01-14 18:17:20 +0100 <kuribas> or f (SumType value)?
2021-01-14 18:18:14 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Client Quit)
2021-01-14 18:18:16 +0100 <kuribas> or if you have a record f SumType{value = 3}, though sumtypes with fields are weird.
2021-01-14 18:18:21 +0100 <qpper> SumType value allows to be called with a variable named value2, I want to ensure that the function is called with the right variable names
2021-01-14 18:18:55 +0100 <kuribas> why wouldn't it be called with the right name?
2021-01-14 18:19:08 +0100 <kuribas> you pass the name to the function...
2021-01-14 18:19:15 +0100 <kuribas> there is no other way in haskell.
2021-01-14 18:19:32 +0100skidoesn't know what "SumType value allows to be called with a variable named value2" means
2021-01-14 18:19:51 +0100 <qpper> this is what I mean: f (SumType value2)
2021-01-14 18:20:01 +0100 <qpper> this does not cause an error
2021-01-14 18:20:28 +0100 <kuribas> good, so what is the problem then?
2021-01-14 18:21:12 +0100 <qpper> it's error prone, if I have foo and bar with the same type, i can pass both of them
2021-01-14 18:21:53 +0100 <kuribas> qpper: we cannot help you without more context
2021-01-14 18:22:11 +0100 <kuribas> qpper: try to explain what you are doing, and perhaps paste the code somewhere
2021-01-14 18:22:47 +0100 <kuribas> the problem you are solving, not the solution you have that doesn't work...
2021-01-14 18:23:15 +0100kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2021-01-14 18:24:55 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-14 18:24:55 +0100 <kuribas> qpper: or do you mean newtype instead of sumtype?
2021-01-14 18:25:33 +0100f-a(~f-a@151.36.34.47)
2021-01-14 18:26:32 +0100jlamothe(~jlamothe@198.251.55.207) (Quit: leaving)
2021-01-14 18:27:27 +0100hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2021-01-14 18:28:51 +0100 <qpper> https://gist.github.com/theqp/8f049861498df238f398b87c8e401fc4
2021-01-14 18:29:45 +0100 <qpper> if you speak typescript I can show an example from that language: "f({myField})"
2021-01-14 18:31:18 +0100hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-01-14 18:31:52 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:14ba:8187:11f3:2cd8)
2021-01-14 18:31:55 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2021-01-14 18:32:32 +0100christo(~chris@81.96.113.213)
2021-01-14 18:32:39 +0100 <f-a> hello. If I have an hexadecimal number like 0x22, how do I get a bit representation (say, a list of 8 bools)? I bet there is something in Base, but don’t know what to hoogle
2021-01-14 18:34:18 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:6ccc:7c34:64f9:a54f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-14 18:34:48 +0100djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca)
2021-01-14 18:35:10 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:14ba:8187:11f3:2cd8) (Remote host closed the connection)
2021-01-14 18:35:15 +0100 <ski> > [testBit 0x22 i | i <- [0 .. 7]]
2021-01-14 18:35:17 +0100Vulfe_(~vulfe@2600:1702:31b0:34e0:14ba:8187:11f3:2cd8)
2021-01-14 18:35:18 +0100 <lambdabot> [False,True,False,False,False,True,False,False]
2021-01-14 18:35:29 +0100christo(~chris@81.96.113.213) (Read error: Connection reset by peer)
2021-01-14 18:35:41 +0100 <f-a> ski: it is what I ended up doing, I thought there was a, uhh, dedicated type but that would do
2021-01-14 18:35:42 +0100christo(~chris@81.96.113.213)
2021-01-14 18:35:53 +0100cgadski_(~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection)
2021-01-14 18:36:18 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:6ccc:7c34:64f9:a54f)
2021-01-14 18:36:24 +0100hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2021-01-14 18:36:33 +0100geekosaur(42d52137@66.213.33.55) (Ping timeout: 248 seconds)
2021-01-14 18:38:33 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-14 18:38:50 +0100 <idnar> > fromMaybe <*> stripPrefix "x" $ "xfoo"
2021-01-14 18:38:52 +0100 <lambdabot> "foo"
2021-01-14 18:38:57 +0100 <idnar> > fromMaybe <*> stripPrefix "x" $ "foo"
2021-01-14 18:38:59 +0100 <lambdabot> "foo"
2021-01-14 18:39:05 +0100 <idnar> ohh
2021-01-14 18:43:14 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾)
2021-01-14 18:43:22 +0100pera(pera@gateway/vpn/mullvad/pera) (Quit: brb)
2021-01-14 18:43:26 +0100DataComputist(~lumeng@50.43.26.251) (Quit: Leaving...)
2021-01-14 18:43:49 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru)
2021-01-14 18:44:19 +0100 <ski> cute :)
2021-01-14 18:44:27 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-01-14 18:45:57 +0100hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-01-14 18:46:19 +0100mouseghost(~draco@wikipedia/desperek)
2021-01-14 18:46:46 +0100geekosaur(42d52137@66.213.33.55)
2021-01-14 18:47:28 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-01-14 18:48:25 +0100argento(~argent0@168.227.97.29)
2021-01-14 18:49:47 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-01-14 18:50:25 +0100conal(~conal@209.58.132.107) (Quit: Computer has gone to sleep.)
2021-01-14 18:51:37 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-01-14 18:51:40 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-14 18:53:24 +0100 <merijn> qpper: The names on line 15 and the names inside 'f' are entirely unrelated, so your question doesn't really make sense
2021-01-14 18:56:01 +0100f-a(~f-a@151.36.34.47) ()
2021-01-14 18:56:07 +0100dandels(~dandels@unaffiliated/dandels)
2021-01-14 18:59:03 +0100di-wu(~5ee075ce@178.62.248.58)
2021-01-14 19:06:56 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2)
2021-01-14 19:07:18 +0100niko(~niko@freenode/staff/ubuntu.member.niko) (Ping timeout: 606 seconds)
2021-01-14 19:07:18 +0100AWizzArd(~code@unaffiliated/awizzard) (Read error: Connection reset by peer)
2021-01-14 19:07:43 +0100AWizzArd(~code@gehrels.uberspace.de)
2021-01-14 19:08:20 +0100 <monochrom> merijn: But NamedFieldPuns causes MyData{myField} to be legal and mean MyData{myField=myField}
2021-01-14 19:09:16 +0100dandels(~dandels@unaffiliated/dandels) (Ping timeout: 240 seconds)
2021-01-14 19:09:27 +0100 <monochrom> To be sure, "f {myField}" is a pipe dream. Even in other languages.
2021-01-14 19:09:41 +0100 <merijn> monochrom: Sure
2021-01-14 19:10:18 +0100 <merijn> monochrom: But that doesn't change anything from "what variable you construct a type with is irrelevant when pattern matching"
2021-01-14 19:10:37 +0100 <monochrom> I don't understand "shows a syntax error and that is the purpose". Why is syntax error anyone's purpose?
2021-01-14 19:11:22 +0100 <monochrom> Like you want to put "I am an expert in making syntax errors in C, Haskell, and PHP" on your CV?
2021-01-14 19:11:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2) (Ping timeout: 264 seconds)
2021-01-14 19:11:30 +0100 <merijn> monochrom: Because he's conflating the name of the variable used to construct the SumType with the pattern match
2021-01-14 19:12:45 +0100 <merijn> monochrom: "MyData{otherfield}" should be a syntax error, because you're constructing with a variable that's not named "myfield", which is of course not really sensible, since the name of variables used to construct something is entirely unrelated to what you can construct
2021-01-14 19:12:56 +0100 <merijn> Is the logic I have divined from this example
2021-01-14 19:13:34 +0100 <monochrom> I think the two of us have beaten the horse to death twic.
2021-01-14 19:13:49 +0100 <merijn> ;)
2021-01-14 19:14:03 +0100 <monochrom> Time to cook it and enjoy the game meat.
2021-01-14 19:14:04 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-jagtkbjrzxfjkjox) (Quit: Connection closed for inactivity)
2021-01-14 19:14:15 +0100 <monochrom> Do you like roast or do you like stew?
2021-01-14 19:14:42 +0100 <merijn> Stew
2021-01-14 19:14:49 +0100 <merijn> that's what I'm making tomorrow :p
2021-01-14 19:14:59 +0100 <merijn> With a nice belgian double :p
2021-01-14 19:15:06 +0100dandels(~dandels@unaffiliated/dandels)
2021-01-14 19:15:34 +0100plutoniix(~q@node-ujk.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-01-14 19:17:33 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-01-14 19:17:53 +0100ubert(~Thunderbi@p200300ecdf1ee06ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-01-14 19:18:40 +0100poljar(~poljar@93-139-122-127.adsl.net.t-com.hr)
2021-01-14 19:19:08 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2021-01-14 19:19:25 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-01-14 19:20:01 +0100poljar1(~poljar@78-2-51-115.adsl.net.t-com.hr) (Ping timeout: 264 seconds)
2021-01-14 19:20:03 +0100pera(~pera@unaffiliated/pera)
2021-01-14 19:20:07 +0100bitmagie(~Thunderbi@200116b80633010015c9d3aff2b838ff.dip.versatel-1u1.de) (Quit: bitmagie)
2021-01-14 19:20:42 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-14 19:21:27 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-01-14 19:21:57 +0100alx741(~alx741@186.178.110.154) (Quit: alx741)
2021-01-14 19:22:11 +0100amerigo(uid331857@gateway/web/irccloud.com/x-opqgzzuumlcpkvel) (Quit: Connection closed for inactivity)
2021-01-14 19:22:47 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-14 19:23:01 +0100ubert(~Thunderbi@p200300ecdf1ee06ce6b318fffe838f33.dip0.t-ipconnect.de)
2021-01-14 19:23:10 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-14 19:23:29 +0100alx741(~alx741@186.178.110.154)
2021-01-14 19:23:37 +0100dandels(~dandels@unaffiliated/dandels) (Ping timeout: 264 seconds)
2021-01-14 19:26:08 +0100knupfer(~Thunderbi@200116b82c627000159a14676961e630.dip.versatel-1u1.de) (Remote host closed the connection)
2021-01-14 19:26:17 +0100knupfer(~Thunderbi@200116b82c627000b8f0afd5cfbfbb8a.dip.versatel-1u1.de)
2021-01-14 19:26:58 +0100roconnor(~roconnor@host-104-157-225-60.dyn.295.ca)
2021-01-14 19:27:35 +0100juuandyy(~juuandyy@90.166.144.65)
2021-01-14 19:29:01 +0100rajivr(uid269651@gateway/web/irccloud.com/x-wrlzwrvczojvhvjm) (Quit: Connection closed for inactivity)
2021-01-14 19:29:18 +0100conal(~conal@ip-66-115-176-204.creativelink.net)
2021-01-14 19:31:06 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 256 seconds)
2021-01-14 19:33:25 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2021-01-14 19:33:43 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Read error: Connection reset by peer)
2021-01-14 19:34:10 +0100ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
2021-01-14 19:34:43 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-01-14 19:36:49 +0100geekosaur(42d52137@66.213.33.55) (Ping timeout: 248 seconds)
2021-01-14 19:42:05 +0100michalz(~user@185.246.204.80) (Remote host closed the connection)
2021-01-14 19:42:43 +0100conal(~conal@ip-66-115-176-204.creativelink.net) (Quit: Computer has gone to sleep.)
2021-01-14 19:43:00 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-01-14 19:43:23 +0100christo(~chris@81.96.113.213)
2021-01-14 19:43:54 +0100rwdrich(560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Quit: Connection closed)
2021-01-14 19:44:52 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2021-01-14 19:44:56 +0100howdoi(uid224@gateway/web/irccloud.com/x-ikuobcyybrkdaaee)
2021-01-14 19:47:50 +0100 <qpper> merijn exacly, that is what i want
2021-01-14 19:47:58 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-01-14 19:48:39 +0100 <merijn> qpper: That's impossible
2021-01-14 19:49:21 +0100 <qpper> so the best tradeoff is "f SomeType {someField}" if I want to ensure it is called with the right name?
2021-01-14 19:49:32 +0100geekosaur(42d52137@66.213.33.55)
2021-01-14 19:49:35 +0100 <merijn> Why does the name matter?
2021-01-14 19:49:45 +0100argento(~argent0@168.227.97.29) (Quit: leaving)
2021-01-14 19:50:04 +0100 <qpper> because i don't have to check i really called with the correct variable
2021-01-14 19:50:18 +0100 <merijn> Define "correct"
2021-01-14 19:50:42 +0100 <monochrom> What's wrong with "let x=1 in f MyData{myField=x}" which is perfectly explicit and clear and unambiguous and intuitive?
2021-01-14 19:51:09 +0100 <monochrom> Well, unless your "intuitive" requires ambiguity and sloppiness and guessing games.
2021-01-14 19:51:33 +0100 <qpper> nothing, also nothing wrong with f MyData x, but sometimes it is better to enforce it
2021-01-14 19:51:54 +0100 <merijn> If only we hade some system that could enforce things at compile time...
2021-01-14 19:51:55 +0100 <monochrom> Sorry, enforce what?
2021-01-14 19:52:28 +0100 <qpper> enforce fooValue is not passed to a function with a parameter name barValue
2021-01-14 19:52:38 +0100 <merijn> Why is the name relevant?
2021-01-14 19:52:48 +0100 <monochrom> That's what MyData{myField=x} is for.
2021-01-14 19:52:58 +0100 <qpper> because there are other variables in the scope with the same type
2021-01-14 19:53:07 +0100 <monochrom> In "MyData{myField=x}" we see that it is not "MyData{oops=x}"
2021-01-14 19:53:22 +0100 <merijn> qpper: Well, give them a different type, then?
2021-01-14 19:54:02 +0100 <monochrom> Also, there is no "parameter name" in Haskell.
2021-01-14 19:54:10 +0100 <monochrom> Are you sure you're in the right channel?
2021-01-14 19:54:11 +0100 <qpper> merijn that makes the code even more verbose than MyData{myfield}
2021-01-14 19:54:46 +0100 <qpper> monochrom i know, field name is the right word
2021-01-14 19:55:21 +0100 <monochrom> There is no "pass a field name to a function" either.
2021-01-14 19:56:28 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-01-14 19:57:02 +0100christo(~chris@81.96.113.213)
2021-01-14 19:57:15 +0100 <qpper> using newTypes instead of records like that is a better tradeoff
2021-01-14 19:57:28 +0100 <monochrom> I don't understand why this is verbose. Verbose compared to what?
2021-01-14 19:57:59 +0100 <monochrom> In all other languages the part about {field1=x, field2=y, field3=z} is unavoidable. For example look at SML, Java, and Python.
2021-01-14 19:58:35 +0100 <monochrom> The only part you might rightfully complain about is the "MyData" part which those other languages don't impose on you.
2021-01-14 19:58:44 +0100 <monochrom> But you are not complaining about "MyData".
2021-01-14 19:58:59 +0100 <monochrom> So I don't understand the logic. Unless you simply want the computer to be telepathic.
2021-01-14 19:59:48 +0100ubert(~Thunderbi@p200300ecdf1ee06ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-01-14 19:59:53 +0100 <merijn> monochrom: Most people want that :p
2021-01-14 20:00:53 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-01-14 20:00:54 +0100 <monochrom> Well, yeah, and that brings us to the next whole new level.
2021-01-14 20:01:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2)
2021-01-14 20:01:18 +0100 <monochrom> If one simply wants the computer to be telepathic, why is one learning any programming language at all?
2021-01-14 20:01:49 +0100 <geekosaur> actually, I don't, nless that includes explaining to the next person who looks at the code (who might well be me) what I was thinking at the time
2021-01-14 20:03:05 +0100 <qpper> compared to the typescript example f({myField})
2021-01-14 20:03:30 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-14 20:03:38 +0100berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds)
2021-01-14 20:04:49 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2021-01-14 20:05:32 +0100DTZUZU(~DTZUZU@205.ip-149-56-132.net) (Read error: Connection reset by peer)
2021-01-14 20:05:47 +0100DTZUZU(~DTZUZU@205.ip-149-56-132.net)
2021-01-14 20:05:52 +0100 <monochrom> And my understanding of your other sentences is that you are also dissatisfied with "{myField}" because this oh-so-compressed (more like lossy compression) is vulnerable to "what if I have a typo and mistakenly write {oops}".
2021-01-14 20:06:22 +0100ADG1089__(~aditya@122.163.165.143) (Remote host closed the connection)
2021-01-14 20:06:23 +0100juuandyy(~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2021-01-14 20:06:50 +0100tomsen_(~tomsen@2a02:908:1862:49e0::3)
2021-01-14 20:06:54 +0100 <dolio> If the record constructor is 1 letter, the Haskell version is the same number of characters.
2021-01-14 20:07:25 +0100ADG1089__(~aditya@122.163.165.143)
2021-01-14 20:07:58 +0100 <monochrom> inb4 "but one-letter names are unreadable meaningless math-nerd notation"
2021-01-14 20:09:13 +0100tomsen(~tomsen@2a02:908:1862:49e0::3) (Ping timeout: 272 seconds)
2021-01-14 20:09:34 +0100 <monochrom> I actually agree that one-letter names can be unergonomic.
2021-01-14 20:10:00 +0100conal(~conal@ip-66-115-176-150.creativelink.net)
2021-01-14 20:10:05 +0100 <monochrom> But has anyone extrapolate that to conclude: therefore, zero-length names are even worse?
2021-01-14 20:12:16 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 2.9)
2021-01-14 20:12:24 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-01-14 20:12:51 +0100 <dolio> Well, they might not be.
2021-01-14 20:13:50 +0100 <dolio> Focusing on the call ignores other sources of verbosity that would come from anonymous records, though.
2021-01-14 20:14:03 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2021-01-14 20:14:54 +0100 <dolio> Like, enumerating the fields as a type is more verbose.
2021-01-14 20:15:33 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 272 seconds)
2021-01-14 20:16:42 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-14 20:18:49 +0100Sonderblade(~helloman@94.191.153.115.mobile.tre.se) (Ping timeout: 264 seconds)
2021-01-14 20:19:38 +0100 <dolio> Mostly I don't get the preoccupation with record syntax, though. Direct record munging makes up a very small portion of my code.
2021-01-14 20:20:40 +0100 <merijn> dolio: But that's what everyone talks about on the social medias!
2021-01-14 20:21:28 +0100 <merijn> Which clearly means it's the most important thing
2021-01-14 20:21:45 +0100matryoshka(~matryoshk@184.75.223.227)
2021-01-14 20:22:29 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-01-14 20:22:47 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-14 20:23:10 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-14 20:23:12 +0100matryoshka`(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-01-14 20:23:22 +0100matryoshka(~matryoshk@184.75.223.227) (Read error: Connection reset by peer)
2021-01-14 20:23:59 +0100 <dolio> Direct record stuff is way more significant in my Agda code, because it has copattern matching, and because the termination checker isn't smart enough to allow you to factor out as much code.
2021-01-14 20:25:07 +0100 <dolio> Also probably because all my agda code is trivial compared to Haskell code.
2021-01-14 20:27:05 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-14 20:27:50 +0100 <hpc> what we really need to be discussing more is the lexical syntax of comments :P
2021-01-14 20:29:40 +0100Goldio(uid478328@gateway/web/irccloud.com/x-wefrznpbgatcsvzl) (Quit: Connection closed for inactivity)
2021-01-14 20:30:15 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0)
2021-01-14 20:30:43 +0100gxt(~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2021-01-14 20:30:47 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-01-14 20:32:08 +0100ClaudiusMaximus(~claude@196.67.6.51.dyn.plus.net)
2021-01-14 20:32:08 +0100ClaudiusMaximus(~claude@196.67.6.51.dyn.plus.net) (Changing host)
2021-01-14 20:32:08 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-01-14 20:32:16 +0100 <monochrom> Social media record all your comments. :nod:
2021-01-14 20:33:04 +0100 <merijn> monochrom: https://twitter.com/steveklabnik/status/1349362478237540354
2021-01-14 20:33:06 +0100gxt(~gxt@gateway/tor-sasl/gxt)
2021-01-14 20:33:07 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-01-14 20:33:27 +0100 <monochrom> \∩/
2021-01-14 20:33:38 +0100 <monochrom> There is an smbc for that, too.
2021-01-14 20:34:27 +0100 <monochrom> https://www.smbc-comics.com/comic/app-3
2021-01-14 20:35:17 +0100 <monochrom> ObHaskell I'm improving my type inference tutorial.
2021-01-14 20:42:05 +0100tzlil(~tzlil@unaffiliated/tzlil) (Ping timeout: 240 seconds)
2021-01-14 20:43:03 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
2021-01-14 20:44:09 +0100aidecoe(~aidecoe@unaffiliated/aidecoe)
2021-01-14 20:44:23 +0100falsifian(~falsifian@exoco.falsifian.org) (Quit: leaving)
2021-01-14 20:45:03 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-01-14 20:47:40 +0100acidjnk_new(~acidjnk@p200300d0c704e7817426bb844d6a6b27.dip0.t-ipconnect.de)
2021-01-14 20:47:45 +0100geekosaur(42d52137@66.213.33.55) (Ping timeout: 248 seconds)
2021-01-14 20:49:59 +0100nineonin_(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-14 20:52:51 +0100Deide(~Deide@217.155.19.23)
2021-01-14 20:53:25 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 240 seconds)
2021-01-14 20:54:28 +0100conal(~conal@ip-66-115-176-150.creativelink.net) (Quit: Computer has gone to sleep.)
2021-01-14 20:56:09 +0100borne(~fritjof@200116b86496e00002b34828c30df1e8.dip.versatel-1u1.de)
2021-01-14 20:57:27 +0100mmfood(~mmfood@45.91.21.21) (Quit: Leaving)
2021-01-14 20:59:20 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 256 seconds)
2021-01-14 21:04:30 +0100geekosaur(42d52137@66.213.33.55)
2021-01-14 21:05:21 +0100conal(~conal@209.58.131.42)
2021-01-14 21:07:15 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection)
2021-01-14 21:08:07 +0100knupfer(~Thunderbi@200116b82c627000b8f0afd5cfbfbb8a.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-01-14 21:08:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-14 21:08:45 +0100Kaivo(~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 240 seconds)
2021-01-14 21:09:40 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt) ()
2021-01-14 21:12:14 +0100Tario(~Tario@200.119.187.212) (Ping timeout: 260 seconds)
2021-01-14 21:12:32 +0100pierrot_pierrot
2021-01-14 21:12:39 +0100pierrot(~pi@vmi95795.contabo.host) (Changing host)
2021-01-14 21:12:39 +0100pierrot(~pi@unaffiliated/pierrot)
2021-01-14 21:12:48 +0100 <ep1ctetus> I was just talking to a colleague about how records look so verbose in Haskell because functions are so concise
2021-01-14 21:13:41 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-01-14 21:18:23 +0100andreas303(~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds)
2021-01-14 21:18:47 +0100conal(~conal@209.58.131.42) (Quit: Computer has gone to sleep.)
2021-01-14 21:18:56 +0100kuribas(~user@ptr-25vy0i9hu20gjwlk8ce.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-01-14 21:19:21 +0100andreas303(~andreas@gateway/tor-sasl/andreas303)
2021-01-14 21:19:44 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2021-01-14 21:20:03 +0100conal(~conal@209.58.131.42)
2021-01-14 21:20:14 +0100conal(~conal@209.58.131.42) (Client Quit)
2021-01-14 21:22:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-01-14 21:22:17 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net)
2021-01-14 21:22:23 +0100ph88(~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d)
2021-01-14 21:22:23 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-14 21:22:28 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-01-14 21:22:59 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:9f6f:4e99:c28:c69a)
2021-01-14 21:24:13 +0100conal(~conal@212.102.44.130)
2021-01-14 21:26:43 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2021-01-14 21:27:12 +0100maerwald(~maerwald@mail.hasufell.de) (Remote host closed the connection)
2021-01-14 21:27:16 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-01-14 21:28:52 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-exqmmrztjppnvoxd)
2021-01-14 21:31:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-14 21:32:43 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2021-01-14 21:32:43 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
2021-01-14 21:33:03 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds)
2021-01-14 21:34:05 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-14 21:34:15 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-01-14 21:34:29 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-01-14 21:34:44 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-14 21:35:12 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-01-14 21:35:39 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Client Quit)
2021-01-14 21:36:16 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-14 21:37:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 21:38:26 +0100 <justsomeguy> dolio: I'm starting to think that we shouldn't have record types in the first place. Leave off a field, and it isn't reflected in the type signature. Why not use Maps, instead? I'm only a noob, though, so I'm probably overlooking something.
2021-01-14 21:38:58 +0100 <justsomeguy> (Or sets or tuples or...)
2021-01-14 21:42:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-14 21:46:48 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-01-14 21:48:02 +0100 <ski> we don't have record types
2021-01-14 21:48:08 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net)
2021-01-14 21:48:45 +0100jespada(~jespada@90.254.245.49) (Ping timeout: 240 seconds)
2021-01-14 21:48:50 +0100conal(~conal@212.102.44.130) (Quit: Computer has gone to sleep.)
2021-01-14 21:49:00 +0100cgadski(~cgadski@a95-95-106-208.cpe.netcabo.pt) (Client Quit)
2021-01-14 21:49:41 +0100ubert(~Thunderbi@p200300ecdf1ee06ce6b318fffe838f33.dip0.t-ipconnect.de)
2021-01-14 21:50:39 +0100 <monochrom> You cannot put both True and "hello" into the same Set to represent the tuple (True, "hello"). Similarly Map.
2021-01-14 21:50:54 +0100Franciman(~francesco@host-82-48-174-127.retail.telecomitalia.it) (Quit: Leaving)
2021-01-14 21:51:11 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2021-01-14 21:52:11 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2) (Remote host closed the connection)
2021-01-14 21:52:37 +0100Wuzzy(~Wuzzy@p549c9144.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-01-14 21:52:55 +0100tomsen_(~tomsen@2a02:908:1862:49e0::3) (Remote host closed the connection)
2021-01-14 21:52:56 +0100 <justsomeguy> ski: Should I be calling them record constructors, instead?
2021-01-14 21:53:09 +0100 <justsomeguy> Or just records..
2021-01-14 21:53:15 +0100 <geekosaur> record syntax for product types?
2021-01-14 21:53:21 +0100 <ski> records, or record syntax ?
2021-01-14 21:54:04 +0100conal(~conal@212.102.44.130)
2021-01-14 21:54:14 +0100Feuermagier(~Feuermagi@213.178.26.41) (Ping timeout: 256 seconds)
2021-01-14 21:55:07 +0100jespada(~jespada@90.254.245.49)
2021-01-14 21:55:09 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 2.9)
2021-01-14 21:56:02 +0100whyworxbutok(a7072803@167.7.40.3) (Quit: Connection closed)
2021-01-14 21:56:47 +0100nineonin_(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-14 21:56:50 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-drqduyiabtjkanwh) (Quit: Connection closed for inactivity)
2021-01-14 21:57:48 +0100 <ski> (you could say record syntax for data constructors, if you want a mouthful)
2021-01-14 21:59:04 +0100ADG1089__(~aditya@122.163.165.143) (Remote host closed the connection)
2021-01-14 21:59:45 +0100tomsen_(~tomsen@ip-95-222-214-213.hsi15.unitymediagroup.de)
2021-01-14 22:00:19 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-01-14 22:01:49 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2021-01-14 22:03:22 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-01-14 22:03:27 +0100Franciman(~francesco@host-82-48-174-127.retail.telecomitalia.it)
2021-01-14 22:04:31 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-14 22:04:33 +0100alx741(~alx741@186.178.110.154) (Quit: alx741)
2021-01-14 22:05:24 +0100nucranium(~nucranium@2a02:8010:6173:0:4108:b130:3bdf:4139)
2021-01-14 22:06:05 +0100alx741(~alx741@186.178.110.154)
2021-01-14 22:06:13 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-01-14 22:10:25 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-01-14 22:11:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 22:11:29 +0100knupfer(~Thunderbi@200116b82c627000444868d876d9f74a.dip.versatel-1u1.de)
2021-01-14 22:16:24 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-01-14 22:24:54 +0100conal(~conal@212.102.44.130) (Quit: Computer has gone to sleep.)
2021-01-14 22:26:05 +0100conal(~conal@212.102.44.130)
2021-01-14 22:26:17 +0100conal(~conal@212.102.44.130) (Client Quit)
2021-01-14 22:26:39 +0100xff0x(~xff0x@2001:1a81:528c:9f00:6cfe:f11b:e4a5:7058) (Ping timeout: 272 seconds)
2021-01-14 22:26:47 +0100conal(~conal@212.102.44.130)
2021-01-14 22:27:00 +0100conal(~conal@212.102.44.130) (Client Quit)
2021-01-14 22:27:02 +0100xff0x(~xff0x@2001:1a81:528c:9f00:3c4e:11e3:52e1:1997)
2021-01-14 22:27:12 +0100 <dolio> I could definitely live without them, but they're convenient for some things.
2021-01-14 22:28:57 +0100joel135(sid136450@gateway/web/irccloud.com/x-ejidscycomljbwvk) (Ping timeout: 260 seconds)
2021-01-14 22:29:36 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Read error: Connection reset by peer)
2021-01-14 22:29:58 +0100 <dolio> But for instance, I generally use them as some core implementation, and build abstractions around manipulating them, and then use the abstractions. I don't sprinkle record code all over the place.
2021-01-14 22:30:07 +0100shutendoji[m](shutendoji@gateway/shell/matrix.org/x-rahorqhngflcgpid) (Ping timeout: 260 seconds)
2021-01-14 22:30:07 +0100Lurkki[m]1(lurkkipriv@gateway/shell/matrix.org/x-mvwakzqqfdzfbmjr) (Ping timeout: 260 seconds)
2021-01-14 22:30:08 +0100lambda(~xiretza@mail.xiretza.xyz) (Ping timeout: 260 seconds)
2021-01-14 22:30:08 +0100dsturnbull(sid347899@gateway/web/irccloud.com/x-lpnbxtxtmytjyfdn) (Ping timeout: 260 seconds)
2021-01-14 22:30:08 +0100dsal(sid13060@gateway/web/irccloud.com/x-frcdhloinrhxmjcq) (Ping timeout: 260 seconds)
2021-01-14 22:30:11 +0100conal(~conal@212.102.44.138)
2021-01-14 22:30:43 +0100maralorn(maralornma@gateway/shell/matrix.org/x-ulgtlcoftthaeisp) (Ping timeout: 260 seconds)
2021-01-14 22:30:43 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-ooppghpllredfipz) (Ping timeout: 260 seconds)
2021-01-14 22:30:56 +0100joel135(sid136450@gateway/web/irccloud.com/x-vyyhxnmonposoqmu)
2021-01-14 22:31:02 +0100dsturnbull(sid347899@gateway/web/irccloud.com/x-lybuwhzmiqnxosyj)
2021-01-14 22:31:08 +0100dsal(sid13060@gateway/web/irccloud.com/x-uhinxzkjykjyzztk)
2021-01-14 22:31:29 +0100shutendoji[m](shutendoji@gateway/shell/matrix.org/x-xkkwzcxdpnysvaec)
2021-01-14 22:31:48 +0100Lurkki[m]1(lurkkipriv@gateway/shell/matrix.org/x-nywvecrjcupkppty)
2021-01-14 22:32:00 +0100maralorn(maralornma@gateway/shell/matrix.org/x-kxmvzacxixldobru)
2021-01-14 22:32:24 +0100lambda(~xiretza@mail.xiretza.xyz)
2021-01-14 22:32:30 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-14 22:32:52 +0100 <dolio> And I don't exactly understand why other people can't do similarly, other than that they're just copying their style from JS or something into Haskell.
2021-01-14 22:33:57 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-jarzgmgypqmnmzgn)
2021-01-14 22:37:16 +0100mmmattyx(uid17782@gateway/web/irccloud.com/x-jnccgurzyfdhopjk)
2021-01-14 22:38:57 +0100 <dolio> Similar to people who show up asking how to do heterogeneous lists, because untyped languages don't require you to sort that out. It's usually not that difficult in practice to not design things in a way that require seriously heterogeneous lists.
2021-01-14 22:40:22 +0100 <dolio> Records are more handy and less onerous than heterogeneous lists, so I'm more hesitant to put them in that category. But it seems like overly focusing on record-related syntax might be a similar phenomenon.
2021-01-14 22:40:46 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2)
2021-01-14 22:41:53 +0100qpper(2d5f2d1b@45.95.45.27) (Ping timeout: 248 seconds)
2021-01-14 22:45:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-14 22:46:22 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-01-14 22:47:11 +0100geekosaur(42d52137@66.213.33.55) (Quit: Connection closed)
2021-01-14 22:47:34 +0100Tario(~Tario@200.119.184.26)
2021-01-14 22:49:07 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-01-14 22:50:42 +0100nucranium(~nucranium@2a02:8010:6173:0:4108:b130:3bdf:4139) (Quit: WeeChat 2.3)
2021-01-14 22:50:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-14 22:51:37 +0100 <merijn> dolio: The only real problem I have with records will be fixed Real Soo Now! \o/
2021-01-14 22:51:50 +0100 <merijn> -XNoFieldSelectors, whoo!
2021-01-14 22:54:04 +0100Tario(~Tario@200.119.184.26) (Read error: Connection reset by peer)
2021-01-14 22:54:54 +0100Tario(~Tario@201.192.165.173)
2021-01-14 22:55:18 +0100 <ski> it's an improvement, compared to the current situation
2021-01-14 22:55:20 +0100Nik05(~Nik05@85.150.134.175)
2021-01-14 22:56:07 +0100 <yushyin> NoFieldSelectors is nice!
2021-01-14 22:56:41 +0100 <merijn> Just gonna go and throw -XNoFieldSelectors + -XNamedFieldPuns and all my record code and be happy
2021-01-14 22:56:47 +0100 <merijn> s/and/at
2021-01-14 22:57:02 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-01-14 22:57:35 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-14 22:57:51 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-14 22:57:56 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2021-01-14 22:59:53 +0100 <koz_> merijn: When's NoFieldSelectors landing?
2021-01-14 23:00:19 +0100 <merijn> 9.0 or 9.2, I think?
2021-01-14 23:00:37 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Read error: Connection reset by peer)
2021-01-14 23:00:55 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net)
2021-01-14 23:00:56 +0100 <merijn> So, anywhere between next month and next year given the "predictability" of GHC's release schedule ;)
2021-01-14 23:01:16 +0100 <koz_> merijn: Is it on the list for 9.0?
2021-01-14 23:02:15 +0100 <merijn> Let me teach you a super convenient trick for discovering the answer to that question! ;)
2021-01-14 23:02:46 +0100 <monochrom> Please tell. I want to know that trick too.
2021-01-14 23:02:53 +0100 <yushyin> koz_: I don't see it here https://gitlab.haskell.org/ghc/ghc/-/wikis/status/ghc-9.0.1 but I guess the wiki is outofdate anyways
2021-01-14 23:03:10 +0100 <merijn> monochrom: It involves google and the string "ghc 9.0 release notes" :p
2021-01-14 23:03:12 +0100 <koz_> yushyin: If it ever loads rofl.
2021-01-14 23:03:14 +0100 <monochrom> (Does it also work for "when will dependent haskell arrive?" :) )
2021-01-14 23:03:25 +0100 <monochrom> Oh darn, that.
2021-01-14 23:03:26 +0100 <koz_> monochrom: I have a heuristic for this!
2021-01-14 23:03:31 +0100 <yushyin> yes the haskell gitlab ist SUPER slow :/
2021-01-14 23:03:35 +0100 <koz_> If you say 'in the next 10 years', you'll be right 80% of the time.
2021-01-14 23:04:01 +0100 <merijn> koz_: If I say in the next 300 years I'll be either right or too dead to care about being wrong!
2021-01-14 23:04:16 +0100 <koz_> merijn: I only truck in _useful_ heuristics. :P
2021-01-14 23:04:30 +0100 <monochrom> I was hoping for "ghc X release notes such that it has dependent types [for example]" where X is a Prolog-style unknown to be solved/unified for and give me the answer.
2021-01-14 23:05:33 +0100Feuermagier(~Feuermagi@213.178.26.41)
2021-01-14 23:05:37 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-14 23:06:02 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-01-14 23:06:03 +0100 <merijn> koz_: I don't, that's why I'm getting a PhD!*
2021-01-14 23:06:06 +0100 <merijn> * - probably
2021-01-14 23:06:18 +0100 <koz_> merijn: Explains why I dropped out of mine pretty well!
2021-01-14 23:06:30 +0100 <merijn> koz_: Ah...so you're the smart one of us >.>
2021-01-14 23:06:33 +0100ubert(~Thunderbi@p200300ecdf1ee06ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-01-14 23:06:49 +0100 <koz_> If you say so.
2021-01-14 23:07:10 +0100 <yushyin> koz_: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4743
2021-01-14 23:07:11 +0100 <merijn> Someone: "I have a PhD!" Normal people: "Wow! You must be so smart!"
2021-01-14 23:07:29 +0100mirrorbird(~psutcliff@194.37.96.187)
2021-01-14 23:07:31 +0100 <merijn> Someone "I have a PhD!" Other academics: "ah...so you're dumb and stubborn too, huh?"
2021-01-14 23:07:48 +0100 <yushyin> :D
2021-01-14 23:07:57 +0100 <koz_> merijn: So very much this.
2021-01-14 23:08:06 +0100 <monochrom> I thought other academics were like "duh, practically everyone does".
2021-01-14 23:08:15 +0100 <merijn> monochrom: Well, that too
2021-01-14 23:08:18 +0100 <koz_> monochrom: Depends who you hang out with I guess.
2021-01-14 23:08:25 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-01-14 23:08:26 +0100 <koz_> (you-plural in this case)
2021-01-14 23:08:36 +0100 <koz_> (y'all)
2021-01-14 23:08:59 +0100 <dolio> There's a 9.0 rc out, you can build it and see if NoFieldSelectors is in. :)
2021-01-14 23:09:22 +0100 <dolio> Probably not going to change in a final release.
2021-01-14 23:09:34 +0100 <merijn> koz_: One of my best liked tweets was (in response to someone polling for "more gender neutral" replacements for "guys") was pointing out that "you peons" is gender neutral >.>
2021-01-14 23:09:46 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2021-01-14 23:09:49 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2) (Remote host closed the connection)
2021-01-14 23:09:58 +0100 <koz_> merijn: FELLOW MEATBAGS also works.
2021-01-14 23:11:38 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-01-14 23:13:15 +0100son0p(~son0p@181.136.122.143)
2021-01-14 23:15:48 +0100forcer1(~forcer@84.39.117.57) (Remote host closed the connection)
2021-01-14 23:18:49 +0100jfe(~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2021-01-14 23:19:04 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds)
2021-01-14 23:24:35 +0100Tops2(~Tobias@95.33.27.169) (Read error: Connection reset by peer)
2021-01-14 23:25:53 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-14 23:26:43 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64)
2021-01-14 23:27:05 +0100ericsagnes(~ericsagne@2405:6580:0:5100:43d1:199b:be93:211c) (Ping timeout: 244 seconds)
2021-01-14 23:27:40 +0100conal(~conal@212.102.44.138) (Quit: Computer has gone to sleep.)
2021-01-14 23:28:29 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-01-14 23:29:56 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-01-14 23:30:29 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Read error: Connection reset by peer)
2021-01-14 23:32:11 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-14 23:32:24 +0100ericholscher(~ericholsc@185.163.110.126)
2021-01-14 23:33:46 +0100Guest39736(~textual@mskresolve-a.mskcc.org) (Ping timeout: 246 seconds)
2021-01-14 23:34:45 +0100mirrorbird_(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27)
2021-01-14 23:35:14 +0100conal(~conal@212.102.44.134)
2021-01-14 23:37:12 +0100mirrorbird(~psutcliff@194.37.96.187) (Ping timeout: 260 seconds)
2021-01-14 23:38:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-14 23:39:34 +0100ericsagnes(~ericsagne@2405:6580:0:5100:a508:836d:e92e:17f2)
2021-01-14 23:40:10 +0100ADG1089(~adg1089@122.163.165.143)
2021-01-14 23:41:12 +0100 <ADG1089> working on development of an ecommerce site at work, would reallly like to haskell for some parts but cto wouldn't agree due to availabulity of haskell devs - python or nodejs
2021-01-14 23:43:02 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-01-14 23:43:29 +0100lockdown(~lockdown@unaffiliated/lockdown)
2021-01-14 23:43:37 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64) (Quit: Connection closed)
2021-01-14 23:43:39 +0100 <rom1504> wise decision
2021-01-14 23:48:13 +0100bw2(~bw1@046125250116.public.t-mobile.at)
2021-01-14 23:50:50 +0100Wuzzy(~Wuzzy@p5790eb14.dip0.t-ipconnect.de)
2021-01-14 23:51:11 +0100 <koz_> @pl \_ -> Just x
2021-01-14 23:51:11 +0100 <lambdabot> const (Just x)
2021-01-14 23:52:04 +0100fendor(~fendor@91.141.0.123.wireless.dyn.drei.com) (Remote host closed the connection)
2021-01-14 23:53:10 +0100 <koz_> @pl \t -> fs t <*> xs t
2021-01-14 23:53:10 +0100 <lambdabot> liftM2 (<*>) fs xs
2021-01-14 23:53:18 +0100 <koz_> Ah, liftA2.
2021-01-14 23:58:19 +0100poljar1(~poljar@93-143-187-222.adsl.net.t-com.hr)
2021-01-14 23:59:04 +0100 <dibblego> I once had to hire 5 haskell devs. I had 130 applicants. A year later, another 5, 180 applicants. The other guys were looking for a java dev for two years, 3 applicants, one pulled out, one was very unsuitable, the other got the job. It's a lie.
2021-01-14 23:59:25 +0100 <merijn> Like everything "it depends"
2021-01-14 23:59:31 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Read error: Connection reset by peer)
2021-01-14 23:59:52 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 272 seconds)