Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-03-14 22:19:09 <c_wraith> koz_: why wouldn't it be? DList is semantically the same as [].
2021-03-14 22:19:22 <koz_> c_wraith: I thought so too, but I figured I'd ask in case I was missing something.
2021-03-14 22:19:43 <c_wraith> I'd expect instances like that to lose a lot of efficiency, though
2021-03-14 22:20:07 <c_wraith> DList is really only efficient for concatenation. The representation gets in the way for everything else
2021-03-14 22:20:22 <koz_> I'm mostly after its <*>, and I doubt there's any efficiency to be lost there. Unless it's magically _worse_ than n * m?
2021-03-14 22:20:55 <c_wraith> No, certainly not worse asymptotically.
2021-03-14 22:21:05 <koz_> (I asked about Monad because it's got (<*>) = ap)
2021-03-14 22:21:35 <santiweight> At the fear of spamming: I'm live-coding a poker libary/application in Haskell if anyone wants to join :) https://www.twitch.tv/santiweight
2021-03-14 22:22:14 × borne quits (~fritjof@200116b864d4700065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2021-03-14 22:25:53 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-03-14 22:29:11 hackage rescue 0.4.2 - More understandable exceptions https://hackage.haskell.org/package/rescue-0.4.2 (expede)
2021-03-14 22:29:13 × Benzi-Junior quits (~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 245 seconds)
2021-03-14 22:29:32 Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-14 22:30:01 heatsink_ joins (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4)
2021-03-14 22:30:26 × mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Quit: Leaving)
2021-03-14 22:32:14 coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-03-14 22:32:16 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2021-03-14 22:32:56 coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-03-14 22:34:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-14 22:36:05 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1)
2021-03-14 22:37:01 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-14 22:37:36 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2021-03-14 22:38:12 coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-03-14 22:40:41 hackage connections 0.3.0 - Orders, Galois connections, and lattices. https://hackage.haskell.org/package/connections-0.3.0 (cmk)
2021-03-14 22:41:11 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-14 22:41:57 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-14 22:45:57 × coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-14 22:49:18 × nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 246 seconds)
2021-03-14 22:54:53 × fendor quits (~fendor@178.165.131.241.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-03-14 22:57:04 qih joins (~pi@210-54-120-166.adsl.xtra.co.nz)
2021-03-14 22:58:10 × __minoru__shirae quits (~shiraeesh@46.34.207.217) (Ping timeout: 256 seconds)
2021-03-14 22:59:45 notzmv joins (~zmv@unaffiliated/zmv)
2021-03-14 23:02:59 × pera quits (~pera@unaffiliated/pera) (Quit: leaving)
2021-03-14 23:07:14 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds)
2021-03-14 23:07:58 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-14 23:08:00 slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-03-14 23:08:27 hyiltiz joins (~quassel@31.220.5.250)
2021-03-14 23:08:27 × hyiltiz quits (~quassel@31.220.5.250) (Changing host)
2021-03-14 23:08:27 hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2021-03-14 23:09:52 myShoggoth joins (~myShoggot@75.164.81.55)
2021-03-14 23:10:23 finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-14 23:11:58 magnuscake joins (~magnuscak@87-121-92-61.dyn.launtel.net.au)
2021-03-14 23:13:13 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 260 seconds)
2021-03-14 23:13:26 × magnuscake quits (~magnuscak@87-121-92-61.dyn.launtel.net.au) (Client Quit)
2021-03-14 23:13:47 hyiltiz joins (~quassel@31.220.5.250)
2021-03-14 23:13:47 × hyiltiz quits (~quassel@31.220.5.250) (Changing host)
2021-03-14 23:13:47 hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2021-03-14 23:17:25 × heatsink_ quits (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) (Remote host closed the connection)
2021-03-14 23:18:02 latendre joins (68015f02@104-1-95-2.lightspeed.sntcca.sbcglobal.net)
2021-03-14 23:18:17 heatsink joins (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4)
2021-03-14 23:19:13 × malumore quits (~malumore@151.62.115.237) (Ping timeout: 245 seconds)
2021-03-14 23:23:29 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: jsbdvkjb)
2021-03-14 23:24:45 nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com)
2021-03-14 23:27:10 × son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal)
2021-03-14 23:29:54 × nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 256 seconds)
2021-03-14 23:30:02 × xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-03-14 23:31:39 FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-14 23:31:39 finn_elija is now known as Guest97385
2021-03-14 23:31:39 FinnElija is now known as finn_elija
2021-03-14 23:31:47 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-14 23:31:54 × Guest97385 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-03-14 23:33:49 <sm[m]> santiweight: nice!
2021-03-14 23:34:14 <sm[m]> we don't get enough haskell live coding announcements in here
2021-03-14 23:35:07 <sm[m]> I guess you're finished and haven't uploaded it yet ?
2021-03-14 23:37:46 __minoru__shirae joins (~shiraeesh@46.34.207.217)
2021-03-14 23:40:24 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-03-14 23:43:34 × latendre quits (68015f02@104-1-95-2.lightspeed.sntcca.sbcglobal.net) (Quit: Connection closed)
2021-03-14 23:44:30 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-03-14 23:44:55 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-14 23:45:17 nfd joins (~nfd9001@2601:602:77f:1820:cdd8:8342:9006:fbd2)
2021-03-14 23:50:22 perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-03-14 23:50:58 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-14 23:51:23 × jeremybennett quits (~jeremyben@185.204.1.185) (Remote host closed the connection)
2021-03-14 23:51:57 × __minoru__shirae quits (~shiraeesh@46.34.207.217) (Ping timeout: 246 seconds)
2021-03-14 23:55:48 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-03-14 23:57:21 × DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection)
2021-03-14 23:58:34 × zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-14 23:58:48 × myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-14 23:58:55 zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr)
2021-03-14 23:59:04 <Axman6> I was thinking about doing one but I would need some interaction from the audience. I've wanted to write a monoid for validating utf-8 encoding which would allow taking a big text, split it into chunks for parallel validation
2021-03-14 23:59:34 <Axman6> I've taken a few stabs at it over the years but catching all the corner cases isn't fun
2021-03-14 23:59:56 <Axman6> atributing errors to the right location is also a bit painful
2021-03-15 00:01:56 <sm[m]> we need a live coding platform that #haskell can plug into
2021-03-15 00:02:06 <sm[m]> plenty of feedback then!
2021-03-15 00:03:25 <Squarism> This might be a bad/confused example but anyways. I wonder if there is a way to make some sort of abstract class that can concretized into another class? https://paste.ofcode.org/9L8PEMsqQZeDHqMaPcx7xk
2021-03-15 00:03:41 bergey` joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-15 00:03:58 CoconutCrab joins (~Cua@unaffiliated/coconutcrab)
2021-03-15 00:04:00 × tak quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
2021-03-15 00:04:40 <Squarism> where a sub class provides detail to make a superclass less abstract so to speak.
2021-03-15 00:04:51 atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK)
2021-03-15 00:06:15 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-15 00:08:26 × bergey` quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 256 seconds)
2021-03-15 00:09:06 <koz_> Squarism: You could do that with associated types.
2021-03-15 00:09:29 <koz_> However, you _still_ have a multi-parameter type class, so without having fundeps _as well_, you're not gonna have a fun time.
2021-03-15 00:10:16 <Squarism> koz_, never heard of "associated types" before. What are those?
2021-03-15 00:10:53 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-03-15 00:11:27 <koz_> https://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.Exts.html#IsList
2021-03-15 00:11:30 <remal> In devdocs there is haskell 7, 8, 9 how can I determine which version I'm on?
2021-03-15 00:11:34 <remal> is it 9 be default?
2021-03-15 00:11:36 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)

All times are in UTC.