Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 .. 5022
— 502,152 events total
2020-11-04 07:22:26 → alp joins (~alp@2a01:e0a:58b:4920:99ca:9a50:cea9:e213)
2020-11-04 07:22:45 × mmohammadi9812 quits (~mmohammad@80.210.50.162) (Ping timeout: 240 seconds)
2020-11-04 07:23:06 → mmohammadi9812 joins (~mmohammad@2.178.222.196)
2020-11-04 07:24:46 × christo quits (~chris@81.96.113.213) (Ping timeout: 265 seconds)
2020-11-04 07:25:06 → christo joins (~chris@81.96.113.213)
2020-11-04 07:25:15 × dbmikus_ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2020-11-04 07:26:18 → chaosmasttter joins (~chaosmast@p200300c4a7117c01215e340256877fbe.dip0.t-ipconnect.de)
2020-11-04 07:29:05 <gtk> What is: 'type instance' in 'type instance G.Mutable Vector = MVector' ?
2020-11-04 07:30:05 <opqdonut> type families
2020-11-04 07:30:11 <suzu_> it means that the type 'G.Mutable Vector' resolves to 'MVector'
2020-11-04 07:30:27 <opqdonut> it's a language extension that lets you, basically, define type-level functions
2020-11-04 07:30:32 <suzu_> ^
2020-11-04 07:30:45 → porvak joins (~porvak@84.39.116.180)
2020-11-04 07:32:12 <gtk> So G.Mutable is a type function which takes in Vector and output MVector?
2020-11-04 07:32:18 × guest1334598235 quits (83e40215@131.228.2.21) (Remote host closed the connection)
2020-11-04 07:33:51 → kish` joins (~oracle@unaffiliated/oracle)
2020-11-04 07:35:12 → yoneda joins (~mike@193.206.102.122)
2020-11-04 07:35:31 hackage protocol-buffers-descriptor 2.4.16 - Text.DescriptorProto.Options and code generated from the Google Protocol Buffer specification https://hackage.haskell.org/package/protocol-buffers-descriptor-2.4.16 (k_bx)
2020-11-04 07:35:34 <opqdonut> gtk: yeah
2020-11-04 07:35:45 <gtk> opqdonut: and then 'data family MVector s a'.
2020-11-04 07:36:05 × kish quits (~oracle@unaffiliated/oracle) (Ping timeout: 240 seconds)
2020-11-04 07:36:22 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 265 seconds)
2020-11-04 07:36:22 <gtk> opqdonut: Can I understand that MVector is also a type level function?
2020-11-04 07:36:31 hackage protocol-buffers 2.4.16, hprotoc 2.4.16 (k_bx): https://qbin.io/wu-ms-aaza
2020-11-04 07:36:35 <opqdonut> yeah
2020-11-04 07:36:50 <gtk> which takes in s and a and produces a new type?
2020-11-04 07:36:52 <opqdonut> except now it's a _data_ family, not a _type_ family, which is slightly different
2020-11-04 07:37:08 <opqdonut> yeah, exactly, the difference is that it results in a new type, not an existing type
2020-11-04 07:37:17 <gtk> i see!
2020-11-04 07:37:58 × kish` quits (~oracle@unaffiliated/oracle) (Read error: Connection reset by peer)
2020-11-04 07:38:25 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-04 07:38:30 → linker joins (~linker@185.12.21.77)
2020-11-04 07:39:09 → christo joins (~chris@81.96.113.213)
2020-11-04 07:49:32 <int-e> > let step m d = M.fromListWith (+) $ do (v,n) <- M.assocs m; [(v,n),(v+d,n)] in foldl step (M.singleton 0 1) [55,38,29,29,20,20,18,16,16,15,14,13,12,11,11,11,11,10,10,10,10,9,9,9,8,8,7,7,7,6,6,6,6,6,6,5,5,5,4,4,4,4,4,3,3,3,3,3,3,3,3] M.! 269
2020-11-04 07:49:35 <lambdabot> 16976480564070
2020-11-04 07:49:56 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-04 07:50:24 → Katarushisu joins (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net)
2020-11-04 07:53:44 × tdhttt quits (~tdhttt@2600:8802:2203:2500:7dae:b2c2:4784:ea3f) (Ping timeout: 240 seconds)
2020-11-04 07:54:44 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-11-04 07:55:29 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-11-04 07:56:08 → tdhttt joins (~tdhttt@89.45.90.161)
2020-11-04 07:58:17 × johnstein quits (~johnstein@192.73.239.18) (Ping timeout: 258 seconds)
2020-11-04 07:58:51 → johnstein joins (~johnstein@192.73.239.18)
2020-11-04 07:59:17 × zhenchaoli quits (~user@2601:641:8000:4f00:955e:b059:4f08:2b29) (Ping timeout: 260 seconds)
2020-11-04 08:00:35 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-11-04 08:00:47 × jbox quits (~atlas@unaffiliated/jbox) (Quit: WeeChat 2.9)
2020-11-04 08:00:57 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-04 08:01:46 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Remote host closed the connection)
2020-11-04 08:02:02 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-04 08:02:34 × brodie quits (~brodie@207.53.253.137) (Quit: brodie)
2020-11-04 08:04:53 → Sanchayan joins (~Sanchayan@2401:4900:33b4:be84:783e:93bf:dec8:5aeb)
2020-11-04 08:05:12 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-04 08:05:13 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-11-04 08:05:30 → kuribastard joins (~user@ptr-25vy0iakqbc7il70x5a.18120a2.ip6.access.telenet.be)
2020-11-04 08:09:13 × knupfer quits (~Thunderbi@i5E86B46C.versanet.de) (Ping timeout: 260 seconds)
2020-11-04 08:09:38 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-11-04 08:12:22 → avdb joins (~avdb@ip-62-235-73-30.dsl.scarlet.be)
2020-11-04 08:14:43 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-04 08:19:00 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-04 08:21:28 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-04 08:21:49 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-11-04 08:22:18 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-04 08:23:21 → idhugo joins (~idhugo@users-1190.st.net.au.dk)
2020-11-04 08:26:17 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-04 08:29:49 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-11-04 08:30:07 → borne joins (~fritjof@200116b864d4e2005d0cb1433c5d4cbb.dip.versatel-1u1.de)
2020-11-04 08:31:17 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-04 08:31:45 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-04 08:32:20 → britva joins (~britva@2a02:aa13:7240:2980:292a:d07d:3ab9:26ba)
2020-11-04 08:33:51 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-04 08:38:04 × gtk quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2020-11-04 08:39:41 × MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 258 seconds)
2020-11-04 08:41:19 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-04 08:42:27 × porvak quits (~porvak@84.39.116.180) (Remote host closed the connection)
2020-11-04 08:43:49 → MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone)
2020-11-04 08:45:47 → vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-04 08:46:29 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-04 08:50:58 × bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 256 seconds)
2020-11-04 08:51:18 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov)
2020-11-04 08:51:35 → vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-04 08:51:57 → bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com)
2020-11-04 08:52:40 ← vfaronov parts (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) ()
2020-11-04 08:53:13 → vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-04 08:53:21 × alp quits (~alp@2a01:e0a:58b:4920:99ca:9a50:cea9:e213) (Remote host closed the connection)
2020-11-04 08:53:34 <bqv> gosh it's remarkably hard to make the impossible happen
2020-11-04 08:53:36 → alp joins (~alp@2a01:e0a:58b:4920:3d11:8aac:3a15:f482)
2020-11-04 08:53:52 <bqv> ghc: panic! Loading temp shared object failed
2020-11-04 08:56:04 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Client Quit)
2020-11-04 08:57:22 <idnar> bqv: reminds me of that ghc bug where if typechecking failed it would delete the source file
2020-11-04 08:57:31 <bqv> D:
2020-11-04 08:57:36 <bqv> that sounds AWFUL
2020-11-04 08:57:51 <merijn> to be fair, that was never released :p
2020-11-04 08:58:04 <bqv> phew
2020-11-04 08:58:18 <dminuoso> bqv: No it's quite good actually
2020-11-04 08:58:28 <dminuoso> What better way to force you to write good code.
2020-11-04 08:58:38 <dminuoso> It either does the right thing or not exist at all!
2020-11-04 08:58:45 <bqv> how very ..rusian
2020-11-04 08:58:49 → m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de)
2020-11-04 08:59:28 <[exa]> "make bad code irrepresentable" has never gone further!
2020-11-04 08:59:32 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
←Prev  Next→
Page 1 .. 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 .. 5022

All times are in UTC.