Logs: liberachat/#haskell
| 2021-06-06 21:14:43 | × | ddellacosta quits (~ddellacos@83.143.246.110) (Ping timeout: 264 seconds) |
| 2021-06-06 21:14:43 | → | xlei joins (znc@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 2021-06-06 21:15:41 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-06 21:17:00 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-06-06 21:18:02 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-06 21:18:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-06 21:19:19 | → | ddellacosta joins (~ddellacos@89.45.224.209) |
| 2021-06-06 21:19:49 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds) |
| 2021-06-06 21:20:46 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-06 21:21:11 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-06 21:22:01 | <boxscape> | tomsmeding I imagine this probably wouldn't work for some reason? https://paste.tomsmeding.com/k4XVU1SF |
| 2021-06-06 21:23:02 | <tomsmeding> | boxscape: same thing where that isZero formulation I wrote a few messages back doesn't typecheck |
| 2021-06-06 21:23:23 | <boxscape> | ah, I see |
| 2021-06-06 21:24:53 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 272 seconds) |
| 2021-06-06 21:24:59 | → | MQ-17J joins (~MQ-17J@8.21.10.116) |
| 2021-06-06 21:25:48 | tomsmeding | is off to bed, I'll check the logs tomorrow :) |
| 2021-06-06 21:25:55 | <boxscape> | good night |
| 2021-06-06 21:26:05 | <tomsmeding> | thanks! |
| 2021-06-06 21:28:49 | × | ddellacosta quits (~ddellacos@89.45.224.209) (Remote host closed the connection) |
| 2021-06-06 21:29:00 | → | ddellacosta joins (~ddellacos@89.45.224.209) |
| 2021-06-06 21:31:35 | × | ixlun quits (~matthew@109.249.184.235) (Ping timeout: 245 seconds) |
| 2021-06-06 21:32:26 | → | w1gz joins (~do@159.89.11.133) |
| 2021-06-06 21:36:10 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 245 seconds) |
| 2021-06-06 21:38:49 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 2021-06-06 21:38:52 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Client Quit) |
| 2021-06-06 21:39:35 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-06 21:39:51 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-06 21:39:51 | × | ddellacosta quits (~ddellacos@89.45.224.209) (Remote host closed the connection) |
| 2021-06-06 21:40:23 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 2021-06-06 21:40:37 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899) (Remote host closed the connection) |
| 2021-06-06 21:41:24 | × | a6a45081-2b83 quits (~aditya@223.235.239.159) (Remote host closed the connection) |
| 2021-06-06 21:43:31 | × | superbil quits (~superbil@1-34-176-171.HINET-IP.hinet.net) (Ping timeout: 264 seconds) |
| 2021-06-06 21:48:24 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-06 21:49:12 | → | ddellacosta joins (~ddellacos@89.45.224.254) |
| 2021-06-06 21:49:23 | → | dhil joins (~dhil@80.208.56.181) |
| 2021-06-06 21:52:45 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-06 21:53:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-06 21:57:19 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-06 22:00:44 | → | ddellaco_ joins (~ddellacos@86.106.121.235) |
| 2021-06-06 22:01:49 | → | ddellac__ joins (~ddellacos@86.106.121.45) |
| 2021-06-06 22:02:25 | × | ddellacosta quits (~ddellacos@89.45.224.254) (Ping timeout: 245 seconds) |
| 2021-06-06 22:04:44 | <boxscape> | out of curiosity does any know off the top of their head whether modeling a free monad as `newtype FreeMonad f x = FreeMonad {runMonad :: ∀ m . Monad m => (f ~> m) -> m x}` or as `data FreeMonad' f a = Pure a | Free (f (FreeMonad' f a))` is faster? |
| 2021-06-06 22:04:50 | <boxscape> | where `type f ~> g = ∀ α . f α -> g α` |
| 2021-06-06 22:04:51 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899) |
| 2021-06-06 22:05:09 | <boxscape> | i.e. faster in terms of performance |
| 2021-06-06 22:05:15 | <c_wraith> | both are faster |
| 2021-06-06 22:05:20 | <boxscape> | well that's nice |
| 2021-06-06 22:05:24 | <c_wraith> | The question is "at what?" |
| 2021-06-06 22:05:27 | <boxscape> | ah |
| 2021-06-06 22:06:05 | <c_wraith> | the function representation is faster when you just want to build something and then interpret it in a single shot |
| 2021-06-06 22:06:24 | × | ddellac__ quits (~ddellacos@86.106.121.45) (Ping timeout: 268 seconds) |
| 2021-06-06 22:06:29 | <c_wraith> | The data representation is faster when you want to introspect the constructed structure, tearing it down piece by piece |
| 2021-06-06 22:06:42 | <boxscape> | I see |
| 2021-06-06 22:06:46 | <boxscape> | thanks |
| 2021-06-06 22:07:31 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-06 22:07:55 | <monochrom> | The "free" package has a function that lets you start with the data version and still gain some efficiency when interpreting. |
| 2021-06-06 22:08:13 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-06 22:08:29 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-06 22:08:48 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-06 22:09:04 | <boxscape> | okay |
| 2021-06-06 22:10:07 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-06 22:10:33 | → | superbil joins (~superbil@1-34-176-171.HINET-IP.hinet.net) |
| 2021-06-06 22:11:04 | × | ddellaco_ quits (~ddellacos@86.106.121.235) (Remote host closed the connection) |
| 2021-06-06 22:13:47 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-06 22:13:52 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-06 22:14:00 | × | xsperry quits (~as@user/xsperry) () |
| 2021-06-06 22:14:48 | → | xsperry joins (~as@user/xsperry) |
| 2021-06-06 22:15:08 | × | xsperry quits (~as@user/xsperry) (Read error: Connection reset by peer) |
| 2021-06-06 22:16:05 | → | ddellacosta joins (~ddellacos@89.45.224.92) |
| 2021-06-06 22:16:31 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899) (Remote host closed the connection) |
| 2021-06-06 22:16:36 | × | betelgeuse01 quits (~john2gb@94-225-47-8.access.telenet.be) (Quit: Ping timeout (120 seconds)) |
| 2021-06-06 22:16:36 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:190a:219e:41c6:abab) (Quit: Leaving) |
| 2021-06-06 22:18:06 | → | betelgeuse01 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-06 22:21:55 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 264 seconds) |
| 2021-06-06 22:22:14 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (Quit: leaving) |
| 2021-06-06 22:22:31 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
| 2021-06-06 22:23:02 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-06-06 22:23:07 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-06 22:29:01 | → | ddellaco_ joins (~ddellacos@89.46.62.116) |
| 2021-06-06 22:32:40 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-06-06 22:32:50 | × | hexfive quits (~eric@50.35.83.177) (Client Quit) |
| 2021-06-06 22:33:55 | × | ddellaco_ quits (~ddellacos@89.46.62.116) (Ping timeout: 264 seconds) |
| 2021-06-06 22:34:11 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-06 22:36:39 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-06 22:41:32 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-06 22:41:35 | × | dhil quits (~dhil@80.208.56.181) (Ping timeout: 245 seconds) |
| 2021-06-06 22:41:52 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-06 22:44:32 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-06 22:46:31 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-06 22:57:12 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-06 22:58:33 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-06 22:59:19 | → | xsperry joins (~as@user/xsperry) |
| 2021-06-06 23:01:57 | <monochrom> | \∩/ ghcup knows 8.10.5 |
| 2021-06-06 23:04:47 | <geekosaur> | hls doesn't, though. and I'm not sure I want to rebuild the universe just yet |
| 2021-06-06 23:05:06 | <monochrom> | I didn't build anything with 8.10.4 :) |
| 2021-06-06 23:09:40 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-06 23:10:42 | × | ddellacosta quits (~ddellacos@89.45.224.92) (Remote host closed the connection) |
| 2021-06-06 23:10:51 | → | ddellacosta joins (~ddellacos@89.45.224.92) |
| 2021-06-06 23:14:06 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-06-06 23:14:36 | → | bfrk1 joins (~Thunderbi@200116b8451fe900af67d936efb17ea9.dip.versatel-1u1.de) |
All times are in UTC.