Logs: liberachat/#haskell
| 2021-05-30 22:20:09 | <danso> | golly those ghc authors are smart |
| 2021-05-30 22:21:06 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-30 22:21:12 | → | egoist joins (~egoist@186.235.82.52) |
| 2021-05-30 22:21:56 | <danso> | i guess this still means i need to parse at least the first lines of every source code file within IO |
| 2021-05-30 22:22:05 | <danso> | that, or use unsafePerformIO ;^) |
| 2021-05-30 22:23:03 | <danso> | but i can live with that |
| 2021-05-30 22:23:13 | <danso> | thanks to everyone who contributed, this has been interesting |
| 2021-05-30 22:24:56 | → | chisui joins (~chisui@200116b86647790081989979d16794a1.dip.versatel-1u1.de) |
| 2021-05-30 22:25:57 | <dminuoso> | danso: Dont be afraid of using IO. |
| 2021-05-30 22:26:19 | <dminuoso> | It's very normal to structure large parts in IO, but calling pure code from that IO spine. |
| 2021-05-30 22:26:40 | <dminuoso> | Wide access to IO lets you do stuff like logging more keeping mutable references around more easily |
| 2021-05-30 22:27:25 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-30 22:27:29 | <dminuoso> | GHC has IO present everywhere, even in the simplifier. But most passes actually have the type `Core -> Core`, so GHC embeds them with something like: |
| 2021-05-30 22:27:36 | <dminuoso> | doPass :: (CoreProgram -> CoreProgram) -> ModGuts -> CoreM ModGuts |
| 2021-05-30 22:27:58 | <dminuoso> | Which lifts this pure function into the (impure) simplifier. |
| 2021-05-30 22:28:41 | <dminuoso> | The logging alone should make you want IO present in large parts. :p |
| 2021-05-30 22:30:13 | → | ddellacosta joins (~ddellacos@89.46.62.248) |
| 2021-05-30 22:32:17 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-30 22:32:40 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-05-30 22:34:07 | × | alex3 quits (~Chel@BSN-77-82-41.static.siol.net) (Ping timeout: 268 seconds) |
| 2021-05-30 22:35:21 | × | ddellacosta quits (~ddellacos@89.46.62.248) (Ping timeout: 268 seconds) |
| 2021-05-30 22:36:57 | × | kadoban quits (~mud@user/kadoban) (Quit: quit) |
| 2021-05-30 22:39:03 | × | guest0123 quits (~aaron@2601:602:a080:fa0:21da:7ddc:2cc6:a10c) (Ping timeout: 268 seconds) |
| 2021-05-30 22:39:06 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-05-30 22:39:38 | → | kadoban joins (~mud@user/kadoban) |
| 2021-05-30 22:39:49 | → | alex3 joins (~Chel@BSN-77-82-41.static.siol.net) |
| 2021-05-30 22:42:39 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-30 22:44:49 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-05-30 22:47:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-30 22:48:19 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-05-30 22:50:08 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-30 22:51:13 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-05-30 22:51:41 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-05-30 22:52:33 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-30 22:52:56 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-05-30 22:53:02 | allbery_b | is now known as geekosaur |
| 2021-05-30 22:53:36 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-05-30 22:54:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-30 22:55:06 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-30 22:55:58 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds) |
| 2021-05-30 23:00:34 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-05-30 23:02:41 | × | tremon_ quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-05-30 23:02:42 | × | alx741 quits (~alx741@181.196.68.165) (Ping timeout: 264 seconds) |
| 2021-05-30 23:05:35 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 268 seconds) |
| 2021-05-30 23:06:04 | → | ddellacosta joins (~ddellacos@86.106.121.222) |
| 2021-05-30 23:16:58 | → | alx741 joins (~alx741@186.178.108.160) |
| 2021-05-30 23:18:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-30 23:18:54 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 264 seconds) |
| 2021-05-30 23:22:50 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-05-30 23:23:51 | → | bfrk1 joins (~Thunderbi@200116b84534a60005aeadf137ee420f.dip.versatel-1u1.de) |
| 2021-05-30 23:24:58 | → | jjhoo joins (jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) |
| 2021-05-30 23:25:56 | × | bfrk quits (~Thunderbi@200116b845d00f006a2925a261e5e856.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
| 2021-05-30 23:25:56 | bfrk1 | is now known as bfrk |
| 2021-05-30 23:25:58 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) (Remote host closed the connection) |
| 2021-05-30 23:26:26 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) |
| 2021-05-30 23:31:29 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) (Ping timeout: 268 seconds) |
| 2021-05-30 23:32:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-30 23:32:52 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-30 23:38:23 | × | shiraeeshi quits (~shiraeesh@109.166.58.176) (Ping timeout: 272 seconds) |
| 2021-05-30 23:38:49 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-05-30 23:39:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-30 23:39:39 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-30 23:40:07 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2021-05-30 23:42:14 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-05-30 23:45:03 | × | pera quits (~pera@user/pera) (Ping timeout: 268 seconds) |
| 2021-05-30 23:47:39 | → | shapr joins (~user@2607:fb90:a90e:1723:1429:b6ec:2d1d:b192) |
| 2021-05-30 23:49:25 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-30 23:50:41 | → | hylisper joins (~yaaic@111.119.208.67) |
| 2021-05-30 23:51:42 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Killed (NickServ (GHOST command used by winter_!~quassel@user/winter))) |
| 2021-05-30 23:52:06 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-30 23:52:33 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Killed (NickServ (GHOST command used by winter_!~quassel@user/winter))) |
| 2021-05-30 23:52:56 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-30 23:54:56 | × | hylisper quits (~yaaic@111.119.208.67) (Ping timeout: 252 seconds) |
| 2021-05-30 23:56:00 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Killed (NickServ (GHOST command used by winter_!~quassel@user/winter))) |
| 2021-05-30 23:56:24 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-30 23:56:48 | winter | is now known as Guest417 |
| 2021-05-30 23:57:02 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-05-31 00:00:59 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-05-31 00:05:47 | → | ku joins (~ku@2601:280:c780:7ea0:a15d:a611:c59d:5265) |
| 2021-05-31 00:06:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-31 00:07:35 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-05-31 00:08:16 | <hyiltiz> | hello haskell@libera |
| 2021-05-31 00:08:47 | <hyiltiz> | noticed I got banned/kicked from tons of channels from freenode or channels just got silent |
| 2021-05-31 00:09:02 | <hyiltiz> | Guess I was behind the pace of the world |
| 2021-05-31 00:09:15 | hyiltiz | is now known as YourNick |
| 2021-05-31 00:09:53 | <shapr> | hello |
| 2021-05-31 00:09:54 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-31 00:10:08 | <shapr> | yeah, freenode imploded, too bad |
| 2021-05-31 00:10:16 | YourNick | is now known as hyiltiz |
| 2021-05-31 00:10:43 | → | moet joins (~moet@172.58.35.191) |
| 2021-05-31 00:12:17 | <hyiltiz> | now gotta register here I guess |
| 2021-05-31 00:14:49 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-05-31 00:16:07 | × | hyiltiz quits (~quassel@31.220.5.250) (Quit: hyiltiz) |
| 2021-05-31 00:16:55 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-05-31 00:18:27 | <sm[m]> | welcome hyiltiz |
| 2021-05-31 00:20:10 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-31 00:22:05 | × | sajith quits (~sajith@user/sajith) (Quit: Gone) |
| 2021-05-31 00:22:05 | × | nonzen quits (~nonzen@user/nonzen) (Quit: Gone) |
| 2021-05-31 00:22:20 | → | nonzen joins (~nonzen@user/nonzen) |
| 2021-05-31 00:22:52 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
All times are in UTC.