Logs: liberachat/#haskell
| 2021-07-09 23:06:30 | <monochrom> | (# #) is something low level that's even cheaper than (). |
| 2021-07-09 23:06:41 | <smtnet3> | Ah right |
| 2021-07-09 23:07:12 | <smtnet3> | Oh right unboxed unit |
| 2021-07-09 23:07:23 | <smtnet3> | obviously more performant than boxed unit |
| 2021-07-09 23:07:29 | <smtnet3> | Interesting |
| 2021-07-09 23:08:01 | → | slice joins (~slice@user/slice) |
| 2021-07-09 23:11:20 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-09 23:13:59 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9550509afe7c5cdd8ef5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-09 23:16:09 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-09 23:21:49 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-09 23:22:36 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) |
| 2021-07-09 23:23:56 | × | wolfshappen quits (~waff@irc.furworks.de) (Quit: later) |
| 2021-07-09 23:24:13 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-09 23:24:38 | <catern> | uggghhhh typesystem haters can be so frustrating sometimes |
| 2021-07-09 23:24:38 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-09 23:25:09 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 2021-07-09 23:25:46 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-09 23:26:13 | × | slice quits (~slice@user/slice) (Quit: zzz) |
| 2021-07-09 23:26:33 | <catern> | I hate when I read people confidently state that types aren't useful for distributed systems because they aren't as extensible as dynamic types (I lately send them https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ an extremely useful post...) |
| 2021-07-09 23:27:13 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-09 23:27:43 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-09 23:34:14 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 255 seconds) |
| 2021-07-09 23:34:19 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Remote host closed the connection) |
| 2021-07-09 23:35:28 | × | ghais quits (~ghais@c-76-97-106-226.hsd1.ga.comcast.net) (Ping timeout: 246 seconds) |
| 2021-07-09 23:35:46 | <boxscape> | hm, speaking of that blog post, I think -XOverloadedRecordDot will get us a bit closer in the direction of structural typing? As in, you can write `\p -> print p.name`, and it will work for any record that has a Showable name field |
| 2021-07-09 23:35:53 | <boxscape> | \a -> print a.test :: (Show a, HasField "test" r a) => r -> IO () |
| 2021-07-09 23:36:50 | <boxscape> | ("closer" in the sense of ergonomics, not necessarily type theory) |
| 2021-07-09 23:38:49 | <monochrom> | I respect that both distributed systems and serialization systems face the challenge of staying compatible with old versions of data formats. The answer is still not chanting "dynamic typing" as though it were a magic spell that simply casted away the problem. |
| 2021-07-09 23:39:13 | <monochrom> | Dynamic or static, you still need to write the same consciously handwritten code. |
| 2021-07-09 23:39:38 | <monochrom> | painstakenly earned code |
| 2021-07-09 23:40:33 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-09 23:43:37 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-07-09 23:44:45 | → | neurocyte4047 joins (~neurocyte@46.243.81.30) |
| 2021-07-09 23:44:45 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-07-09 23:44:45 | × | neurocyte4047 quits (~neurocyte@46.243.81.30) (Changing host) |
| 2021-07-09 23:44:45 | → | neurocyte4047 joins (~neurocyte@user/neurocyte) |
| 2021-07-09 23:45:18 | × | neurocyte404 quits (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 2021-07-09 23:45:18 | neurocyte4047 | is now known as neurocyte404 |
| 2021-07-09 23:48:11 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-09 23:49:55 | → | slice joins (~slice@user/slice) |
| 2021-07-09 23:50:30 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-09 23:54:28 | × | viluon quits (uid453725@id-453725.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-09 23:54:48 | ← | jmorris parts (uid433911@id-433911.stonehaven.irccloud.com) () |
| 2021-07-10 00:01:28 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 246 seconds) |
| 2021-07-10 00:04:04 | × | slice quits (~slice@user/slice) (Quit: o/) |
| 2021-07-10 00:12:15 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-10 00:14:22 | × | wolfshappen quits (~waff@irc.furworks.de) (Quit: later) |
| 2021-07-10 00:19:00 | → | stevenxl joins (~stevenlei@66.63.167.105) |
| 2021-07-10 00:21:28 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-10 00:25:51 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-10 00:29:39 | → | safinaskar joins (~user@109-252-90-89.nat.spd-mgts.ru) |
| 2021-07-10 00:29:48 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2021-07-10 00:30:41 | ← | safinaskar parts (~user@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-07-10 00:32:13 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-10 00:33:09 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-10 00:33:25 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-10 00:34:27 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-10 00:43:48 | × | stevenxl quits (~stevenlei@66.63.167.105) (Quit: leaving) |
| 2021-07-10 00:48:14 | <zzz> | monochrom: there kind of was code, i was changing `map snd $ M.toList $ M.map f m` to `map (f . snd) $ M.toList m` or something like that and I got curious on the general performance aspect of it |
| 2021-07-10 00:50:44 | → | hmmmas joins (~fidnc@183.217.200.144) |
| 2021-07-10 00:51:44 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-10 00:55:09 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-10 00:56:01 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-10 00:56:54 | <monochrom> | You are dropping the dictionary structure. Assuming that this is the intention, one of them builds an intermediate IntMap, the other builds an intermediate lazy list. |
| 2021-07-10 00:58:24 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-10 00:58:25 | <monochrom> | Lazy list being lazy, a consumer like print or head will cause the whole thing to stay in O(1) space. Furthermore, there is also a good chance that even the list node is optimized away by list fusion, there is not even GC pressure. |
| 2021-07-10 00:59:15 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-10 00:59:22 | <monochrom> | IntMap being emphatically not lazy, and more pointers to initialize, it is not wise to build a second one unless you actually will use its IntMap nature. |
| 2021-07-10 00:59:51 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-10 01:00:59 | <monochrom> | Lastly, M.elems exists. |
| 2021-07-10 01:01:40 | <DigitalKiwi> | monochrom: just set them up to knock them down? |
| 2021-07-10 01:02:02 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 2021-07-10 01:02:10 | <monochrom> | Sorry, "them" = ? |
| 2021-07-10 01:02:11 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-10 01:02:22 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-10 01:02:22 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 246 seconds) |
| 2021-07-10 01:02:26 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-10 01:02:59 | <DigitalKiwi> | the intermediates |
| 2021-07-10 01:03:03 | <DigitalKiwi> | https://www.youtube.com/watch?v=dvf--10EYXw |
| 2021-07-10 01:04:08 | <monochrom> | No comment. |
| 2021-07-10 01:04:14 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 255 seconds) |
| 2021-07-10 01:04:41 | <DigitalKiwi> | you made me think of that ;( |
| 2021-07-10 01:05:29 | × | ding quits (~ding@2001:19f0:5:14c2:5400:2ff:fee0:a42c) (Quit: oopsy) |
| 2021-07-10 01:05:42 | → | ding joins (~ding@commie.space) |
| 2021-07-10 01:06:02 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 255 seconds) |
| 2021-07-10 01:06:13 | <DigitalKiwi> | next time if you could make me think of something better that would be nice thanks |
| 2021-07-10 01:06:29 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-10 01:06:45 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-07-10 01:06:53 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-10 01:06:58 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-10 01:07:48 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-10 01:09:11 | × | beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 255 seconds) |
| 2021-07-10 01:09:38 | × | chomwitt quits (~Pitsikoko@ppp-94-67-202-202.home.otenet.gr) (Ping timeout: 255 seconds) |
| 2021-07-10 01:10:30 | × | guest61 quits (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-10 01:11:38 | → | guest61 joins (~xxx@47.245.54.240) |
| 2021-07-10 01:14:21 | × | Teacup_ quits (~teacup@user/teacup) (Quit: Teacup_) |
| 2021-07-10 01:14:44 | → | Teacup joins (~teacup@user/teacup) |
| 2021-07-10 01:17:17 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 2021-07-10 01:18:06 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-10 01:19:43 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
All times are in UTC.