Logs: liberachat/#haskell
| 2025-10-16 13:57:10 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 2025-10-16 13:57:36 | <tomsmeding> | generated alongside a .o, containing data about exactly which functions are exported, including inlineable Core, computed demand annotations, etc. |
| 2025-10-16 13:58:10 | <int-e> | p = profiling, dyn = dynamic |
| 2025-10-16 13:58:22 | <tomsmeding> | not to be confused with .hie files, which are IDE info files encoding stuff like types of subexpressions at particular source locations |
| 2025-10-16 13:58:43 | <int-e> | the file contains generated symbol names that depend on how the code was compiled, so having just a single .hi file would be awkward |
| 2025-10-16 14:03:07 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-16 14:04:17 | → | tomku joins (~tomku@user/tomku) |
| 2025-10-16 14:04:38 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 2025-10-16 14:05:49 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-16 14:12:26 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-10-16 14:22:46 | × | cipherrot quits (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-10-16 14:22:57 | → | petrichor joins (~jez@user/petrichor) |
| 2025-10-16 14:25:52 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-10-16 14:30:29 | → | Zemy joins (~Zemy@76.184.41.21) |
| 2025-10-16 14:30:42 | <Zemy> | I'm thinking about Pointed. |
| 2025-10-16 14:31:12 | <Zemy> | People say it doesn't have much use, but there is an interesting use case. |
| 2025-10-16 14:33:29 | <Zemy> | If a type *t* has an associated function traverseP :: Pointed f => (a -> f b) -> t a -> f (t b), then exists b c. t ~ Compose (Either b) ((,) c). It means that t a holds 0 or 1 values of a along with some other stuff. |
| 2025-10-16 14:33:47 | <Zemy> | I guess that means it's Affine? |
| 2025-10-16 14:39:18 | <Zemy> | Oh, there is one thing I wish the Data.Array.ST.Safe module had. |
| 2025-10-16 14:41:06 | <Zemy> | A way to return additional information, or potentially not return an array. I was thinking runSTArrayOn :: Traversable t => (forall s. ST s (t (MArray s i e))) -> t (Array i e). |
| 2025-10-16 14:56:03 | → | Zemy_ joins (~Zemy@2600:100c:b0a2:b883:889e:92ff:fe0d:1fda) |
| 2025-10-16 14:56:03 | × | Zemy quits (~Zemy@76.184.41.21) (Read error: Connection reset by peer) |
| 2025-10-16 14:56:10 | Zemy_ | is now known as Zemy |
| 2025-10-16 14:56:10 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-10-16 14:56:38 | → | Zemy_ joins (~Zemy@76.184.41.21) |
| 2025-10-16 14:57:30 | trickard_ | is now known as trickard |
| 2025-10-16 14:57:38 | × | Zemy quits (~Zemy@2600:100c:b0a2:b883:889e:92ff:fe0d:1fda) (Read error: Connection reset by peer) |
| 2025-10-16 14:58:01 | × | Zemy_ quits (~Zemy@76.184.41.21) (Read error: Connection reset by peer) |
| 2025-10-16 14:58:08 | → | Zemy joins (~Zemy@2600:100c:b0a2:b883:b072:d6ff:fe1b:4897) |
| 2025-10-16 14:58:15 | × | Zemy quits (~Zemy@2600:100c:b0a2:b883:b072:d6ff:fe1b:4897) (Client Quit) |
| 2025-10-16 15:05:20 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-10-16 15:07:52 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-16 15:08:06 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-10-16 15:08:34 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-16 15:11:34 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-16 15:11:54 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-16 15:12:16 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-16 15:12:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-16 15:12:46 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2025-10-16 15:13:06 | × | trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-10-16 15:13:10 | → | trickard___ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-16 15:13:57 | → | tv joins (~tv@user/tv) |
| 2025-10-16 15:17:57 | × | fp quits (~Thunderbi@130.233.70.16) (Quit: fp) |
| 2025-10-16 15:22:29 | → | Square joins (~Square4@user/square) |
| 2025-10-16 15:27:07 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-10-16 15:27:21 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-16 15:33:04 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-16 15:33:51 | → | kuribas joins (~user@2a02-1810-2825-6000-5d7f-1d97-1f8d-30e0.ip6.access.telenet.be) |
| 2025-10-16 15:34:23 | → | tromp joins (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-16 15:41:24 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-16 15:46:53 | × | trickard___ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-16 15:47:07 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-16 15:51:42 | → | satler joins (~satler@user/satler) |
| 2025-10-16 15:53:59 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-16 16:00:03 | trickard_ | is now known as trickard |
| 2025-10-16 16:04:59 | × | satler quits (~satler@user/satler) (Quit: satler) |
| 2025-10-16 16:05:12 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 2025-10-16 16:05:52 | → | Square2 joins (~Square@user/square) |
| 2025-10-16 16:06:40 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 2025-10-16 16:11:44 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-16 16:15:23 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 2025-10-16 16:22:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-16 16:26:36 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) |
| 2025-10-16 16:29:32 | × | Inline quits (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Ping timeout: 244 seconds) |
| 2025-10-16 16:30:48 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-10-16 16:32:03 | × | Inline_ quits (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Read error: Connection reset by peer) |
| 2025-10-16 16:32:34 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) |
| 2025-10-16 16:33:16 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-16 16:34:10 | × | Inline_ quits (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Max SendQ exceeded) |
| 2025-10-16 16:35:04 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) |
| 2025-10-16 16:40:41 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-16 16:46:23 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-16 16:48:26 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-16 16:51:45 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 244 seconds) |
| 2025-10-16 16:52:33 | × | Inline_ quits (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Read error: Connection reset by peer) |
| 2025-10-16 16:55:12 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-16 16:55:13 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-10-16 16:56:55 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-16 17:05:18 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-10-16 17:05:56 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-16 17:10:48 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-10-16 17:12:15 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-16 17:17:00 | <ski> | mreh : "your seq there simply guarantees that tmp will be in WHNF after your `in` clause is evaluated" -- i don't think this is the case. pretty sure `let ... in seq a b = seq a (let ... in b)'. similarly `(\... -> seq a b) (...) = seq a ((\... -> b) (...))'. so, `seq a's probably can be floated out of `let' and function bodies, as long as `a' is eventually evaluated when the body is |
| 2025-10-16 17:17:41 | <ski> | `seq (seq a b) c = seq a (seq b c) = seq b (seq a c)' would be another example |
| 2025-10-16 17:19:07 | → | ft joins (~ft@p4fc2a207.dip0.t-ipconnect.de) |
| 2025-10-16 17:19:42 | <ski> | otoh, i think `pseq a b' has the guarantee that `a' will be reduced tp WHNF, at or before when `b' is |
| 2025-10-16 17:26:45 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-10-16 17:28:02 | → | Inline joins (~inline@2a02:8071:57a1:1260:d5a4:2b6e:3aa7:d03a) |
| 2025-10-16 17:28:06 | × | qqe quits (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-16 17:33:27 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-16 17:33:57 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-10-16 17:34:12 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-16 17:37:40 | → | karenw_ joins (~karenw@user/karenw) |
| 2025-10-16 17:43:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-16 17:47:08 | × | kuribas quits (~user@2a02-1810-2825-6000-5d7f-1d97-1f8d-30e0.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-10-16 17:57:24 | <monochrom> | Yeah pseq is the only that guarantees order. OTOH I haven't seen an empirical case of seq failing to solve laziness-caused unwanted space growth. |
| 2025-10-16 17:57:35 | × | Everything quits (~Everythin@46.96.48.125) (Quit: leaving) |
| 2025-10-16 17:57:37 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2025-10-16 17:57:44 | <monochrom> | (even though in theory it could) |
| 2025-10-16 17:58:37 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
All times are in UTC.