Logs: freenode/#haskell
| 2021-04-05 19:36:54 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-05 19:37:26 | <monochrom> | "I am reading a 3MB file into String, it uses 3GB" was a common question here. >:) |
| 2021-04-05 19:38:39 | <geekosaur> | still is fairly common, with String replaced by something else. last few were ByteStrings iirc |
| 2021-04-05 19:38:48 | <tomsmeding> | monochrom: note my usage of "should" as opposed to "does" ;) |
| 2021-04-05 19:39:32 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 19:40:15 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 19:40:31 | → | LKoen_ joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-05 19:42:03 | × | fissureman quits (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-05 19:42:20 | tomsmeding | wonders if someone has implemented mutex-guarded mutable data structures for haskell |
| 2021-04-05 19:43:07 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Ping timeout: 260 seconds) |
| 2021-04-05 19:43:47 | <monochrom> | I think Chan counts. It is a singly linked list using MVars all the way down. |
| 2021-04-05 19:44:18 | <infinisil> | This instance is awesome: Monoid a => Applicative ((,) a) |
| 2021-04-05 19:44:27 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-05 19:44:49 | <monochrom> | Although one MVar is different from one mutex, by the time you have a ton of MVar-based list nodes, it comes close. |
| 2021-04-05 19:44:54 | → | juri__ joins (~juri@79.140.115.234) |
| 2021-04-05 19:45:40 | <monochrom> | "is that Writer monad?" meme >:) |
| 2021-04-05 19:46:07 | <monochrom> | (I was going to say, a few days ago, when it came up.) |
| 2021-04-05 19:46:24 | × | Forlorn_ quits (~Forlorn@unaffiliated/forlorn) (Remote host closed the connection) |
| 2021-04-05 19:46:26 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-05 19:46:45 | <infinisil> | monochrom: Oh that instance is Writer? |
| 2021-04-05 19:46:52 | <infinisil> | Oh yeah I guess it kinda is |
| 2021-04-05 19:48:18 | × | gtk quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-05 19:48:18 | × | juri_ quits (~juri@79.140.120.149) (Ping timeout: 260 seconds) |
| 2021-04-05 19:48:21 | <monochrom> | Technically, (Monoid a, Monad m) => Monad (WriterT m a), then let m = Identity |
| 2021-04-05 19:48:40 | <infinisil> | Oh yeah, it very much is |
| 2021-04-05 19:48:43 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2021-04-05 19:48:45 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-05 19:49:09 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 19:49:25 | <monochrom> | But after m=Identity and unwrapping the newtype wrapper, it is (,) a. |
| 2021-04-05 19:49:31 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-05 19:49:57 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-04-05 19:50:55 | <infinisil> | Yea |
| 2021-04-05 19:50:56 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-05 19:50:58 | <infinisil> | Magical |
| 2021-04-05 19:51:01 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-05 19:51:18 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-05 19:51:40 | <monochrom> | In nice correspondence with (->)e being Reader e, too. |
| 2021-04-05 19:52:01 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-05 19:52:55 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-05 19:52:58 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-05 19:53:10 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 19:53:41 | <tomsmeding> | monochrom: I was more talking about a mutable array that uses only O(1) more memory than its elements and that I can modify in parallel :p |
| 2021-04-05 19:53:53 | <infinisil> | monochrom: Damn |
| 2021-04-05 19:54:29 | × | xff0x quits (~xff0x@2001:1a81:523f:b000:f90:eaa6:ad10:8f7) (Ping timeout: 250 seconds) |
| 2021-04-05 19:55:35 | → | xff0x joins (~xff0x@2001:1a81:523f:b000:4f57:ce37:eed1:27d0) |
| 2021-04-05 19:56:09 | → | juri_ joins (~juri@79.140.123.6) |
| 2021-04-05 19:57:16 | × | Lycurgus quits (~niemand@98.4.115.201) (Quit: Exeunt) |
| 2021-04-05 19:57:32 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 19:58:46 | × | juri__ quits (~juri@79.140.115.234) (Ping timeout: 240 seconds) |
| 2021-04-05 19:58:49 | → | crestfallen joins (~john@128.32.176.159) |
| 2021-04-05 19:59:39 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 20:01:21 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-05 20:03:52 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-05 20:04:06 | × | juri_ quits (~juri@79.140.123.6) (Ping timeout: 240 seconds) |
| 2021-04-05 20:05:15 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 265 seconds) |
| 2021-04-05 20:06:09 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:5962:e60d:b2c8:27f9) |
| 2021-04-05 20:07:13 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-05 20:11:27 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-05 20:11:47 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-05 20:11:47 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-04-05 20:12:45 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-04-05 20:13:27 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-04-05 20:16:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-04-05 20:18:40 | → | ajc joins (~ajc@69.231.232.79) |
| 2021-04-05 20:19:12 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-05 20:19:25 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:5962:e60d:b2c8:27f9) (Read error: Connection reset by peer) |
| 2021-04-05 20:19:46 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-05 20:20:39 | → | malumore joins (~malumore@151.62.127.167) |
| 2021-04-05 20:22:28 | × | BrunoNapoleao quits (~BrunoNapo@194.37.96.82) (Remote host closed the connection) |
| 2021-04-05 20:23:07 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-05 20:23:25 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-05 20:24:22 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-05 20:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-04-05 20:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 20:26:09 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-05 20:26:28 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-05 20:29:40 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-04-05 20:30:13 | × | geekosaur quits (42d52137@66.213.33.55) (Quit: Connection closed) |
| 2021-04-05 20:30:26 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:b54a:36bf:7632:87f4) |
| 2021-04-05 20:31:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 20:34:33 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-05 20:35:26 | × | proteusguy quits (~proteusgu@cm-58-10-155-117.revip7.asianet.co.th) (Ping timeout: 260 seconds) |
| 2021-04-05 20:35:58 | × | thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 240 seconds) |
| 2021-04-05 20:37:09 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-05 20:40:03 | × | xff0x quits (~xff0x@2001:1a81:523f:b000:4f57:ce37:eed1:27d0) (Ping timeout: 260 seconds) |
| 2021-04-05 20:40:48 | → | xff0x joins (~xff0x@2001:1a81:523f:b000:3578:169e:a638:309) |
| 2021-04-05 20:42:19 | → | thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker) |
| 2021-04-05 20:42:23 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-05 20:43:48 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-05 20:45:45 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 20:46:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-05 20:47:37 | → | proteusguy joins (~proteusgu@cm-58-10-155-117.revip7.asianet.co.th) |
| 2021-04-05 20:49:18 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 20:52:19 | × | ystael quits (~ystael@130.sub-174-196-210.myvzw.com) (Read error: Connection reset by peer) |
| 2021-04-05 20:54:51 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-05 20:54:57 | × | xff0x quits (~xff0x@2001:1a81:523f:b000:3578:169e:a638:309) (Ping timeout: 252 seconds) |
| 2021-04-05 20:56:02 | → | xff0x joins (~xff0x@2001:1a81:523f:b000:30db:80f7:2aff:f171) |
| 2021-04-05 20:56:51 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-05 20:57:51 | → | Hellaenergy joins (~Hellaener@178.239.168.171) |
| 2021-04-05 21:00:03 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
All times are in UTC.