2024/11/12

Newest at the top

2024-11-12 16:44:01 +0100longlongdouble(~longlongd@49.36.232.34) (Remote host closed the connection)
2024-11-12 16:35:45 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-11-12 16:35:43 +0100Fijxu(~Fijxu@user/fijxu) fijxu
2024-11-12 16:31:35 +0100longlongdouble(~longlongd@49.36.232.34)
2024-11-12 16:31:20 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer)
2024-11-12 16:30:25 +0100Fijxu(~Fijxu@user/fijxu) (Ping timeout: 248 seconds)
2024-11-12 16:30:25 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a)
2024-11-12 16:30:13 +0100longlongdouble(~longlongd@49.36.232.34) (Remote host closed the connection)
2024-11-12 16:25:27 +0100longlongdouble(~longlongd@49.36.232.34)
2024-11-12 16:24:38 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer)
2024-11-12 16:23:47 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a)
2024-11-12 16:23:34 +0100longlongdouble(~longlongd@49.36.232.34) (Remote host closed the connection)
2024-11-12 16:23:12 +0100 <briandaed> yin: I'm not aware any implicit memoization in Haskell, there are some techniques / libraries for it, as for foldrWithKey vs mapWithKey - make a benchmark and compare what is better for you
2024-11-12 16:23:06 +0100longlongdouble(~longlongd@49.36.232.34)
2024-11-12 16:22:09 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer)
2024-11-12 16:20:15 +0100 <yin> would using foldrWithKey any differente for this? i'm guessing mapWithKey doesn not create an intermediate data structure at each step. would there be any benefit in fold vs map?
2024-11-12 16:19:56 +0100Square(~Square@user/square) (Ping timeout: 255 seconds)
2024-11-12 16:19:56 +0100mari-estel(~mari-este@user/mari-estel) (Ping timeout: 255 seconds)
2024-11-12 16:17:35 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a)
2024-11-12 16:17:22 +0100longlongdouble(~longlongd@49.36.232.34) (Remote host closed the connection)
2024-11-12 16:17:22 +0100longlongdouble(~longlongd@49.36.232.34)
2024-11-12 16:16:25 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer)
2024-11-12 16:14:33 +0100 <divya> I'm thinking of presenting a talk, any particular areas of haskell that you guys might like getting covered?
2024-11-12 16:13:23 +0100 <yin> f does some duplicate calculations like `calculation (myIntMap st) x = ...`. does Haskell optimize this (avoiding duplicate operations by performing some kind of memoization)?
2024-11-12 16:13:10 +0100 <yin> i want to alter every value of an IntMap according to some calculations based on a state record type. the IntMap is one of the fields in the state. so i have a function that looks like `step :: MyState -> MyState ; step st = st { myIntMap = IntMap.mapWithKey (f st) (myIntMap st) }`
2024-11-12 16:11:40 +0100Fijxu(~Fijxu@user/fijxu) fijxu
2024-11-12 16:10:33 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2024-11-12 16:09:07 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-11-12 16:05:53 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a)
2024-11-12 16:05:40 +0100longlongdouble(~longlongd@49.36.232.34) (Remote host closed the connection)
2024-11-12 16:03:18 +0100Fijxu(~Fijxu@user/fijxu) (Ping timeout: 252 seconds)
2024-11-12 16:01:55 +0100ljdarj1ljdarj
2024-11-12 16:01:55 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-11-12 15:57:50 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-11-12 15:57:15 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-11-12 15:55:24 +0100misterfish(~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 272 seconds)
2024-11-12 15:54:53 +0100longlongdouble(~longlongd@49.36.232.34)
2024-11-12 15:54:04 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer)
2024-11-12 15:50:58 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a)
2024-11-12 15:50:44 +0100longlongdouble(~longlongd@49.36.232.34) (Remote host closed the connection)
2024-11-12 15:49:25 +0100hellwolf(~user@2001:1530:70:545:ac66:99b5:ab1c:ca1) hellwolf
2024-11-12 15:49:21 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-11-12 15:49:04 +0100hellwolf(~user@2001:1530:70:545:ac66:99b5:ab1c:ca1) (Quit: rcirc on GNU Emacs 29.4)
2024-11-12 15:39:42 +0100longlongdouble(~longlongd@49.36.232.34)
2024-11-12 15:38:53 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer)
2024-11-12 15:37:14 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-11-12 15:33:27 +0100alp(~alp@2001:861:e3d6:8f80:a99a:73f2:3cc3:6a6c) (Ping timeout: 246 seconds)
2024-11-12 15:27:00 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a)
2024-11-12 15:26:47 +0100longlongdouble(~longlongd@49.36.232.34) (Remote host closed the connection)
2024-11-12 15:23:58 +0100longlongdouble(~longlongd@49.36.232.34)