Logs: freenode/#haskell
| 2021-04-27 18:43:07 | <solidus-river> | :X |
| 2021-04-27 18:43:48 | <solidus-river> | thanks as always :) |
| 2021-04-27 18:43:50 | → | jespada joins (~jespada@87.74.37.248) |
| 2021-04-27 18:43:51 | <monochrom> | Also I thought hSetBuffering was a per-Handle setting, not a per-thread setting. |
| 2021-04-27 18:44:27 | <solidus-river> | i'm definitely redundantly setting it then |
| 2021-04-27 18:44:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-27 18:44:54 | <solidus-river> | i think what i wanted out of it was just a call to flush at the end of the program |
| 2021-04-27 18:45:21 | <geekosaur> | so just hFlush at the end of the program. but it'll also flush when the output buffer is full |
| 2021-04-27 18:45:27 | → | M0b10s joins (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) |
| 2021-04-27 18:45:29 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-04-27 18:45:40 | <geekosaur> | note that multiple threads outputting to the same Handle will stilll interleave within the buffer |
| 2021-04-27 18:45:55 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-27 18:46:25 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-27 18:46:28 | <int-e> | String-based I/O is inherently character oriented, since putStr ('a':'b':undefined) is supposed to output a and b before triggering the bottom. |
| 2021-04-27 18:46:44 | <int-e> | buffering doesn't really change that |
| 2021-04-27 18:46:56 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) |
| 2021-04-27 18:47:38 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-27 18:47:48 | <solidus-river> | i should be sending these all to the same place and printing there, i was doing that but i'm trying to hack in some debug prints to figure out whats going wrong over the wire |
| 2021-04-27 18:48:15 | <solidus-river> | maybe trace is a better tool but it seems like it would run into the same buffering issue unless its using some non putStrLn for its messaging under the hood |
| 2021-04-27 18:48:31 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.1) |
| 2021-04-27 18:49:08 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-27 18:49:09 | → | faustind joins (~faustin@240b:12:43e1:7b00:e63d:e924:3cc7:4546) |
| 2021-04-27 18:49:30 | → | Copperis joins (~Tadas@unaffiliated/varis) |
| 2021-04-27 18:49:56 | → | Guest6509 joins (~laudiacay@45.162.228.190) |
| 2021-04-27 18:50:00 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:d72c:c07:3040:2376) |
| 2021-04-27 18:50:07 | <int-e> | oh, traceIO does something better, actually |
| 2021-04-27 18:50:39 | → | timCF joins (~i.tkachuk@m91-129-104-226.cust.tele2.ee) |
| 2021-04-27 18:51:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-27 18:51:06 | × | Copperis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-27 18:52:11 | <int-e> | Well, better in terms of interleaving or not. It looks far worse in terms of dealing with encodings. |
| 2021-04-27 18:52:30 | → | Copperis joins (~Tadas@unaffiliated/varis) |
| 2021-04-27 18:52:43 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-04-27 18:52:57 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-27 18:53:07 | × | M0b10s quits (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) (Ping timeout: 252 seconds) |
| 2021-04-27 18:53:13 | × | Varis quits (~Tadas@unaffiliated/varis) (Ping timeout: 268 seconds) |
| 2021-04-27 18:53:18 | <int-e> | (it packs the message into a C string, and passes that to the RTS's debugBelch() function which presumably writes it to stderr in one chunk) |
| 2021-04-27 18:54:30 | <solidus-river> | nice! switching :) I think i need to finally read that book that you guys recommended a month in a half ago too, gonna crack that open |
| 2021-04-27 18:55:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 2021-04-27 18:56:21 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-27 18:56:42 | → | sm joins (~user@li229-222.members.linode.com) |
| 2021-04-27 18:57:23 | → | DavidEichmann joins (~david@147.136.46.217.dyn.plus.net) |
| 2021-04-27 18:58:23 | <DigitalKiwi> | what book was recommended? |
| 2021-04-27 19:00:53 | × | Copperis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-27 19:02:00 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-27 19:02:49 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.1) |
| 2021-04-27 19:03:03 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-27 19:04:03 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-27 19:07:15 | <slack1256> | On the ConstrainsKinds extension, is there a type level function that lets me take the product of two constrains? ie : Read a x Text a = (Read a, Text a) ? |
| 2021-04-27 19:09:07 | × | fendor quits (~fendor@178.115.131.177.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-27 19:10:05 | <faustind> | Hello @all. I am looking for examples of the use of GHC rewrite rules. Could you point me to some. |
| 2021-04-27 19:10:58 | → | fendor joins (~fendor@178.115.131.177.wireless.dyn.drei.com) |
| 2021-04-27 19:11:16 | <slack1256> | Read on Data.List and the `vector` library. |
| 2021-04-27 19:11:55 | <monochrom> | I wonder if it's as simple as "type X c1 c2 a = (c1 a, c2 a)" |
| 2021-04-27 19:11:57 | Guest70260 | is now known as sm[m] |
| 2021-04-27 19:12:24 | <monochrom> | But if you want to use it as "X Read Text" without "a", I don't know. |
| 2021-04-27 19:13:12 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-27 19:14:26 | <DigitalKiwi> | .glirclogs/#haskell/2021-03-15.log:[22:47:52] <koz_> solidus-river: https://www.oreilly.com/library/view/parallel-and-concurrent/9781449335939/pt02.html |
| 2021-04-27 19:14:38 | → | Qwerky joins (~qwerky@37.173.171.170) |
| 2021-04-27 19:14:50 | <DigitalKiwi> | found the answer to my question ^ |
| 2021-04-27 19:15:05 | <koz_> | DigitalKiwi: Happy to be of service rofl? |
| 2021-04-27 19:16:32 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-27 19:16:33 | <monochrom> | haha |
| 2021-04-27 19:18:12 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-04-27 19:19:40 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) |
| 2021-04-27 19:20:20 | <slack1256> | monochrom: Yeah, I thought there was a standard type family already defined |
| 2021-04-27 19:20:35 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-27 19:23:44 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 245 seconds) |
| 2021-04-27 19:24:20 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-27 19:25:37 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) (Quit: Konversation terminated!) |
| 2021-04-27 19:25:50 | <mniip> | monochrom, class (c1 a, c2 a) => X c1 c2 a; instance (c1 a, c2 a) => X c1 c2 a |
| 2021-04-27 19:25:54 | × | vchlup quits (~vchlup@nat.brnet.cz) (Ping timeout: 268 seconds) |
| 2021-04-27 19:27:06 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-27 19:27:16 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:6df4:a206:6bd4:dc59) |
| 2021-04-27 19:29:08 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) |
| 2021-04-27 19:30:26 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-04-27 19:31:56 | → | ntqz joins (ntqz@gateway/vpn/protonvpn/ntqz) |
| 2021-04-27 19:32:02 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-04-27 19:32:16 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-04-27 19:33:35 | → | bennofs_ joins (~quassel@x4dbffbc2.dyn.telefonica.de) |
| 2021-04-27 19:35:01 | <shapr> | does tommy thorn show up here? |
| 2021-04-27 19:35:13 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-27 19:35:39 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.250) |
| 2021-04-27 19:35:42 | × | __minoru__shirae quits (~shiraeesh@109.166.59.124) (Ping timeout: 240 seconds) |
| 2021-04-27 19:35:55 | <shapr> | I vaguely recall reading that the reduceron graph reduction CPU needs more memory bandwidth than the bog standard von neumann CPU, does anyone have references in mind? |
| 2021-04-27 19:36:57 | × | supercoven_ quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-04-27 19:37:39 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:3d14:16a1:a9f1:c29c) |
| 2021-04-27 19:38:25 | <slack1256> | What is the extension that makes * be called Type also? |
| 2021-04-27 19:39:40 | <monochrom> | No extension needed. But you have to import "Type" from Data.Kind (or GHC.Exts or ...) |
| 2021-04-27 19:40:05 | <slack1256> | Ooh, right |
| 2021-04-27 19:40:11 | <slack1256> | Thank monochrom. |
| 2021-04-27 19:40:19 | <monochrom> | Likewise for "Constraint". |
| 2021-04-27 19:42:08 | → | StOnE joins (~StOnE@231.154.61.94.rev.vodafone.pt) |
| 2021-04-27 19:42:46 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:3d14:16a1:a9f1:c29c) (Ping timeout: 276 seconds) |
| 2021-04-27 19:43:15 | × | knupfer quits (~Thunderbi@200116b82b9c4f0069e2a2a836aa8e3f.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2021-04-27 19:43:45 | ← | StOnE parts (~StOnE@231.154.61.94.rev.vodafone.pt) () |
| 2021-04-27 19:44:13 | → | knupfer joins (~Thunderbi@200116b82b9c4f00f9c2991c9c527ef0.dip.versatel-1u1.de) |
| 2021-04-27 19:46:05 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 252 seconds) |
| 2021-04-27 19:49:33 | × | ech quits (~user@gateway/tor-sasl/ech) (Remote host closed the connection) |
| 2021-04-27 19:49:47 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 2021-04-27 19:54:16 | <carbolymer> | in the profiler output there's "entries" and "individual allocation", I'm looking for places with high memory usage, should I multiply entries * individual alloc in order to find which place had the biggest contribution to memory usage? |
All times are in UTC.