Logs: liberachat/#haskell
| 2026-04-09 07:15:04 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-04-09 07:18:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-09 07:23:24 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-09 07:25:24 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-09 07:25:49 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-09 07:26:37 | → | Enrico63 joins (~Enrico63@host-212-171-80-94.retail.telecomitalia.it) |
| 2026-04-09 07:35:07 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-09 07:35:41 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-04-09 07:35:53 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-09 07:38:58 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-04-09 07:40:06 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-09 07:51:25 | → | qqq_ joins (~qqq@185.54.23.237) |
| 2026-04-09 07:52:38 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:99db:133:cbd4:5b6d) |
| 2026-04-09 07:52:38 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:99db:133:cbd4:5b6d) (Changing host) |
| 2026-04-09 07:52:38 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-09 07:53:01 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-04-09 07:54:07 | × | qqq quits (~qqq@194.124.210.29) (Read error: Connection reset by peer) |
| 2026-04-09 07:57:16 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2026-04-09 07:57:55 | × | qqq_ quits (~qqq@185.54.23.237) (Ping timeout: 264 seconds) |
| 2026-04-09 07:58:25 | → | qqq joins (~qqq@194.124.210.29) |
| 2026-04-09 08:01:45 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-04-09 08:07:29 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-09 08:07:36 | → | poscat joins (~poscat@user/poscat) |
| 2026-04-09 08:08:42 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-09 08:09:22 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2026-04-09 08:11:17 | × | ft quits (~ft@p508db341.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-09 08:12:56 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-09 08:33:36 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:99db:133:cbd4:5b6d) |
| 2026-04-09 08:33:36 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:99db:133:cbd4:5b6d) (Changing host) |
| 2026-04-09 08:33:36 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-09 08:37:44 | × | qqq quits (~qqq@194.124.210.29) (Ping timeout: 244 seconds) |
| 2026-04-09 08:39:49 | → | qqq joins (~qqq@185.54.23.237) |
| 2026-04-09 08:57:40 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2026-04-09 08:59:57 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-04-09 09:06:17 | → | danz98710 joins (~danza@user/danza) |
| 2026-04-09 09:06:51 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-04-09 09:06:55 | × | werneta quits (~werneta@71.83.160.242) (Ping timeout: 264 seconds) |
| 2026-04-09 09:17:15 | → | pfc joins (~pfc@user/pfc) |
| 2026-04-09 09:22:59 | → | Freakie joins (~Freakie@185.45.22.133) |
| 2026-04-09 09:24:08 | × | qqq quits (~qqq@185.54.23.237) (Quit: Lost terminal) |
| 2026-04-09 09:24:17 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 252 seconds) |
| 2026-04-09 09:24:44 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-04-09 09:28:37 | × | carbolymer quits (carbolymer@delirium.systems) () |
| 2026-04-09 09:28:51 | → | carbolymer joins (carbolymer@delirium.systems) |
| 2026-04-09 09:34:39 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2026-04-09 09:35:46 | × | uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 248 seconds) |
| 2026-04-09 09:38:19 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-04-09 09:42:36 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-09 09:43:22 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-09 09:53:34 | × | carbolymer quits (carbolymer@delirium.systems) () |
| 2026-04-09 09:54:11 | → | carbolymer joins (carbolymer@delirium.systems) |
| 2026-04-09 09:54:23 | × | Vajb quits (~Vajb@n7m5g0hrctljxjtgjiv-1.v6.elisa-mobile.fi) (Ping timeout: 272 seconds) |
| 2026-04-09 09:58:06 | <kaol> | Where's the mute button for GHC's head warning about partial functions? I don't care about them in my test suite. |
| 2026-04-09 09:58:36 | → | Vajb joins (~Vajb@n854ip96os9fc74v6iq-1.v6.elisa-mobile.fi) |
| 2026-04-09 09:58:40 | → | werneta joins (~werneta@71.83.160.242) |
| 2026-04-09 10:00:25 | <kaol> | Found it: {-# OPTIONS_GHC -Wno-warnings-deprecations #-} |
| 2026-04-09 10:01:15 | <kaol> | No wait, my module just didn't compile. I must have been hitting :r already. |
| 2026-04-09 10:06:44 | → | acidjnk_new joins (~acidjnk@p200300d6e700e536bdd7e91e7ee797c5.dip0.t-ipconnect.de) |
| 2026-04-09 10:08:25 | <tomsmeding> | kaol: -Wno-x-partial |
| 2026-04-09 10:09:05 | <tomsmeding> | and if you want to also compile with GHC <9.8, also -Wno-recognised-warnings-flags |
| 2026-04-09 10:09:41 | → | bggd joins (~bgg@2a01:e0a:fd5:f510:eca7:61cc:3f32:5425) |
| 2026-04-09 10:09:41 | × | bggd quits (~bgg@2a01:e0a:fd5:f510:eca7:61cc:3f32:5425) (Changing host) |
| 2026-04-09 10:09:41 | → | bggd joins (~bgg@user/bggd) |
| 2026-04-09 10:10:13 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e5547dbd3ba66fa0822f.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-04-09 10:12:50 | → | puke joins (~puke@user/puke) |
| 2026-04-09 10:13:50 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2026-04-09 10:20:32 | × | craunts795335385 quits (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-09 10:30:28 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2026-04-09 10:30:52 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-09 10:36:20 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-04-09 10:38:30 | → | kmein joins (~weechat@user/kmein) |
| 2026-04-09 10:42:11 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-09 10:44:52 | × | danz98710 quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-09 10:46:46 | × | Enrico63 quits (~Enrico63@host-212-171-80-94.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-09 10:49:16 | → | Square2 joins (~Square4@user/square) |
| 2026-04-09 10:50:47 | → | qqq joins (~qqq@185.54.23.237) |
| 2026-04-09 11:08:39 | → | Googulator joins (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-09 11:09:03 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 2026-04-09 11:19:44 | → | Milan_Vanca joins (~milan@user/Milan-Vanca:32634) |
| 2026-04-09 11:23:48 | <Milan_Vanca> | Hello guyz, is there a rule that says when will something be reused or computed anew? |
| 2026-04-09 11:24:57 | <mauke> | depends on what you mean by "something", I guess |
| 2026-04-09 11:25:53 | <mauke> | my rule of thumb is that if it's bound to a name and has no class constraints in the type, it's reused |
| 2026-04-09 11:26:51 | → | xff0x joins (~xff0x@2405:6580:b080:900:af0a:3044:7ec:45a0) |
| 2026-04-09 11:28:43 | <Milan_Vanca> | Not sure if I understand what "bound to name" means. |
| 2026-04-09 11:28:50 | <Freakie> | let x = 2 * 4 |
| 2026-04-09 11:29:07 | <Milan_Vanca> | what about pi = 3.14 |
| 2026-04-09 11:29:09 | <Freakie> | the expression 2 * 4 is bound to the name x |
| 2026-04-09 11:29:16 | <Milan_Vanca> | is 3.14 bound to name pi? |
| 2026-04-09 11:29:27 | <Freakie> | are you familiar with lambda calculus? |
| 2026-04-09 11:29:27 | <Milan_Vanca> | I mean function definition in module |
| 2026-04-09 11:29:35 | <mauke> | yes, but there's nothing to calculuate there |
| 2026-04-09 11:29:46 | <mauke> | s/ua/a/ |
| 2026-04-09 11:29:56 | <Freakie> | let expressions are just syntactic sugar for lambda functions |
| 2026-04-09 11:30:17 | <mauke> | Freakie: not really |
| 2026-04-09 11:30:30 | <mauke> | due to recursion and polymorphism |
| 2026-04-09 11:30:43 | <Freakie> | well I'm not sure if they are in haskell specifically but it was more to illustrate what is meant by name binding |
| 2026-04-09 11:31:58 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-09 11:32:14 | <Milan_Vanca> | Imaigne function heavy :: Map Int Int and Imagine another function that uses heavy in its body multiple times... I think haskell implementation is free to even recompute heavy or reuse it |
| 2026-04-09 11:32:16 | <Freakie> | Milan_Vanca but I think in general if you bind an expression to a variable it should only be computed once, whereas if you call the same function with the same arguments it should recompute it |
| 2026-04-09 11:32:29 | <Freakie> | not sure if there are some program analyses that can optimize it out |
All times are in UTC.