Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 157 158 159 160 161 162 163 164 165 166 167 .. 5022
— 502,152 events total
2020-09-23 14:36:50 <shad0w_> maybe you could still use them alongside lsp ?
2020-09-23 14:36:54 → stree joins (~stree@50-108-115-67.adr01.mskg.mi.frontiernet.net)
2020-09-23 14:38:24 <justsomeguy> I guess I'll just have to get a feel for it through experience. Your tip about Functor/Traversable/Foldable helps. Thanks Cale :)
2020-09-23 14:38:26 <shad0w_> AWizzArd: just checked. you sure can
2020-09-23 14:38:31 <sshine> justsomeguy, I might use a record if I'm passing a value past a boundary that is somewhat a public API... when to name things is probably not specific to Haskell, or even FP.
2020-09-23 14:38:31 → ddellacosta joins (~dd@86.106.121.168)
2020-09-23 14:38:54 <shad0w_> not sure if they'll interfere with each other in complex cases tho
2020-09-23 14:39:04 tchouri is now known as hekkaidekapus
2020-09-23 14:39:05 <Cale> justsomeguy: Yeah, if you think of (k,v) as being a "key/value" pair, it might make more sense how e.g. fmap acts on the value, but not the key
2020-09-23 14:39:12 × cerditofaldero quits (~cerditofa@10.85-87-120.dynamic.clientes.euskaltel.es) (Remote host closed the connection)
2020-09-23 14:39:29 <sshine> justsomeguy, if you can resolve your tupling in the same line as you introduce them, that's excellent. :)
2020-09-23 14:39:36 <shad0w_> i just did `dante-mode` in a lsp-haskell enabled buffer and asked for type info. no problems.
2020-09-23 14:39:45 <Cale> justsomeguy: But also, it works the way that it does because that is literally the only legal thing it could do -- if you try writing the instance, you'll see, the type system enforces it.
2020-09-23 14:39:46 <sshine> shad0w_, nice.
2020-09-23 14:39:58 <sshine> shad0w_, makes me want to try it soon again.
2020-09-23 14:40:08 <shad0w_> they're all minor mode after-all
2020-09-23 14:40:30 <shad0w_> lsps goto definition and instance highlighting are dope
2020-09-23 14:40:39 <shad0w_> dante for type stuff.
2020-09-23 14:40:49 <shad0w_> sweet win.
2020-09-23 14:40:50 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 14:40:53 <shad0w_> or so it seems lol
2020-09-23 14:42:00 <sshine> didn't try dante-mode before.
2020-09-23 14:42:53 × zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving)
2020-09-23 14:44:00 → machinedgod joins (~machinedg@45.78.189.122)
2020-09-23 14:44:33 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-23 14:45:13 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-09-23 14:46:18 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-23 14:46:22 <pjb> frdg: and once we've compared the tail what do we do? Do you want to reduce also with each elements of list1?
2020-09-23 14:46:22 <pjb>
2020-09-23 14:47:20 × Turmfalke quits (~user@unaffiliated/siracusa) (Ping timeout: 272 seconds)
2020-09-23 14:49:12 × Moyst quits (~moyst@212-149-213-144.bb.dnainternet.fi) (Read error: Connection reset by peer)
2020-09-23 14:49:19 → polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-09-23 14:50:59 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 14:51:04 → Moyst joins (~moyst@212-149-213-144.bb.dnainternet.fi)
2020-09-23 14:51:12 × pjb quits (~t@2a01cb04063ec50051c09997d608b3a3.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2020-09-23 14:51:41 <frdg> pjb: Here is the code I am talking about. I need to do some more work to be able to tell if it is behaving correctly. All credit to sshine here. https://dpaste.org/9Zyd
2020-09-23 14:54:19 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-09-23 14:54:59 → teardown joins (~user@unaffiliated/mrush)
2020-09-23 14:55:23 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-23 14:55:44 × mmohammadi9812 quits (~mmohammad@2.178.131.96) (Ping timeout: 265 seconds)
2020-09-23 14:58:11 → zacts joins (~zacts@dragora/developer/zacts)
2020-09-23 14:58:24 × frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2020-09-23 15:00:02 × hoobop1 quits (~hoobop@185.244.214.216) ()
2020-09-23 15:01:05 → frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-23 15:01:07 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 15:01:21 × koz quits (~koz@121.99.240.58) (Read error: Connection reset by peer)
2020-09-23 15:01:44 → koz joins (~koz@121.99.240.58)
2020-09-23 15:02:48 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-09-23 15:02:49 ← macrover parts (~macrover@ip70-189-231-35.lv.lv.cox.net) ("Killed buffer")
2020-09-23 15:03:22 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-09-23 15:04:00 → pjb joins (~t@2a01cb04063ec50051c09997d608b3a3.ipv6.abo.wanadoo.fr)
2020-09-23 15:04:14 × frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Client Quit)
2020-09-23 15:05:09 × yoneda quits (~mike@193.206.102.122) (Quit: leaving)
2020-09-23 15:05:37 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-23 15:06:22 × machinedgod quits (~machinedg@45.78.189.122) (Read error: Connection reset by peer)
2020-09-23 15:06:26 × gentauro quits (~gentauro@unaffiliated/gentauro) (Ping timeout: 258 seconds)
2020-09-23 15:06:30 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-23 15:07:10 → sand_dull joins (~theuser@62.182.99.37)
2020-09-23 15:09:03 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 15:11:12 × proteusguy quits (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (Ping timeout: 265 seconds)
2020-09-23 15:12:14 → machinedgod joins (~machinedg@45.78.189.122)
2020-09-23 15:12:38 → frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-23 15:16:15 → zacts_ joins (~zacts@dragora/developer/zacts)
2020-09-23 15:16:32 → spew joins (uid195861@gateway/web/irccloud.com/x-jkykaxkaupyaxlvb)
2020-09-23 15:18:13 → gentauro joins (~gentauro@unaffiliated/gentauro)
2020-09-23 15:18:49 × zacts quits (~zacts@dragora/developer/zacts) (Ping timeout: 264 seconds)
2020-09-23 15:20:22 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-23 15:20:38 → flukiluke joins (~flukiluke@s91904426.blix.com)
2020-09-23 15:22:05 × zacts_ quits (~zacts@dragora/developer/zacts) (Quit: leaving)
2020-09-23 15:22:59 → zacts joins (~zacts@dragora/developer/zacts)
2020-09-23 15:23:11 → oxide joins (~lambda@unaffiliated/mclaren)
2020-09-23 15:23:34 → proteusguy joins (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th)
2020-09-23 15:23:48 × wwwww quits (~wwwww@unaffiliated/wwwww) (Ping timeout: 260 seconds)
2020-09-23 15:23:53 <Guest58863> https://oleg.fi/gists/posts/2020-08-04-git-badc0de.html is another very nice post from phadej
2020-09-23 15:23:57 → howdoi joins (uid224@gateway/web/irccloud.com/x-avwcxcbfgjgwkevh)
2020-09-23 15:24:44 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 260 seconds)
2020-09-23 15:25:47 × acidjnk_new2 quits (~acidjnk@p200300d0c7237860d9dcd65723cec3bc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-23 15:25:51 → wwwww joins (~wwwww@unaffiliated/wwwww)
2020-09-23 15:27:01 <Guest58863> the GC statistics look pretty awesome, it would be interesting to see the original unoptimised stats
2020-09-23 15:27:28 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-09-23 15:27:50 → ubert joins (~Thunderbi@91.141.1.30.wireless.dyn.drei.com)
2020-09-23 15:28:44 → ukari joins (~ukari@unaffiliated/ukari)
2020-09-23 15:29:04 × Achylles quits (~Achylles@201-68-69-193.dsl.telesp.net.br) (Remote host closed the connection)
2020-09-23 15:29:25 → Saten-san joins (~Saten-san@ip-62-235-13-88.dsl.scarlet.be)
2020-09-23 15:29:51 × Saten-san quits (~Saten-san@ip-62-235-13-88.dsl.scarlet.be) (Client Quit)
2020-09-23 15:31:19 → Saten-san joins (~Saten-san@ip-62-235-13-88.dsl.scarlet.be)
2020-09-23 15:32:33 × ubert quits (~Thunderbi@91.141.1.30.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2020-09-23 15:33:26 × tomku quits (~tomku@unaffiliated/tomku) (Ping timeout: 265 seconds)
2020-09-23 15:33:49 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 264 seconds)
2020-09-23 15:34:07 → aenesidemus joins (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net)
2020-09-23 15:34:53 × teardown quits (~user@unaffiliated/mrush) (Ping timeout: 260 seconds)
2020-09-23 15:35:32 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-23 15:35:37 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-09-23 15:37:05 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-09-23 15:37:28 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-23 15:38:17 → mmohammadi9812 joins (~mmohammad@2.178.131.96)
2020-09-23 15:39:11 × Sanchayan quits (~Sanchayan@106.201.35.117) (Quit: leaving)
2020-09-23 15:39:13 <phadej> Guest58863: they looked bad.
2020-09-23 15:39:48 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-mnlqbrrfahovlyem) (Quit: Connection closed for inactivity)
2020-09-23 15:40:36 × polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Quit: WeeChat 2.9)
←Prev  Next→
Page 1 .. 157 158 159 160 161 162 163 164 165 166 167 .. 5022

All times are in UTC.