| 2022-11-05 00:01:25 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-05 00:01:48 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-05 00:01:56 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-05 00:03:59 +0100 | sadmax22 | (~user@209.205.174.253) |
| 2022-11-05 00:04:23 +0100 | sadmax | (~user@209.205.174.253) (Remote host closed the connection) |
| 2022-11-05 00:04:25 +0100 | sadmax22 | (~user@209.205.174.253) (Remote host closed the connection) |
| 2022-11-05 00:04:27 +0100 | dsrt^ | (~dsrt@76.145.185.103) |
| 2022-11-05 00:05:53 +0100 | jtomas | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 246 seconds) |
| 2022-11-05 00:16:43 +0100 | chomwitt | (~chomwitt@athedsl-351939.home.otenet.gr) (Ping timeout: 272 seconds) |
| 2022-11-05 00:19:02 +0100 | <cheater> | seriously, no one got any comments on property test libs? |
| 2022-11-05 00:19:14 +0100 | jinsun | Guest6364 |
| 2022-11-05 00:19:14 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-11-05 00:19:14 +0100 | Guest6364 | (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2022-11-05 00:19:14 +0100 | jinsun__ | jinsun |
| 2022-11-05 00:19:47 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-11-05 00:25:29 +0100 | <monochrom> | Perhaps just Friday inactivity. |
| 2022-11-05 00:27:23 +0100 | <hpc> | perhaps they are distracted by the fact that "thief" would be an excellent name for a property testing library |
| 2022-11-05 00:28:02 +0100 | <monochrom> | theft? thest? test? >:) |
| 2022-11-05 00:28:12 +0100 | <hpc> | thespian |
| 2022-11-05 00:28:15 +0100 | <hpc> | shakespeare |
| 2022-11-05 00:28:18 +0100 | <hpc> | there we go, that's the name |
| 2022-11-05 00:28:22 +0100 | <hpc> | probably not taken yet :D |
| 2022-11-05 00:30:51 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-11-05 00:34:45 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2022-11-05 00:37:05 +0100 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d) |
| 2022-11-05 00:38:38 +0100 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:b4a8:f86e:ce7e:7321) |
| 2022-11-05 00:39:12 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-11-05 00:41:35 +0100 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d) (Ping timeout: 246 seconds) |
| 2022-11-05 00:54:17 +0100 | <sm> | cheater: since you've been looking at them recently, you could prime the pump educating us.. what are the ones you've found and how many reverse deps do they have |
| 2022-11-05 00:54:35 +0100 | <sm> | https://packdeps.haskellers.com/reverse |
| 2022-11-05 00:54:55 +0100 | <sm> | I suspect a quite small proportion of us actually work with property tests |
| 2022-11-05 00:55:00 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 255 seconds) |
| 2022-11-05 00:55:40 +0100 | causal | (~user@50.35.83.177) |
| 2022-11-05 00:56:34 +0100 | <geekosaur> | I've heard a few people in here recommending hedgehog over QuickCheck. haven't done anything with either myself although I think there's some QuickCheck tests for xmonad's StackSet written by sjanssen and/or dons |
| 2022-11-05 00:58:09 +0100 | slack1256 | (~slack1256@191.126.227.201) (Ping timeout: 255 seconds) |
| 2022-11-05 00:58:14 +0100 | <sm> | hedgehog was has been my choice, from the armchair... but they keep releasing more |
| 2022-11-05 01:01:19 +0100 | <cheater> | sm: why do you think reverse dependencies are important here? |
| 2022-11-05 01:01:21 +0100 | <sm> | the 3 most used seem to be quickcheck, hedgehog, smallcheck |
| 2022-11-05 01:01:33 +0100 | <cheater> | oh, _reverse_ dependencies |
| 2022-11-05 01:01:38 +0100 | <cheater> | as in popularity contest |
| 2022-11-05 01:01:52 +0100 | <cheater> | i guess it tells you something about how much take up a certain library has |
| 2022-11-05 01:02:10 +0100 | <sm> | yes, which property test libs are actually used. It's a pretty cost-effective first signal to look at |
| 2022-11-05 01:02:20 +0100 | <cheater> | you're right |
| 2022-11-05 01:02:26 +0100 | <cheater> | but i don't really know which ones to look at |
| 2022-11-05 01:02:37 +0100 | <cheater> | i know of hedgehog, smallcheck, and i think... uh... smartcheck? |
| 2022-11-05 01:02:44 +0100 | <cheater> | i believe hedgehog was somehow weird in some way though |
| 2022-11-05 01:02:57 +0100 | <cheater> | last time i looked at it it seemed very "opinionated" in some way |
| 2022-11-05 01:04:26 +0100 | <sm> | usually that's a reaction to a freewheeling predecessor and brings a lot of UX improvement |
| 2022-11-05 01:04:44 +0100 | <sm> | so it's not all bad |
| 2022-11-05 01:06:10 +0100 | <cheater> | what do you mean by "freewheeling"? |
| 2022-11-05 01:06:59 +0100 | <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 |
| 2022-11-05 01:07:53 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds) |
| 2022-11-05 01:08:42 +0100 | <sm> | appropriately unopinionated for its time, but now ripe for some curation, to highlight the best - am I making sense ? |
| 2022-11-05 01:11:45 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-11-05 01:13:48 +0100 | <sm> | quite often in haskell discussions people use "opinionated" pejoratively (as a criticism), I'm just pointing out it is sometimes a good thing |
| 2022-11-05 01:19:18 +0100 | mmhat | (~mmh@p200300f1c730762fee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-11-05 01:21:19 +0100 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-11-05 01:22:58 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 01:28:56 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-05 01:29:46 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) |
| 2022-11-05 01:32:48 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 255 seconds) |
| 2022-11-05 01:35:04 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-11-05 01:38:33 +0100 | mmhat | (~mmh@p200300f1c7219577ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-11-05 01:39:39 +0100 | jespada | (~jespada@82.36.38.229) |
| 2022-11-05 01:39:46 +0100 | <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) |
| 2022-11-05 01:41:56 +0100 | Kaipei | (~Kaiepi@108.175.84.104) (Ping timeout: 248 seconds) |
| 2022-11-05 01:43:09 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-11-05 01:52:01 +0100 | tcard | (~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Quit: Leaving) |
| 2022-11-05 01:54:49 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-11-05 01:55:53 +0100 | <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. |
| 2022-11-05 01:56:32 +0100 | tcard | (~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) |
| 2022-11-05 01:58:35 +0100 | mmhat | (~mmh@p200300f1c7219577ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-11-05 01:59:57 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-05 02:06:05 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-11-05 02:07:43 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-11-05 02:12:49 +0100 | abhiroop_ | (~abhiroop@217-209-157-8-no2000.tbcn.telia.com) |
| 2022-11-05 02:12:53 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2022-11-05 02:15:16 +0100 | talismanick | (~talismani@2601:200:c100:c9e0::1b0b) |
| 2022-11-05 02:15:24 +0100 | Kaipei | (~Kaiepi@108.175.84.104) |
| 2022-11-05 02:15:42 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-11-05 02:18:51 +0100 | mmhat | (~mmh@p200300f1c72263c3ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-11-05 02:20:52 +0100 | Kaipei | (~Kaiepi@108.175.84.104) (Ping timeout: 248 seconds) |
| 2022-11-05 02:22:09 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-11-05 02:22:14 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-11-05 02:30:01 +0100 | mmhat | (~mmh@p200300f1c72263c3ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-11-05 02:30:21 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-11-05 02:30:26 +0100 | nate3 | (~nate@98.45.169.16) |
| 2022-11-05 02:31:33 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-05 02:32:09 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-05 02:33:17 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 02:37:57 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-11-05 02:42:13 +0100 | ubert1 | (~Thunderbi@77.119.165.14.wireless.dyn.drei.com) |
| 2022-11-05 02:44:17 +0100 | ubert | (~Thunderbi@178.115.71.138.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2022-11-05 02:44:17 +0100 | ubert1 | ubert |
| 2022-11-05 02:44:52 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 2022-11-05 02:48:36 +0100 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 2022-11-05 02:49:47 +0100 | mmhat | (~mmh@p200300f1c7231662ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-11-05 02:50:11 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 02:56:57 +0100 | glguy | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 255 seconds) |
| 2022-11-05 03:00:54 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-11-05 03:01:42 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-11-05 03:04:19 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-05 03:05:36 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-05 03:07:09 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-05 03:14:16 +0100 | jargon | (~jargon@184.101.188.35) |
| 2022-11-05 03:14:44 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2022-11-05 03:16:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-11-05 03:26:21 +0100 | freeside_ | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 03:27:34 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-05 03:30:42 +0100 | mvk | (~mvk@2607:fea8:5ce3:8500::4b68) (Ping timeout: 255 seconds) |
| 2022-11-05 03:31:56 +0100 | dcoutts__ | (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 2022-11-05 03:33:56 +0100 | nate3 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-11-05 03:34:39 +0100 | polo | (~polo@user/polo) |
| 2022-11-05 03:34:57 +0100 | dcoutts_ | (~duncan@host109-149-38-108.range109-149.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-11-05 03:36:37 +0100 | lucerne | (~lucerne@5.113.247.76) (Ping timeout: 268 seconds) |
| 2022-11-05 03:36:39 +0100 | mmhat | (~mmh@p200300f1c7231662ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1) |
| 2022-11-05 03:42:56 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-05 03:42:56 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-11-05 03:42:56 +0100 | finn_elija | FinnElija |
| 2022-11-05 03:46:27 +0100 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2022-11-05 03:54:12 +0100 | freeside_ | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 2022-11-05 03:55:34 +0100 | abhiroop_ | (~abhiroop@217-209-157-8-no2000.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2022-11-05 03:59:46 +0100 | polo | (~polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-11-05 04:01:03 +0100 | polo | (~polo@user/polo) |
| 2022-11-05 04:05:59 +0100 | polo | (~polo@user/polo) (Ping timeout: 276 seconds) |
| 2022-11-05 04:07:49 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-11-05 04:10:24 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 04:11:35 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-11-05 04:11:54 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-11-05 04:12:02 +0100 | nate3 | (~nate@98.45.169.16) |
| 2022-11-05 04:12:08 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-11-05 04:14:27 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-11-05 04:16:29 +0100 | sympt | (~sympt@user/sympt) (Read error: Connection reset by peer) |
| 2022-11-05 04:17:13 +0100 | sympt7 | (~sympt@user/sympt) |
| 2022-11-05 04:17:26 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-11-05 04:22:28 +0100 | td_ | (~td@83.135.9.48) (Ping timeout: 248 seconds) |
| 2022-11-05 04:24:13 +0100 | td_ | (~td@83.135.9.38) |
| 2022-11-05 04:26:08 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 2022-11-05 04:26:35 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-11-05 04:27:02 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2022-11-05 04:27:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-11-05 04:28:58 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-05 04:29:06 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-11-05 04:29:17 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-11-05 04:29:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-05 04:33:26 +0100 | slack1256 | (~slack1256@186.11.126.14) |
| 2022-11-05 04:35:39 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-11-05 04:35:43 +0100 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) |
| 2022-11-05 04:38:56 +0100 | <sm> | a big FP thread: https://news.ycombinator.com/item?id=33433783 |
| 2022-11-05 04:42:32 +0100 | Athas | (~athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-11-05 04:42:44 +0100 | Athas | (~athas@sigkill.dk) |
| 2022-11-05 04:45:24 +0100 | ubert1 | (~Thunderbi@77.119.165.14.wireless.dyn.drei.com) |
| 2022-11-05 04:45:44 +0100 | ubert | (~Thunderbi@77.119.165.14.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2022-11-05 04:45:44 +0100 | ubert1 | ubert |
| 2022-11-05 04:45:54 +0100 | Athas | (~athas@sigkill.dk) (Client Quit) |
| 2022-11-05 04:49:52 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-11-05 04:49:54 +0100 | Athas | (~athas@2a01:7c8:aaac:1cf:ed50:f8c9:7754:b531) |
| 2022-11-05 04:51:40 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-11-05 04:52:00 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-11-05 04:52:32 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds) |
| 2022-11-05 04:53:22 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-11-05 04:53:22 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-05 04:53:22 +0100 | finn_elija | FinnElija |
| 2022-11-05 04:59:07 +0100 | <dolio> | Seems pretty worthless. |
| 2022-11-05 05:01:50 +0100 | xff0x | (~xff0x@2405:6580:b080:900:dde7:2b6c:97ae:a5eb) (Ping timeout: 268 seconds) |
| 2022-11-05 05:03:15 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-05 05:03:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:dde7:2b6c:97ae:a5eb) |
| 2022-11-05 05:03:42 +0100 | <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 |
| 2022-11-05 05:04:48 +0100 | <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 |
| 2022-11-05 05:05:37 +0100 | <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 |
| 2022-11-05 05:06:03 +0100 | <chromoblob> | ghcide sounds like genocide, suicide, ... |
| 2022-11-05 05:06:04 +0100 | <dsal> | I've never used ghcide or hls. |
| 2022-11-05 05:12:22 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-11-05 05:12:53 +0100 | <probie> | I use hls, but as long as ghci or {cabal, stack} repl work, it's merely nice to have, not needed |
| 2022-11-05 05:13:08 +0100 | <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. |
| 2022-11-05 05:13:11 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 2022-11-05 05:13:53 +0100 | <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 |
| 2022-11-05 05:17:46 +0100 | <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 |
| 2022-11-05 05:17:49 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-05 05:18:59 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2022-11-05 05:19:07 +0100 | <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 |
| 2022-11-05 05:19:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-11-05 05:19:38 +0100 | <sm> | out of curiousity, ghcid is really helpful, were you using that ? |
| 2022-11-05 05:20:13 +0100 | <sm> | but agreed, vs code plus hls/hlint/... is a big improvement |
| 2022-11-05 05:20:45 +0100 | Athas | (~athas@2a01:7c8:aaac:1cf:ed50:f8c9:7754:b531) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-11-05 05:21:00 +0100 | Athas | (~athas@2a01:7c8:aaac:1cf:ed50:f8c9:7754:b531) |
| 2022-11-05 05:23:35 +0100 | <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 |
| 2022-11-05 05:23:39 +0100 | nate3 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-11-05 05:24:26 +0100 | <nicm[m]> | does not sound much when you think about it, but made a difference those early couple weeks |
| 2022-11-05 05:24:48 +0100 | <dsal> | I do that with flymake sometimes. Most of the time I just use `stack test --file-watch` |
| 2022-11-05 05:25:04 +0100 | <sm> | oh ghcid / any fast feedback loop is a game changer for learning |
| 2022-11-05 05:25:33 +0100 | <sm> | dsal do you throw a --fast on there |
| 2022-11-05 05:25:55 +0100 | <dsal> | I didn't know that was an option. I guess I normally use --slow |
| 2022-11-05 05:26:20 +0100 | <sm> | heh.. yes --fast helps (compile with -O0) |
| 2022-11-05 05:26:21 +0100 | glguy | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 255 seconds) |
| 2022-11-05 05:26:33 +0100 | <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" |
| 2022-11-05 05:27:27 +0100 | <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 |
| 2022-11-05 05:27:50 +0100 | <dsal> | It's taking me forever to finish this port, so `--fast` seems right for that. :) |
| 2022-11-05 05:28:14 +0100 | P1RATEZ | (piratez@user/p1ratez) |
| 2022-11-05 05:28:47 +0100 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2022-11-05 05:29:28 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 05:30:53 +0100 | dcoutts_ | (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 2022-11-05 05:33:33 +0100 | dcoutts__ | (~duncan@host86-153-135-2.range86-153.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2022-11-05 05:34:34 +0100 | slack1256 | (~slack1256@186.11.126.14) (Remote host closed the connection) |
| 2022-11-05 05:35:58 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-11-05 05:37:49 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-11-05 05:49:12 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-11-05 05:50:07 +0100 | nate3 | (~nate@98.45.169.16) |
| 2022-11-05 05:52:05 +0100 | lucerne | (~lucerne@5.113.247.76) |
| 2022-11-05 06:00:24 +0100 | nate3 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-11-05 06:05:28 +0100 | Guest75 | (~Guest75@178.141.177.81) |
| 2022-11-05 06:06:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b8c3:aabe:4f47:1efb) (Remote host closed the connection) |
| 2022-11-05 06:13:16 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Read error: Connection reset by peer) |
| 2022-11-05 06:13:27 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 06:13:36 +0100 | glguy | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 255 seconds) |
| 2022-11-05 06:14:36 +0100 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2022-11-05 06:17:34 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Ping timeout: 268 seconds) |
| 2022-11-05 06:23:03 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 2022-11-05 06:27:38 +0100 | <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 ? |
| 2022-11-05 06:32:12 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-11-05 06:35:12 +0100 | glguy | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 255 seconds) |
| 2022-11-05 06:36:09 +0100 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2022-11-05 06:40:36 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
| 2022-11-05 06:43:46 +0100 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-11-05 06:45:28 +0100 | dolio | (~dolio@130.44.134.54) |
| 2022-11-05 06:47:02 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-11-05 06:47:29 +0100 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2022-11-05 06:48:39 +0100 | dolio | (~dolio@130.44.134.54) |
| 2022-11-05 07:06:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) |
| 2022-11-05 07:09:37 +0100 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-11-05 07:11:12 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) (Ping timeout: 255 seconds) |
| 2022-11-05 07:22:04 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2022-11-05 07:23:32 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-11-05 07:31:48 +0100 | causal | (~user@50.35.83.177) (Read error: Connection reset by peer) |
| 2022-11-05 07:32:04 +0100 | causal | (~user@50.35.83.177) |
| 2022-11-05 07:32:16 +0100 | dcoutts_ | (~duncan@host86-153-135-2.range86-153.btcentralplus.com) (Read error: Connection reset by peer) |
| 2022-11-05 07:32:23 +0100 | dcoutts_ | (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 2022-11-05 07:33:09 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-05 07:33:49 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-05 07:36:04 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-05 07:38:47 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-11-05 07:38:54 +0100 | kadobanana | (~mud@user/kadoban) |
| 2022-11-05 07:39:11 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 260 seconds) |
| 2022-11-05 07:39:49 +0100 | lucerne | (~lucerne@5.113.247.76) (Read error: Connection reset by peer) |
| 2022-11-05 07:40:03 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-11-05 07:45:45 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 07:51:32 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2022-11-05 07:54:36 +0100 | mud | (~mud@user/kadoban) |
| 2022-11-05 07:54:37 +0100 | phma | (phma@2001:5b0:210d:ac28:8814:df84:c60c:ebe6) (Read error: Connection reset by peer) |
| 2022-11-05 07:54:42 +0100 | kadobanana | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2022-11-05 07:55:35 +0100 | phma | (~phma@2001:5b0:210f:1098:cf73:cbd6:a0fe:53fb) |
| 2022-11-05 08:18:12 +0100 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-11-05 08:18:26 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-11-05 08:19:27 +0100 | troydm | (~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) |
| 2022-11-05 08:21:25 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-05 08:22:14 +0100 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-11-05 08:23:33 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-11-05 08:25:12 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 2022-11-05 08:25:47 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-05 08:25:56 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 2022-11-05 08:27:21 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-05 08:27:28 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 2022-11-05 08:29:56 +0100 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 248 seconds) |
| 2022-11-05 08:39:16 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-11-05 08:39:20 +0100 | euandreh | (~euandreh@179.214.113.107) |
| 2022-11-05 08:47:18 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2022-11-05 08:48:47 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-11-05 08:49:05 +0100 | acidjnk | (~acidjnk@p200300d6e7137a94315b29d137daacca.dip0.t-ipconnect.de) |
| 2022-11-05 08:52:42 +0100 | euandreh | (~euandreh@179.214.113.107) (Quit: WeeChat 3.6) |
| 2022-11-05 08:53:10 +0100 | euandreh | (~euandreh@179.214.113.107) |
| 2022-11-05 08:53:53 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-11-05 08:54:45 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-05 08:54:59 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 2022-11-05 08:56:28 +0100 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) |
| 2022-11-05 08:57:16 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-05 08:57:34 +0100 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) (Client Quit) |
| 2022-11-05 08:58:12 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 2022-11-05 09:00:15 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2022-11-05 09:14:34 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-11-05 09:16:20 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-11-05 09:20:47 +0100 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-11-05 09:28:27 +0100 | P1RATEZ | (piratez@user/p1ratez) (Remote host closed the connection) |
| 2022-11-05 09:33:54 +0100 | dcoutts__ | (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 2022-11-05 09:33:54 +0100 | dcoutts_ | (~duncan@host86-153-135-2.range86-153.btcentralplus.com) (Read error: Connection reset by peer) |
| 2022-11-05 09:34:01 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-05 09:40:19 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 2022-11-05 09:42:10 +0100 | kadobanana | (~mud@user/kadoban) |
| 2022-11-05 09:42:39 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 260 seconds) |
| 2022-11-05 09:42:41 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-11-05 09:43:46 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-05 09:43:46 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 2022-11-05 09:44:00 +0100 | Kaipei | (~Kaiepi@108.175.84.104) |
| 2022-11-05 09:44:04 +0100 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2022-11-05 09:44:13 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-05 09:45:45 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Client Quit) |
| 2022-11-05 09:48:24 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-05 09:49:29 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-05 09:49:39 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-05 09:50:16 +0100 | dagi33709 | (~dagit@2001:558:6025:38:6476:a063:d05a:44da) (Ping timeout: 252 seconds) |
| 2022-11-05 09:50:30 +0100 | talismanick | (~talismani@2601:200:c100:c9e0::1b0b) (Ping timeout: 255 seconds) |
| 2022-11-05 09:55:10 +0100 | lucerne | (~lucerne@5.113.247.76) |
| 2022-11-05 09:57:36 +0100 | nate3 | (~nate@98.45.169.16) |
| 2022-11-05 09:59:08 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 246 seconds) |
| 2022-11-05 10:00:03 +0100 | RosarioPulella[m | (~rosariopu@2001:470:69fc:105::a57) (Quit: You have been kicked for being idle) |
| 2022-11-05 10:00:48 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) |
| 2022-11-05 10:01:15 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 10:02:29 +0100 | nate3 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-11-05 10:02:39 +0100 | <chreekat> | Some folks have adopted hpc https://gitlab.haskell.org/hpc/hpc-bin ... We need somebody to adopt haddock as well |
| 2022-11-05 10:03:37 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-11-05 10:06:19 +0100 | chomwitt | (~chomwitt@2a02:587:7a0a:c00:1ac0:4dff:fedb:a3f1) |
| 2022-11-05 10:06:21 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-11-05 10:07:37 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-11-05 10:19:02 +0100 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-11-05 10:21:44 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-05 10:24:39 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds) |
| 2022-11-05 10:24:42 +0100 | razetime | (~quassel@117.193.7.39) |
| 2022-11-05 10:25:01 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-05 10:26:59 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-05 10:32:56 +0100 | mmhat | (~mmh@p200300f1c7231662ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-11-05 10:34:47 +0100 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) |
| 2022-11-05 10:34:57 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-11-05 10:37:29 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-05 10:40:06 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Quit: king_gs) |
| 2022-11-05 10:40:34 +0100 | Guest75 | (~Guest75@178.141.177.81) (Quit: Client closed) |
| 2022-11-05 10:42:50 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-11-05 10:42:54 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 2022-11-05 10:43:04 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 2022-11-05 10:43:25 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Client Quit) |
| 2022-11-05 10:46:47 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-11-05 10:51:05 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-11-05 10:52:04 +0100 | dagit | (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 2022-11-05 10:53:47 +0100 | dagit | (~dagit@2001:558:6025:38:6476:a063:d05a:44da) (Read error: Connection reset by peer) |
| 2022-11-05 10:53:53 +0100 | dagi82207 | (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 2022-11-05 10:55:32 +0100 | thegeekinside | (~thegeekin@189.180.115.115) (Ping timeout: 248 seconds) |
| 2022-11-05 10:55:32 +0100 | danza | (~francesco@22.red-79-153-42.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2022-11-05 10:56:44 +0100 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 260 seconds) |
| 2022-11-05 10:58:34 +0100 | euandreh | (~euandreh@179.214.113.107) |
| 2022-11-05 10:58:56 +0100 | freeside | (~mengwong@bb119-74-65-177.singnet.com.sg) |
| 2022-11-05 11:00:25 +0100 | titibandit | (~titibandi@xdsl-87-79-250-160.nc.de) |
| 2022-11-05 11:03:32 +0100 | freeside | (~mengwong@bb119-74-65-177.singnet.com.sg) (Ping timeout: 248 seconds) |
| 2022-11-05 11:06:52 +0100 | Guest75 | (~Guest75@178.141.177.81) |
| 2022-11-05 11:10:14 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) |
| 2022-11-05 11:12:22 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) |
| 2022-11-05 11:13:17 +0100 | king_gs | (~Thunderbi@2806:103e:29:47b9:f34b:ffff:4cfc:90a6) (Client Quit) |
| 2022-11-05 11:14:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) (Ping timeout: 255 seconds) |
| 2022-11-05 11:15:24 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds) |
| 2022-11-05 11:19:28 +0100 | potash | (~foghorn@user/foghorn) |
| 2022-11-05 11:26:38 +0100 | danza | (~francesco@93.176.137.22) |
| 2022-11-05 11:35:23 +0100 | dcoutts_ | (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 2022-11-05 11:35:31 +0100 | dcoutts__ | (~duncan@host86-153-135-2.range86-153.btcentralplus.com) (Read error: Connection reset by peer) |
| 2022-11-05 11:38:00 +0100 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-11-05 11:38:30 +0100 | CiaoSen | (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-11-05 11:39:53 +0100 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-11-05 11:40:20 +0100 | <fendor[m]> | would love to join a haddock initiative! |
| 2022-11-05 11:40:29 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-05 11:40:42 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-11-05 11:41:47 +0100 | freeside | (~mengwong@bb119-74-65-177.singnet.com.sg) |
| 2022-11-05 11:45:43 +0100 | CiaoSen | (~Jura@p200300c9571247002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-11-05 11:46:06 +0100 | mud | (~mud@user/kadoban) |
| 2022-11-05 11:46:19 +0100 | freeside | (~mengwong@bb119-74-65-177.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-05 11:46:19 +0100 | kadobanana | (~mud@user/kadoban) (Ping timeout: 260 seconds) |
| 2022-11-05 11:46:39 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-11-05 11:46:54 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 2022-11-05 11:47:09 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-11-05 11:50:44 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2022-11-05 11:51:16 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-11-05 11:53:24 +0100 | ksu | (~ksu@user/prtr) |
| 2022-11-05 11:55:35 +0100 | sus7 | (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net) |
| 2022-11-05 11:57:56 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 248 seconds) |
| 2022-11-05 11:59:14 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-11-05 12:04:24 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2022-11-05 12:05:23 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) |
| 2022-11-05 12:06:23 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-11-05 12:08:49 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-05 12:11:04 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2022-11-05 12:13:29 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 2022-11-05 12:15:29 +0100 | danza | (~francesco@93.176.137.22) (Ping timeout: 260 seconds) |
| 2022-11-05 12:19:48 +0100 | Xeroine | (~Xeroine@user/xeroine) (Ping timeout: 248 seconds) |
| 2022-11-05 12:19:58 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-05 12:20:12 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-11-05 12:23:04 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-11-05 12:26:05 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-11-05 12:28:54 +0100 | razetime | (~quassel@117.193.7.39) (Ping timeout: 260 seconds) |
| 2022-11-05 12:29:52 +0100 | razetime | (~quassel@117.193.7.39) |
| 2022-11-05 12:32:26 +0100 | acidjnk | (~acidjnk@p200300d6e7137a94315b29d137daacca.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-11-05 12:34:41 +0100 | vglfr | (~vglfr@145.224.100.100) |
| 2022-11-05 12:37:26 +0100 | acidjnk | (~acidjnk@p200300d6e7137a94ec9bdd4b1e553e89.dip0.t-ipconnect.de) |
| 2022-11-05 12:38:28 +0100 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-11-05 12:38:49 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-11-05 12:39:25 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 2022-11-05 12:40:12 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-11-05 12:43:37 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-05 12:44:12 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2022-11-05 12:44:21 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-05 12:44:59 +0100 | nate3 | (~nate@98.45.169.16) |
| 2022-11-05 12:49:54 +0100 | nate3 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-11-05 12:50:57 +0100 | danza | (~francesco@22.red-79-153-42.dynamicip.rima-tde.net) |
| 2022-11-05 12:57:58 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2022-11-05 13:07:45 +0100 | phma | (~phma@2001:5b0:210f:1098:cf73:cbd6:a0fe:53fb) (Read error: Connection reset by peer) |
| 2022-11-05 13:08:40 +0100 | phma | (phma@2001:5b0:210b:fde8:9e53:4765:c808:5b87) |
| 2022-11-05 13:09:52 +0100 | euandreh | (~euandreh@179.214.113.107) (Quit: WeeChat 3.6) |
| 2022-11-05 13:13:56 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-05 13:16:16 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-05 13:18:29 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-05 13:19:04 +0100 | razetime | (~quassel@117.193.7.39) (Ping timeout: 260 seconds) |
| 2022-11-05 13:19:32 +0100 | razetime | (~quassel@117.193.7.39) |
| 2022-11-05 13:20:31 +0100 | Franciman | cousin_mario |
| 2022-11-05 13:20:55 +0100 | cousin_mario | Franciman |
| 2022-11-05 13:26:33 +0100 | acidjnk | (~acidjnk@p200300d6e7137a94ec9bdd4b1e553e89.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-11-05 13:29:40 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-11-05 13:36:56 +0100 | dcoutts__ | (~duncan@host86-153-135-2.range86-153.btcentralplus.com) |
| 2022-11-05 13:39:29 +0100 | dcoutts_ | (~duncan@host86-153-135-2.range86-153.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-11-05 13:39:53 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-11-05 13:46:10 +0100 | freeside | (~mengwong@bb119-74-65-177.singnet.com.sg) |
| 2022-11-05 13:51:42 +0100 | freeside | (~mengwong@bb119-74-65-177.singnet.com.sg) (Ping timeout: 255 seconds) |
| 2022-11-05 13:53:57 +0100 | lucerne | (~lucerne@5.113.247.76) (Ping timeout: 255 seconds) |
| 2022-11-05 13:54:51 +0100 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 2022-11-05 13:55:38 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-11-05 13:56:59 +0100 | ksu | (~ksu@user/prtr) (Ping timeout: 260 seconds) |
| 2022-11-05 14:02:49 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 260 seconds) |
| 2022-11-05 14:03:04 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-11-05 14:03:33 +0100 | ksu | (~ksu@user/prtr) |
| 2022-11-05 14:16:48 +0100 | titibandit | (~titibandi@xdsl-87-79-250-160.nc.de) (Quit: Leaving.) |
| 2022-11-05 14:17:38 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 276 seconds) |
| 2022-11-05 14:17:48 +0100 | euandreh | (~euandreh@179.214.113.107) |
| 2022-11-05 14:18:02 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-11-05 14:18:33 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-11-05 14:21:46 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection) |
| 2022-11-05 14:21:58 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-11-05 14:37:14 +0100 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 260 seconds) |
| 2022-11-05 14:37:32 +0100 | vglfr | (~vglfr@145.224.100.100) |
| 2022-11-05 14:37:35 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-05 14:38:16 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-05 14:38:25 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-05 14:40:03 +0100 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-11-05 14:40:35 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 2022-11-05 14:40:37 +0100 | vglfr | (~vglfr@145.224.100.100) |
| 2022-11-05 14:40:42 +0100 | tomku | (~tomku@user/tomku) |
| 2022-11-05 14:42:00 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-11-05 14:46:42 +0100 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-11-05 14:47:00 +0100 | vglfr | (~vglfr@145.224.100.100) |
| 2022-11-05 14:50:42 +0100 | mokee | (~mokee@37.228.215.235) |
| 2022-11-05 14:53:48 +0100 | Xeroine | (~Xeroine@user/xeroine) (Ping timeout: 255 seconds) |
| 2022-11-05 14:55:19 +0100 | danza | (~francesco@22.red-79-153-42.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-11-05 14:57:17 +0100 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-11-05 14:57:43 +0100 | vglfr | (~vglfr@145.224.100.100) |
| 2022-11-05 14:58:00 +0100 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-11-05 14:58:18 +0100 | vglfr | (~vglfr@145.224.100.100) |
| 2022-11-05 14:59:22 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-11-05 14:59:23 +0100 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-11-05 15:02:14 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-05 15:02:47 +0100 | vglfr | (~vglfr@145.224.100.100) |
| 2022-11-05 15:07:31 +0100 | danza | (~francesco@22.red-79-153-42.dynamicip.rima-tde.net) |
| 2022-11-05 15:09:24 +0100 | razetime | (~quassel@117.193.7.39) (Ping timeout: 248 seconds) |
| 2022-11-05 15:09:33 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-11-05 15:09:35 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 2022-11-05 15:14:08 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-05 15:14:45 +0100 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-11-05 15:15:18 +0100 | vglfr | (~vglfr@145.224.100.100) |
| 2022-11-05 15:17:27 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-05 15:19:53 +0100 | kuribas | (~user@188.188.236.56) |
| 2022-11-05 15:19:58 +0100 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 255 seconds) |
| 2022-11-05 15:20:18 +0100 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-11-05 15:23:25 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-05 15:25:04 +0100 | kuribas | (~user@188.188.236.56) (Ping timeout: 260 seconds) |
| 2022-11-05 15:25:07 +0100 | titibandit | (~titibandi@xdsl-87-79-250-160.nc.de) |
| 2022-11-05 15:25:09 +0100 | kuribas` | (~user@ptr-9gsrwyjg95qox7xqrlc.18120a2.ip6.access.telenet.be) |
| 2022-11-05 15:34:46 +0100 | abhiroop_ | (~abhiroop@ext-1-450.eduroam.chalmers.se) |
| 2022-11-05 15:37:43 +0100 | razetime | (~quassel@117.193.7.39) |
| 2022-11-05 15:38:39 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2022-11-05 15:47:38 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 2022-11-05 15:48:26 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-11-05 15:49:57 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-05 15:55:20 +0100 | odnes | (~odnes@5-203-179-68.pat.nym.cosmote.net) |
| 2022-11-05 15:55:49 +0100 | odnes | (~odnes@5-203-179-68.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-11-05 16:06:17 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-11-05 16:08:47 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-11-05 16:08:58 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-11-05 16:11:23 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 276 seconds) |
| 2022-11-05 16:13:17 +0100 | money | polo |
| 2022-11-05 16:13:42 +0100 | <chreekat> | fendor: join, or initiate? :) |
| 2022-11-05 16:13:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) |
| 2022-11-05 16:14:00 +0100 | nate3 | (~nate@98.45.169.16) |
| 2022-11-05 16:15:23 +0100 | <[exa]> | haddock initiative for what? |
| 2022-11-05 16:17:21 +0100 | <chreekat> | If anyone is motivated to maintain it actively, I guess it would be whatever they are interested in doing |
| 2022-11-05 16:18:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) (Ping timeout: 255 seconds) |
| 2022-11-05 16:19:23 +0100 | nate3 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-11-05 16:22:45 +0100 | beteigeuze1 | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-11-05 16:23:18 +0100 | <fendor[m]> | chreekat, until I finished my master thesis and hls is stable, only join ;D |
| 2022-11-05 16:24:12 +0100 | <fendor[m]> | but if no dedicated haddock team formed within next year, ping me again |
| 2022-11-05 16:24:34 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2022-11-05 16:24:34 +0100 | beteigeuze1 | beteigeuze |
| 2022-11-05 16:24:59 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-11-05 16:25:20 +0100 | <chreekat> | :D |
| 2022-11-05 16:25:41 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-11-05 16:25:41 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-11-05 16:25:58 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-11-05 16:26:08 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-11-05 16:26:14 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-11-05 16:26:14 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-11-05 16:26:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-11-05 16:26:15 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-11-05 16:26:15 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-11-05 16:26:15 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-11-05 16:26:15 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-11-05 16:27:34 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-11-05 16:27:58 +0100 | jlgw | (~jw@83-233-104-81.cust.bredband2.com) (Remote host closed the connection) |
| 2022-11-05 16:28:40 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-05 16:29:25 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-05 16:29:29 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-11-05 16:30:56 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-11-05 16:30:58 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-05 16:31:08 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-05 16:31:33 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-11-05 16:31:44 +0100 | ddellacosta | (~ddellacos@89.45.224.156) |
| 2022-11-05 16:31:54 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-11-05 16:31:56 +0100 | califax | (~califax@user/califx) |
| 2022-11-05 16:32:19 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-11-05 16:32:21 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-05 16:32:34 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-11-05 16:33:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-05 16:34:30 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-11-05 16:43:34 +0100 | freeside | (~mengwong@bb119-74-65-177.singnet.com.sg) |
| 2022-11-05 16:43:43 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-11-05 16:43:49 +0100 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 260 seconds) |
| 2022-11-05 16:44:08 +0100 | vglfr | (~vglfr@145.224.100.100) |
| 2022-11-05 16:44:13 +0100 | razetime | (~quassel@117.193.7.39) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-11-05 16:46:26 +0100 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-11-05 16:48:04 +0100 | freeside | (~mengwong@bb119-74-65-177.singnet.com.sg) (Ping timeout: 248 seconds) |
| 2022-11-05 16:50:36 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-05 16:50:52 +0100 | <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? |
| 2022-11-05 16:51:18 +0100 | <sshine> | d'oh. sorry. I didn't see the small expand error section arrow |
| 2022-11-05 16:52:46 +0100 | econo | (uid147250@user/econo) |
| 2022-11-05 16:53:28 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-11-05 16:53:31 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2022-11-05 16:56:09 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-05 16:56:20 +0100 | mud | (~mud@user/kadoban) |
| 2022-11-05 16:57:26 +0100 | arkeet | (arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-11-05 16:59:27 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-05 16:59:41 +0100 | arkeet | (arkeet@moriya.ca) |
| 2022-11-05 17:00:03 +0100 | foghorn | (~foghorn@user/foghorn) (Quit: You have been kicked for being idle) |
| 2022-11-05 17:00:34 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-05 17:01:24 +0100 | Xeroine | (~Xeroine@user/xeroine) (Ping timeout: 248 seconds) |
| 2022-11-05 17:02:37 +0100 | nate3 | (~nate@98.45.169.16) |
| 2022-11-05 17:05:31 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-11-05 17:17:07 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-11-05 17:22:27 +0100 | Heyting | (~Heyting@193.198.16.217) |
| 2022-11-05 17:25:06 +0100 | Major_Biscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-11-05 17:26:43 +0100 | Heyting | (~Heyting@193.198.16.217) (Remote host closed the connection) |
| 2022-11-05 17:27:50 +0100 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Ping timeout: 246 seconds) |
| 2022-11-05 17:28:09 +0100 | titibandit | (~titibandi@xdsl-87-79-250-160.nc.de) (Ping timeout: 260 seconds) |
| 2022-11-05 17:28:40 +0100 | titibandit | (~titibandi@xdsl-87-79-250-160.nc.de) |
| 2022-11-05 17:28:58 +0100 | Vajb | (~Vajb@2001:999:504:3ad6:52a4:a3b5:32d8:e74d) |
| 2022-11-05 17:31:02 +0100 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-11-05 17:31:02 +0100 | wolfshappen | (~waff@irc.furworks.de) (Quit: later) |
| 2022-11-05 17:31:47 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-11-05 17:31:47 +0100 | jinsun | (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2022-11-05 17:31:47 +0100 | jinsun__ | jinsun |
| 2022-11-05 17:37:59 +0100 | merijn | (~merijn@86.86.29.250) |
| 2022-11-05 17:38:39 +0100 | Major_Biscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-05 17:47:00 +0100 | jinsun | Guest7629 |
| 2022-11-05 17:47:00 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-11-05 17:47:00 +0100 | Guest7629 | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2022-11-05 17:47:00 +0100 | jinsun__ | jinsun |
| 2022-11-05 17:54:08 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 17:57:11 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5dfc:b079:6d3b:228f) |
| 2022-11-05 17:59:04 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-05 18:01:24 +0100 | nate3 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-11-05 18:01:30 +0100 | michalz | (~michalz@185.246.207.221) |
| 2022-11-05 18:02:45 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-11-05 18:03:03 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2022-11-05 18:04:06 +0100 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-11-05 18:04:21 +0100 | vgtw_ | (~vgtw@user/vgtw) |
| 2022-11-05 18:04:24 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-11-05 18:04:53 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 268 seconds) |
| 2022-11-05 18:05:29 +0100 | ddellacosta | (~ddellacos@89.45.224.156) (Ping timeout: 260 seconds) |
| 2022-11-05 18:05:54 +0100 | ddellacosta | (~ddellacos@89.45.224.156) |
| 2022-11-05 18:07:46 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-11-05 18:10:44 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2022-11-05 18:11:31 +0100 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) |
| 2022-11-05 18:11:40 +0100 | [_] | [itchyjunk] |
| 2022-11-05 18:11:47 +0100 | merijn | (~merijn@86.86.29.250) (Ping timeout: 268 seconds) |
| 2022-11-05 18:13:40 +0100 | kuribas` | (~user@ptr-9gsrwyjg95qox7xqrlc.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-11-05 18:14:01 +0100 | danza | (~francesco@22.red-79-153-42.dynamicip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2022-11-05 18:14:32 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-11-05 18:24:13 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-11-05 18:27:11 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-11-05 18:28:15 +0100 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 2022-11-05 18:31:49 +0100 | nate3 | (~nate@98.45.169.16) |
| 2022-11-05 18:32:23 +0100 | ddellacosta | (~ddellacos@89.45.224.156) (Ping timeout: 272 seconds) |
| 2022-11-05 18:33:59 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-11-05 18:38:02 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-11-05 18:40:11 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-11-05 18:53:24 +0100 | danza | (~francesco@93.176.137.22) |
| 2022-11-05 18:57:30 +0100 | fserucas_ | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-11-05 18:59:40 +0100 | polo_ | (~polo@user/polo) |
| 2022-11-05 19:00:14 +0100 | <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"? |
| 2022-11-05 19:01:18 +0100 | <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 |
| 2022-11-05 19:01:26 +0100 | <Xeroine> | uh hi |
| 2022-11-05 19:01:31 +0100 | BryanDrewery[m] | (~bryanxk42@2001:470:69fc:105::2:af5e) () |
| 2022-11-05 19:01:43 +0100 | <Xeroine> | thought I asked a question here but can't see it now that I'm here again |
| 2022-11-05 19:01:45 +0100 | <Xeroine> | anyways |
| 2022-11-05 19:02:03 +0100 | <Xeroine> | I'm reading "Real World Haskell", I |
| 2022-11-05 19:02:10 +0100 | <Xeroine> | I'm a bit confused about type variables* |
| 2022-11-05 19:02:48 +0100 | <Xeroine> | so from I understand they're useful for functions but are they useful for anything else? |
| 2022-11-05 19:03:12 +0100 | <gurkenglas> | you can imagine a higher-level programming language where Haskell's types are just elements of a Type |
| 2022-11-05 19:03:27 +0100 | <gurkenglas> | and then a function Type -> Type will need type variables in its definition |
| 2022-11-05 19:03:53 +0100 | <EvanR> | yes you can use type variables in a data type |
| 2022-11-05 19:04:17 +0100 | <EvanR> | like [a] (List a) is a list of elements of type a |
| 2022-11-05 19:06:18 +0100 | <Xeroine> | gurkenglas: hmm, I don't really understand what you mean |
| 2022-11-05 19:06:59 +0100 | <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 |
| 2022-11-05 19:07:01 +0100 | <Xeroine> | I haven't gotten to learning about arrows yet even |
| 2022-11-05 19:07:36 +0100 | <gurkenglas> | :t Node "asd" [Node "dsa" [], Node "ghbjtruo" []] |
| 2022-11-05 19:07:37 +0100 | <EvanR> | then anything that uses this record has to obey parametericity and not inspect that resources, because you don't know anything about it |
| 2022-11-05 19:07:37 +0100 | <lambdabot> | Tree [Char] |
| 2022-11-05 19:08:30 +0100 | <gurkenglas> | I've just written an element of "Tree String". lambdabot can tell us something about the parts of that: |
| 2022-11-05 19:08:50 +0100 | <gurkenglas> | @kind String |
| 2022-11-05 19:08:51 +0100 | <lambdabot> | * |
| 2022-11-05 19:08:58 +0100 | <gurkenglas> | That means it's a type |
| 2022-11-05 19:09:02 +0100 | <gurkenglas> | @kind Tree |
| 2022-11-05 19:09:03 +0100 | <lambdabot> | * -> * |
| 2022-11-05 19:09:19 +0100 | <EvanR> | Xeroine, have you seen `State a' yet. The api for that exhibits type variables without functions in some places |
| 2022-11-05 19:09:24 +0100 | <gurkenglas> | That means if we give it a type it'll give back a type |
| 2022-11-05 19:09:32 +0100 | <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 |
| 2022-11-05 19:09:43 +0100 | <Xeroine> | EvanR: I haven't |
| 2022-11-05 19:09:44 +0100 | <EvanR> | e.g. get :: State s s |
| 2022-11-05 19:10:38 +0100 | <EvanR> | whatever the state type is (s), that's what the get action returns |
| 2022-11-05 19:11:56 +0100 | <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 |
| 2022-11-05 19:12:15 +0100 | <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. |
| 2022-11-05 19:12:27 +0100 | <gurkenglas> | (the a stands for the type Type is given, and the RHS of the equation says the type that it'll give back) |
| 2022-11-05 19:12:33 +0100 | <Xeroine> | but thanks anyways guys |
| 2022-11-05 19:12:41 +0100 | <gurkenglas> | s/for the type Type is given/for the type Tree is given/ |
| 2022-11-05 19:12:56 +0100 | <EvanR> | sorry, haven't had my coffee yet |
| 2022-11-05 19:13:14 +0100 | <gurkenglas> | I think that's my fault EvanR :D I've been doing too much ivory tower category theory |
| 2022-11-05 19:13:22 +0100 | <EvanR> | the answer is no, type variables are useful for more than just function types |
| 2022-11-05 19:13:48 +0100 | niko | (niko@libera/staff/niko) (Quit: i will be back) |
| 2022-11-05 19:13:53 +0100 | <Xeroine> | ah well okay |
| 2022-11-05 19:14:19 +0100 | o | (niko@libera/staff/niko) |
| 2022-11-05 19:14:42 +0100 | o | niko |
| 2022-11-05 19:15:04 +0100 | <EvanR> | also if you're at the bare minimum haskell knowledge I'd recommend scanning the gentle introduction https://www.haskell.org/tutorial/ |
| 2022-11-05 19:15:48 +0100 | <EvanR> | the 2nd section introduces polymorphism |
| 2022-11-05 19:15:56 +0100 | <EvanR> | of the first chapter |
| 2022-11-05 19:16:14 +0100 | <Xeroine> | thanks |
| 2022-11-05 19:16:25 +0100 | <EvanR> | 1st section is mono types xD |
| 2022-11-05 19:16:34 +0100 | <EvanR> | or concrete types like Char, Int |
| 2022-11-05 19:19:30 +0100 | d0as | (~user@gateway/tor-sasl/d0as) |
| 2022-11-05 19:23:11 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-11-05 19:24:36 +0100 | polo_ | money |
| 2022-11-05 19:30:39 +0100 | nate3 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-11-05 19:31:14 +0100 | titibandit | (~titibandi@xdsl-87-79-250-160.nc.de) (Ping timeout: 260 seconds) |
| 2022-11-05 19:32:19 +0100 | titibandit | (~titibandi@xdsl-87-79-250-160.nc.de) |
| 2022-11-05 19:45:53 +0100 | money | (~polo@user/polo) (Ping timeout: 276 seconds) |
| 2022-11-05 19:46:25 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-11-05 19:48:13 +0100 | mestre | (~mestre@191.177.185.178) |
| 2022-11-05 19:52:27 +0100 | bdrewery[m] | (~bdrewerym@2001:470:69fc:105::1:684a) () |
| 2022-11-05 19:59:01 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-11-05 19:59:02 +0100 | kilolympus | (~kilolympu@213.144.144.24) (Ping timeout: 246 seconds) |
| 2022-11-05 19:59:12 +0100 | kilolympus | (~kilolympu@213.144.144.24) |
| 2022-11-05 19:59:59 +0100 | titibandit | (~titibandi@xdsl-87-79-250-160.nc.de) (Quit: Leaving.) |
| 2022-11-05 20:00:07 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-11-05 20:04:01 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-11-05 20:07:25 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-11-05 20:08:03 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-05 20:11:58 +0100 | polo_ | (~polo@user/polo) |
| 2022-11-05 20:12:36 +0100 | jtomas | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-11-05 20:13:14 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-05 20:14:00 +0100 | polo | Guest1204 |
| 2022-11-05 20:14:01 +0100 | polo_ | polo |
| 2022-11-05 20:18:44 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 248 seconds) |
| 2022-11-05 20:20:09 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-11-05 20:22:13 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-11-05 20:35:56 +0100 | polo | (~polo@user/polo) (Ping timeout: 276 seconds) |
| 2022-11-05 20:38:56 +0100 | d0as | (~user@gateway/tor-sasl/d0as) (Quit: d0as) |
| 2022-11-05 20:42:51 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-11-05 20:42:59 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 260 seconds) |
| 2022-11-05 20:45:28 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-11-05 20:48:02 +0100 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) (Quit: Leaving) |
| 2022-11-05 21:07:04 +0100 | <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? |
| 2022-11-05 21:07:58 +0100 | <[exa]> | Xeroine: sounds to me like just the integers and characters are atomic |
| 2022-11-05 21:08:05 +0100 | <EvanR> | this usage of atomic is more colloquial, 'a' and 3 and False are syntactically atomic |
| 2022-11-05 21:08:22 +0100 | <EvanR> | not made of smaller expressions |
| 2022-11-05 21:08:58 +0100 | <[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) |
| 2022-11-05 21:09:21 +0100 | <EvanR> | it does include lambda as atomic... |
| 2022-11-05 21:09:24 +0100 | <Xeroine> | EvanR: what do you mean by "syntactically atomic" and doesn't "not made of smaller expressions" mean atomic? |
| 2022-11-05 21:09:24 +0100 | <[exa]> | lists & pairs are certainly not atomic. |
| 2022-11-05 21:10:24 +0100 | <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 |
| 2022-11-05 21:10:28 +0100 | <[exa]> | in the "expression" view, lambdas certainly aren't atomic though |
| 2022-11-05 21:10:30 +0100 | <Xeroine> | [exa]: how come? |
| 2022-11-05 21:11:17 +0100 | <EvanR> | lists and pairs can be broken down via case analysis but lambdas can't |
| 2022-11-05 21:11:49 +0100 | <EvanR> | so lambdas are atomic wrt case analysis |
| 2022-11-05 21:12:31 +0100 | <EvanR> | but now I'm trapped by what "broken down" means |
| 2022-11-05 21:13:06 +0100 | <EvanR> | because Char and Int can be case analyzed but not broken down, whatever that means |
| 2022-11-05 21:13:16 +0100 | <Xeroine> | what do you guys mean by "case analyzed" |
| 2022-11-05 21:13:18 +0100 | <[exa]> | uh, true |
| 2022-11-05 21:13:24 +0100 | <[exa]> | Xeroine: pattern matching |
| 2022-11-05 21:13:36 +0100 | <Xeroine> | what pattern? the value? |
| 2022-11-05 21:13:45 +0100 | <[exa]> | Xeroine: for example, you can check whether a list is a [] or (head:tail) |
| 2022-11-05 21:14:03 +0100 | <[exa]> | but you can't do that with functions, they are opaque |
| 2022-11-05 21:14:04 +0100 | <EvanR> | > case (1,2) of { (x,3) -> x; (x,2) -> x } |
| 2022-11-05 21:14:05 +0100 | <lambdabot> | 1 |
| 2022-11-05 21:14:46 +0100 | <EvanR> | > case 'x' of { 'x' -> 1; 'y' -> 2 } |
| 2022-11-05 21:14:47 +0100 | <lambdabot> | 1 |
| 2022-11-05 21:14:54 +0100 | <Xeroine> | [exa]: I know head and tail are functions but what do you mean by "(head:tail)"? |
| 2022-11-05 21:15:01 +0100 | <[exa]> | anyway, the statement with 'atomic' there is pretty vague and I woundn't say it bears much significance |
| 2022-11-05 21:15:23 +0100 | <EvanR> | head and tail aren't functions there but variable names made up, like `x' in my example |
| 2022-11-05 21:15:27 +0100 | <[exa]> | Xeroine: ah I didn't mean the function; analogously to what EvanR did with pairs: |
| 2022-11-05 21:15:37 +0100 | <Xeroine> | oh |
| 2022-11-05 21:15:53 +0100 | <[exa]> | > case [1,2] of { (head:tail) -> head; [] -> 666 } |
| 2022-11-05 21:15:54 +0100 | <lambdabot> | 1 |
| 2022-11-05 21:16:06 +0100 | <EvanR> | case [1,2,3] of { [] -> 'a'; x:xs -> 'b' } |
| 2022-11-05 21:16:11 +0100 | <Xeroine> | I just asked because that's the first thing I didn't really understand at that link |
| 2022-11-05 21:17:07 +0100 | pavonia | (~user@user/siracusa) |
| 2022-11-05 21:17:08 +0100 | <[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? |
| 2022-11-05 21:17:17 +0100 | <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 |
| 2022-11-05 21:17:40 +0100 | <[exa]> | Xeroine: I kinda suspect we spotted a beginner-level oversimplification :D |
| 2022-11-05 21:17:44 +0100 | <EvanR> | yeah the atomic is conversational at best here |
| 2022-11-05 21:17:53 +0100 | <[exa]> | yap |
| 2022-11-05 21:19:10 +0100 | <Xeroine> | okay thanks |
| 2022-11-05 21:19:32 +0100 | <[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) |
| 2022-11-05 21:19:41 +0100 | <[exa]> | ...which kinda brings us to base lambda calculus |
| 2022-11-05 21:20:05 +0100 | <EvanR> | (a, 5) looks like a tuple not a constant xD |
| 2022-11-05 21:20:20 +0100 | <[exa]> | ah that was 2 examples in human parentheses, not haskell |
| 2022-11-05 21:20:21 +0100 | <[exa]> | :D |
| 2022-11-05 21:21:18 +0100 | <EvanR> | constant and variable is another "fun" piece of jargon |
| 2022-11-05 21:21:20 +0100 | <[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 |
| 2022-11-05 21:23:49 +0100 | niko | (niko@libera/staff/niko) (Ping timeout: 615 seconds) |
| 2022-11-05 21:24:46 +0100 | <Xeroine> | oh |
| 2022-11-05 21:25:41 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-11-05 21:27:46 +0100 | <[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) |
| 2022-11-05 21:27:51 +0100 | sadmax | (~user@209.205.174.253) |
| 2022-11-05 21:28:38 +0100 | danza | (~francesco@93.176.137.22) (Ping timeout: 246 seconds) |
| 2022-11-05 21:29:56 +0100 | <[exa]> | (you'll see them mixed very inconveniently in the data definitions below) |
| 2022-11-05 21:30:40 +0100 | niko | (niko@libera/staff/niko) |
| 2022-11-05 21:31:28 +0100 | mmhat | (~mmh@p200300f1c7231662ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-11-05 21:33:58 +0100 | Guest75 | (~Guest75@178.141.177.81) (Ping timeout: 260 seconds) |
| 2022-11-05 21:41:19 +0100 | jtomas | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-11-05 21:44:51 +0100 | mmhat | (~mmh@p200300f1c723163aee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-11-05 21:48:32 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 2022-11-05 21:57:59 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-11-05 22:00:47 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-05 22:02:10 +0100 | kimjetwav | (~user@2607:fea8:235e:b600:fa57:ff7b:bed3:61bf) |
| 2022-11-05 22:02:32 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 22:03:00 +0100 | polo | (~polo@user/polo) |
| 2022-11-05 22:03:13 +0100 | alphabeta | (~kilolympu@213.144.144.24) |
| 2022-11-05 22:03:29 +0100 | kilolympus | (~kilolympu@213.144.144.24) (Ping timeout: 260 seconds) |
| 2022-11-05 22:07:34 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-05 22:09:03 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-05 22:09:37 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-05 22:10:45 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-05 22:12:47 +0100 | polo | (~polo@user/polo) (Ping timeout: 276 seconds) |
| 2022-11-05 22:19:09 +0100 | Heyting | (~Heyting@193.198.16.217) |
| 2022-11-05 22:21:48 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-11-05 22:21:56 +0100 | Kaipei | (~Kaiepi@108.175.84.104) (Ping timeout: 248 seconds) |
| 2022-11-05 22:22:43 +0100 | nate3 | (~nate@98.45.169.16) |
| 2022-11-05 22:23:19 +0100 | polo | (~polo@user/polo) |
| 2022-11-05 22:24:28 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-11-05 22:25:01 +0100 | Heyting | (~Heyting@193.198.16.217) (Remote host closed the connection) |
| 2022-11-05 22:33:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-11-05 22:35:17 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 22:38:35 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-05 22:39:32 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 2022-11-05 22:43:49 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-11-05 22:48:09 +0100 | thegeekinside | (~thegeekin@189.180.115.115) |
| 2022-11-05 22:48:59 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 260 seconds) |
| 2022-11-05 22:50:07 +0100 | Yumemi | (~Yumemi@chamoin.net) (Quit: .) |
| 2022-11-05 22:50:33 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-11-05 22:52:14 +0100 | Yumemi | (~Yumemi@chamoin.net) |
| 2022-11-05 22:52:40 +0100 | thegeekinside | (~thegeekin@189.180.115.115) (Remote host closed the connection) |
| 2022-11-05 22:53:59 +0100 | polo | (~polo@user/polo) (Quit: polo) |
| 2022-11-05 22:54:25 +0100 | polo | (~polo@user/polo) |
| 2022-11-05 23:02:38 +0100 | mestre | (~mestre@191.177.185.178) (Read error: Connection reset by peer) |
| 2022-11-05 23:02:59 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 23:03:49 +0100 | litharge | (litharge@libera/bot/litharge) (Quit: restarting...) |
| 2022-11-05 23:05:24 +0100 | litharge | (litharge@libera/bot/litharge) |
| 2022-11-05 23:07:39 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-11-05 23:07:48 +0100 | mestre | (~mestre@191.177.185.178) |
| 2022-11-05 23:12:16 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-05 23:19:39 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-11-05 23:25:51 +0100 | <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? |
| 2022-11-05 23:26:30 +0100 | <simple> | i can't seem to figure out how to pass my Config data to a function in a different file =/ |
| 2022-11-05 23:26:53 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-11-05 23:26:59 +0100 | <[exa]> | simple: can you pastebin a simple example of what your files look like? (even small portions will probably do) |
| 2022-11-05 23:27:03 +0100 | talismanick | (~talismani@5.187.27.20) |
| 2022-11-05 23:27:34 +0100 | <[exa]> | simple: also, what's the compiler complainign about? :] |
| 2022-11-05 23:28:38 +0100 | <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 |
| 2022-11-05 23:29:03 +0100 | <[exa]> | ah and you are importing RoomManager into Main ? |
| 2022-11-05 23:29:10 +0100 | <simple> | exactly, yes |
| 2022-11-05 23:29:25 +0100 | <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 |
| 2022-11-05 23:29:30 +0100 | <[exa]> | okay you basically made a circular dependency, which isn't solvable but you can circumvent that |
| 2022-11-05 23:29:41 +0100 | <[exa]> | precisely as geekosaur says :] |
| 2022-11-05 23:29:58 +0100 | <simple> | yeah, i was thinking of splitting the Config into a separate file, and importing that into each separately |
| 2022-11-05 23:30:24 +0100 | <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 |
| 2022-11-05 23:30:35 +0100 | <[exa]> | there aren't many good ways around tbh |
| 2022-11-05 23:31:34 +0100 | talismanick | (~talismani@5.187.27.20) (Ping timeout: 260 seconds) |
| 2022-11-05 23:32:41 +0100 | <[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) |
| 2022-11-05 23:32:52 +0100 | <[exa]> | but better just try to stratify your imports correctly |
| 2022-11-05 23:32:53 +0100 | <simple> | i read a little about that last night |
| 2022-11-05 23:33:03 +0100 | <simple> | sounded like a bad idea tbh |
| 2022-11-05 23:33:41 +0100 | <[exa]> | there are few other techniques for specific use cases |
| 2022-11-05 23:34:21 +0100 | <simple> | i'm sure i wouldn't fall into edge cases |
| 2022-11-05 23:34:35 +0100 | <[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 |
| 2022-11-05 23:34:54 +0100 | <[exa]> | (as in `data B a = B{x :: a}` and just use `B A` everywhere |
| 2022-11-05 23:35:12 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-11-05 23:35:16 +0100 | <[exa]> | but yeah, that's not your case |
| 2022-11-05 23:36:09 +0100 | polo | (~polo@user/polo) (Quit: polo) |
| 2022-11-05 23:36:23 +0100 | simple | nods |
| 2022-11-05 23:36:31 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-11-05 23:44:02 +0100 | <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 |
| 2022-11-05 23:44:23 +0100 | <simple> | the ircd compiles and runs, now it just needs me to add some features =) |
| 2022-11-05 23:44:43 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-11-05 23:46:09 +0100 | sadmax | (~user@209.205.174.253) (Ping timeout: 255 seconds) |
| 2022-11-05 23:47:50 +0100 | <EvanR> | how does hs-boot even work. It's for mutually recursive modules, but isn't haskell supposed to be "seperately compilable" |
| 2022-11-05 23:50:29 +0100 | <hpc> | it's basically a weird way of defining another module that breaks the loop |
| 2022-11-05 23:55:01 +0100 | <dolio> | I doubt there's anything in the Haskell report about separate compilation. |
| 2022-11-05 23:55:35 +0100 | <ski> | other modules depending on the signature/interface/type of the module, rather than the implementation of it |
| 2022-11-05 23:56:47 +0100 | <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) |
| 2022-11-05 23:57:19 +0100 | Guest1204 | polo |
| 2022-11-05 23:57:23 +0100 | polo | money |
| 2022-11-05 23:57:45 +0100 | <geekosaur> | the report says there is some way to break import cycles so that mutually recursive imports will work. it says nothing about how |
| 2022-11-05 23:58:21 +0100 | <geekosaur> | and indeed it says nothing about whether separate compilation is possible or not |
| 2022-11-05 23:58:33 +0100 | ski | nods |
| 2022-11-05 23:58:38 +0100 | <ski> | (also Backpack) |