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