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