2023-12-30 00:20:27 +0100 | Inst | (~Inst@120.244.192.161) (Read error: Connection reset by peer) |
2023-12-30 00:34:47 +0100 | lisbeths | (~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 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2023-12-30 00:43:30 +0100 | mt000_ROM | (~mt@2400:2411:c6e1:5800:2acb:38af:3d3f:b865) |
2023-12-30 00:45:24 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-12-30 00:58:43 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2023-12-30 01:00:53 +0100 | acidjnk | (~acidjnk@p200300d6e72b9374f0cb08d58417bae5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-12-30 01:12:19 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-12-30 01:12:44 +0100 | califax | (~califax@user/califx) |
2023-12-30 01:15:35 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
2023-12-30 01:23:20 +0100 | rvalue | (~rvalue@user/rvalue) |
2023-12-30 01:37:27 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
2023-12-30 01:43:21 +0100 | notzmv | (~zmv@user/notzmv) |
2023-12-30 01:44:32 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
2023-12-30 01:51:06 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
2023-12-30 01:59:41 +0100 | chomwitt | (~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 +0100 | rosco | (~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 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
2023-12-30 02:18:20 +0100 | Lord_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 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds) |
2023-12-30 02:39:25 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
2023-12-30 02:39:25 +0100 | ChanServ | +v haskellbridge |
2023-12-30 02:43:15 +0100 | thegman | (~thegman@184-089-015-126.res.spectrum.com) |
2023-12-30 02:47:19 +0100 | euleritian | (~euleritia@dynamic-046-114-172-233.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-12-30 02:47:38 +0100 | euleritian | (~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 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
2023-12-30 02:52:12 +0100 | euleritian | (~euleritia@business-178-013-000-142.static.arcor-ip.net) (Ping timeout: 252 seconds) |
2023-12-30 02:54:35 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
2023-12-30 02:56:32 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
2023-12-30 02:57:57 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
2023-12-30 02:58:14 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
2023-12-30 03:02:06 +0100 | rosco | (~rosco@14.191.93.45) (Ping timeout: 252 seconds) |
2023-12-30 03:03:12 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-12-30 03:07:22 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
2023-12-30 03:08:55 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
2023-12-30 03:13:07 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2023-12-30 03:18:22 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
2023-12-30 03:40:12 +0100 | araujo | (~araujo@216.73.163.190) (Ping timeout: 268 seconds) |
2023-12-30 03:43:58 +0100 | thegman | (~thegman@184-089-015-126.res.spectrum.com) (Quit: leaving) |
2023-12-30 03:58:08 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2023-12-30 04:06:27 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-12-30 04:09:28 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
2023-12-30 04:25:42 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-12-30 04:25:42 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-12-30 04:25:42 +0100 | finn_elija | FinnElija |
2023-12-30 04:28:59 +0100 | td_ | (~td@i53870902.versanet.de) (Ping timeout: 252 seconds) |
2023-12-30 04:30:38 +0100 | td_ | (~td@i53870904.versanet.de) |
2023-12-30 04:37:19 +0100 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
2023-12-30 04:37:29 +0100 | califax_ | (~califax@user/califx) |
2023-12-30 04:38:46 +0100 | califax_ | califax |
2023-12-30 04:40:02 +0100 | sroso | (~sroso@user/SrOso) |
2023-12-30 04:53:05 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2023-12-30 04:58:44 +0100 | Halian | (~halian@safiralliance/protobeeper) |
2023-12-30 04:59:59 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2023-12-30 05:06:17 +0100 | trev | (~trev@user/trev) |
2023-12-30 05:17:57 +0100 | aforemny_ | (~aforemny@i59F516CB.versanet.de) |
2023-12-30 05:19:29 +0100 | aforemny | (~aforemny@2001:9e8:6cc3:0:ee6c:1c7b:f8ba:2a53) (Ping timeout: 268 seconds) |
2023-12-30 05:19:46 +0100 | urdh | (~urdh@user/urdh) (Ping timeout: 260 seconds) |
2023-12-30 05:24:43 +0100 | dsrt^ | (~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 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2023-12-30 05:44:11 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection) |
2023-12-30 06:00:51 +0100 | segfaultfizzbuzz | (~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 +0100 | Hesse0 | (uid528325@tinside.irccloud.com) |
2023-12-30 07:05:58 +0100 | <Hesse0> | Hi |
2023-12-30 07:12:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-12-30 07:20:29 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-12-30 07:22:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-12-30 07:25:10 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
2023-12-30 07:31:09 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-12-30 07:43:42 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
2023-12-30 08:13:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-12-30 08:30:10 +0100 | yidal^ | (~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 +0100 | phma_ | (~phma@2001:5b0:211f:a1d8:f686:bb6d:11af:9510) |
2023-12-30 08:49:02 +0100 | phma | (~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 +0100 | misterfish | (~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 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2023-12-30 09:27:01 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 245 seconds) |
2023-12-30 09:39:52 +0100 | waldo | (~waldo@user/waldo) |
2023-12-30 09:40:47 +0100 | phma_ | phma |
2023-12-30 09:42:15 +0100 | acidjnk | (~acidjnk@p200300d6e72b9353995b86b914651e61.dip0.t-ipconnect.de) |
2023-12-30 09:45:51 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
2023-12-30 09:50:35 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
2023-12-30 09:52:00 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Read error: Connection reset by peer) |
2023-12-30 09:55:52 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-12-30 09:59:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-12-30 10:03:01 +0100 | mima | (~mmh@dynamic-077-006-028-074.77.6.pool.telefonica.de) |
2023-12-30 10:03:23 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2023-12-30 10:03:23 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
2023-12-30 10:03:54 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-12-30 10:03:59 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-12-30 10:04:11 +0100 | cyphase | (~cyphase@user/cyphase) |
2023-12-30 10:07:47 +0100 | mima | (~mmh@dynamic-077-006-028-074.77.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
2023-12-30 10:08:00 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2023-12-30 10:08:00 +0100 | mt000_ROM | (~mt@2400:2411:c6e1:5800:2acb:38af:3d3f:b865) (Quit: WeeChat 4.1.2) |
2023-12-30 10:08:27 +0100 | azimut | (~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 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
2023-12-30 10:22:52 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 246 seconds) |
2023-12-30 10:24:57 +0100 | xff0x | (~xff0x@178.255.149.135) |
2023-12-30 10:26:18 +0100 | araujo | (~araujo@216.73.163.54) |
2023-12-30 10:26:57 +0100 | joes | (~joes@hardfought/member/joes) |
2023-12-30 10:29:26 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-12-30 10:32:04 +0100 | joes | (~joes@hardfought/member/joes) (Ping timeout: 276 seconds) |
2023-12-30 10:37:00 +0100 | target_i | (~target_i@217.175.14.39) |
2023-12-30 10:37:44 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
2023-12-30 10:42:28 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 276 seconds) |
2023-12-30 10:44:11 +0100 | xff0x | (~xff0x@2405:6580:b080:900:791e:7086:95e5:b75e) |
2023-12-30 10:49:24 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Remote host closed the connection) |
2023-12-30 10:53:33 +0100 | urdh | (~urdh@user/urdh) |
2023-12-30 10:58:43 +0100 | araujo | (~araujo@216.73.163.54) (Ping timeout: 276 seconds) |
2023-12-30 11:04:27 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
2023-12-30 11:09:29 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
2023-12-30 11:11:24 +0100 | potato44 | (uid421314@id-421314.lymington.irccloud.com) |
2023-12-30 11:11:32 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
2023-12-30 11:16:43 +0100 | waldo | (~waldo@user/waldo) |
2023-12-30 11:19:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-12-30 11:20:33 +0100 | Hesse0 | (uid528325@tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2023-12-30 11:23:26 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
2023-12-30 11:27:37 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Ping timeout: 246 seconds) |
2023-12-30 11:29:54 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2023-12-30 11:51:50 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
2023-12-30 12:03:53 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving) |
2023-12-30 12:05:58 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-12-30 12:40:49 +0100 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) |
2023-12-30 12:43:46 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-12-30 12:44:11 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2023-12-30 12:44:35 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-12-30 12:47:51 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
2023-12-30 12:54:24 +0100 | michalz | (~michalz@185.246.207.218) |
2023-12-30 12:59:40 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-12-30 13:03:16 +0100 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) (Ping timeout: 245 seconds) |
2023-12-30 13:03:19 +0100 | Inst | (~Inst@120.244.192.161) |
2023-12-30 13:05:15 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2023-12-30 13:14:22 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2023-12-30 13:14:40 +0100 | rvalue | (~rvalue@user/rvalue) |
2023-12-30 13:34:14 +0100 | ht_ | (~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 +0100 | ht_ | _ht |
2023-12-30 13:37:07 +0100 | zer0bitz_ | zer0bitz |
2023-12-30 13:43:52 +0100 | erina | (~erina@2409:8a31:4a3:c0a1::1000) |
2023-12-30 13:47:32 +0100 | mmhat | (~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 +0100 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
2023-12-30 13:50:42 +0100 | acidjnk | (~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 +0100 | CARLOSDEV | (~CARLOSDEV@bba-86-98-186-7.alshamil.net.ae) |
2023-12-30 13:58:38 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 260 seconds) |
2023-12-30 13:59:22 +0100 | <erina> | Oh, amazing! |
2023-12-30 14:08:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) |
2023-12-30 14:11:11 +0100 | img | (~img@user/img) (Ping timeout: 245 seconds) |
2023-12-30 14:23:00 +0100 | img | (~img@user/img) |
2023-12-30 14:24:02 +0100 | CARLOSDEV | (~CARLOSDEV@bba-86-98-186-7.alshamil.net.ae) (Ping timeout: 250 seconds) |
2023-12-30 14:24:33 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2023-12-30 14:24:36 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
2023-12-30 14:25:19 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2023-12-30 14:38:02 +0100 | segfaultfizzbuzz | (~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 +0100 | waleee | (~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 +0100 | mmhat | (~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 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
2023-12-30 15:28:25 +0100 | oo_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 +0100 | coot | (~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 +0100 | yidal^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2023-12-30 15:36:10 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
2023-12-30 15:40:48 +0100 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:d43f:234f:eaf4:6f7f) |
2023-12-30 15:44:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bdfc:5a3c:dbc1:16ed) (Ping timeout: 245 seconds) |
2023-12-30 15:53:38 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-12-30 15:56:03 +0100 | cheater | (~Username@user/cheater) |
2023-12-30 15:56:13 +0100 | azimut | (~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 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
2023-12-30 16:04:04 +0100 | Szilva | (~Szilva@94-21-108-35.pool.digikabel.hu) (Ping timeout: 255 seconds) |
2023-12-30 16:05:53 +0100 | Szilva | (~Szilva@92-249-141-195.pool.digikabel.hu) |
2023-12-30 16:05:57 +0100 | segfaultfizzbuzz | (~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 +0100 | cheater_ | (~Username@user/cheater) |
2023-12-30 16:19:56 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 245 seconds) |
2023-12-30 16:20:01 +0100 | cheater_ | 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 +0100 | azimut | (~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 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2023-12-30 16:36:49 +0100 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-12-30 16:37:21 +0100 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
2023-12-30 16:40:11 +0100 | ht_ | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-12-30 16:40:45 +0100 | acidjnk | (~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 +0100 | ht_ | _ht |
2023-12-30 16:43:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-12-30 16:46:07 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2023-12-30 16:52:38 +0100 | erina | (~erina@2409:8a31:4a3:c0a1::1000) (Ping timeout: 256 seconds) |
2023-12-30 16:55:43 +0100 | igemnace | (~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 +0100 | stef204 | (~stef204@user/stef204) |
2023-12-30 17:08:40 +0100 | stef204 | (~stef204@user/stef204) (Client Quit) |
2023-12-30 17:10:59 +0100 | _________ | (~nobody@user/noodly) |
2023-12-30 17:17:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-12-30 17:23:23 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 260 seconds) |
2023-12-30 17:24:37 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-12-30 17:28:13 +0100 | Square | (~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 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-12-30 17:38:16 +0100 | Pixi | (~Pixi@user/pixi) |
2023-12-30 17:38:33 +0100 | azimut | (~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 +0100 | econo_ | (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 +0100 | notzmv | (~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 +0100 | machinedgod | (~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 +0100 | kronicmage | (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 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 268 seconds) |
2023-12-30 18:28:16 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
2023-12-30 18:30:11 +0100 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:d43f:234f:eaf4:6f7f) (Remote host closed the connection) |
2023-12-30 18:30:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d43f:234f:eaf4:6f7f) |
2023-12-30 18:33:57 +0100 | mikess | (~sam@user/mikess) |
2023-12-30 18:39:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-12-30 18:47:30 +0100 | mima_ | (~mmh@46.183.103.17.relaix.net) |
2023-12-30 18:51:45 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-12-30 18:54:20 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) |
2023-12-30 18:58:05 +0100 | kronicmage | (user65956@neotame.csclub.uwaterloo.ca) (Quit: WeeChat 3.8) |
2023-12-30 18:58:17 +0100 | kronicmage | (user29139@neotame.csclub.uwaterloo.ca) |
2023-12-30 18:58:28 +0100 | waldo | (~waldo@user/waldo) |
2023-12-30 18:59:40 +0100 | ChaiTRex | (~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 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-12-30 19:23:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-12-30 19:26:23 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
2023-12-30 19:28:01 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2023-12-30 19:29:25 +0100 | waldo | (~waldo@user/waldo) |
2023-12-30 19:30:01 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2023-12-30 19:34:42 +0100 | zmt01 | (~zmt00@user/zmt00) (Quit: Leaving) |
2023-12-30 19:38:17 +0100 | zmt00 | (~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 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2023-12-30 19:47:19 +0100 | haritz | (~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 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
2023-12-30 19:47:22 +0100 | haritz | (~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 +0100 | bitdex | (~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 +0100 | mima_ | (~mmh@46.183.103.17.relaix.net) (Ping timeout: 276 seconds) |
2023-12-30 20:15:53 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) |
2023-12-30 20:16:00 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2023-12-30 20:16:27 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-12-30 20:24:55 +0100 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 260 seconds) |
2023-12-30 20:25:26 +0100 | Batzy_ | (~quassel@user/batzy) |
2023-12-30 20:28:46 +0100 | Batzy | (~quassel@user/batzy) (Ping timeout: 260 seconds) |
2023-12-30 20:29:01 +0100 | petrichor | (~znc-user@user/petrichor) |
2023-12-30 20:29:27 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2023-12-30 20:29:47 +0100 | michalz | (~michalz@185.246.207.218) (Ping timeout: 256 seconds) |
2023-12-30 20:32:25 +0100 | michalz | (~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 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
2023-12-30 20:45:59 +0100 | igemnace | (~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 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2023-12-30 20:50:32 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-12-30 20:55:27 +0100 | trev | (~trev@user/trev) (Quit: trev) |
2023-12-30 20:58:56 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
2023-12-30 20:59:50 +0100 | waldo | (~waldo@user/waldo) |
2023-12-30 21:02:23 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Client Quit) |
2023-12-30 21:02:34 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
2023-12-30 21:04:29 +0100 | random-jellyfish | (~tiber@user/random-jellyfish) |
2023-12-30 21:06:18 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-12-30 21:13:10 +0100 | Inst | (~Inst@120.244.192.161) (Ping timeout: 246 seconds) |
2023-12-30 21:24:44 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
2023-12-30 21:26:31 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 260 seconds) |
2023-12-30 21:28:10 +0100 | waldo | (~waldo@user/waldo) |
2023-12-30 21:30:06 +0100 | son0p | (~ff@181.136.122.143) |
2023-12-30 21:31:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-12-30 21:44:01 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Remote host closed the connection) |
2023-12-30 21:45:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-12-30 21:49:53 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
2023-12-30 21:56:14 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
2023-12-30 21:57:29 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2023-12-30 21:58:03 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
2023-12-30 21:58:03 +0100 | haritz | (~hrtz@user/haritz) |
2023-12-30 22:21:27 +0100 | chomwitt | (~chomwitt@ppp-94-68-4-224.home.otenet.gr) |
2023-12-30 22:25:38 +0100 | eggplantade | (~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 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 276 seconds) |
2023-12-30 22:29:51 +0100 | eggplantade | (~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 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
2023-12-30 22:41:30 +0100 | misterfish | (~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 +0100 | waldo | (~waldo@user/waldo) |
2023-12-30 22:47:40 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
2023-12-30 22:51:59 +0100 | son0p | (~ff@181.136.122.143) (Quit: Bye) |
2023-12-30 22:52:07 +0100 | pavonia | (~user@user/siracusa) |
2023-12-30 22:56:06 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
2023-12-30 22:56:58 +0100 | causal | (~eric@50.35.85.7) |
2023-12-30 23:03:59 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
2023-12-30 23:11:08 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2023-12-30 23:45:23 +0100 | michalz | (~michalz@185.246.207.222) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-12-30 23:51:41 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-12-30 23:55:00 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |