| 2024-02-02 00:05:31 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-02-02 00:09:59 +0100 | drrzmr | (~Eder@179.113.240.37) (Remote host closed the connection) |
| 2024-02-02 00:10:04 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-02-02 00:10:23 +0100 | drrzmr | (~Eder@179.113.240.37) |
| 2024-02-02 00:20:49 +0100 | CiaoSen | (~Jura@2a05:5800:281:7e00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 2024-02-02 00:25:47 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2024-02-02 00:26:21 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-02 00:30:40 +0100 | drrzmr | (~Eder@179.113.240.37) (Remote host closed the connection) |
| 2024-02-02 00:31:03 +0100 | drrzmr | (~Eder@179.113.240.37) |
| 2024-02-02 00:49:01 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-02 01:09:14 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-02-02 01:11:39 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-02 01:13:04 +0100 | yeahitsme | (~bob@user/yeahitsme) (Read error: Connection reset by peer) |
| 2024-02-02 01:13:26 +0100 | yeahitsme | (~bob@2a01:799:15e7:a300:e39d:52a9:ef69:ac) |
| 2024-02-02 01:14:27 +0100 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2024-02-02 01:17:42 +0100 | EsoAlgo811 | (~EsoAlgo@129.146.136.145) (Remote host closed the connection) |
| 2024-02-02 01:18:04 +0100 | trnry | (~nate@c-67-169-255-59.hsd1.ut.comcast.net) (Quit: WeeChat 4.0.4) |
| 2024-02-02 01:18:23 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-02 01:19:01 +0100 | EsoAlgo811 | (~EsoAlgo@129.146.136.145) |
| 2024-02-02 01:27:14 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-02 01:38:26 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2024-02-02 01:56:39 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-02 01:59:04 +0100 | mei | (~mei@user/mei) |
| 2024-02-02 02:03:51 +0100 | <johnw> | it sounds like the forall k was over the function, not the argument |
| 2024-02-02 02:04:30 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2024-02-02 02:05:36 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-02 02:39:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2024-02-02 02:41:28 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-02 02:44:38 +0100 | synapse | (~synapse@176.254.244.83) (Ping timeout: 268 seconds) |
| 2024-02-02 02:52:18 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-02 02:53:35 +0100 | mima | (~mmh@aftr-62-216-211-188.dynamic.mnet-online.de) (Ping timeout: 268 seconds) |
| 2024-02-02 02:56:47 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-02-02 03:12:44 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-02-02 03:19:20 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-02 03:23:53 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-02 03:29:29 +0100 | otto_s | (~user@p5de2f5d1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-02-02 03:31:18 +0100 | otto_s | (~user@p5de2f232.dip0.t-ipconnect.de) |
| 2024-02-02 03:40:33 +0100 | xff0x | (~xff0x@ai099196.d.east.v6connect.net) (Ping timeout: 256 seconds) |
| 2024-02-02 03:42:05 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-02 03:44:30 +0100 | mei | (~mei@user/mei) |
| 2024-02-02 03:57:07 +0100 | lisbeths | (uid135845@2a03:5180:f:2::2:12a5) |
| 2024-02-02 04:00:36 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-02 04:09:28 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-02 04:14:08 +0100 | rosco | (~rosco@175.136.156.77) (Read error: Connection reset by peer) |
| 2024-02-02 04:14:32 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) |
| 2024-02-02 04:16:19 +0100 | euleritian | (~euleritia@dynamic-176-002-142-068.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-02 04:16:38 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-02 04:19:44 +0100 | drrzmr | (~Eder@179.113.240.37) (Remote host closed the connection) |
| 2024-02-02 04:30:52 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-02-02 04:33:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:297e:a163:e05a:2925) (Remote host closed the connection) |
| 2024-02-02 04:33:33 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:297e:a163:e05a:2925) |
| 2024-02-02 04:43:21 +0100 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 268 seconds) |
| 2024-02-02 04:44:45 +0100 | td_ | (~td@i53870917.versanet.de) |
| 2024-02-02 04:47:16 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving) |
| 2024-02-02 04:51:53 +0100 | substance | (~substance@176.254.244.83) |
| 2024-02-02 04:54:40 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2024-02-02 04:59:36 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) (Quit: Client closed) |
| 2024-02-02 05:04:53 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-02-02 05:14:37 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-02 05:17:42 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-02-02 05:19:19 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-02 05:29:30 +0100 | phma | (phma@2001:5b0:215a:d678:f408:ffdb:4b4d:84f0) (Read error: Connection reset by peer) |
| 2024-02-02 05:30:40 +0100 | phma | (phma@2001:5b0:2143:a7b8:a117:6ef2:c93d:4ded) |
| 2024-02-02 05:40:01 +0100 | moixa | (~moixa@customer-178-16-208-85.stosn.net) (Ping timeout: 264 seconds) |
| 2024-02-02 05:40:50 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2024-02-02 05:42:55 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-02 05:43:33 +0100 | gorignak | (~gorignak@user/gorignak) |
| 2024-02-02 05:45:54 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-02 05:49:11 +0100 | aforemny_ | (~aforemny@2001:9e8:6cd4:7000:1147:a02d:ce1e:1838) |
| 2024-02-02 05:49:20 +0100 | aforemny | (~aforemny@i59F516F8.versanet.de) (Ping timeout: 268 seconds) |
| 2024-02-02 05:51:17 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-02 05:59:43 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2024-02-02 06:11:18 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-02-02 06:18:14 +0100 | lockywolf | bigot_age_dude_l |
| 2024-02-02 06:19:49 +0100 | bilegeek | (~bilegeek@2600:1008:b060:4bcb:3529:e349:2177:5af4) |
| 2024-02-02 06:20:28 +0100 | trev | (~trev@user/trev) |
| 2024-02-02 06:22:12 +0100 | bigot_age_dude_l | lockywolf |
| 2024-02-02 06:25:17 +0100 | Square | (~Square@user/square) |
| 2024-02-02 06:29:23 +0100 | mobivme | (~mobivme@130.105.134.228) (Ping timeout: 264 seconds) |
| 2024-02-02 06:33:34 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-02 06:34:26 +0100 | bilegeek | (~bilegeek@2600:1008:b060:4bcb:3529:e349:2177:5af4) (Quit: Leaving) |
| 2024-02-02 06:39:17 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-02 06:39:22 +0100 | bilegeek | (~bilegeek@2600:1008:b060:4bcb:3529:e349:2177:5af4) |
| 2024-02-02 06:42:16 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-02 06:44:01 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-02-02 06:47:54 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) (Ping timeout: 250 seconds) |
| 2024-02-02 06:47:54 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-02 07:00:51 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-02 07:05:19 +0100 | bliminse | (~bliminse@user/bliminse) |
| 2024-02-02 07:06:47 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-02 07:08:07 +0100 | michalz | (~michalz@185.246.207.222) |
| 2024-02-02 07:18:27 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-02 07:25:38 +0100 | michalz | (~michalz@185.246.207.222) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-02 07:28:31 +0100 | michalz | (~michalz@185.246.207.222) |
| 2024-02-02 07:33:07 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e767f4b3e4c03bbe3045.dip0.t-ipconnect.de) |
| 2024-02-02 07:40:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-02-02 07:41:20 +0100 | euleritian | (~euleritia@dynamic-176-001-247-039.176.1.pool.telefonica.de) |
| 2024-02-02 07:42:09 +0100 | Katarushisu13 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-02-02 07:42:38 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-02-02 07:42:53 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-02-02 07:42:53 +0100 | Katarushisu13 | Katarushisu1 |
| 2024-02-02 07:47:25 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-02 07:50:14 +0100 | zetef | (~quassel@95.77.17.251) (Read error: Connection reset by peer) |
| 2024-02-02 07:51:20 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-02 07:51:25 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-02-02 07:57:13 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-02 08:01:55 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-02 08:18:28 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) (Ping timeout: 250 seconds) |
| 2024-02-02 08:24:50 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2024-02-02 08:26:30 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2024-02-02 08:30:16 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-02-02 08:35:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-02 08:50:39 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-02 08:51:20 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-02 08:52:07 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-02 09:03:43 +0100 | euleritian | (~euleritia@dynamic-176-001-247-039.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-02 09:04:01 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-02 09:06:18 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-02-02 09:06:24 +0100 | CiaoSen | (~Jura@2a05:5800:2db:7f00:e6b9:7aff:fe80:3d03) |
| 2024-02-02 09:06:44 +0100 | mima | (~mmh@aftr-62-216-211-123.dynamic.mnet-online.de) |
| 2024-02-02 09:06:56 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-02 09:07:50 +0100 | danse-nr3 | (~danse@151.57.182.181) |
| 2024-02-02 09:07:57 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-02-02 09:08:00 +0100 | danse-nr3 | (~danse@151.57.182.181) (Remote host closed the connection) |
| 2024-02-02 09:08:22 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-02 09:08:46 +0100 | danse-nr3 | (~danse@151.57.182.181) |
| 2024-02-02 09:16:47 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-02-02 09:17:43 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-02 09:18:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:297e:a163:e05a:2925) (Remote host closed the connection) |
| 2024-02-02 09:18:40 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-02-02 09:19:59 +0100 | mobivme | (~mobivme@130.105.162.231) |
| 2024-02-02 09:24:25 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2024-02-02 09:30:43 +0100 | danse-nr3 | (~danse@151.57.182.181) (Read error: Connection reset by peer) |
| 2024-02-02 09:31:11 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-02-02 09:31:24 +0100 | danse-nr3 | (~danse@151.57.131.112) |
| 2024-02-02 09:36:14 +0100 | lisbeths | (uid135845@2a03:5180:f:2::2:12a5) (Quit: Connection closed for inactivity) |
| 2024-02-02 09:36:59 +0100 | mobivme | (~mobivme@130.105.162.231) (Changing host) |
| 2024-02-02 09:36:59 +0100 | mobivme | (~mobivme@user/mobivme) |
| 2024-02-02 09:37:03 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-02 09:41:23 +0100 | <cheater> | is there a way in the runtime to say "give me a list of all strings you know of"? |
| 2024-02-02 09:41:34 +0100 | <cheater> | or "all bytestring", "all floats" etc |
| 2024-02-02 09:44:55 +0100 | <c_wraith> | it really doesn't keep type information around for ordinary data types. |
| 2024-02-02 09:45:36 +0100 | <cheater> | hmm right that's true, what about "give me all things that have the shape of a bytestring and cast them to bytestrings"? |
| 2024-02-02 09:46:40 +0100 | <c_wraith> | you might be able to find all the ByteArray# values, and guess which of them correspond to bytestrings. |
| 2024-02-02 09:46:50 +0100 | <c_wraith> | I don't remember if those are tracked specially. |
| 2024-02-02 09:47:13 +0100 | <cheater> | oh, i'd probably be fine just getting *all* of them and just interpreting them as bytestrings |
| 2024-02-02 09:47:35 +0100 | <cheater> | same with texts or strings |
| 2024-02-02 09:47:54 +0100 | <cheater> | how would i go about "tell me all ByteArray# values"? |
| 2024-02-02 09:51:18 +0100 | mmhat | (~mmh@p200300f1c73bf49eee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-02-02 09:52:00 +0100 | <kuribas> | cheater: you mean, in a module? There could be some template haskell function to do that. But then the question is why? |
| 2024-02-02 09:52:26 +0100 | <kuribas> | sounds rather XY problem-ish. |
| 2024-02-02 09:53:30 +0100 | <cheater> | no, i mean in the runtime. |
| 2024-02-02 09:54:34 +0100 | causal | (~eric@50.35.85.7) |
| 2024-02-02 09:55:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:297e:a163:e05a:2925) |
| 2024-02-02 09:56:38 +0100 | mmhat | (~mmh@p200300f1c73bf49eee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-02-02 09:56:41 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-02 09:57:02 +0100 | <cheater> | as in, what's in memory, right now, while the program is running. |
| 2024-02-02 09:58:42 +0100 | zetef | (~quassel@86.121.125.252) |
| 2024-02-02 10:00:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:297e:a163:e05a:2925) (Ping timeout: 276 seconds) |
| 2024-02-02 10:06:27 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-02-02 10:17:16 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-02 10:17:59 +0100 | mima | (~mmh@aftr-62-216-211-123.dynamic.mnet-online.de) (Ping timeout: 264 seconds) |
| 2024-02-02 10:18:23 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2024-02-02 10:19:11 +0100 | cheater | (~Username@user/cheater) |
| 2024-02-02 10:20:25 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-02 10:21:14 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-02-02 10:22:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-02 10:23:16 +0100 | <tomsmeding> | shot in the dark, but: ghc-debug? |
| 2024-02-02 10:23:38 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-02-02 10:27:20 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2024-02-02 10:30:27 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-02 10:30:31 +0100 | zetef | (~quassel@86.121.125.252) (Remote host closed the connection) |
| 2024-02-02 10:43:03 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-02 10:44:31 +0100 | yotta | (~cha0s@113.23.50.194) |
| 2024-02-02 10:45:36 +0100 | <yotta> | is it possible to pin unpinned bytearray ? |
| 2024-02-02 10:51:39 +0100 | csn | (~csn@115.96.219.126) |
| 2024-02-02 10:54:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:297e:a163:e05a:2925) |
| 2024-02-02 10:58:50 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2024-02-02 11:02:41 +0100 | bilegeek | (~bilegeek@2600:1008:b060:4bcb:3529:e349:2177:5af4) (Quit: Leaving) |
| 2024-02-02 11:05:59 +0100 | mobivme | (~mobivme@user/mobivme) (Ping timeout: 252 seconds) |
| 2024-02-02 11:07:04 +0100 | ft | (~ft@p508dbdf9.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-02-02 11:07:11 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-02-02 11:11:52 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-02-02 11:14:23 +0100 | <lyxia> | this comment in bytestring suggests that there are different representations for "shared" and "unshared" bytestrings. Does anyone have a clue what this is talking about? https://hackage.haskell.org/package/bytestring-0.12.0.2/docs/Data-ByteString-Short.html#g:2 |
| 2024-02-02 11:15:17 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-02-02 11:16:23 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-02 11:17:00 +0100 | <lyxia> | afaik ByteString is a ForeignPtr and a length, and I don't see what could be "shared" about that |
| 2024-02-02 11:17:34 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-02 11:17:35 +0100 | mima | (~mmh@176.2.142.173) |
| 2024-02-02 11:19:26 +0100 | <danse-nr3> | hmm... this https://hackage.haskell.org/package/bytestring-plain-0.1.0.2/docs/Data-ByteString-Plain.html is also referencing "shared" ByteString |
| 2024-02-02 11:20:49 +0100 | yeahitsme | (~bob@2a01:799:15e7:a300:e39d:52a9:ef69:ac) (Changing host) |
| 2024-02-02 11:20:49 +0100 | yeahitsme | (~bob@user/yeahitsme) |
| 2024-02-02 11:20:55 +0100 | <danse-nr3> | maybe the fromStrict doc gives some clues? "If possible, the internally used MutableByteArray# is shared with the original ByteString in which case the conversion is cheap." |
| 2024-02-02 11:23:49 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds) |
| 2024-02-02 11:26:00 +0100 | yotta | (~cha0s@113.23.50.194) (Ping timeout: 252 seconds) |
| 2024-02-02 11:31:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-02 11:37:01 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 2024-02-02 11:37:53 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-02 11:43:02 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-02 11:43:04 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-02 11:44:15 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) (Client Quit) |
| 2024-02-02 11:47:47 +0100 | <tomsmeding> | lyxia: https://hackage.haskell.org/package/bytestring-0.10.4.0/docs/src/Data-ByteString-Internal.html#Byt… |
| 2024-02-02 11:47:51 +0100 | <tomsmeding> | note the age of 0.10.4.0 |
| 2024-02-02 11:47:57 +0100 | <tomsmeding> | that's the first version that had Data.ByteString.Short |
| 2024-02-02 11:48:12 +0100 | <tomsmeding> | back then, strict ByteString was ForeignPtr + offset + length |
| 2024-02-02 11:48:20 +0100 | <tomsmeding> | I suspect the comment you're talking about is outdated :p |
| 2024-02-02 11:49:16 +0100 | <danse-nr3> | maybe send an issue about that then lyxia, otherwise the next one stumbling upon that will be equally puzzled |
| 2024-02-02 11:52:14 +0100 | mima | (~mmh@176.2.142.173) (Ping timeout: 268 seconds) |
| 2024-02-02 12:00:36 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-02 12:05:11 +0100 | CiaoSen | (~Jura@2a05:5800:2db:7f00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-02-02 12:07:19 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-02-02 12:08:27 +0100 | rekahsoft | (~rekahsoft@70.51.99.248) |
| 2024-02-02 12:10:17 +0100 | danse-nr3 | (~danse@151.57.131.112) (Ping timeout: 260 seconds) |
| 2024-02-02 12:12:07 +0100 | _ark | (~Adium@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-02 12:13:17 +0100 | _ark | (~Adium@2401:4900:1cba:d594:a141:b6ce:5948:8799) () |
| 2024-02-02 12:13:22 +0100 | yeahitsme | (~bob@user/yeahitsme) (Read error: Connection reset by peer) |
| 2024-02-02 12:13:33 +0100 | yeahitsme | (~bob@80.158-248-1.customer.lyse.net) |
| 2024-02-02 12:13:52 +0100 | jb3 | (~jb3@core.jb3.dev) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-02 12:23:09 +0100 | bobby | (~bob@2a01:799:15e7:a300:ec6d:31d6:69ce:cbe2) |
| 2024-02-02 12:23:17 +0100 | yeahitsme | (~bob@80.158-248-1.customer.lyse.net) (Ping timeout: 240 seconds) |
| 2024-02-02 12:28:33 +0100 | bobby | (~bob@2a01:799:15e7:a300:ec6d:31d6:69ce:cbe2) (Quit: Leaving) |
| 2024-02-02 12:29:35 +0100 | rekahsoft | (~rekahsoft@70.51.99.248) (Ping timeout: 252 seconds) |
| 2024-02-02 12:32:56 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-02-02 12:33:21 +0100 | euleritian | (~euleritia@dynamic-176-006-201-240.176.6.pool.telefonica.de) |
| 2024-02-02 12:37:31 +0100 | ark_26 | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-02 12:39:08 +0100 | ark_26 | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) () |
| 2024-02-02 12:40:20 +0100 | ark_76 | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-02 12:40:42 +0100 | ark_76 | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) () |
| 2024-02-02 12:41:32 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) (Quit: Client closed) |
| 2024-02-02 12:41:45 +0100 | ark_76 | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-02 12:42:15 +0100 | ark_76 | ark_ |
| 2024-02-02 12:42:21 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-02 12:44:56 +0100 | euleritian | (~euleritia@dynamic-176-006-201-240.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-02 12:45:19 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-02 12:47:59 +0100 | rosco | (~rosco@175.136.156.77) (Ping timeout: 264 seconds) |
| 2024-02-02 12:52:33 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-02-02 12:53:03 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-02-02 12:53:36 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-02 13:02:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-02 13:03:00 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-02 13:03:34 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-02 13:05:42 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2024-02-02 13:06:30 +0100 | Fijxu | (~Fijxu@user/fijxu) |
| 2024-02-02 13:09:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:75cb:e38c:de45:4f2e) |
| 2024-02-02 13:10:50 +0100 | andscape | (~andscape@77.18.52.196.tmi.telenormobil.no) (Read error: Connection reset by peer) |
| 2024-02-02 13:11:18 +0100 | andscape | (~andscape@85.221.111.174) |
| 2024-02-02 13:11:43 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-02 13:13:42 +0100 | destituion | (~destituio@2a02:2121:304:cc78:a079:4ba5:932e:f993) (Ping timeout: 260 seconds) |
| 2024-02-02 13:13:49 +0100 | destituion | (~destituio@85.221.111.174) |
| 2024-02-02 13:19:00 +0100 | danse-nr3 | (~danse@151.57.133.204) |
| 2024-02-02 13:20:58 +0100 | CiaoSen | (~Jura@2a05:5800:2db:7f00:e6b9:7aff:fe80:3d03) |
| 2024-02-02 13:22:25 +0100 | danse-nr3 | (~danse@151.57.133.204) (Remote host closed the connection) |
| 2024-02-02 13:23:11 +0100 | danse-nr3 | (~danse@151.57.133.204) |
| 2024-02-02 13:25:58 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-02 13:27:00 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) (Quit: Client closed) |
| 2024-02-02 13:29:11 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-02 13:30:10 +0100 | <carbolymer> | cabal haddock --haddock-hoogle should generate hoogle database right? I cna't find any '*.hoo' files after that command |
| 2024-02-02 13:30:43 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-02 13:34:32 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2024-02-02 13:38:14 +0100 | Achylles | (~Achylles_@45.182.57.38) |
| 2024-02-02 13:42:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:75cb:e38c:de45:4f2e) (Ping timeout: 256 seconds) |
| 2024-02-02 13:44:19 +0100 | xff0x | (~xff0x@ai099196.d.east.v6connect.net) |
| 2024-02-02 13:47:19 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-02-02 13:48:19 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-02 13:50:06 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-02-02 13:51:02 +0100 | akegalj | (~akegalj@78-2-87-93.adsl.net.t-com.hr) |
| 2024-02-02 13:52:16 +0100 | AlexZenon | (~alzenon@94.233.240.229) (Quit: ;-) |
| 2024-02-02 13:52:28 +0100 | AlexNoo | (~AlexNoo@94.233.240.229) (Quit: Leaving) |
| 2024-02-02 13:55:57 +0100 | Platao | (~mirc-rc@ip121.ip-149-56-160.net) |
| 2024-02-02 13:56:07 +0100 | akegalj | (~akegalj@78-2-87-93.adsl.net.t-com.hr) (Ping timeout: 276 seconds) |
| 2024-02-02 13:56:14 +0100 | Platao | (~mirc-rc@ip121.ip-149-56-160.net) () |
| 2024-02-02 14:00:17 +0100 | Square | (~Square@user/square) |
| 2024-02-02 14:03:41 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2024-02-02 14:07:07 +0100 | akegalj | (~akegalj@95.168.105.29) |
| 2024-02-02 14:09:00 +0100 | vpan | (~vpan@mail.elitnet.lt) |
| 2024-02-02 14:14:29 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-02 14:15:22 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-02 14:17:49 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-02 14:18:35 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-02 14:20:35 +0100 | AlexZenon | (~alzenon@94.233.240.229) |
| 2024-02-02 14:21:07 +0100 | AlexNoo | (~AlexNoo@94.233.240.229) |
| 2024-02-02 14:22:57 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-02 14:25:14 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-02-02 14:27:06 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-02-02 14:41:08 +0100 | <lyxia> | tomsmeding: the difference to now is just the lack of an offset though, so I don't see how that comment would apply back then and not now |
| 2024-02-02 14:41:58 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-02 14:42:10 +0100 | <lyxia> | danse-nr3: I did ask about it, bodigrim has no idea either. I'm asking because I want to fix the comment :) |
| 2024-02-02 14:42:12 +0100 | <tomsmeding> | lyxia: perhaps when there was an offset, two bytestrings could share the same ForeignPtr, thus taking up less memory than having two separate ForeignPtrs |
| 2024-02-02 14:42:39 +0100 | <lyxia> | ah, that could be it |
| 2024-02-02 14:42:50 +0100 | <tomsmeding> | I haven't done the computations, so please check all that I say |
| 2024-02-02 14:43:18 +0100 | csn | (~csn@115.96.219.126) (Read error: Connection reset by peer) |
| 2024-02-02 14:43:20 +0100 | <lyxia> | that would be the 4 words of the extra ByteString constructor indeed |
| 2024-02-02 14:44:05 +0100 | <tomsmeding> | they would be separate ByteString constructors anyway, right? |
| 2024-02-02 14:44:12 +0100 | <tomsmeding> | just shared or unshared ForeignPtrs |
| 2024-02-02 14:44:17 +0100 | <lyxia> | oh yeah |
| 2024-02-02 14:44:25 +0100 | <tomsmeding> | dunno how large a ForeignPtr is |
| 2024-02-02 14:48:36 +0100 | <probie> | It probably depends on how many finalizers are attached to it (unless you want to count those separately) |
| 2024-02-02 14:49:16 +0100 | <tomsmeding> | presumably the assumption is that it's allocated by the bytestring library, meaning that there's probably exactly one finaliser attached |
| 2024-02-02 14:59:45 +0100 | <probie> | (I haven't actually looked at what bytestring does, so take this with a grain of salt) Probably 0 finalizers, and you'll end up with `ForeignPtr someUnboxedAddress (PlainPtr someMutableByteArrayAtTheSameAddress)` |
| 2024-02-02 15:00:49 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-02-02 15:00:54 +0100 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Client Quit) |
| 2024-02-02 15:03:53 +0100 | akegalj | (~akegalj@95.168.105.29) (Ping timeout: 260 seconds) |
| 2024-02-02 15:05:20 +0100 | akegalj | (~akegalj@78-2-87-93.adsl.net.t-com.hr) |
| 2024-02-02 15:18:10 +0100 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2024-02-02 15:18:24 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-02 15:19:49 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-02-02 15:22:50 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-02-02 15:29:26 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-02 15:32:02 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-02 15:33:46 +0100 | <haskellbridge> | 15<J​ade> what does `listThreads` from `GHC.Conc` actually list? |
| 2024-02-02 15:33:53 +0100 | <haskellbridge> | 15<J​ade> because in ghci the output seems to grow continously |
| 2024-02-02 15:36:11 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-a426-1123-58b1-94b3-e4fc.rev.sfr.net) |
| 2024-02-02 15:37:27 +0100 | <danse-nr3> | not sure i do not seem to have that in my machine |
| 2024-02-02 15:39:16 +0100 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-02-02 15:40:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-02-02 15:40:28 +0100 | euleritian | (~euleritia@176.6.190.3) |
| 2024-02-02 15:46:12 +0100 | <int-e> | It looks like if you `listThreads` repeatedly, the result (`it`) will keep the threads alive. With `ghci -fno-it` the list grows a bit until GC kicks in and collects inactive threads with no reference to them (thread ids act as references, I think) |
| 2024-02-02 15:47:30 +0100 | <int-e> | "inactive" - finished, that is. |
| 2024-02-02 15:48:44 +0100 | <danse-nr3> | @hoogle (Foldable f, Semigroup s) => f (s a) -> f a |
| 2024-02-02 15:48:44 +0100 | <lambdabot> | No results found |
| 2024-02-02 15:49:07 +0100 | <Hecate> | y'all |
| 2024-02-02 15:49:14 +0100 | <Hecate> | read this: https://hexdocs.pm/elixir/compatibility-and-deprecations.html#deprecations |
| 2024-02-02 15:49:28 +0100 | <Hecate> | amazing, a language whose culture include a clear and actionable deprecation policy |
| 2024-02-02 15:49:42 +0100 | <Hecate> | predictible ecosystem changes! |
| 2024-02-02 15:49:56 +0100 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-02-02 15:51:03 +0100 | <int-e> | Hecate: Predictable, hmm. So when will they make a 2.0 or 2.1 release? :-P |
| 2024-02-02 15:51:43 +0100 | <Hecate> | int-e: when they break shit up in a major way |
| 2024-02-02 15:51:56 +0100 | <int-e> | (And which deprecated features will they keep when that happens? :-P) |
| 2024-02-02 15:52:13 +0100 | <Hecate> | int-e: https://github.com/elixir-lang/elixir/milestone/19 |
| 2024-02-02 15:52:39 +0100 | <int-e> | "No due date" |
| 2024-02-02 15:53:43 +0100 | <Hecate> | int-e: yes but look at the items |
| 2024-02-02 15:54:01 +0100 | Achylles | (~Achylles_@45.182.57.38) (Remote host closed the connection) |
| 2024-02-02 15:54:05 +0100 | <Hecate> | in truth there are some changes that have been deemed to be disturbing enough that this would warrant an inclusion in a v2 |
| 2024-02-02 15:54:21 +0100 | Achylles | (~Achylles_@45.182.57.38) |
| 2024-02-02 15:54:28 +0100 | mei | (~mei@user/mei) |
| 2024-02-02 15:56:47 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: updating stuff) |
| 2024-02-02 15:57:16 +0100 | <int-e> | Anyway. It's a policy, but I'm wondering how close it is to "we'll depreceate features but never remove them". |
| 2024-02-02 15:58:16 +0100 | <int-e> | And the answer to that seems to be... you won't know until it happens. You'll have some warning if you actually follow Elixir's development. |
| 2024-02-02 15:59:12 +0100 | <Hecate> | warnings are good |
| 2024-02-02 16:03:37 +0100 | CiaoSen | (~Jura@2a05:5800:2db:7f00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-02-02 16:08:56 +0100 | akegalj | (~akegalj@78-2-87-93.adsl.net.t-com.hr) (Quit: leaving) |
| 2024-02-02 16:09:48 +0100 | <tomsmeding> | danse-nr3: what would that return if the foldable is empty |
| 2024-02-02 16:10:38 +0100 | <danse-nr3> | an empty foldable? |
| 2024-02-02 16:11:56 +0100 | <danse-nr3> | real problem seemed to be how to turn a semigroup to a. I think i was looking for Foldable1 |
| 2024-02-02 16:17:27 +0100 | <ski> | @kind Semigroup -- danse-nr3 |
| 2024-02-02 16:17:29 +0100 | <lambdabot> | * -> Constraint |
| 2024-02-02 16:17:50 +0100 | <danse-nr3> | so? |
| 2024-02-02 16:18:11 +0100 | <ski> | `s a' makes no sense, if `Semigroup s' |
| 2024-02-02 16:18:37 +0100 | <danse-nr3> | ^^; |
| 2024-02-02 16:19:51 +0100 | <ski> | i guess, by `Foldable1', you mean one working on non-empty collections, rather than one working on some kind of higher-order collection (cf. `Eq1') |
| 2024-02-02 16:21:18 +0100 | <danse-nr3> | yes i found it in semigroupoids. So my Semigroup a was a Foldable1 actually |
| 2024-02-02 16:21:30 +0100 | <danse-nr3> | Foldable1 a |
| 2024-02-02 16:25:55 +0100 | <danse-nr3> | thanks ski had not noticed that |
| 2024-02-02 16:28:04 +0100 | <ncf> | so you have a Foldable of Foldable1 of as, and you want a Foldable of as? |
| 2024-02-02 16:28:50 +0100 | <danse-nr3> | yep, did that with a maybe and fold1 |
| 2024-02-02 16:29:56 +0100 | Achylles | (~Achylles_@45.182.57.38) (Quit: Leaving) |
| 2024-02-02 16:30:00 +0100 | <danse-nr3> | but actually i needed a [e] coming from [NonEmpty e] so solved with toList |
| 2024-02-02 16:31:26 +0100 | mobivme | (~mobivme@130.105.162.162) |
| 2024-02-02 16:32:14 +0100 | Achylles | (~Achylles_@45.182.57.38) |
| 2024-02-02 16:36:48 +0100 | <ski> | danse-nr3 : yea .. which makes me wonder what you actually intended, in place of that |
| 2024-02-02 16:37:50 +0100 | <danse-nr3> | something like |
| 2024-02-02 16:37:54 +0100 | <danse-nr3> | @hoogle (Foldable f, Foldable1 s) => f (s a) -> f a |
| 2024-02-02 16:37:55 +0100 | <lambdabot> | No results found |
| 2024-02-02 16:38:21 +0100 | <danse-nr3> | but now that i solved the concrete problem i have less steam to think that through in class terms |
| 2024-02-02 16:39:48 +0100 | Achylles | (~Achylles_@45.182.57.38) (Quit: Leaving) |
| 2024-02-02 16:40:27 +0100 | <tomsmeding> | I don't think you can have that signature in general |
| 2024-02-02 16:40:57 +0100 | <tomsmeding> | no reason for f to allow the full set of results as elements |
| 2024-02-02 16:41:08 +0100 | <tomsmeding> | e.g. a vector of length 5 is also Foldable |
| 2024-02-02 16:41:41 +0100 | <tomsmeding> | in this case you could `foldMap toList` or `toList . fold` |
| 2024-02-02 16:42:37 +0100 | <danse-nr3> | i don't follow you, i am afraid |
| 2024-02-02 16:43:30 +0100 | ft | (~ft@p508dbdf9.dip0.t-ipconnect.de) |
| 2024-02-02 16:44:48 +0100 | danse-nr3 | (~danse@151.57.133.204) (Read error: Connection reset by peer) |
| 2024-02-02 16:45:40 +0100 | danse-nr3 | (~danse@151.46.129.58) |
| 2024-02-02 16:47:03 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-02-02 16:47:38 +0100 | mobivme | (~mobivme@130.105.162.162) (Remote host closed the connection) |
| 2024-02-02 16:48:36 +0100 | pruiz | (~user@user/pruiz) (Remote host closed the connection) |
| 2024-02-02 16:49:15 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-02 16:49:38 +0100 | mobivme | (~mobivme@130.105.162.162) |
| 2024-02-02 16:51:12 +0100 | <ski> | > let fragments :: MonadPlus m => [a] -> m [NonEmptyList a]; fragments [ ] = return []; fragments (x:xs) = do yss <- fragments xs; return (NonEmpty [x] : yss) `mplus` case yss of NonEmpty ys:yss -> return (NonEmpty (x:ys):yss); [] -> mzero in (map . map) getNonEmpty (fragments "abcd") :: [[String]] |
| 2024-02-02 16:51:14 +0100 | <lambdabot> | [["a","b","c","d"],["ab","c","d"],["a","bc","d"],["abc","d"],["a","b","cd"],... |
| 2024-02-02 16:55:57 +0100 | APic | (apic@apic.name) (Ping timeout: 268 seconds) |
| 2024-02-02 16:58:08 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) |
| 2024-02-02 17:00:59 +0100 | mobivme | (~mobivme@130.105.162.162) (Read error: Connection reset by peer) |
| 2024-02-02 17:02:21 +0100 | tri | (~tri@24.188.46.116) |
| 2024-02-02 17:02:23 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-02-02 17:02:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-02 17:03:32 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-02-02 17:03:50 +0100 | gorignak | (~gorignak@user/gorignak) |
| 2024-02-02 17:06:07 +0100 | mobivme | (~mobivme@130.105.162.162) |
| 2024-02-02 17:06:59 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:297e:a163:e05a:2925) (Remote host closed the connection) |
| 2024-02-02 17:07:25 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2024-02-02 17:07:40 +0100 | andscape | (~andscape@85.221.111.174) (Ping timeout: 268 seconds) |
| 2024-02-02 17:07:46 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) (Remote host closed the connection) |
| 2024-02-02 17:08:26 +0100 | destituion | (~destituio@85.221.111.174) (Ping timeout: 252 seconds) |
| 2024-02-02 17:08:41 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-02-02 17:12:07 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer) |
| 2024-02-02 17:12:31 +0100 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-02-02 17:13:25 +0100 | APic | (apic@apic.name) |
| 2024-02-02 17:17:34 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-02 17:18:20 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-02 17:21:05 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2024-02-02 17:22:11 +0100 | mobivme | (~mobivme@130.105.162.162) (Ping timeout: 264 seconds) |
| 2024-02-02 17:23:10 +0100 | destituion | (~destituio@2a02:2121:304:cc78:71fe:5788:2033:9f91) |
| 2024-02-02 17:23:27 +0100 | andscape | (~andscape@2a02:2121:304:cc78:71fe:5788:2033:9f91) |
| 2024-02-02 17:24:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-02 17:24:30 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-02-02 17:25:56 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-02 17:26:07 +0100 | mobivme | (~mobivme@130.105.162.162) |
| 2024-02-02 17:26:50 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-02 17:27:15 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-02 17:31:08 +0100 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) |
| 2024-02-02 17:31:08 +0100 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) (Changing host) |
| 2024-02-02 17:31:08 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-02-02 17:36:37 +0100 | pruiz | (~user@user/pruiz) (Remote host closed the connection) |
| 2024-02-02 17:36:50 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-02 17:38:26 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-02-02 17:42:48 +0100 | AlexNoo_ | (~AlexNoo@178.34.161.225) |
| 2024-02-02 17:44:22 +0100 | AlexZenon | (~alzenon@94.233.240.229) (Ping timeout: 264 seconds) |
| 2024-02-02 17:45:13 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-02 17:45:31 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) |
| 2024-02-02 17:46:12 +0100 | AlexNoo | (~AlexNoo@94.233.240.229) (Ping timeout: 268 seconds) |
| 2024-02-02 17:48:35 +0100 | pruiz | (~user@user/pruiz) (Ping timeout: 252 seconds) |
| 2024-02-02 17:48:50 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-02 17:48:53 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-02-02 17:48:54 +0100 | AlexZenon | (~alzenon@178.34.161.225) |
| 2024-02-02 17:49:25 +0100 | AlexNoo_ | AlexNoo |
| 2024-02-02 17:51:03 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-02 17:52:10 +0100 | danse-nr3 | (~danse@151.46.129.58) (Ping timeout: 256 seconds) |
| 2024-02-02 18:02:05 +0100 | goterg | (~goterg@2a01:c844:2497:7b00:582:6a0e:ecc5:bf6c) |
| 2024-02-02 18:02:10 +0100 | ark_ | (~ark_@2401:4900:1cba:d594:a141:b6ce:5948:8799) (Quit: Client closed) |
| 2024-02-02 18:03:02 +0100 | goterg | (~goterg@2a01:c844:2497:7b00:582:6a0e:ecc5:bf6c) (Client Quit) |
| 2024-02-02 18:03:35 +0100 | Joao003 | (~Joao003@190.108.108.40) |
| 2024-02-02 18:07:13 +0100 | pruiz | (~user@user/pruiz) (Remote host closed the connection) |
| 2024-02-02 18:07:26 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-02 18:20:29 +0100 | mobivme | (~mobivme@130.105.162.162) (Remote host closed the connection) |
| 2024-02-02 18:21:23 +0100 | vpan | (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 2024-02-02 18:22:27 +0100 | boukenshaou | (~Boukensha@223.178.80.31) |
| 2024-02-02 18:22:30 +0100 | mobivme | (~mobivme@130.105.162.162) |
| 2024-02-02 18:27:27 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-02 18:27:28 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-02-02 18:30:17 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-02-02 18:31:13 +0100 | mobivme | (~mobivme@130.105.162.162) (Ping timeout: 256 seconds) |
| 2024-02-02 18:33:07 +0100 | mobivme | (~mobivme@130.105.162.162) |
| 2024-02-02 18:35:00 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-02-02 18:35:21 +0100 | tri_ | (~tri@172.59.8.121) |
| 2024-02-02 18:36:09 +0100 | tri | (~tri@24.188.46.116) (Ping timeout: 268 seconds) |
| 2024-02-02 18:36:19 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-02-02 18:48:28 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-02-02 18:48:28 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Read error: Connection reset by peer) |
| 2024-02-02 18:48:28 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-02 18:48:52 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-02 18:48:58 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-02-02 18:49:09 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-02-02 18:49:20 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-02 18:49:57 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-02 18:50:12 +0100 | average | (uid473595@user/average) |
| 2024-02-02 18:50:40 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-02 19:01:44 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-02-02 19:02:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-02 19:11:44 +0100 | Achylles_ | (~Achylles_@45.182.57.38) |
| 2024-02-02 19:12:25 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-02 19:13:01 +0100 | mobivme | (~mobivme@130.105.162.162) (Ping timeout: 264 seconds) |
| 2024-02-02 19:15:38 +0100 | doyougnu- | (~doyougnu@045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-02 19:15:54 +0100 | doyougnu | (~doyougnu@045-046-170-068.res.spectrum.com) |
| 2024-02-02 19:19:49 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-02-02 19:20:09 +0100 | trev | (~trev@user/trev) |
| 2024-02-02 19:20:31 +0100 | trev | (~trev@user/trev) (Client Quit) |
| 2024-02-02 19:20:49 +0100 | trev | (~trev@user/trev) |
| 2024-02-02 19:24:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-02 19:39:36 +0100 | Achylles | (~Achylles_@45.182.57.38) |
| 2024-02-02 19:40:45 +0100 | irrgit | (~irrgit@176.113.74.138) |
| 2024-02-02 19:43:31 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-02-02 19:44:01 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-02 19:44:57 +0100 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2024-02-02 19:46:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-02-02 19:48:55 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 2024-02-02 19:51:26 +0100 | Feuermagier | Guest8582 |
| 2024-02-02 19:51:26 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-02-02 19:51:26 +0100 | Guest8582 | (~Feuermagi@user/feuermagier) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2024-02-02 19:51:26 +0100 | Feuermagier_ | Feuermagier |
| 2024-02-02 19:53:59 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 264 seconds) |
| 2024-02-02 20:00:21 +0100 | pavonia | (~user@user/siracusa) |
| 2024-02-02 20:01:52 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2024-02-02 20:06:17 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-02 20:07:39 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-02 20:08:44 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-02-02 20:13:16 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-02-02 20:17:32 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2024-02-02 20:17:58 +0100 | Fijxu | (~Fijxu@user/fijxu) |
| 2024-02-02 20:19:39 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-02 20:34:37 +0100 | bilegeek | (~bilegeek@2600:1008:b014:2394:f1:4073:7d5:b5fa) |
| 2024-02-02 20:34:41 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-02 20:34:56 +0100 | bilegeek | (~bilegeek@2600:1008:b014:2394:f1:4073:7d5:b5fa) (Remote host closed the connection) |
| 2024-02-02 20:38:51 +0100 | euleritian | (~euleritia@176.6.190.3) (Read error: Connection reset by peer) |
| 2024-02-02 20:39:14 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-02 20:44:02 +0100 | pruiz | (~user@user/pruiz) (Ping timeout: 252 seconds) |
| 2024-02-02 20:44:03 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2024-02-02 20:45:02 +0100 | tri_ | (~tri@172.59.8.121) (Remote host closed the connection) |
| 2024-02-02 20:46:26 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-02 20:51:11 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-02 20:51:11 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-02-02 20:52:07 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-02-02 20:56:35 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-02 21:00:49 +0100 | pruiz | (~user@user/pruiz) (Ping timeout: 256 seconds) |
| 2024-02-02 21:02:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-02 21:03:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-02 21:16:11 +0100 | Joao003 | (~Joao003@190.108.108.40) (Quit: Bye!) |
| 2024-02-02 21:16:29 +0100 | Joao003 | (~Joao003@190.108.108.40) |
| 2024-02-02 21:17:00 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-02 21:21:23 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c99:d08b:e47b:79d3) |
| 2024-02-02 21:23:57 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-02 21:24:29 +0100 | jelewis2 | (~lewisje@74.215.19.22) |
| 2024-02-02 21:26:58 +0100 | lewisje | (~lewisje@74.215.19.22) (Ping timeout: 268 seconds) |
| 2024-02-02 21:32:30 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-02 21:34:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-02 21:35:24 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-02 21:35:47 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-a426-1123-58b1-94b3-e4fc.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-02 21:39:59 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-02 21:40:29 +0100 | pruiz | (~user@user/pruiz) (Remote host closed the connection) |
| 2024-02-02 21:44:37 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-02 21:44:37 +0100 | pruiz | (~user@user/pruiz) (Remote host closed the connection) |
| 2024-02-02 21:44:51 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-02 21:49:05 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Remote host closed the connection) |
| 2024-02-02 21:50:34 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-02-02 21:57:04 +0100 | masterbuilder | (~quassel@user/masterbuilder) |
| 2024-02-02 21:57:14 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-02 22:04:39 +0100 | dunj3 | (~dunj3@85.214.18.208) |
| 2024-02-02 22:07:37 +0100 | machinedgod | (~machinedg@173.183.246.216) |
| 2024-02-02 22:11:47 +0100 | notzmv | (~zmv@user/notzmv) |
| 2024-02-02 22:13:37 +0100 | mobivme | (~mobivme@130.105.162.162) |
| 2024-02-02 22:15:06 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-02-02 22:15:26 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-02-02 22:15:36 +0100 | <tomsmeding> | in what way is 'x `seq` return () :: IO ()' different from 'evaluate x >> return ()'? |
| 2024-02-02 22:16:33 +0100 | <tomsmeding> | I have often blissfully used the former, but now my benchmark consistently measured at ~0 seconds despite it actually taking a long time; using the latter ('evaluate') fixed it |
| 2024-02-02 22:16:53 +0100 | <tomsmeding> | is there a good explanation for this? |
| 2024-02-02 22:17:02 +0100 | <beogrif> | would an exception thrown in the seq one bubble up through the IO monad like evaluate would? |
| 2024-02-02 22:17:30 +0100 | <tomsmeding> | this code doesn't throw exceptions (at least not in my experiments); I'm not terribly interested in the behaviour around exceptions |
| 2024-02-02 22:17:32 +0100 | <tomsmeding> | but good point |
| 2024-02-02 22:17:56 +0100 | <beogrif> | yeah, I do wonder if perhaps it generates different exception handling code though in either case |
| 2024-02-02 22:18:01 +0100 | <monochrom> | The doc shows an example. But it is a pretty rare case. |
| 2024-02-02 22:18:48 +0100 | <tomsmeding> | monochrom: note that I'm not doing 'return (x `seq` ())', I'm doing 'x `seq` return ()' |
| 2024-02-02 22:18:55 +0100 | <tomsmeding> | and also that the code in question doesn't throw exceptions |
| 2024-02-02 22:19:17 +0100 | <tomsmeding> | (if you were referring to the haddocks of 'evaluate') |
| 2024-02-02 22:19:49 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-02-02 22:20:10 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-02 22:21:06 +0100 | <monochrom> | Then there is a theoretical difference that I don't know how often it shows up in practice. (I don't usually scaremonger about this.) Basically similar to seq vs pseq. seq does not guarantee "right now", only "soon enough". evaluate guarantees right now. |
| 2024-02-02 22:21:27 +0100 | stef204 | (~stef204@user/stef204) |
| 2024-02-02 22:22:18 +0100 | <monochrom> | Or rather, seq just marks "strict in this" and let the optimizer make its choice. |
| 2024-02-02 22:22:34 +0100 | <tomsmeding> | right |
| 2024-02-02 22:22:35 +0100 | mei | (~mei@user/mei) |
| 2024-02-02 22:22:47 +0100 | <tomsmeding> | naive intuitive semantics of seq strike again |
| 2024-02-02 22:23:23 +0100 | <monochrom> | Of course 99% of the time it means "evaluate now" anyway so I don't like to emphasize the difference. |
| 2024-02-02 22:23:35 +0100 | <tomsmeding> | maybe this is a case where it matters! |
| 2024-02-02 22:24:20 +0100 | <tomsmeding> | I see that 'evaluate' doesn't use 'seq', it uses 'seq#', whatever that may do |
| 2024-02-02 22:24:33 +0100 | <tomsmeding> | ah, it's the fseq of https://gitlab.haskell.org/ghc/ghc/-/issues/2273 except in IO |
| 2024-02-02 22:24:43 +0100 | <tomsmeding> | which is also suitable because the state monad has a continuation in there |
| 2024-02-02 22:24:57 +0100 | <tomsmeding> | okay I officially hate seq now and will cease using it |
| 2024-02-02 22:25:10 +0100 | <tomsmeding> | (this includes deepseq, which this question was really about) |
| 2024-02-02 22:25:22 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-02 22:26:09 +0100 | <tomsmeding> | seq is a design mistake |
| 2024-02-02 22:26:22 +0100 | <monochrom> | I am a nice and accomodating person towards computers. If I just mean "it is more efficient if you evaluate this earlier, but this is just a hint", I use seq, I don't need the strong guarantee of evaluate or pseq. |
| 2024-02-02 22:26:50 +0100 | <tomsmeding> | right |
| 2024-02-02 22:26:59 +0100 | <tomsmeding> | well at the very least it has a bad name, then |
| 2024-02-02 22:26:59 +0100 | <monochrom> | If I do need the strong guarantee of evaluate (as in "I need the precise exception"), then I use evaluate. |
| 2024-02-02 22:27:21 +0100 | <tomsmeding> | or as in "I need my benchmark framework to see this work between its timing points" |
| 2024-02-02 22:27:43 +0100 | <monochrom> | I think it was a good name but bad revisionist semantics. |
| 2024-02-02 22:28:30 +0100 | <monochrom> | It's called "seq" because John Hughes invented it to really mean "seq" because only when you kill lazy evaluation do you get the memory-saving benefit of foldl' |
| 2024-02-02 22:29:09 +0100 | <monochrom> | But things went south when people realized that the Haskell Report cannot even talk about evaluation orders. |
| 2024-02-02 22:30:07 +0100 | <monochrom> | OTOH I'm OK with "don't be a control freak backseat driver to the optimizer; give strictness hints and let the optimizer consider all factors". |
| 2024-02-02 22:30:34 +0100 | pruiz | (~user@user/pruiz) (Ping timeout: 264 seconds) |
| 2024-02-02 22:31:22 +0100 | <monochrom> | Bird called it "strict" in his book. Maybe that's a good name under the revisionist history. |
| 2024-02-02 22:31:35 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-02 22:32:07 +0100 | <monochrom> | But it is a bad name in the context of that chapter because it uses evaluation orders not denotational semantics. |
| 2024-02-02 22:32:28 +0100 | <monochrom> | (It explains why foldl' saves memory. Denotational semantic cannot tell you that.) |
| 2024-02-02 22:33:47 +0100 | <tomsmeding> | "strict" feels like a more appropriate name, indeed |
| 2024-02-02 22:34:02 +0100 | <tomsmeding> | and apparently (?) ghc treats it like "strict", not like "seq" |
| 2024-02-02 22:34:30 +0100 | <monochrom> | "strict" would be a good name in the Haskell Report and when we say "seq is a strictness hint". |
| 2024-02-02 22:34:53 +0100 | <monochrom> | But I still don't like "strict vs lazy". Level mismatch. |
| 2024-02-02 22:35:32 +0100 | <johnw> | so true monochrom |
| 2024-02-02 22:35:56 +0100 | <monochrom> | But since even Bird wrote like that, it's a lost cause. People worship opinion leaders. |
| 2024-02-02 22:36:02 +0100 | <monochrom> | To hell with opinion leaders. |
| 2024-02-02 22:37:18 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-02 22:38:05 +0100 | <tomsmeding> | monochrom: because it's strict vs non-strict on the semantics level, and lazy is an evaluation strategy? |
| 2024-02-02 22:38:16 +0100 | <johnw> | indeed |
| 2024-02-02 22:38:19 +0100 | <monochrom> | Right. |
| 2024-02-02 22:38:21 +0100 | <johnw> | strict has a mathematical definition |
| 2024-02-02 22:38:31 +0100 | <johnw> | lazy is one way of doing it |
| 2024-02-02 22:38:50 +0100 | pruiz | (~user@user/pruiz) (Client Quit) |
| 2024-02-02 22:39:41 +0100 | <johnw> | reminds me of a presentation I was watching last week about "functions", where I quickly realized he wasn't really talking about functions, but the code sequences that processors execute -- even though it was a Haskell talk! |
| 2024-02-02 22:40:00 +0100 | <johnw> | levels, people |
| 2024-02-02 22:40:18 +0100 | <tomsmeding> | that just sounds like a terminology clash |
| 2024-02-02 22:42:07 +0100 | <tomsmeding> | as in, when talking about assembly, one also often talks about "functions", but those are indeed of course different things from "functions" in the haskell language |
| 2024-02-02 22:42:31 +0100 | <johnw> | I was just expecting him to say things about mathematical functions |
| 2024-02-02 22:44:22 +0100 | <monochrom> | It's a Haskell talk so one should not say "function" for machine code! |
| 2024-02-02 22:45:01 +0100 | <tomsmeding> | can they also not use "label" for labels in assembly code, because we have -XOverloadedLabels? |
| 2024-02-02 22:45:16 +0100 | <johnw> | let me restate: the title of the talk led me to believe it was about mathematical functions, but when I started listening I realized it was about operational functions. Not saying you shouldn't use the term for whatever audience you have. |
| 2024-02-02 22:45:28 +0100 | <monochrom> | I have -XNoOverloadedLabels so I'm fine. :) |
| 2024-02-02 22:45:40 +0100 | <tomsmeding> | right, then the title may have mismatched the audience :) |
| 2024-02-02 22:45:59 +0100 | <geekosaur> | -XMassivelyOverloadedLabels |
| 2024-02-02 22:45:59 +0100 | <monochrom> | Oh wait. -XOverloadedLabels is license to overload the word "labels", no? >:) |
| 2024-02-02 22:46:18 +0100 | tomsmeding | sighs |
| 2024-02-02 22:53:25 +0100 | <johnw> | hahaha |
| 2024-02-02 22:55:30 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-02 23:01:11 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-02 23:04:02 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-02-02 23:07:55 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-02-02 23:08:03 +0100 | tri | (~tri@24.188.46.116) |
| 2024-02-02 23:08:37 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-02 23:08:43 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-02-02 23:11:14 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-02-02 23:12:18 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) |
| 2024-02-02 23:13:32 +0100 | Joao003 | (~Joao003@190.108.108.40) (Quit: Bye!) |
| 2024-02-02 23:19:55 +0100 | mud | (~mud@user/kadoban) |
| 2024-02-02 23:24:13 +0100 | <jackdk> | @remember monochrom To hell with opinion leaders. |
| 2024-02-02 23:24:14 +0100 | <lambdabot> | It is forever etched in my memory. |
| 2024-02-02 23:28:17 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-02-02 23:28:26 +0100 | jargon | (~jargon@105.sub-174-205-230.myvzw.com) |
| 2024-02-02 23:32:00 +0100 | bilegeek | (~bilegeek@2600:1008:b014:2394:f1:4073:7d5:b5fa) |
| 2024-02-02 23:37:30 +0100 | michalz | (~michalz@185.246.207.222) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-02 23:49:49 +0100 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-02-02 23:57:25 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |