Logs: liberachat/#haskell
| 2021-07-06 18:43:31 | <qrpnxz> | are probably 1000000 SO posts on how do pointers work |
| 2021-07-06 18:43:39 | <qrpnxz> | i don't get why ppl have problem with pointers either |
| 2021-07-06 18:43:40 | <maerwald> | monochrom: hah... that's a tricky one, especially since array degrades to pointer sometimes but has the same syntax |
| 2021-07-06 18:43:41 | <maerwald> | terrible |
| 2021-07-06 18:43:47 | <monochrom> | Oh oh but what the 1970s got right was the RTFM attitude. |
| 2021-07-06 18:44:13 | <monochrom> | Much needed today. People need to say "RTFM" more. |
| 2021-07-06 18:44:19 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2021-07-06 18:44:24 | <qrpnxz> | maerwald, yeah, go fixed that. You can actually pass arrays by value in go |
| 2021-07-06 18:44:32 | <maerwald> | monochrom: if you put the manual on tik tok, maybe |
| 2021-07-06 18:44:48 | <qrpnxz> | they behave exactly as you'd expect |
| 2021-07-06 18:44:56 | <monochrom> | Yeah, "tik tok attention span" is now an actual phrase. |
| 2021-07-06 18:45:22 | <monochrom> | I learned it from TwoSetViolin. Perhaps they coined it. |
| 2021-07-06 18:46:12 | → | cuz joins (~user@38.140.58.234) |
| 2021-07-06 18:49:22 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-06 18:50:06 | × | dunkeln_ quits (~dunkeln@188.71.194.238) (Ping timeout: 265 seconds) |
| 2021-07-06 18:53:45 | <maerwald> | monochrom: do your lectures via tik tok ;) |
| 2021-07-06 18:54:18 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:7930:a54c:f178:5c1a) |
| 2021-07-06 18:55:52 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 246 seconds) |
| 2021-07-06 18:57:14 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-07-06 18:57:39 | <maerwald> | with a little dance, preferably, to get your students attention |
| 2021-07-06 18:57:48 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-06 18:58:17 | → | dunkeln joins (~dunkeln@188.71.194.238) |
| 2021-07-06 19:03:18 | × | dunkeln quits (~dunkeln@188.71.194.238) (Ping timeout: 272 seconds) |
| 2021-07-06 19:03:41 | shapr` | is now known as shapr |
| 2021-07-06 19:05:59 | <maerwald> | science in 20 years: this is how we spoiled the brains of 2 generations |
| 2021-07-06 19:07:52 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-06 19:08:06 | <monochrom> | Ugh, at this rate, there will be no science left in 20 years. |
| 2021-07-06 19:08:09 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 2021-07-06 19:08:46 | <maerwald> | but ppl will know how to twerk |
| 2021-07-06 19:09:13 | <maerwald> | evolution isn't linear |
| 2021-07-06 19:09:58 | → | pavonia joins (~user@user/siracusa) |
| 2021-07-06 19:12:16 | → | terrorjack4 joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-07-06 19:12:31 | <qrpnxz> | twerking been dead for years now |
| 2021-07-06 19:13:23 | <monochrom> | devolution is an exponential decay, not linear :) |
| 2021-07-06 19:13:30 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-07-06 19:13:30 | terrorjack4 | is now known as terrorjack |
| 2021-07-06 19:13:47 | <maerwald> | qrpnxz: sorry, I'm not up2date |
| 2021-07-06 19:14:34 | <monochrom> | I didn't even know of twerk. |
| 2021-07-06 19:15:28 | <qrpnxz> | that's for the better |
| 2021-07-06 19:15:33 | <monochrom> | :) |
| 2021-07-06 19:17:01 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-06 19:17:15 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-06 19:21:05 | × | superbil quits (~superbil@1-34-176-171.HINET-IP.hinet.net) (Ping timeout: 268 seconds) |
| 2021-07-06 19:23:22 | → | superbil joins (~superbil@1-34-176-171.HINET-IP.hinet.net) |
| 2021-07-06 19:23:52 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2021-07-06 19:25:01 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-06 19:26:42 | → | mikail joins (~mikail@90.152.14.81) |
| 2021-07-06 19:28:05 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-06 19:29:41 | → | ahdyt joins (~ahdyt@103.105.35.78) |
| 2021-07-06 19:30:36 | <ahdyt> | I wonder when we get rid of base Prelude with "better" Prelude? and have one build and package management system? |
| 2021-07-06 19:31:28 | <Rembane> | I don't think we ever will. |
| 2021-07-06 19:31:31 | <qrpnxz> | https://wiki.haskell.org/No_import_of_Prelude ? |
| 2021-07-06 19:32:09 | ← | safinaskar parts (~user@109.252.90.89) () |
| 2021-07-06 19:32:43 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:7930:a54c:f178:5c1a) (Remote host closed the connection) |
| 2021-07-06 19:33:01 | <ahdyt> | yeah qrpnxz I know this and some other trick, but should I do it again and again? |
| 2021-07-06 19:33:36 | <monochrom> | Everyone has a different ideal for a better Prelude. |
| 2021-07-06 19:33:52 | <monochrom> | s/ideal/idea/ |
| 2021-07-06 19:34:07 | <monochrom> | Everyone is in conflict. |
| 2021-07-06 19:34:38 | <monochrom> | And everyone explicitly disagrees on package management. |
| 2021-07-06 19:34:53 | <qrpnxz> | well my prelude definitely the best prelude |
| 2021-07-06 19:34:58 | <ahdyt> | eh really? |
| 2021-07-06 19:35:04 | <qrpnxz> | yep |
| 2021-07-06 19:35:09 | <ahdyt> | no no |
| 2021-07-06 19:35:10 | <ahdyt> | I mean |
| 2021-07-06 19:35:14 | <ahdyt> | the package management idea |
| 2021-07-06 19:35:16 | <qrpnxz> | it's called import everything |
| 2021-07-06 19:35:25 | <tomsmeding> | monochrom: without the sed replace it's still valid for some people |
| 2021-07-06 19:35:28 | <monochrom> | All 6 stances of { cabal's way, stack's way, some other way } x { it is a package manager, it is not a package manager } are inhabited. |
| 2021-07-06 19:35:48 | <edmundnoble> | I prefer the standard ekmett prelude |
| 2021-07-06 19:35:55 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-06 19:36:18 | <edmundnoble> | It's really good for functional stuff |
| 2021-07-06 19:36:30 | <edmundnoble> | Bunch of useful type classes |
| 2021-07-06 19:36:48 | <monochrom> | But the "idea" version is valid for more people and is enough to block any way forward. |
| 2021-07-06 19:37:08 | <edmundnoble> | You can find it at https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html |
| 2021-07-06 19:37:18 | <tomsmeding> | true |
| 2021-07-06 19:37:35 | <tomsmeding> | edmundnoble: sneaky |
| 2021-07-06 19:37:48 | <monochrom> | heh |
| 2021-07-06 19:37:54 | <ahdyt> | but I think cabal and stack is package manager? |
| 2021-07-06 19:37:57 | × | rostero quits (uid236576@id-236576.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-06 19:38:01 | <ahdyt> | lib manager~ |
| 2021-07-06 19:38:07 | <qrpnxz> | i wish i had a tool that automatically removed unused imports in haskell files |
| 2021-07-06 19:38:13 | <edmundnoble> | There is actually a more featureful version if you want more, https://hackage.haskell.org/package/lens-5.0.1/docs/Control-Lens.html |
| 2021-07-06 19:38:28 | <monochrom> | ghc -ddump-minimal-imports |
| 2021-07-06 19:39:16 | <qrpnxz> | :O |
| 2021-07-06 19:39:41 | <monochrom> | The value of RTFM |
| 2021-07-06 19:40:07 | <qrpnxz> | didn't seem to change anything or do anything |
| 2021-07-06 19:40:32 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-06 19:40:43 | <edmundnoble> | It dumps the minimal imports |
| 2021-07-06 19:40:51 | <edmundnoble> | ...to stdout, I'm guessing |
| 2021-07-06 19:41:06 | <edmundnoble> | It doesn't "dump" the *unused* imports from your files |
| 2021-07-06 19:41:13 | <edmundnoble> | Deleting them in place or something |
| 2021-07-06 19:41:25 | <edmundnoble> | This is again a guess, because I didn't RTFM lololol |
| 2021-07-06 19:41:31 | <qrpnxz> | it didn't print anything, looking it up |
| 2021-07-06 19:41:31 | <monochrom> | Not stdout. Look for *.imports |
| 2021-07-06 19:41:36 | <qrpnxz> | ah ok |
| 2021-07-06 19:42:01 | <qrpnxz> | ok this dump is a lie |
| 2021-07-06 19:42:20 | <qrpnxz> | it has stuff i didn't use |
| 2021-07-06 19:42:43 | <qrpnxz> | oh, ig i can just delete lines with () ? |
| 2021-07-06 19:42:58 | <monochrom> | Perhaps you use instances from those. |
| 2021-07-06 19:43:44 | <monochrom> | It also works better if you have an explicit "import Prelude" for it to chew on and emit "import Prelude ( putStrLn )" for my toy example "main = putStrLn "x"" |
All times are in UTC.