IRCBrowse

2023/12/30

2023-12-30 00:20:27 +0100Inst(~Inst@120.244.192.161) (Read error: Connection reset by peer)
2023-12-30 00:34:47 +0100lisbeths(~user@c-174-164-24-226.hsd1.wa.comcast.net) (Ping timeout: 264 seconds)
2023-12-30 00:40:37 +0100 <causal> i'm reading the ffi section on the haskell wiki, it says: "Warning: GHC does not support passing structures as values yet."
2023-12-30 00:41:01 +0100 <causal> is there some way to work around that? i'm trying to bind to a c api that expects structures as values in some functions
2023-12-30 00:41:51 +0100 <yushyin> a small c-shim?
2023-12-30 00:42:13 +0100 <geekosaur> that's pretty much it; only the C compiler knows how to pass structs by value
2023-12-30 00:42:16 +0100 <causal> probably the route i'll go if there's no better workaround
2023-12-30 00:42:18 +0100 <causal> i see, thanks
2023-12-30 00:42:31 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-12-30 00:43:30 +0100mt000_ROM(~mt@2400:2411:c6e1:5800:2acb:38af:3d3f:b865)
2023-12-30 00:45:24 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-30 00:58:43 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-12-30 01:00:53 +0100acidjnk(~acidjnk@p200300d6e72b9374f0cb08d58417bae5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-12-30 01:12:19 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-12-30 01:12:44 +0100califax(~califax@user/califx)
2023-12-30 01:15:35 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 264 seconds)
2023-12-30 01:23:20 +0100rvalue(~rvalue@user/rvalue)
2023-12-30 01:37:27 +0100jargon(~jargon@211.sub-174-205-225.myvzw.com)
2023-12-30 01:43:21 +0100notzmv(~zmv@user/notzmv)
2023-12-30 01:44:32 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
2023-12-30 01:51:06 +0100Tuplanolla(~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Ping timeout: 260 seconds)
2023-12-30 01:59:41 +0100chomwitt(~chomwitt@2a02:587:7a0c:fb00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds)
2023-12-30 02:05:36 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-30 02:06:36 +0100rosco(~rosco@14.191.93.45)
2023-12-30 02:09:06 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
2023-12-30 02:14:24 +0100 <carter> Sup all
2023-12-30 02:17:26 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
2023-12-30 02:18:20 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-12-30 02:22:17 +0100 <juri_> hackin on stuff. you?
2023-12-30 02:29:05 +0100haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds)
2023-12-30 02:39:25 +0100haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com)
2023-12-30 02:39:25 +0100ChanServ+v haskellbridge
2023-12-30 02:43:15 +0100thegman(~thegman@184-089-015-126.res.spectrum.com)
2023-12-30 02:47:19 +0100euleritian(~euleritia@dynamic-046-114-172-233.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-30 02:47:38 +0100euleritian(~euleritia@business-178-013-000-142.static.arcor-ip.net)
2023-12-30 02:47:40 +0100 <thegman> is there a way to iterate through a list of tuples to check both values in the tuple are equal
2023-12-30 02:49:43 +0100 <geekosaur> > all (\(x,y) -> x == y) [(1,1),(2,4),(3,3)]
2023-12-30 02:49:45 +0100 <lambdabot> False
2023-12-30 02:49:56 +0100 <geekosaur> :t uncurry (==)
2023-12-30 02:49:57 +0100 <lambdabot> Eq a => (a, a) -> Bool
2023-12-30 02:50:10 +0100 <geekosaur> > all (uncurry (==)) [(1,1),(2,4),(3,3)]
2023-12-30 02:50:11 +0100 <lambdabot> False
2023-12-30 02:50:15 +0100 <thegman> wow thats about 6 lines shorter than what i had
2023-12-30 02:51:54 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-30 02:52:12 +0100euleritian(~euleritia@business-178-013-000-142.static.arcor-ip.net) (Ping timeout: 252 seconds)
2023-12-30 02:54:35 +0100xsarnik(xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds))
2023-12-30 02:56:32 +0100xsarnik(xsarnik@lounge.fi.muni.cz)
2023-12-30 02:57:57 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection)
2023-12-30 02:58:14 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed)
2023-12-30 03:02:06 +0100rosco(~rosco@14.191.93.45) (Ping timeout: 252 seconds)
2023-12-30 03:03:12 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-12-30 03:07:22 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
2023-12-30 03:08:55 +0100johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2023-12-30 03:13:07 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2023-12-30 03:18:22 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
2023-12-30 03:40:12 +0100araujo(~araujo@216.73.163.190) (Ping timeout: 268 seconds)
2023-12-30 03:43:58 +0100thegman(~thegman@184-089-015-126.res.spectrum.com) (Quit: leaving)
2023-12-30 03:58:08 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2023-12-30 04:06:27 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-30 04:09:28 +0100TonyStone(~TonyStone@074-076-057-186.res.spectrum.com)
2023-12-30 04:25:42 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-30 04:25:42 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-30 04:25:42 +0100finn_elijaFinnElija
2023-12-30 04:28:59 +0100td_(~td@i53870902.versanet.de) (Ping timeout: 252 seconds)
2023-12-30 04:30:38 +0100td_(~td@i53870904.versanet.de)
2023-12-30 04:37:19 +0100califax(~califax@user/califx) (Ping timeout: 240 seconds)
2023-12-30 04:37:29 +0100califax_(~califax@user/califx)
2023-12-30 04:38:46 +0100califax_califax
2023-12-30 04:40:02 +0100sroso(~sroso@user/SrOso)
2023-12-30 04:53:05 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2023-12-30 04:58:44 +0100Halian(~halian@safiralliance/protobeeper)
2023-12-30 04:59:59 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2023-12-30 05:06:17 +0100trev(~trev@user/trev)
2023-12-30 05:17:57 +0100aforemny_(~aforemny@i59F516CB.versanet.de)
2023-12-30 05:19:29 +0100aforemny(~aforemny@2001:9e8:6cc3:0:ee6c:1c7b:f8ba:2a53) (Ping timeout: 268 seconds)
2023-12-30 05:19:46 +0100urdh(~urdh@user/urdh) (Ping timeout: 260 seconds)
2023-12-30 05:24:43 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2023-12-30 05:32:11 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-12-30 05:36:10 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2023-12-30 05:44:11 +0100jargon(~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection)
2023-12-30 06:00:51 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-12-30 06:02:39 +0100 <segfaultfizzbuzz> i was noticing that type annotations are missing from a lot of common formats... json, csv, html
2023-12-30 06:41:49 +0100 <EvanR> missing from html, simple lambdas (and application of lambda)
2023-12-30 06:42:15 +0100 <EvanR> which just does beta reduction
2023-12-30 06:43:16 +0100 <EvanR> json is effectively monotyped, but you can tack on many "type systems", i.e. schemas
2023-12-30 06:43:39 +0100 <EvanR> csv also benefits from schemas
2023-12-30 07:03:56 +0100Hesse0(uid528325@tinside.irccloud.com)
2023-12-30 07:05:58 +0100 <Hesse0> Hi
2023-12-30 07:12:09 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-30 07:20:29 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-30 07:22:50 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-30 07:25:10 +0100xdminsy(~xdminsy@117.147.71.169)
2023-12-30 07:31:09 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-12-30 07:43:42 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2023-12-30 08:13:43 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-30 08:30:10 +0100yidal^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2023-12-30 08:38:08 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920)
2023-12-30 08:46:13 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 255 seconds)
2023-12-30 08:47:21 +0100phma_(~phma@2001:5b0:211f:a1d8:f686:bb6d:11af:9510)
2023-12-30 08:49:02 +0100phma(~phma@host-67-44-208-102.hnremote.net) (Read error: Connection reset by peer)
2023-12-30 08:55:29 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920)
2023-12-30 09:07:34 +0100misterfish(~misterfis@84.53.85.146)
2023-12-30 09:13:02 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 260 seconds)
2023-12-30 09:14:31 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2023-12-30 09:27:01 +0100mikess(~sam@user/mikess) (Ping timeout: 245 seconds)
2023-12-30 09:39:52 +0100waldo(~waldo@user/waldo)
2023-12-30 09:40:47 +0100phma_phma
2023-12-30 09:42:15 +0100acidjnk(~acidjnk@p200300d6e72b9353995b86b914651e61.dip0.t-ipconnect.de)
2023-12-30 09:45:51 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2023-12-30 09:50:35 +0100cyphase(~cyphase@user/cyphase) (Ping timeout: 256 seconds)
2023-12-30 09:52:00 +0100xdminsy(~xdminsy@117.147.71.169) (Read error: Connection reset by peer)
2023-12-30 09:55:52 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-30 09:59:18 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-30 10:03:01 +0100mima(~mmh@dynamic-077-006-028-074.77.6.pool.telefonica.de)
2023-12-30 10:03:23 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-12-30 10:03:23 +0100chexum_(~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer)
2023-12-30 10:03:54 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-12-30 10:03:59 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-12-30 10:04:11 +0100cyphase(~cyphase@user/cyphase)
2023-12-30 10:07:47 +0100mima(~mmh@dynamic-077-006-028-074.77.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2023-12-30 10:08:00 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-12-30 10:08:00 +0100mt000_ROM(~mt@2400:2411:c6e1:5800:2acb:38af:3d3f:b865) (Quit: WeeChat 4.1.2)
2023-12-30 10:08:27 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-30 10:14:01 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-12-30 10:17:04 +0100causal(~eric@50.35.85.7) (Quit: WeeChat 4.1.1)
2023-12-30 10:22:52 +0100xff0x(~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 246 seconds)
2023-12-30 10:24:57 +0100xff0x(~xff0x@178.255.149.135)
2023-12-30 10:26:18 +0100araujo(~araujo@216.73.163.54)
2023-12-30 10:26:57 +0100joes(~joes@hardfought/member/joes)
2023-12-30 10:29:26 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-30 10:32:04 +0100joes(~joes@hardfought/member/joes) (Ping timeout: 276 seconds)
2023-12-30 10:37:00 +0100target_i(~target_i@217.175.14.39)
2023-12-30 10:37:44 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-12-30 10:42:28 +0100xff0x(~xff0x@178.255.149.135) (Ping timeout: 276 seconds)
2023-12-30 10:44:11 +0100xff0x(~xff0x@2405:6580:b080:900:791e:7086:95e5:b75e)
2023-12-30 10:49:24 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection)
2023-12-30 10:53:33 +0100urdh(~urdh@user/urdh)
2023-12-30 10:58:43 +0100araujo(~araujo@216.73.163.54) (Ping timeout: 276 seconds)
2023-12-30 11:04:27 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 252 seconds)
2023-12-30 11:09:29 +0100Tuplanolla(~Tuplanoll@91-159-69-171.elisa-laajakaista.fi)
2023-12-30 11:11:24 +0100potato44(uid421314@id-421314.lymington.irccloud.com)
2023-12-30 11:11:32 +0100waldo(~waldo@user/waldo) (Ping timeout: 256 seconds)
2023-12-30 11:16:43 +0100waldo(~waldo@user/waldo)
2023-12-30 11:19:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-30 11:20:33 +0100Hesse0(uid528325@tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-30 11:23:26 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed)
2023-12-30 11:27:37 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Ping timeout: 246 seconds)
2023-12-30 11:29:54 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-30 11:51:50 +0100sawilagar(~sawilagar@user/sawilagar)
2023-12-30 12:03:53 +0100sroso(~sroso@user/SrOso) (Quit: Leaving)
2023-12-30 12:05:58 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-30 12:40:49 +0100waleee(~waleee@h-176-10-144-38.na.cust.bahnhof.se)
2023-12-30 12:43:46 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-12-30 12:44:11 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-12-30 12:44:35 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-30 12:47:51 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds)
2023-12-30 12:54:24 +0100michalz(~michalz@185.246.207.218)
2023-12-30 12:59:40 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-12-30 13:03:16 +0100waleee(~waleee@h-176-10-144-38.na.cust.bahnhof.se) (Ping timeout: 245 seconds)
2023-12-30 13:03:19 +0100Inst(~Inst@120.244.192.161)
2023-12-30 13:05:15 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-12-30 13:14:22 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2023-12-30 13:14:40 +0100rvalue(~rvalue@user/rvalue)
2023-12-30 13:34:14 +0100ht_(~Thunderbi@194.110.115.24)
2023-12-30 13:36:01 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 276 seconds)
2023-12-30 13:36:01 +0100ht__ht
2023-12-30 13:37:07 +0100zer0bitz_zer0bitz
2023-12-30 13:43:52 +0100erina(~erina@2409:8a31:4a3:c0a1::1000)
2023-12-30 13:47:32 +0100mmhat(~mmh@p200300f1c7323c25ee086bfffe095315.dip0.t-ipconnect.de)
2023-12-30 13:48:25 +0100 <erina> I want to sort a list of (String, Int). I have a special function handcmp for comparing Strings. How do I do this concisely?
2023-12-30 13:48:36 +0100 <erina> Or to say, is there something like SortOnBy
2023-12-30 13:49:30 +0100 <erina> @pl \x y -> handcmp (fst x) (fst y)
2023-12-30 13:49:30 +0100 <lambdabot> (. fst) . handcmp . fst
2023-12-30 13:49:51 +0100cheater(~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com))
2023-12-30 13:50:42 +0100acidjnk(~acidjnk@p200300d6e72b9353995b86b914651e61.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-12-30 13:56:44 +0100 <ncf> sortBy (handcmp `on` fst)
2023-12-30 13:56:57 +0100 <ncf> @src on
2023-12-30 13:56:58 +0100 <lambdabot> (*) `on` f = \x y -> f x * f y
2023-12-30 13:57:15 +0100CARLOSDEV(~CARLOSDEV@bba-86-98-186-7.alshamil.net.ae)
2023-12-30 13:58:38 +0100waldo(~waldo@user/waldo) (Ping timeout: 260 seconds)
2023-12-30 13:59:22 +0100 <erina> Oh, amazing!
2023-12-30 14:08:25 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed)
2023-12-30 14:11:11 +0100img(~img@user/img) (Ping timeout: 245 seconds)
2023-12-30 14:23:00 +0100img(~img@user/img)
2023-12-30 14:24:02 +0100CARLOSDEV(~CARLOSDEV@bba-86-98-186-7.alshamil.net.ae) (Ping timeout: 250 seconds)
2023-12-30 14:24:33 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2023-12-30 14:24:36 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
2023-12-30 14:25:19 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-12-30 14:38:02 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-12-30 14:44:34 +0100 <Inst> do you guys know if wiktionary (as in, the server, not the owners) will get angry if you try to put scalpel on it?
2023-12-30 14:45:44 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2023-12-30 14:51:23 +0100 <Inst> oh, cool, wiktionary has an api
2023-12-30 15:01:58 +0100mmhat(~mmh@p200300f1c7323c25ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2)
2023-12-30 15:04:55 +0100 <ncf> last i looked the api was useless (it only gives you the page's content in a slightly different flavour of XML, iirc; you still have to do the parsing)
2023-12-30 15:05:19 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2023-12-30 15:28:25 +0100oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel)
2023-12-30 15:30:37 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920)
2023-12-30 15:33:09 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-12-30 15:34:23 +0100 <Inst> looks like no
2023-12-30 15:34:42 +0100 <Inst> compiling chinese word lists off wiktionary, i think i might end up doing it with french and german as well
2023-12-30 15:34:50 +0100 <Inst> if you have a lot of spare time, you can at least pre-learn 500 words a day
2023-12-30 15:35:27 +0100yidal^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-12-30 15:36:10 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 255 seconds)
2023-12-30 15:40:48 +0100eggplant_(~Eggplanta@2600:1700:38c5:d800:d43f:234f:eaf4:6f7f)
2023-12-30 15:44:06 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Ping timeout: 245 seconds)
2023-12-30 15:53:38 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-12-30 15:56:03 +0100cheater(~Username@user/cheater)
2023-12-30 15:56:13 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-30 16:00:46 +0100 <albet70> https://paste.tomsmeding.com/D25apWS9 aeson got errors like Couldn't match expected type `Key' with actual type `[Char]'
2023-12-30 16:01:23 +0100 <albet70> what's that mean? that key can not represent by String?
2023-12-30 16:03:40 +0100xdminsy(~xdminsy@117.147.71.169)
2023-12-30 16:04:04 +0100Szilva(~Szilva@94-21-108-35.pool.digikabel.hu) (Ping timeout: 255 seconds)
2023-12-30 16:05:53 +0100Szilva(~Szilva@92-249-141-195.pool.digikabel.hu)
2023-12-30 16:05:57 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz)
2023-12-30 16:08:34 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 255 seconds)
2023-12-30 16:19:47 +0100cheater_(~Username@user/cheater)
2023-12-30 16:19:56 +0100cheater(~Username@user/cheater) (Ping timeout: 245 seconds)
2023-12-30 16:20:01 +0100cheater_cheater
2023-12-30 16:26:23 +0100_________(~nobody@user/noodly) (Ping timeout: 264 seconds)
2023-12-30 16:28:11 +0100_________(~nobody@user/noodly)
2023-12-30 16:29:43 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-12-30 16:31:48 +0100 <ncf> it means the same thing that error always means: those are different types
2023-12-30 16:32:27 +0100 <ncf> Key is abstract, but there are helpers to convert to and from String in https://hackage.haskell.org/package/aeson-2.2.1.0/docs/Data-Aeson-Key.html
2023-12-30 16:33:20 +0100Square(~Square@user/square) (Ping timeout: 252 seconds)
2023-12-30 16:36:49 +0100tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-30 16:37:21 +0100tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2)
2023-12-30 16:40:11 +0100ht_(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-12-30 16:40:45 +0100acidjnk(~acidjnk@p200300d6e72b9353fc6858fc9037c8f4.dip0.t-ipconnect.de)
2023-12-30 16:41:02 +0100_ht(~Thunderbi@194.110.115.24) (Ping timeout: 252 seconds)
2023-12-30 16:41:03 +0100ht__ht
2023-12-30 16:43:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-30 16:46:07 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-12-30 16:52:38 +0100erina(~erina@2409:8a31:4a3:c0a1::1000) (Ping timeout: 256 seconds)
2023-12-30 16:55:43 +0100igemnace(~ian@user/igemnace)
2023-12-30 16:57:04 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920)
2023-12-30 17:02:26 +0100_________(~nobody@user/noodly) (Ping timeout: 245 seconds)
2023-12-30 17:08:11 +0100stef204(~stef204@user/stef204)
2023-12-30 17:08:40 +0100stef204(~stef204@user/stef204) (Client Quit)
2023-12-30 17:10:59 +0100_________(~nobody@user/noodly)
2023-12-30 17:17:00 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-30 17:23:23 +0100Pixi(~Pixi@user/pixi) (Ping timeout: 260 seconds)
2023-12-30 17:24:37 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-12-30 17:28:13 +0100Square(~Square@user/square)
2023-12-30 17:33:23 +0100 <albet70> data P = P { a::Int} is there a way to let a directly be a P? let's assume there're P a b c ... P is a very long record, we need lots of let x= x P to extract them
2023-12-30 17:34:53 +0100 <geekosaur> maybe you want RecordFieldPuns?
2023-12-30 17:35:27 +0100 <geekosaur> sorry, NamedFieldPuns https://downloads.haskell.org/ghc/9.2.1/docs/html/users_guide/exts/record_puns.html
2023-12-30 17:37:22 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-30 17:38:16 +0100Pixi(~Pixi@user/pixi)
2023-12-30 17:38:33 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-30 17:38:33 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 268 seconds)
2023-12-30 17:41:02 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2023-12-30 17:41:12 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920)
2023-12-30 17:45:12 +0100notzmv(~zmv@user/notzmv)
2023-12-30 17:47:04 +0100 <albet70> geekosaur , if it's enabled, then P{a} == a P?
2023-12-30 17:48:09 +0100 <geekosaur> no, but if you pattern match on a record you get its fields as local variables (and vice versa, building a record populates fields from locals of the same name)
2023-12-30 17:48:41 +0100 <geekosaur> works well with RecordWildcards https://downloads.haskell.org/ghc/9.2.1/docs/html/users_guide/exts/record_wildcards.html
2023-12-30 17:53:14 +0100 <albet70> geekosaur , so f :: P -> Int; f x = a?
2023-12-30 17:53:50 +0100 <mauke> f P{..} = a
2023-12-30 17:54:48 +0100 <geekosaur> maybe I'm not sure what you're asking for
2023-12-30 17:55:55 +0100 <albet70> mauke , ok
2023-12-30 17:56:03 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-12-30 17:58:28 +0100 <albet70> avoid lots of 'let x = field P' to extract lots of value
2023-12-30 17:59:00 +0100 <geekosaur> that again sounds like NamedFieldPuns
2023-12-30 17:59:30 +0100 <geekosaur> match on P{..} with RecordWildcards, get all its fields
2023-12-30 17:59:45 +0100 <albet70> wonderful
2023-12-30 18:00:08 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920) (Remote host closed the connection)
2023-12-30 18:00:27 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920)
2023-12-30 18:04:00 +0100kronicmage(user65956@neotame.csclub.uwaterloo.ca)
2023-12-30 18:13:55 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920) (Remote host closed the connection)
2023-12-30 18:14:13 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920)
2023-12-30 18:22:39 +0100zer0bitz(~zer0bitz@user/zer0bitz) (Ping timeout: 268 seconds)
2023-12-30 18:28:16 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-12-30 18:30:11 +0100eggplant_(~Eggplanta@2600:1700:38c5:d800:d43f:234f:eaf4:6f7f) (Remote host closed the connection)
2023-12-30 18:30:38 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:d43f:234f:eaf4:6f7f)
2023-12-30 18:33:57 +0100mikess(~sam@user/mikess)
2023-12-30 18:39:56 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-30 18:47:30 +0100mima_(~mmh@46.183.103.17.relaix.net)
2023-12-30 18:51:45 +0100GoldsteinQ(~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-30 18:54:20 +0100GoldsteinQ(~goldstein@goldstein.rs)
2023-12-30 18:58:05 +0100kronicmage(user65956@neotame.csclub.uwaterloo.ca) (Quit: WeeChat 3.8)
2023-12-30 18:58:17 +0100kronicmage(user29139@neotame.csclub.uwaterloo.ca)
2023-12-30 18:58:28 +0100waldo(~waldo@user/waldo)
2023-12-30 18:59:40 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2023-12-30 19:00:39 +0100 <monochrom> No one loves vanilla Haskell2010 pattern matching? f P{a=x} = x
2023-12-30 19:02:17 +0100 <geekosaur> given all the record oriented extensions, especially of late, it seems not
2023-12-30 19:20:20 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-12-30 19:23:17 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-30 19:26:23 +0100waldo(~waldo@user/waldo) (Ping timeout: 264 seconds)
2023-12-30 19:28:01 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2023-12-30 19:29:25 +0100waldo(~waldo@user/waldo)
2023-12-30 19:30:01 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-12-30 19:34:42 +0100zmt01(~zmt00@user/zmt00) (Quit: Leaving)
2023-12-30 19:38:17 +0100zmt00(~zmt00@user/zmt00)
2023-12-30 19:45:26 +0100 <trev> is there anyway to simplify this more by using a fold or something? https://paste.tomsmeding.com/y5RtaszQ
2023-12-30 19:46:35 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-12-30 19:47:19 +0100haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2023-12-30 19:47:21 +0100 <ephemient> scanl addCoords
2023-12-30 19:47:22 +0100haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2023-12-30 19:47:22 +0100haritz(~hrtz@user/haritz)
2023-12-30 19:47:28 +0100 <monochrom> yeah :)
2023-12-30 19:47:43 +0100 <trev> DANGIT i knew it existed
2023-12-30 19:48:24 +0100 <xerox> @hoogle (a -> b -> a) -> a -> [b] -> [a]
2023-12-30 19:48:24 +0100 <lambdabot> Prelude scanl :: (b -> a -> b) -> b -> [a] -> [b]
2023-12-30 19:48:25 +0100 <lambdabot> Data.List scanl :: (b -> a -> b) -> b -> [a] -> [b]
2023-12-30 19:48:25 +0100 <lambdabot> Data.List scanl' :: (b -> a -> b) -> b -> [a] -> [b]
2023-12-30 19:50:02 +0100 <trev> that's what i get for using ocaml...i deserve this humiliation
2023-12-30 19:50:57 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-12-30 19:51:50 +0100 <Rembane> trev: Doesn't ocaml have scan?
2023-12-30 19:52:03 +0100 <trev> i don't think so
2023-12-30 19:52:25 +0100 <trev> the stdlib is rickety
2023-12-30 19:54:04 +0100 <Rembane> Oh. That's a loss. It's a cool function.
2023-12-30 19:55:40 +0100 <trev> sure is
2023-12-30 20:15:07 +0100mima_(~mmh@46.183.103.17.relaix.net) (Ping timeout: 276 seconds)
2023-12-30 20:15:53 +0100zer0bitz(~zer0bitz@user/zer0bitz)
2023-12-30 20:16:00 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-12-30 20:16:27 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-30 20:24:55 +0100petrichor(~znc-user@user/petrichor) (Ping timeout: 260 seconds)
2023-12-30 20:25:26 +0100Batzy_(~quassel@user/batzy)
2023-12-30 20:28:46 +0100Batzy(~quassel@user/batzy) (Ping timeout: 260 seconds)
2023-12-30 20:29:01 +0100petrichor(~znc-user@user/petrichor)
2023-12-30 20:29:27 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2023-12-30 20:29:47 +0100michalz(~michalz@185.246.207.218) (Ping timeout: 256 seconds)
2023-12-30 20:32:25 +0100michalz(~michalz@185.246.207.222)
2023-12-30 20:35:40 +0100 <EvanR> really, even elixir has something equivalent to scanl
2023-12-30 20:41:07 +0100waldo(~waldo@user/waldo) (Ping timeout: 256 seconds)
2023-12-30 20:45:59 +0100igemnace(~ian@user/igemnace)
2023-12-30 20:47:41 +0100 <ephemient> OCaml does have fold_left_map (basically Haskell's mapAccumL) which can be used to do a scan too
2023-12-30 20:50:07 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-12-30 20:50:32 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-30 20:55:27 +0100trev(~trev@user/trev) (Quit: trev)
2023-12-30 20:58:56 +0100random-jellyfish(~random-je@user/random-jellyfish)
2023-12-30 20:59:50 +0100waldo(~waldo@user/waldo)
2023-12-30 21:02:23 +0100random-jellyfish(~random-je@user/random-jellyfish) (Client Quit)
2023-12-30 21:02:34 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds)
2023-12-30 21:04:29 +0100random-jellyfish(~tiber@user/random-jellyfish)
2023-12-30 21:06:18 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-12-30 21:13:10 +0100Inst(~Inst@120.244.192.161) (Ping timeout: 246 seconds)
2023-12-30 21:24:44 +0100oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-12-30 21:26:31 +0100waldo(~waldo@user/waldo) (Ping timeout: 260 seconds)
2023-12-30 21:28:10 +0100waldo(~waldo@user/waldo)
2023-12-30 21:30:06 +0100son0p(~ff@181.136.122.143)
2023-12-30 21:31:03 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-30 21:44:01 +0100TonyStone(~TonyStone@074-076-057-186.res.spectrum.com) (Remote host closed the connection)
2023-12-30 21:45:29 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-30 21:49:53 +0100haritz(~hrtz@user/haritz) (Remote host closed the connection)
2023-12-30 21:56:14 +0100haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk)
2023-12-30 21:57:29 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-30 21:58:03 +0100haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host)
2023-12-30 21:58:03 +0100haritz(~hrtz@user/haritz)
2023-12-30 22:21:27 +0100chomwitt(~chomwitt@ppp-94-68-4-224.home.otenet.gr)
2023-12-30 22:25:38 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:d43f:234f:eaf4:6f7f) (Remote host closed the connection)
2023-12-30 22:28:49 +0100_myclm(~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 255 seconds)
2023-12-30 22:29:01 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 276 seconds)
2023-12-30 22:29:51 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:7c0f:c7d3:678b:7d3e)
2023-12-30 22:30:00 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-30 22:33:16 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
2023-12-30 22:39:28 +0100waldo(~waldo@user/waldo) (Ping timeout: 256 seconds)
2023-12-30 22:41:30 +0100misterfish(~misterfis@84.53.85.146)
2023-12-30 22:42:08 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-12-30 22:42:20 +0100waldo(~waldo@user/waldo)
2023-12-30 22:47:40 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2023-12-30 22:51:59 +0100son0p(~ff@181.136.122.143) (Quit: Bye)
2023-12-30 22:52:07 +0100pavonia(~user@user/siracusa)
2023-12-30 22:56:06 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2023-12-30 22:56:58 +0100causal(~eric@50.35.85.7)
2023-12-30 23:03:59 +0100jargon(~jargon@211.sub-174-205-225.myvzw.com)
2023-12-30 23:11:08 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-12-30 23:45:23 +0100michalz(~michalz@185.246.207.222) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-30 23:51:41 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-12-30 23:55:00 +0100waldo(~waldo@user/waldo) (Ping timeout: 252 seconds)