Logs on 2022-11-05 (liberachat/#haskell)
| 00:01:19 | <cheater> | sm: why do you think reverse dependencies are important here? |
| 00:01:21 | <sm> | the 3 most used seem to be quickcheck, hedgehog, smallcheck |
| 00:01:33 | <cheater> | oh, _reverse_ dependencies |
| 00:01:38 | <cheater> | as in popularity contest |
| 00:01:52 | <cheater> | i guess it tells you something about how much take up a certain library has |
| 00:02:10 | <sm> | yes, which property test libs are actually used. It's a pretty cost-effective first signal to look at |
| 00:02:20 | <cheater> | you're right |
| 00:02:26 | <cheater> | but i don't really know which ones to look at |
| 00:02:37 | <cheater> | i know of hedgehog, smallcheck, and i think... uh... smartcheck? |
| 00:02:44 | <cheater> | i believe hedgehog was somehow weird in some way though |
| 00:02:57 | <cheater> | last time i looked at it it seemed very "opinionated" in some way |
| 00:04:26 | <sm> | usually that's a reaction to a freewheeling predecessor and brings a lot of UX improvement |
| 00:04:44 | <sm> | so it's not all bad |
| 00:06:10 | <cheater> | what do you mean by "freewheeling"? |
| 00:06:59 | <sm> | eg a predecessor that was new in the space, so involved in a lot of experiments in different directions, creating a large interesting but chaotic space for users to deal with |
| 00:07:53 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds) |
| 00:08:42 | <sm> | appropriately unopinionated for its time, but now ripe for some curation, to highlight the best - am I making sense ? |
| 00:11:45 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:13:48 | <sm> | quite often in haskell discussions people use "opinionated" pejoratively (as a criticism), I'm just pointing out it is sometimes a good thing |
| 00:19:18 | × | mmhat quits (~mmh@p200300f1c730762fee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 00:21:19 | × | tremon quits (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 00:22:58 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 00:28:56 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 00:29:46 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::4b68) |
| 00:32:48 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 255 seconds) |
| 00:35:04 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 00:38:33 | → | mmhat joins (~mmh@p200300f1c7219577ee086bfffe095315.dip0.t-ipconnect.de) |
| 00:39:39 | → | jespada joins (~jespada@82.36.38.229) |
| 00:39:46 | <probie> | Quickcheck is typeclass based, Hedgehog prefers "regular" functions for generators which makes it easier to do things like specify additional shrinking options for use when testing a property (quickcheck would require using a newtype) |
| 00:41:56 | × | Kaipei quits (~Kaiepi@108.175.84.104) (Ping timeout: 248 seconds) |
| 00:43:09 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 00:52:01 | × | tcard quits (~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Quit: Leaving) |
| 00:54:49 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 00:55:53 | <dsal> | QuickCheck kind of requires understanding shrinking and how to write shrinkers at some point. hedgehog has automatic shrinking. The API is a bit less idiomatic in some unfortunate ways. |
| 00:56:32 | → | tcard joins (~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) |
| 00:58:35 | × | mmhat quits (~mmh@p200300f1c7219577ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 00:59:57 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:06:05 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:07:43 | → | jmorris joins (uid537181@id-537181.uxbridge.irccloud.com) |
| 01:12:49 | → | abhiroop_ joins (~abhiroop@217-209-157-8-no2000.tbcn.telia.com) |
| 01:12:53 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 01:15:16 | → | talismanick joins (~talismani@2601:200:c100:c9e0::1b0b) |
| 01:15:24 | → | Kaipei joins (~Kaiepi@108.175.84.104) |
| 01:15:42 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 01:18:51 | → | mmhat joins (~mmh@p200300f1c72263c3ee086bfffe095315.dip0.t-ipconnect.de) |
| 01:20:52 | × | Kaipei quits (~Kaiepi@108.175.84.104) (Ping timeout: 248 seconds) |
| 01:22:09 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 01:22:14 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 01:30:01 | × | mmhat quits (~mmh@p200300f1c72263c3ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 01:30:21 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 01:30:26 | → | nate3 joins (~nate@98.45.169.16) |
| 01:31:33 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 01:32:09 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 01:33:17 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 01:37:57 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 01:42:13 | → | ubert1 joins (~Thunderbi@77.119.165.14.wireless.dyn.drei.com) |
| 01:44:17 | × | ubert quits (~Thunderbi@178.115.71.138.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 01:44:17 | ubert1 | is now known as ubert |
| 01:44:52 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 01:48:36 | × | zeenk quits (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 01:49:47 | → | mmhat joins (~mmh@p200300f1c7231662ee086bfffe095315.dip0.t-ipconnect.de) |
| 01:50:11 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 01:56:57 | × | glguy quits (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 255 seconds) |
| 02:00:54 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 02:01:42 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 02:04:19 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 02:05:36 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 02:07:09 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 02:14:16 | → | jargon joins (~jargon@184.101.188.35) |
| 02:14:44 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 02:16:15 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 02:26:21 | → | freeside_ joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 02:27:34 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 02:30:42 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 255 seconds) |
| 02:31:56 | → | dcoutts__ joins (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 02:33:56 | × | nate3 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 02:34:39 | → | polo joins (~polo@user/polo) |
| 02:34:57 | × | dcoutts_ quits (~duncan@host109-149-38-108.range109-149.btcentralplus.com) (Ping timeout: 272 seconds) |
| 02:36:37 | × | lucerne quits (~lucerne@5.113.247.76) (Ping timeout: 268 seconds) |
| 02:36:39 | × | mmhat quits (~mmh@p200300f1c7231662ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1) |
| 02:42:56 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:42:56 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:42:56 | finn_elija | is now known as FinnElija |
| 02:46:27 | → | glguy joins (~glguy@libera/staff-emeritus/glguy) |
| 02:54:12 | × | freeside_ quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 02:55:34 | × | abhiroop_ quits (~abhiroop@217-209-157-8-no2000.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 02:59:46 | × | polo quits (~polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:01:03 | → | polo joins (~polo@user/polo) |
| 03:05:59 | × | polo quits (~polo@user/polo) (Ping timeout: 276 seconds) |
| 03:07:49 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 03:10:24 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 03:11:35 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 03:11:54 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 03:12:02 | → | nate3 joins (~nate@98.45.169.16) |
| 03:12:08 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 03:14:27 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 03:16:29 | × | sympt quits (~sympt@user/sympt) (Read error: Connection reset by peer) |
| 03:17:13 | → | sympt7 joins (~sympt@user/sympt) |
| 03:17:26 | × | jmorris quits (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:22:28 | × | td_ quits (~td@83.135.9.48) (Ping timeout: 248 seconds) |
| 03:24:13 | → | td_ joins (~td@83.135.9.38) |
| 03:26:08 | × | Chai-T-Rex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 03:26:35 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 03:27:02 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 03:27:02 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 03:28:58 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:29:06 | → | Chai-T-Rex joins (~ChaiTRex@user/chaitrex) |
| 03:29:17 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 03:29:42 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:33:26 | → | slack1256 joins (~slack1256@186.11.126.14) |
| 03:35:39 | → | zaquest joins (~notzaques@5.130.79.72) |
| 03:35:43 | → | loras joins (~loras@c-73-139-125-125.hsd1.fl.comcast.net) |
| 03:38:56 | <sm> | a big FP thread: https://news.ycombinator.com/item?id=33433783 |
| 03:42:32 | × | Athas quits (~athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:42:44 | → | Athas joins (~athas@sigkill.dk) |
| 03:45:24 | → | ubert1 joins (~Thunderbi@77.119.165.14.wireless.dyn.drei.com) |
| 03:45:44 | × | ubert quits (~Thunderbi@77.119.165.14.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 03:45:44 | ubert1 | is now known as ubert |
| 03:45:54 | × | Athas quits (~athas@sigkill.dk) (Client Quit) |
| 03:49:52 | → | jinsun joins (~jinsun@user/jinsun) |
| 03:49:54 | → | Athas joins (~athas@2a01:7c8:aaac:1cf:ed50:f8c9:7754:b531) |
| 03:51:40 | × | Chai-T-Rex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 03:52:00 | → | Chai-T-Rex joins (~ChaiTRex@user/chaitrex) |
| 03:52:32 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds) |
| 03:53:22 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:53:22 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:53:22 | finn_elija | is now known as FinnElija |
| 03:59:07 | <dolio> | Seems pretty worthless. |
| 04:01:50 | × | xff0x quits (~xff0x@2405:6580:b080:900:dde7:2b6c:97ae:a5eb) (Ping timeout: 268 seconds) |
| 04:03:15 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 04:03:31 | → | xff0x joins (~xff0x@2405:6580:b080:900:dde7:2b6c:97ae:a5eb) |
| 04:03:42 | <nicm[m]> | have not read the linked article or most of the posts but i empathize with this comment on tooling https://news.ycombinator.com/item?id=33434396 |
| 04:04:48 | <nicm[m]> | this is my 3rd attempt to learn Haskell. couple months in now and the longest i have stuck it out thus far. but it still took me about a week to get stack and ghcide working after failing to get hls working out of the box |
| 04:05:37 | <nicm[m]> | just couple months in and learning some few things about cabal and stack better, i finally got hls to work properly this last week |
| 04:06:03 | <chromoblob> | ghcide sounds like genocide, suicide, ... |
| 04:06:04 | <dsal> | I've never used ghcide or hls. |
| 04:12:22 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 04:12:53 | <probie> | I use hls, but as long as ghci or {cabal, stack} repl work, it's merely nice to have, not needed |
| 04:13:08 | <dsal> | Looking through that thread, it's surprising how many people are upset they can't do everything on the first day. I do know people who are experienced programmers can be put off by not being able to write the same bugs the same way as whatever they came from. |
| 04:13:11 | → | king_gs joins (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 04:13:53 | <dsal> | I tried hls a year or so ago and it didn't work at all. I'll get around to trying it again (maybe for work), but I don't feel crippled without it |
| 04:17:46 | <sm> | nicm: most of us learned with just ghcid (or nothing). Congrats for getting hls working, and good timing, that has become normal only recently |
| 04:17:49 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 04:18:59 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 04:19:07 | <nicm[m]> | i don't think it's crippling not to have it but since getting it working, some of its hints have actually been enlightening as a learner. so makes things easier but was definitely trying to slog it out even without it |
| 04:19:17 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 04:19:38 | <sm> | out of curiousity, ghcid is really helpful, were you using that ? |
| 04:20:13 | <sm> | but agreed, vs code plus hls/hlint/... is a big improvement |
| 04:20:45 | × | Athas quits (~athas@2a01:7c8:aaac:1cf:ed50:f8c9:7754:b531) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:21:00 | → | Athas joins (~athas@2a01:7c8:aaac:1cf:ed50:f8c9:7754:b531) |
| 04:23:35 | <nicm[m]> | so the help ghcid gave was the continuous feedback to surface the warnings errors before i hit compile. so i could work and sort things out n know that when finished, i should hit compile and it will |
| 04:23:39 | × | nate3 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 04:24:26 | <nicm[m]> | does not sound much when you think about it, but made a difference those early couple weeks |
| 04:24:48 | <dsal> | I do that with flymake sometimes. Most of the time I just use `stack test --file-watch` |
| 04:25:04 | <sm> | oh ghcid / any fast feedback loop is a game changer for learning |
| 04:25:33 | <sm> | dsal do you throw a --fast on there |
| 04:25:55 | <dsal> | I didn't know that was an option. I guess I normally use --slow |
| 04:26:20 | <sm> | heh.. yes --fast helps (compile with -O0) |
| 04:26:21 | × | glguy quits (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 255 seconds) |
| 04:26:33 | <dsal> | I just added a --fast on a project I've been working on (adding postgres support to my gopro thing). It's mostly just "find the next hasql error" |
| 04:27:27 | <sm> | now it become annoying when tools are constantly fighting over whether things should be built fast or slow... but still worth it for fast feedback |
| 04:27:50 | <dsal> | It's taking me forever to finish this port, so `--fast` seems right for that. :) |
| 04:28:14 | → | P1RATEZ joins (piratez@user/p1ratez) |
| 04:28:47 | → | glguy joins (~glguy@libera/staff-emeritus/glguy) |
| 04:29:28 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 04:30:53 | → | dcoutts_ joins (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 04:33:33 | × | dcoutts__ quits (~duncan@host86-153-135-2.range86-153.btcentralplus.com) (Ping timeout: 255 seconds) |
| 04:34:34 | × | slack1256 quits (~slack1256@186.11.126.14) (Remote host closed the connection) |
| 04:35:58 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 04:37:49 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 04:49:12 | → | jinsun joins (~jinsun@user/jinsun) |
| 04:50:07 | → | nate3 joins (~nate@98.45.169.16) |
| 04:52:05 | → | lucerne joins (~lucerne@5.113.247.76) |
| 05:00:24 | × | nate3 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 05:05:28 | → | Guest75 joins (~Guest75@178.141.177.81) |
| 05:06:01 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b8c3:aabe:4f47:1efb) (Remote host closed the connection) |
| 05:13:16 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Read error: Connection reset by peer) |
| 05:13:27 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 05:13:36 | × | glguy quits (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 255 seconds) |
| 05:14:36 | → | glguy joins (~glguy@libera/staff-emeritus/glguy) |
| 05:17:34 | × | king_gs quits (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Ping timeout: 268 seconds) |
| 05:23:03 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 05:27:38 | <sm> | does hoogle have a hidden option to pass arguments to haddock, so I can tell stack to tell hoogle to tell haddock to tell ghc to build faster ? |
| 05:32:12 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 05:35:12 | × | glguy quits (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 255 seconds) |
| 05:36:09 | → | glguy joins (~glguy@libera/staff-emeritus/glguy) |
| 05:40:36 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
| 05:43:46 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:45:28 | → | dolio joins (~dolio@130.44.134.54) |
| 05:47:02 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 05:47:29 | × | dolio quits (~dolio@130.44.134.54) (Client Quit) |
| 05:48:39 | → | dolio joins (~dolio@130.44.134.54) |
| 06:06:29 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) |
| 06:09:37 | → | mixfix41 joins (~sdeny9ee@user/mixfix41) |
| 06:11:12 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) (Ping timeout: 255 seconds) |
| 06:22:04 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 06:23:32 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 06:31:48 | × | causal quits (~user@50.35.83.177) (Read error: Connection reset by peer) |
| 06:32:04 | → | causal joins (~user@50.35.83.177) |
| 06:32:16 | × | dcoutts_ quits (~duncan@host86-153-135-2.range86-153.btcentralplus.com) (Read error: Connection reset by peer) |
| 06:32:23 | → | dcoutts_ joins (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 06:33:09 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 06:33:49 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 06:36:04 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 06:38:47 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 06:38:54 | → | kadobanana joins (~mud@user/kadoban) |
| 06:39:11 | × | mud quits (~mud@user/kadoban) (Ping timeout: 260 seconds) |
| 06:39:49 | × | lucerne quits (~lucerne@5.113.247.76) (Read error: Connection reset by peer) |
| 06:40:03 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 06:45:45 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 06:51:32 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 06:54:36 | → | mud joins (~mud@user/kadoban) |
| 06:54:37 | × | phma quits (phma@2001:5b0:210d:ac28:8814:df84:c60c:ebe6) (Read error: Connection reset by peer) |
| 06:54:42 | × | kadobanana quits (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 06:55:35 | → | phma joins (~phma@2001:5b0:210f:1098:cf73:cbd6:a0fe:53fb) |
| 07:18:12 | × | Vajb quits (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 07:18:26 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 07:19:27 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 07:21:25 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 07:22:14 | × | Xeroine quits (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 07:23:33 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 07:25:12 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 07:25:47 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 07:25:56 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 07:27:21 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 07:27:28 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 07:29:56 | × | mixfix41 quits (~sdeny9ee@user/mixfix41) (Ping timeout: 248 seconds) |
| 07:39:16 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:39:20 | → | euandreh joins (~euandreh@179.214.113.107) |
| 07:47:18 | × | nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 07:48:47 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:49:05 | → | acidjnk joins (~acidjnk@p200300d6e7137a94315b29d137daacca.dip0.t-ipconnect.de) |
| 07:52:42 | × | euandreh quits (~euandreh@179.214.113.107) (Quit: WeeChat 3.6) |
| 07:53:10 | → | euandreh joins (~euandreh@179.214.113.107) |
| 07:53:53 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 07:54:45 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 07:54:59 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 07:56:28 | → | cytokine_storm joins (~cytokine_@user/cytokine-storm/x-1083107) |
| 07:57:16 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 07:57:34 | × | cytokine_storm quits (~cytokine_@user/cytokine-storm/x-1083107) (Client Quit) |
| 07:58:12 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 08:00:15 | → | nek0 joins (~nek0@2a01:4f8:222:2b41::12) |
| 08:14:34 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:16:20 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 08:20:47 | → | Vajb joins (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 08:28:27 | × | P1RATEZ quits (piratez@user/p1ratez) (Remote host closed the connection) |
| 08:33:54 | → | dcoutts__ joins (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 08:33:54 | × | dcoutts_ quits (~duncan@host86-153-135-2.range86-153.btcentralplus.com) (Read error: Connection reset by peer) |
| 08:34:01 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 08:40:19 | → | king_gs joins (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 08:42:10 | → | kadobanana joins (~mud@user/kadoban) |
| 08:42:39 | × | mud quits (~mud@user/kadoban) (Ping timeout: 260 seconds) |
| 08:42:41 | → | libertyprime joins (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 08:43:46 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 08:43:46 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 08:44:00 | → | Kaipei joins (~Kaiepi@108.175.84.104) |
| 08:44:04 | × | loras quits (~loras@c-73-139-125-125.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 08:44:13 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 08:45:45 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 08:48:24 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 08:49:29 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 08:49:39 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 08:50:16 | × | dagi33709 quits (~dagit@2001:558:6025:38:6476:a063:d05a:44da) (Ping timeout: 252 seconds) |
| 08:50:30 | × | talismanick quits (~talismani@2601:200:c100:c9e0::1b0b) (Ping timeout: 255 seconds) |
| 08:55:10 | → | lucerne joins (~lucerne@5.113.247.76) |
| 08:57:36 | → | nate3 joins (~nate@98.45.169.16) |
| 08:59:08 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 246 seconds) |
| 09:00:03 | × | RosarioPulella[m quits (~rosariopu@2001:470:69fc:105::a57) (Quit: You have been kicked for being idle) |
| 09:00:48 | → | Tuplanolla joins (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) |
| 09:01:15 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 09:02:29 | × | nate3 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 09:02:39 | <chreekat> | Some folks have adopted hpc https://gitlab.haskell.org/hpc/hpc-bin ... We need somebody to adopt haddock as well |
| 09:03:37 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 09:06:19 | → | chomwitt joins (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) |
| 09:06:21 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 09:07:37 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 09:19:02 | → | mixfix41 joins (~sdeny9ee@user/mixfix41) |
| 09:21:44 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 09:24:39 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds) |
| 09:24:42 | → | razetime joins (~quassel@117.193.7.39) |
| 09:25:01 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 09:26:59 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 09:32:56 | → | mmhat joins (~mmh@p200300f1c7231662ee086bfffe095315.dip0.t-ipconnect.de) |
| 09:34:47 | → | zeenk joins (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) |
| 09:34:57 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 09:37:29 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 09:40:06 | × | king_gs quits (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Quit: king_gs) |
| 09:40:34 | × | Guest75 quits (~Guest75@178.141.177.81) (Quit: Client closed) |
| 09:42:50 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:42:54 | → | king_gs joins (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 09:43:04 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 09:43:25 | × | king_gs quits (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Client Quit) |
| 09:46:47 | × | hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 09:51:05 | → | hrberg joins (~quassel@171.79-160-161.customer.lyse.net) |
| 09:52:04 | → | dagit joins (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 09:53:47 | × | dagit quits (~dagit@2001:558:6025:38:6476:a063:d05a:44da) (Read error: Connection reset by peer) |
| 09:53:53 | → | dagi82207 joins (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 09:55:32 | × | thegeekinside quits (~thegeekin@189.180.115.115) (Ping timeout: 248 seconds) |
| 09:55:32 | × | danza quits (~francesco@22.red-79-153-42.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 09:56:44 | × | euandreh quits (~euandreh@179.214.113.107) (Ping timeout: 260 seconds) |
| 09:58:34 | → | euandreh joins (~euandreh@179.214.113.107) |
| 09:58:56 | → | freeside joins (~mengwong@bb119-74-65-177.singnet.com.sg) |
| 10:00:25 | → | titibandit joins (~titibandi@xdsl-87-79-250-160.nc.de) |
| 10:03:32 | × | freeside quits (~mengwong@bb119-74-65-177.singnet.com.sg) (Ping timeout: 248 seconds) |
| 10:06:52 | → | Guest75 joins (~Guest75@178.141.177.81) |
| 10:10:14 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) |
| 10:12:22 | → | king_gs joins (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 10:13:17 | × | king_gs quits (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Client Quit) |
| 10:14:39 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) (Ping timeout: 255 seconds) |
| 10:15:24 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds) |
| 10:19:28 | → | potash joins (~foghorn@user/foghorn) |
| 10:26:38 | → | danza joins (~francesco@93.176.137.22) |
| 10:35:23 | → | dcoutts_ joins (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 10:35:31 | × | dcoutts__ quits (~duncan@host86-153-135-2.range86-153.btcentralplus.com) (Read error: Connection reset by peer) |
| 10:38:00 | → | dhil joins (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 10:38:30 | → | CiaoSen joins (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 10:39:53 | × | Xeroine quits (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 10:40:20 | <fendor[m]> | would love to join a haddock initiative! |
| 10:40:29 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 10:40:42 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 10:41:47 | → | freeside joins (~mengwong@bb119-74-65-177.singnet.com.sg) |
| 10:45:43 | × | CiaoSen quits (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 10:46:06 | → | mud joins (~mud@user/kadoban) |
| 10:46:19 | × | freeside quits (~mengwong@bb119-74-65-177.singnet.com.sg) (Ping timeout: 260 seconds) |
| 10:46:19 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 260 seconds) |
| 10:46:39 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:46:54 | × | libertyprime quits (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 10:47:09 | → | libertyprime joins (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 10:50:44 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 10:51:16 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 10:53:24 | → | ksu joins (~ksu@user/prtr) |
| 10:55:35 | × | sus7 quits (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net) |
| 10:57:56 | × | libertyprime quits (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 248 seconds) |
| 10:59:14 | → | __monty__ joins (~toonn@user/toonn) |
| 11:04:24 | × | Tuplanolla quits (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 11:05:23 | → | Tuplanolla joins (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) |
| 11:06:23 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 11:08:49 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 11:11:04 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 11:13:29 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 11:15:29 | × | danza quits (~francesco@93.176.137.22) (Ping timeout: 260 seconds) |
| 11:19:48 | × | Xeroine quits (~Xeroine@user/xeroine) (Ping timeout: 248 seconds) |
| 11:19:58 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 11:20:12 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 11:23:04 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 11:26:05 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 11:28:54 | × | razetime quits (~quassel@117.193.7.39) (Ping timeout: 260 seconds) |
| 11:29:52 | → | razetime joins (~quassel@117.193.7.39) |
| 11:32:26 | × | acidjnk quits (~acidjnk@p200300d6e7137a94315b29d137daacca.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 11:34:41 | → | vglfr joins (~vglfr@145.224.100.100) |
| 11:37:26 | → | acidjnk joins (~acidjnk@p200300d6e7137a94ec9bdd4b1e553e89.dip0.t-ipconnect.de) |
| 11:38:28 | × | dhil quits (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 11:38:49 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 11:39:25 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 11:40:12 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 11:43:37 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 11:44:12 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 11:44:21 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 11:44:59 | → | nate3 joins (~nate@98.45.169.16) |
| 11:49:54 | × | nate3 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 11:50:57 | → | danza joins (~francesco@22.red-79-153-42.dynamicip.rima-tde.net) |
| 11:57:58 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 12:07:45 | × | phma quits (~phma@2001:5b0:210f:1098:cf73:cbd6:a0fe:53fb) (Read error: Connection reset by peer) |
| 12:08:40 | → | phma joins (phma@2001:5b0:210b:fde8:9e53:4765:c808:5b87) |
| 12:09:52 | × | euandreh quits (~euandreh@179.214.113.107) (Quit: WeeChat 3.6) |
| 12:13:56 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 12:16:16 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 12:18:29 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 12:19:04 | × | razetime quits (~quassel@117.193.7.39) (Ping timeout: 260 seconds) |
| 12:19:32 | → | razetime joins (~quassel@117.193.7.39) |
| 12:20:31 | Franciman | is now known as cousin_mario |
| 12:20:55 | cousin_mario | is now known as Franciman |
| 12:26:33 | × | acidjnk quits (~acidjnk@p200300d6e7137a94ec9bdd4b1e553e89.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 12:29:40 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 12:36:56 | → | dcoutts__ joins (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 12:39:29 | × | dcoutts_ quits (~duncan@host86-153-135-2.range86-153.btcentralplus.com) (Ping timeout: 260 seconds) |
| 12:39:53 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 12:46:10 | → | freeside joins (~mengwong@bb119-74-65-177.singnet.com.sg) |
| 12:51:42 | × | freeside quits (~mengwong@bb119-74-65-177.singnet.com.sg) (Ping timeout: 255 seconds) |
| 12:53:57 | × | lucerne quits (~lucerne@5.113.247.76) (Ping timeout: 255 seconds) |
| 12:54:51 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 12:55:38 | → | jinsun joins (~jinsun@user/jinsun) |
| 12:56:59 | × | ksu quits (~ksu@user/prtr) (Ping timeout: 260 seconds) |
| 13:02:49 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 260 seconds) |
| 13:03:04 | → | __monty__ joins (~toonn@user/toonn) |
| 13:03:33 | → | ksu joins (~ksu@user/prtr) |
| 13:16:48 | × | titibandit quits (~titibandi@xdsl-87-79-250-160.nc.de) (Quit: Leaving.) |
| 13:17:38 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 276 seconds) |
| 13:17:48 | → | euandreh joins (~euandreh@179.214.113.107) |
| 13:18:02 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 13:18:33 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 13:21:46 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection) |
| 13:21:58 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 13:37:14 | × | vglfr quits (~vglfr@145.224.100.100) (Ping timeout: 260 seconds) |
| 13:37:32 | → | vglfr joins (~vglfr@145.224.100.100) |
| 13:37:35 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 13:38:16 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 13:38:25 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 13:40:03 | × | vglfr quits (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 13:40:35 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 13:40:37 | → | vglfr joins (~vglfr@145.224.100.100) |
| 13:40:42 | → | tomku joins (~tomku@user/tomku) |
| 13:42:00 | → | kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr) |
| 13:46:42 | × | vglfr quits (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 13:47:00 | → | vglfr joins (~vglfr@145.224.100.100) |
| 13:50:42 | → | mokee joins (~mokee@37.228.215.235) |
| 13:53:48 | × | Xeroine quits (~Xeroine@user/xeroine) (Ping timeout: 255 seconds) |
| 13:55:19 | × | danza quits (~francesco@22.red-79-153-42.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 13:57:17 | × | vglfr quits (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 13:57:43 | → | vglfr joins (~vglfr@145.224.100.100) |
| 13:58:00 | × | vglfr quits (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 13:58:18 | → | vglfr joins (~vglfr@145.224.100.100) |
| 13:59:22 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 13:59:23 | × | vglfr quits (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 14:02:14 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 14:02:47 | → | vglfr joins (~vglfr@145.224.100.100) |
| 14:07:31 | → | danza joins (~francesco@22.red-79-153-42.dynamicip.rima-tde.net) |
| 14:09:24 | × | razetime quits (~quassel@117.193.7.39) (Ping timeout: 248 seconds) |
| 14:09:33 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 14:09:35 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 14:14:08 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 14:14:45 | × | vglfr quits (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 14:15:18 | → | vglfr joins (~vglfr@145.224.100.100) |
| 14:17:27 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 14:19:53 | → | kuribas joins (~user@188.188.236.56) |
| 14:19:58 | × | wolfshappen quits (~waff@irc.furworks.de) (Ping timeout: 255 seconds) |
| 14:20:18 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 14:23:25 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 14:25:04 | × | kuribas quits (~user@188.188.236.56) (Ping timeout: 260 seconds) |
| 14:25:07 | → | titibandit joins (~titibandi@xdsl-87-79-250-160.nc.de) |
| 14:25:09 | → | kuribas` joins (~user@ptr-9gsrwyjg95qox7xqrlc.18120a2.ip6.access.telenet.be) |
| 14:34:46 | → | abhiroop_ joins (~abhiroop@ext-1-450.eduroam.chalmers.se) |
| 14:37:43 | → | razetime joins (~quassel@117.193.7.39) |
| 14:38:39 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 14:47:38 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 14:48:26 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 14:49:57 | → | gmg joins (~user@user/gehmehgeh) |
| 14:55:20 | → | odnes joins (~odnes@5-203-179-68.pat.nym.cosmote.net) |
| 14:55:49 | × | odnes quits (~odnes@5-203-179-68.pat.nym.cosmote.net) (Remote host closed the connection) |
| 15:06:17 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:08:47 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 15:08:58 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 15:11:23 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 276 seconds) |
| 15:13:17 | money | is now known as polo |
| 15:13:42 | <chreekat> | fendor: join, or initiate? :) |
| 15:13:49 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) |
| 15:14:00 | → | nate3 joins (~nate@98.45.169.16) |
| 15:15:23 | <[exa]> | haddock initiative for what? |
| 15:17:21 | <chreekat> | If anyone is motivated to maintain it actively, I guess it would be whatever they are interested in doing |
| 15:18:27 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) (Ping timeout: 255 seconds) |
| 15:19:23 | × | nate3 quits (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 15:22:45 | → | beteigeuze1 joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 15:23:18 | <fendor[m]> | chreekat, until I finished my master thesis and hls is stable, only join ;D |
| 15:24:12 | <fendor[m]> | but if no dedicated haddock team formed within next year, ping me again |
| 15:24:34 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 15:24:34 | beteigeuze1 | is now known as beteigeuze |
| 15:24:59 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 15:25:20 | <chreekat> | :D |
| 15:25:41 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 15:25:41 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 15:25:58 | → | azimut_ joins (~azimut@gateway/tor-sasl/azimut) |
| 15:26:08 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 15:26:14 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 15:26:14 | × | Chai-T-Rex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 15:26:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 15:26:15 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 15:26:15 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 15:26:15 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 15:26:15 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 15:27:34 | × | azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 15:27:58 | × | jlgw quits (~jw@83-233-104-81.cust.bredband2.com) (Remote host closed the connection) |
| 15:28:40 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 15:29:25 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 15:29:29 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 15:30:56 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 15:30:58 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 15:31:08 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 15:31:33 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 15:31:44 | → | ddellacosta joins (~ddellacos@89.45.224.156) |
| 15:31:54 | → | Chai-T-Rex joins (~ChaiTRex@user/chaitrex) |
| 15:31:56 | → | califax joins (~califax@user/califx) |
| 15:32:19 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 15:32:21 | → | gmg joins (~user@user/gehmehgeh) |
| 15:32:34 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 15:33:31 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:34:30 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 15:43:34 | → | freeside joins (~mengwong@bb119-74-65-177.singnet.com.sg) |
| 15:43:43 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 15:43:49 | × | vglfr quits (~vglfr@145.224.100.100) (Ping timeout: 260 seconds) |
| 15:44:08 | → | vglfr joins (~vglfr@145.224.100.100) |
| 15:44:13 | × | razetime quits (~quassel@117.193.7.39) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 15:46:26 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 15:48:04 | × | freeside quits (~mengwong@bb119-74-65-177.singnet.com.sg) (Ping timeout: 248 seconds) |
| 15:50:36 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 15:50:52 | <sshine> | https://github.com/sshine/Verifairy/actions/runs/3392844810/jobs/5639500428#step:3:31 <- "Error: All install methods for ghc 8.10.7 failed" -- I seem to have been away for too long. does anyone know why this CI action fails? |
| 15:51:18 | <sshine> | d'oh. sorry. I didn't see the small expand error section arrow |
| 15:52:46 | → | econo joins (uid147250@user/econo) |
| 15:53:28 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 15:53:31 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 15:56:09 | → | gmg joins (~user@user/gehmehgeh) |
| 15:56:20 | → | mud joins (~mud@user/kadoban) |
| 15:57:26 | × | arkeet quits (arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:59:27 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 15:59:41 | → | arkeet joins (arkeet@moriya.ca) |
| 16:00:03 | × | foghorn quits (~foghorn@user/foghorn) (Quit: You have been kicked for being idle) |
| 16:00:34 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 16:01:24 | × | Xeroine quits (~Xeroine@user/xeroine) (Ping timeout: 248 seconds) |
| 16:02:37 | → | nate3 joins (~nate@98.45.169.16) |
| 16:05:31 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 16:17:07 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 16:22:27 | → | Heyting joins (~Heyting@193.198.16.217) |
| 16:25:06 | → | Major_Biscuit joins (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 16:26:43 | × | Heyting quits (~Heyting@193.198.16.217) (Remote host closed the connection) |
| 16:27:50 | × | Vajb quits (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Ping timeout: 246 seconds) |
| 16:28:09 | × | titibandit quits (~titibandi@xdsl-87-79-250-160.nc.de) (Ping timeout: 260 seconds) |
| 16:28:40 | → | titibandit joins (~titibandi@xdsl-87-79-250-160.nc.de) |
| 16:28:58 | → | Vajb joins (~Vajb@2001:999:504:3ad6:52a4:a3b5:32d8:e74d) |
| 16:31:02 | → | dhil joins (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 16:31:02 | × | wolfshappen quits (~waff@irc.furworks.de) (Quit: later) |
| 16:31:47 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 16:31:47 | × | jinsun quits (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 16:31:47 | jinsun__ | is now known as jinsun |
| 16:37:59 | → | merijn joins (~merijn@86.86.29.250) |
| 16:38:39 | × | Major_Biscuit quits (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 16:47:00 | jinsun | is now known as Guest7629 |
| 16:47:00 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 16:47:00 | × | Guest7629 quits (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 16:47:00 | jinsun__ | is now known as jinsun |
| 16:54:08 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 16:57:11 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) |
| 16:59:04 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 17:01:24 | × | nate3 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 17:01:30 | → | michalz joins (~michalz@185.246.207.221) |
| 17:02:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:03:03 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 17:04:06 | × | Xeroine quits (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 17:04:21 | → | vgtw_ joins (~vgtw@user/vgtw) |
| 17:04:24 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 17:04:53 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 268 seconds) |
| 17:05:29 | × | ddellacosta quits (~ddellacos@89.45.224.156) (Ping timeout: 260 seconds) |
| 17:05:54 | → | ddellacosta joins (~ddellacos@89.45.224.156) |
| 17:07:46 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 17:10:44 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 17:11:31 | → | Cerins joins (~Cerins@balticom-142-106-43.balticom.lv) |
| 17:11:40 | [_] | is now known as [itchyjunk] |
| 17:11:47 | × | merijn quits (~merijn@86.86.29.250) (Ping timeout: 268 seconds) |
| 17:13:40 | × | kuribas` quits (~user@ptr-9gsrwyjg95qox7xqrlc.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 17:14:01 | × | danza quits (~francesco@22.red-79-153-42.dynamicip.rima-tde.net) (Ping timeout: 272 seconds) |
| 17:14:32 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:24:13 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:27:11 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 17:28:15 | × | zeenk quits (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 17:31:49 | → | nate3 joins (~nate@98.45.169.16) |
| 17:32:23 | × | ddellacosta quits (~ddellacos@89.45.224.156) (Ping timeout: 272 seconds) |
| 17:33:59 | → | zebrag joins (~chris@user/zebrag) |
| 17:38:02 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 17:40:11 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 17:53:24 | → | danza joins (~francesco@93.176.137.22) |
| 17:57:30 | → | fserucas_ joins (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 17:59:40 | → | polo_ joins (~polo@user/polo) |
| 18:00:14 | <gurkenglas> | Did "Fast and Loose Reasoning is Morally Correct" get written with an eye on the phrasing that category theorists like to call definitions that can tell isomorphic objects apart (such as "which node of the graph comes first in memory?") "evil"? |
| 18:01:18 | <gurkenglas> | Because I'm ruminating on how you can view math at different levels of resolution and apparently the coarser-finer axis aligns with the good-evil axis :D |
| 18:01:26 | <Xeroine> | uh hi |
| 18:01:31 | ← | BryanDrewery[m] parts (~bryanxk42@2001:470:69fc:105::2:af5e) () |
| 18:01:43 | <Xeroine> | thought I asked a question here but can't see it now that I'm here again |
| 18:01:45 | <Xeroine> | anyways |
| 18:02:03 | <Xeroine> | I'm reading "Real World Haskell", I |
| 18:02:10 | <Xeroine> | I'm a bit confused about type variables* |
| 18:02:48 | <Xeroine> | so from I understand they're useful for functions but are they useful for anything else? |
| 18:03:12 | <gurkenglas> | you can imagine a higher-level programming language where Haskell's types are just elements of a Type |
| 18:03:27 | <gurkenglas> | and then a function Type -> Type will need type variables in its definition |
| 18:03:53 | <EvanR> | yes you can use type variables in a data type |
| 18:04:17 | <EvanR> | like [a] (List a) is a list of elements of type a |
| 18:06:18 | <Xeroine> | gurkenglas: hmm, I don't really understand what you mean |
| 18:06:59 | <EvanR> | one example of parameterizing a type with a type variable is a record of functions and actions that use some resource of unknown type |
| 18:07:01 | <Xeroine> | I haven't gotten to learning about arrows yet even |
| 18:07:36 | <gurkenglas> | :t Node "asd" [Node "dsa" [], Node "ghbjtruo" []] |
| 18:07:37 | <EvanR> | then anything that uses this record has to obey parametericity and not inspect that resources, because you don't know anything about it |
| 18:07:37 | <lambdabot> | Tree [Char] |
| 18:08:30 | <gurkenglas> | I've just written an element of "Tree String". lambdabot can tell us something about the parts of that: |
| 18:08:50 | <gurkenglas> | @kind String |
| 18:08:51 | <lambdabot> | * |
| 18:08:58 | <gurkenglas> | That means it's a type |
| 18:09:02 | <gurkenglas> | @kind Tree |
| 18:09:03 | <lambdabot> | * -> * |
| 18:09:19 | <EvanR> | Xeroine, have you seen `State a' yet. The api for that exhibits type variables without functions in some places |
| 18:09:24 | <gurkenglas> | That means if we give it a type it'll give back a type |
| 18:09:32 | <Xeroine> | EvanR: I know tuples can have elements which have different types but I don't know if that's what you're talking about now with that "[a] (List a)" example |
| 18:09:43 | <Xeroine> | EvanR: I haven't |
| 18:09:44 | <EvanR> | e.g. get :: State s s |
| 18:10:38 | <EvanR> | whatever the state type is (s), that's what the get action returns |
| 18:11:56 | <gurkenglas> | the definition of "Tree" is: "data Tree a = Node { rootLabel :: a, subForest :: [Tree a] }". It uses the type variable a to define what type Tree will return if you give it some type |
| 18:12:15 | <Xeroine> | I don't know, I guess I'll keep trying to figure this out myself. I feel like answers on IRC are always way too complex for me. |
| 18:12:27 | <gurkenglas> | (the a stands for the type Type is given, and the RHS of the equation says the type that it'll give back) |
| 18:12:33 | <Xeroine> | but thanks anyways guys |
| 18:12:41 | <gurkenglas> | s/for the type Type is given/for the type Tree is given/ |
| 18:12:56 | <EvanR> | sorry, haven't had my coffee yet |
| 18:13:14 | <gurkenglas> | I think that's my fault EvanR :D I've been doing too much ivory tower category theory |
| 18:13:22 | <EvanR> | the answer is no, type variables are useful for more than just function types |
| 18:13:48 | × | niko quits (niko@libera/staff/niko) (Quit: i will be back) |
| 18:13:53 | <Xeroine> | ah well okay |
| 18:14:19 | → | o joins (niko@libera/staff/niko) |
| 18:14:42 | o | is now known as niko |
| 18:15:04 | <EvanR> | also if you're at the bare minimum haskell knowledge I'd recommend scanning the gentle introduction https://www.haskell.org/tutorial/ |
| 18:15:48 | <EvanR> | the 2nd section introduces polymorphism |
| 18:15:56 | <EvanR> | of the first chapter |
| 18:16:14 | <Xeroine> | thanks |
| 18:16:25 | <EvanR> | 1st section is mono types xD |
| 18:16:34 | <EvanR> | or concrete types like Char, Int |
| 18:19:30 | → | d0as joins (~user@gateway/tor-sasl/d0as) |
| 18:23:11 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 18:24:36 | polo_ | is now known as money |
| 18:30:39 | × | nate3 quits (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 18:31:14 | × | titibandit quits (~titibandi@xdsl-87-79-250-160.nc.de) (Ping timeout: 260 seconds) |
| 18:32:19 | → | titibandit joins (~titibandi@xdsl-87-79-250-160.nc.de) |
| 18:45:53 | × | money quits (~polo@user/polo) (Ping timeout: 276 seconds) |
| 18:46:25 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 18:48:13 | → | mestre joins (~mestre@191.177.185.178) |
| 18:52:27 | ← | bdrewery[m] parts (~bdrewerym@2001:470:69fc:105::1:684a) () |
| 18:59:01 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 18:59:02 | × | kilolympus quits (~kilolympu@213.144.144.24) (Ping timeout: 246 seconds) |
| 18:59:12 | → | kilolympus joins (~kilolympu@213.144.144.24) |
| 18:59:59 | × | titibandit quits (~titibandi@xdsl-87-79-250-160.nc.de) (Quit: Leaving.) |
| 19:00:07 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 19:04:01 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 19:07:25 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 19:08:03 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 19:11:58 | → | polo_ joins (~polo@user/polo) |
| 19:12:36 | → | jtomas joins (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 19:13:14 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 19:14:00 | polo | is now known as Guest1204 |
| 19:14:01 | polo_ | is now known as polo |
| 19:18:44 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 248 seconds) |
| 19:20:09 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 19:22:13 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 19:35:56 | × | polo quits (~polo@user/polo) (Ping timeout: 276 seconds) |
| 19:38:56 | × | d0as quits (~user@gateway/tor-sasl/d0as) (Quit: d0as) |
| 19:42:51 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 19:42:59 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 260 seconds) |
| 19:45:28 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 19:48:02 | × | Cerins quits (~Cerins@balticom-142-106-43.balticom.lv) (Quit: Leaving) |
| 20:07:04 | <Xeroine> | https://www.haskell.org/tutorial/goodies.html by "atomic values" it's meant that operations on the types listed afterwards (integers, characters and functions (or just that specific function?)) are all atomic? |
| 20:07:58 | <[exa]> | Xeroine: sounds to me like just the integers and characters are atomic |
| 20:08:05 | <EvanR> | this usage of atomic is more colloquial, 'a' and 3 and False are syntactically atomic |
| 20:08:22 | <EvanR> | not made of smaller expressions |
| 20:08:58 | <[exa]> | technically I'd say even the lambda is atomic because you can't really deconstruct it (the oxford comma magic there doesn't help the disambiguation) |
| 20:09:21 | <EvanR> | it does include lambda as atomic... |
| 20:09:24 | <Xeroine> | EvanR: what do you mean by "syntactically atomic" and doesn't "not made of smaller expressions" mean atomic? |
| 20:09:24 | <[exa]> | lists & pairs are certainly not atomic. |
| 20:10:24 | <EvanR> | yes not made of smaller expressions means atomic, but now we are including lambda forms as atomic, so I pivot away from just syntax |
| 20:10:28 | <[exa]> | in the "expression" view, lambdas certainly aren't atomic though |
| 20:10:30 | <Xeroine> | [exa]: how come? |
| 20:11:17 | <EvanR> | lists and pairs can be broken down via case analysis but lambdas can't |
| 20:11:49 | <EvanR> | so lambdas are atomic wrt case analysis |
| 20:12:31 | <EvanR> | but now I'm trapped by what "broken down" means |
| 20:13:06 | <EvanR> | because Char and Int can be case analyzed but not broken down, whatever that means |
| 20:13:16 | <Xeroine> | what do you guys mean by "case analyzed" |
| 20:13:18 | <[exa]> | uh, true |
| 20:13:24 | <[exa]> | Xeroine: pattern matching |
| 20:13:36 | <Xeroine> | what pattern? the value? |
| 20:13:45 | <[exa]> | Xeroine: for example, you can check whether a list is a [] or (head:tail) |
| 20:14:03 | <[exa]> | but you can't do that with functions, they are opaque |
| 20:14:04 | <EvanR> | > case (1,2) of { (x,3) -> x; (x,2) -> x } |
| 20:14:05 | <lambdabot> | 1 |
| 20:14:46 | <EvanR> | > case 'x' of { 'x' -> 1; 'y' -> 2 } |
| 20:14:47 | <lambdabot> | 1 |
| 20:14:54 | <Xeroine> | [exa]: I know head and tail are functions but what do you mean by "(head:tail)"? |
| 20:15:01 | <[exa]> | anyway, the statement with 'atomic' there is pretty vague and I woundn't say it bears much significance |
| 20:15:23 | <EvanR> | head and tail aren't functions there but variable names made up, like `x' in my example |
| 20:15:27 | <[exa]> | Xeroine: ah I didn't mean the function; analogously to what EvanR did with pairs: |
| 20:15:37 | <Xeroine> | oh |
| 20:15:53 | <[exa]> | > case [1,2] of { (head:tail) -> head; [] -> 666 } |
| 20:15:54 | <lambdabot> | 1 |
| 20:16:06 | <EvanR> | case [1,2,3] of { [] -> 'a'; x:xs -> 'b' } |
| 20:16:11 | <Xeroine> | I just asked because that's the first thing I didn't really understand at that link |
| 20:17:07 | → | pavonia joins (~user@user/siracusa) |
| 20:17:08 | <[exa]> | the definition of the "atomic" in the next paragraph is a bit fishy to me though, how come Int->Int is atomic but [Int] is not? |
| 20:17:17 | <EvanR> | the list type has 2 constructors, [] and _:_, if someone gives you a list you can detect which of the 2 you have using a case expression |
| 20:17:40 | <[exa]> | Xeroine: I kinda suspect we spotted a beginner-level oversimplification :D |
| 20:17:44 | <EvanR> | yeah the atomic is conversational at best here |
| 20:17:53 | <[exa]> | yap |
| 20:19:10 | <Xeroine> | okay thanks |
| 20:19:32 | <[exa]> | a better separation here would be "literal constants" (a, 5) vs. "compound expressions", which might be separated into "abstractions" (\var -> whatever) and "applications" (both [1,2,3] and (1,2) are something applied to something other) |
| 20:19:41 | <[exa]> | ...which kinda brings us to base lambda calculus |
| 20:20:05 | <EvanR> | (a, 5) looks like a tuple not a constant xD |
| 20:20:20 | <[exa]> | ah that was 2 examples in human parentheses, not haskell |
| 20:20:21 | <[exa]> | :D |
| 20:21:18 | <EvanR> | constant and variable is another "fun" piece of jargon |
| 20:21:20 | <[exa]> | Xeroine: as one interesting thing you can notice that types have constants (Int, Char) and applications (Maybe Something) but you won't see abstractions for some time; they look very different there |
| 20:23:49 | × | niko quits (niko@libera/staff/niko) (Ping timeout: 615 seconds) |
| 20:24:46 | <Xeroine> | oh |
| 20:25:41 | → | libertyprime joins (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 20:27:46 | <[exa]> | Xeroine: anyway, for beginners it's often quite inconvenient to differentiate between the language of types (with type variables and type constants aka constructors) and the language of "data" expressions (with their own data variables and constants/constructors) |
| 20:27:51 | → | sadmax joins (~user@209.205.174.253) |
| 20:28:38 | × | danza quits (~francesco@93.176.137.22) (Ping timeout: 246 seconds) |
| 20:29:56 | <[exa]> | (you'll see them mixed very inconveniently in the data definitions below) |
| 20:30:40 | → | niko joins (niko@libera/staff/niko) |
| 20:31:28 | × | mmhat quits (~mmh@p200300f1c7231662ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 20:33:58 | × | Guest75 quits (~Guest75@178.141.177.81) (Ping timeout: 260 seconds) |
| 20:41:19 | × | jtomas quits (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 20:44:51 | → | mmhat joins (~mmh@p200300f1c723163aee086bfffe095315.dip0.t-ipconnect.de) |
| 20:48:32 | × | libertyprime quits (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 20:57:59 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 21:00:47 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 21:02:10 | → | kimjetwav joins (~user@2607:fea8:235e:b600:fa57:ff7b:bed3:61bf) |
| 21:02:32 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 21:03:00 | → | polo joins (~polo@user/polo) |
| 21:03:13 | → | alphabeta joins (~kilolympu@213.144.144.24) |
| 21:03:29 | × | kilolympus quits (~kilolympu@213.144.144.24) (Ping timeout: 260 seconds) |
| 21:07:34 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 21:09:03 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 21:09:37 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 21:10:45 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 21:12:47 | × | polo quits (~polo@user/polo) (Ping timeout: 276 seconds) |
| 21:19:09 | → | Heyting joins (~Heyting@193.198.16.217) |
| 21:21:48 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 21:21:56 | × | Kaipei quits (~Kaiepi@108.175.84.104) (Ping timeout: 248 seconds) |
| 21:22:43 | → | nate3 joins (~nate@98.45.169.16) |
| 21:23:19 | → | polo joins (~polo@user/polo) |
| 21:24:28 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 21:25:01 | × | Heyting quits (~Heyting@193.198.16.217) (Remote host closed the connection) |
| 21:33:24 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 21:35:17 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 21:38:35 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 21:39:32 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 21:43:49 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 21:48:09 | → | thegeekinside joins (~thegeekin@189.180.115.115) |
| 21:48:59 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 260 seconds) |
| 21:50:07 | × | Yumemi quits (~Yumemi@chamoin.net) (Quit: .) |
| 21:50:33 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 21:52:14 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 21:52:40 | × | thegeekinside quits (~thegeekin@189.180.115.115) (Remote host closed the connection) |
| 21:53:59 | × | polo quits (~polo@user/polo) (Quit: polo) |
| 21:54:25 | → | polo joins (~polo@user/polo) |
| 22:02:38 | × | mestre quits (~mestre@191.177.185.178) (Read error: Connection reset by peer) |
| 22:02:59 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 22:03:49 | × | litharge quits (litharge@libera/bot/litharge) (Quit: restarting...) |
| 22:05:24 | → | litharge joins (litharge@libera/bot/litharge) |
| 22:07:39 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 22:07:48 | → | mestre joins (~mestre@191.177.185.178) |
| 22:12:16 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 22:19:39 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 22:25:51 | <simple> | Is there documentation somewhere on best practices (or at least common practices?) about how to split up code into multiple files, knowing i have to pass data records around between them? |
| 22:26:30 | <simple> | i can't seem to figure out how to pass my Config data to a function in a different file =/ |
| 22:26:53 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 22:26:59 | <[exa]> | simple: can you pastebin a simple example of what your files look like? (even small portions will probably do) |
| 22:27:03 | → | talismanick joins (~talismani@5.187.27.20) |
| 22:27:34 | <[exa]> | simple: also, what's the compiler complainign about? :] |
| 22:28:38 | <simple> | Not in scope: type constructor or class `Config` <-- when i try to pass Config as my first argument to a function in RoomManager.hs, the Config data record is defined in Main.hs |
| 22:29:03 | <[exa]> | ah and you are importing RoomManager into Main ? |
| 22:29:10 | <simple> | exactly, yes |
| 22:29:25 | <geekosaur> | typically you define the config record and any useful utilities for it in a separate file and import it into all modules that need access to it |
| 22:29:30 | <[exa]> | okay you basically made a circular dependency, which isn't solvable but you can circumvent that |
| 22:29:41 | <[exa]> | precisely as geekosaur says :] |
| 22:29:58 | <simple> | yeah, i was thinking of splitting the Config into a separate file, and importing that into each separately |
| 22:30:24 | <simple> | so before i spent time going down that road, i decided to ask if there was a best practices doc for things such as this |
| 22:30:35 | <[exa]> | there aren't many good ways around tbh |
| 22:31:34 | × | talismanick quits (~talismani@5.187.27.20) (Ping timeout: 260 seconds) |
| 22:32:41 | <[exa]> | like, there's a technical way to do that, you can have .hs-boot files that kinda allow you to make circular imports (to some extent) |
| 22:32:52 | <[exa]> | but better just try to stratify your imports correctly |
| 22:32:53 | <simple> | i read a little about that last night |
| 22:33:03 | <simple> | sounded like a bad idea tbh |
| 22:33:41 | <[exa]> | there are few other techniques for specific use cases |
| 22:34:21 | <simple> | i'm sure i wouldn't fall into edge cases |
| 22:34:35 | <[exa]> | sometimes you have `data A = A {x :: B}` and in another file `data B = B{x :: A}` which is literally inseparable, so people just add A into B as an argument |
| 22:34:54 | <[exa]> | (as in `data B a = B{x :: a}` and just use `B A` everywhere |
| 22:35:12 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:35:16 | <[exa]> | but yeah, that's not your case |
| 22:36:09 | × | polo quits (~polo@user/polo) (Quit: polo) |
| 22:36:23 | simple | nods |
| 22:36:31 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 22:44:02 | <simple> | sweet, that works like a charm. I split my Config into a separate file that just defined the record, and split my Client data record into another, and import both into both places |
| 22:44:23 | <simple> | the ircd compiles and runs, now it just needs me to add some features =) |
| 22:44:43 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:46:09 | × | sadmax quits (~user@209.205.174.253) (Ping timeout: 255 seconds) |
| 22:47:50 | <EvanR> | how does hs-boot even work. It's for mutually recursive modules, but isn't haskell supposed to be "seperately compilable" |
| 22:50:29 | <hpc> | it's basically a weird way of defining another module that breaks the loop |
| 22:55:01 | <dolio> | I doubt there's anything in the Haskell report about separate compilation. |
| 22:55:35 | <ski> | other modules depending on the signature/interface/type of the module, rather than the implementation of it |
| 22:56:47 | <ski> | (standard practice in e.g. SML,OCaml, (and other systems that allow separate specification of module interfaces) even if there's no cycles. often helps with separate compilation) |
| 22:57:19 | Guest1204 | is now known as polo |
| 22:57:23 | polo | is now known as money |
| 22:57:45 | <geekosaur> | the report says there is some way to break import cycles so that mutually recursive imports will work. it says nothing about how |
| 22:58:21 | <geekosaur> | and indeed it says nothing about whether separate compilation is possible or not |
| 22:58:33 | ski | nods |
| 22:58:38 | <ski> | (also Backpack) |
| 23:00:30 | <EvanR> | does backspace allow mutually recursive modules |
| 23:03:43 | <monochrom> | No. |
| 23:04:03 | <EvanR> | probably for the best |
| 23:04:18 | <monochrom> | Or rather, backpack does not change how GHC does mutual recursive modules. |
| 23:04:52 | → | polo_ joins (~polo@user/polo) |
| 23:04:59 | <dolio> | I think backpack was probably meant to be grouped with SML and OCaml. |
| 23:05:19 | <dolio> | Maybe OCaml does mutually recursive modules now, but I wouldn't necessarily count on that. |
| 23:07:09 | × | alphabeta quits (~kilolympu@213.144.144.24) (Ping timeout: 260 seconds) |
| 23:11:06 | → | kilolympus joins (~kilolympu@213.144.144.24) |
| 23:15:19 | × | nate3 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 23:18:26 | × | srk quits (~sorki@user/srk) (Ping timeout: 260 seconds) |
| 23:21:28 | → | bilegeek joins (~bilegeek@2600:1008:b022:ec7c:be7c:26b9:42ac:7e7c) |
| 23:21:43 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 23:25:14 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
| 23:25:33 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 23:26:12 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 23:27:36 | → | Kaipei joins (~Kaiepi@108.175.84.104) |
| 23:32:06 | × | dagi82207 quits (~dagit@2001:558:6025:38:6476:a063:d05a:44da) () |
| 23:32:18 | → | dagit joins (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 23:36:31 | → | zeenk joins (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) |
| 23:37:50 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:39:37 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 23:47:51 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 23:48:15 | × | ubert quits (~Thunderbi@77.119.165.14.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 23:53:11 | × | mestre quits (~mestre@191.177.185.178) (Quit: Lost terminal) |
| 23:54:31 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 23:58:59 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 246 seconds) |
All times are in UTC on 2022-11-05.