| 2021-06-30 00:00:24 +0200 | mud | (~mud@user/kadoban) |
| 2021-06-30 00:01:32 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-30 00:02:11 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 00:02:38 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:f4be:52a3:d576:1567) (Ping timeout: 268 seconds) |
| 2021-06-30 00:02:53 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-06-30 00:03:38 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) |
| 2021-06-30 00:04:56 +0200 | Morrow | (~MorrowM_@147.161.8.23) (Ping timeout: 272 seconds) |
| 2021-06-30 00:05:07 +0200 | en30 | (~en30@p6356230-ipngn31101marunouchi.tokyo.ocn.ne.jp) (Quit: Connection closed) |
| 2021-06-30 00:05:28 +0200 | chisui | (~chisui@200116b86458b700e549230632d59732.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
| 2021-06-30 00:06:32 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2021-06-30 00:06:50 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 256 seconds) |
| 2021-06-30 00:06:52 +0200 | biberu | (~biberu@user/biberu) |
| 2021-06-30 00:06:58 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 00:09:35 +0200 | <zzz> | which Graph module are we using these days? i think i remember being advised against Data.Graph in the containers library |
| 2021-06-30 00:09:40 +0200 | <zzz> | fgl? |
| 2021-06-30 00:09:48 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
| 2021-06-30 00:09:48 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2021-06-30 00:09:48 +0200 | psydroid | (~psydroid@user/psydroid) |
| 2021-06-30 00:09:48 +0200 | sm[m] | (~sm@plaintextaccounting/sm) |
| 2021-06-30 00:09:48 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) |
| 2021-06-30 00:09:49 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
| 2021-06-30 00:10:00 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) |
| 2021-06-30 00:10:00 +0200 | stevenxl_ | (~stevenlei@174.128.182.152) (Ping timeout: 272 seconds) |
| 2021-06-30 00:10:12 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2021-06-30 00:10:13 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
| 2021-06-30 00:10:13 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) |
| 2021-06-30 00:10:13 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2021-06-30 00:10:13 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2021-06-30 00:10:13 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
| 2021-06-30 00:10:13 +0200 | tomferon[m] | (~tomferon@2001:470:69fc:105::268) |
| 2021-06-30 00:10:13 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
| 2021-06-30 00:10:13 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) |
| 2021-06-30 00:10:25 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) |
| 2021-06-30 00:10:25 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) |
| 2021-06-30 00:10:25 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
| 2021-06-30 00:10:25 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2021-06-30 00:10:25 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) |
| 2021-06-30 00:10:25 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
| 2021-06-30 00:10:37 +0200 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) |
| 2021-06-30 00:10:37 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
| 2021-06-30 00:10:46 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 00:10:48 +0200 | <maerwald> | Tying the knot, of course |
| 2021-06-30 00:10:49 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
| 2021-06-30 00:11:03 +0200 | <maerwald> | (that was a joke, it's terrible) |
| 2021-06-30 00:11:04 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
| 2021-06-30 00:11:04 +0200 | eddiemundo | (~eddiemund@2001:470:69fc:105::a9c) |
| 2021-06-30 00:11:04 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2021-06-30 00:11:17 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) |
| 2021-06-30 00:11:17 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 2021-06-30 00:11:25 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (Quit: node-irc says goodbye) |
| 2021-06-30 00:11:26 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) (Quit: node-irc says goodbye) |
| 2021-06-30 00:11:27 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 2021-06-30 00:11:29 +0200 | psydroid | (~psydroid@user/psydroid) (Quit: node-irc says goodbye) |
| 2021-06-30 00:11:31 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
| 2021-06-30 00:11:31 +0200 | kadoban | (~kadoban@user/kadoban) |
| 2021-06-30 00:11:31 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
| 2021-06-30 00:11:31 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) |
| 2021-06-30 00:11:31 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
| 2021-06-30 00:11:31 +0200 | jophish | (~jophish@2001:470:69fc:105::670) |
| 2021-06-30 00:11:33 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) (Quit: node-irc says goodbye) |
| 2021-06-30 00:11:35 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Quit: node-irc says goodbye) |
| 2021-06-30 00:11:36 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Quit: node-irc says goodbye) |
| 2021-06-30 00:11:44 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) |
| 2021-06-30 00:11:44 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Quit: node-irc says goodbye) |
| 2021-06-30 00:11:48 +0200 | kadoban | (~kadoban@user/kadoban) (Quit: node-irc says goodbye) |
| 2021-06-30 00:11:53 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (Quit: node-irc says goodbye) |
| 2021-06-30 00:11:57 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Quit: node-irc says goodbye) |
| 2021-06-30 00:11:57 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) |
| 2021-06-30 00:11:57 +0200 | siraben | (~siraben@user/siraben) |
| 2021-06-30 00:11:57 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2021-06-30 00:11:57 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) |
| 2021-06-30 00:11:59 +0200 | jophish | (~jophish@2001:470:69fc:105::670) (Quit: node-irc says goodbye) |
| 2021-06-30 00:12:02 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) (Quit: node-irc says goodbye) |
| 2021-06-30 00:12:09 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) |
| 2021-06-30 00:12:09 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) |
| 2021-06-30 00:12:09 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) |
| 2021-06-30 00:12:12 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Quit: node-irc says goodbye) |
| 2021-06-30 00:12:13 +0200 | son0p | (~ff@181.136.122.143) |
| 2021-06-30 00:12:17 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: node-irc says goodbye) |
| 2021-06-30 00:12:22 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) |
| 2021-06-30 00:12:22 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) (Quit: node-irc says goodbye) |
| 2021-06-30 00:12:23 +0200 | Sylveon | (~sylveonma@2001:470:69fc:105::2d95) |
| 2021-06-30 00:12:26 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) (Quit: node-irc says goodbye) |
| 2021-06-30 00:12:30 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-06-30 00:12:35 +0200 | autrim64[m] | (~autrim64m@2001:470:69fc:105::16a1) |
| 2021-06-30 00:12:35 +0200 | inkbottle[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
| 2021-06-30 00:12:35 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: node-irc says goodbye) |
| 2021-06-30 00:12:45 +0200 | Sylveon | Guest1259 |
| 2021-06-30 00:12:47 +0200 | yin[m] | (~zwromatri@2001:470:69fc:105::1d4) |
| 2021-06-30 00:13:00 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
| 2021-06-30 00:13:01 +0200 | jakefromstatefar | (~jakefroms@2001:470:69fc:105::15ef) |
| 2021-06-30 00:13:14 +0200 | jellz[m] | (~jellzmatr@2001:470:69fc:105::2daa) |
| 2021-06-30 00:13:24 +0200 | fendor | (~fendor@77.119.195.142.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-30 00:13:26 +0200 | tomferon[m] | (~tomferon@2001:470:69fc:105::268) (Quit: node-irc says goodbye) |
| 2021-06-30 00:13:26 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (Quit: node-irc says goodbye) |
| 2021-06-30 00:13:26 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Quit: node-irc says goodbye) |
| 2021-06-30 00:13:26 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) (Quit: node-irc says goodbye) |
| 2021-06-30 00:13:28 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) |
| 2021-06-30 00:13:29 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) (Quit: node-irc says goodbye) |
| 2021-06-30 00:13:32 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (Quit: node-irc says goodbye) |
| 2021-06-30 00:13:32 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) (Quit: node-irc says goodbye) |
| 2021-06-30 00:13:33 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Quit: node-irc says goodbye) |
| 2021-06-30 00:13:39 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) |
| 2021-06-30 00:13:39 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
| 2021-06-30 00:13:39 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) |
| 2021-06-30 00:13:51 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) |
| 2021-06-30 00:14:04 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2021-06-30 00:14:17 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) |
| 2021-06-30 00:14:17 +0200 | boxscape | (~boxscape@user/boxscape) |
| 2021-06-30 00:14:17 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) |
| 2021-06-30 00:14:17 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
| 2021-06-30 00:14:17 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
| 2021-06-30 00:14:18 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) (Quit: node-irc says goodbye) |
| 2021-06-30 00:14:22 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) (Quit: node-irc says goodbye) |
| 2021-06-30 00:14:23 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Quit: node-irc says goodbye) |
| 2021-06-30 00:14:31 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2021-06-30 00:14:31 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) |
| 2021-06-30 00:14:36 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) (Quit: node-irc says goodbye) |
| 2021-06-30 00:14:36 +0200 | eddiemundo | (~eddiemund@2001:470:69fc:105::a9c) (Quit: node-irc says goodbye) |
| 2021-06-30 00:14:43 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) |
| 2021-06-30 00:15:23 +0200 | sm[m] | (~sm@plaintextaccounting/sm) (Quit: node-irc says goodbye) |
| 2021-06-30 00:15:59 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
| 2021-06-30 00:15:59 +0200 | psydroid | (~psydroid@user/psydroid) |
| 2021-06-30 00:15:59 +0200 | sm[m] | (~sm@plaintextaccounting/sm) |
| 2021-06-30 00:15:59 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2021-06-30 00:15:59 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) |
| 2021-06-30 00:15:59 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
| 2021-06-30 00:16:00 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 2021-06-30 00:16:00 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
| 2021-06-30 00:16:00 +0200 | kadoban | (~kadoban@user/kadoban) |
| 2021-06-30 00:16:00 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
| 2021-06-30 00:16:00 +0200 | jophish | (~jophish@2001:470:69fc:105::670) |
| 2021-06-30 00:16:00 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) |
| 2021-06-30 00:16:10 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) (Remote host closed the connection) |
| 2021-06-30 00:16:11 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
| 2021-06-30 00:16:11 +0200 | eddiemundo | (~eddiemund@2001:470:69fc:105::a9c) |
| 2021-06-30 00:16:11 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) |
| 2021-06-30 00:16:11 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
| 2021-06-30 00:16:11 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
| 2021-06-30 00:16:11 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2021-06-30 00:16:12 +0200 | tomferon[m] | (~tomferon@2001:470:69fc:105::268) |
| 2021-06-30 00:16:12 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
| 2021-06-30 00:16:12 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) |
| 2021-06-30 00:16:12 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2021-06-30 00:16:12 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) |
| 2021-06-30 00:16:12 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) |
| 2021-06-30 00:16:13 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
| 2021-06-30 00:16:13 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2021-06-30 00:16:13 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
| 2021-06-30 00:16:13 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2021-06-30 00:16:13 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) |
| 2021-06-30 00:16:13 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) |
| 2021-06-30 00:16:14 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2021-06-30 00:17:02 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 00:17:56 +0200 | <shapr> | zzz: looks to me like algebraic graphs is the most fun |
| 2021-06-30 00:18:10 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) |
| 2021-06-30 00:18:49 +0200 | stevenxl | (~stevenlei@174.128.182.151) |
| 2021-06-30 00:20:44 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-30 00:20:51 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) (Quit: node-irc says goodbye) |
| 2021-06-30 00:20:52 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (Quit: node-irc says goodbye) |
| 2021-06-30 00:21:05 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds) |
| 2021-06-30 00:21:41 +0200 | jakefromstatefar | (~jakefroms@2001:470:69fc:105::15ef) (Quit: node-irc says goodbye) |
| 2021-06-30 00:21:51 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-30 00:21:51 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Quit: node-irc says goodbye) |
| 2021-06-30 00:22:16 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) (Quit: node-irc says goodbye) |
| 2021-06-30 00:22:24 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (Remote host closed the connection) |
| 2021-06-30 00:22:24 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (Write error: Connection reset by peer) |
| 2021-06-30 00:22:24 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Remote host closed the connection) |
| 2021-06-30 00:22:25 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (Remote host closed the connection) |
| 2021-06-30 00:22:25 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:25 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) (Remote host closed the connection) |
| 2021-06-30 00:22:25 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:25 +0200 | psydroid | (~psydroid@user/psydroid) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:25 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) (Remote host closed the connection) |
| 2021-06-30 00:22:26 +0200 | sm[m] | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2021-06-30 00:22:26 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) (Remote host closed the connection) |
| 2021-06-30 00:22:26 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | kadoban | (~kadoban@user/kadoban) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | Guest1259 | (~sylveonma@2001:470:69fc:105::2d95) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) (Remote host closed the connection) |
| 2021-06-30 00:22:26 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | boxscape | (~boxscape@user/boxscape) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:26 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Remote host closed the connection) |
| 2021-06-30 00:22:26 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) (Remote host closed the connection) |
| 2021-06-30 00:22:26 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) (Remote host closed the connection) |
| 2021-06-30 00:22:27 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) (Remote host closed the connection) |
| 2021-06-30 00:22:27 +0200 | jophish | (~jophish@2001:470:69fc:105::670) (Write error: Connection reset by peer) |
| 2021-06-30 00:22:27 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:27 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) (Write error: Connection reset by peer) |
| 2021-06-30 00:22:27 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:27 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) (Remote host closed the connection) |
| 2021-06-30 00:22:27 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Remote host closed the connection) |
| 2021-06-30 00:22:27 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:27 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:27 +0200 | yin[m] | (~zwromatri@2001:470:69fc:105::1d4) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:27 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:27 +0200 | siraben | (~siraben@user/siraben) (Remote host closed the connection) |
| 2021-06-30 00:22:27 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:28 +0200 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) (Remote host closed the connection) |
| 2021-06-30 00:22:28 +0200 | inkbottle[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Write error: Connection reset by peer) |
| 2021-06-30 00:22:28 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) (Remote host closed the connection) |
| 2021-06-30 00:22:28 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) (Remote host closed the connection) |
| 2021-06-30 00:22:28 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Remote host closed the connection) |
| 2021-06-30 00:22:28 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Remote host closed the connection) |
| 2021-06-30 00:22:28 +0200 | autrim64[m] | (~autrim64m@2001:470:69fc:105::16a1) (Remote host closed the connection) |
| 2021-06-30 00:22:29 +0200 | tomferon[m] | (~tomferon@2001:470:69fc:105::268) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:29 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) (Remote host closed the connection) |
| 2021-06-30 00:22:29 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Remote host closed the connection) |
| 2021-06-30 00:22:29 +0200 | jellz[m] | (~jellzmatr@2001:470:69fc:105::2daa) (Remote host closed the connection) |
| 2021-06-30 00:22:29 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:29 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:30 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:30 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:30 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:30 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Read error: Connection reset by peer) |
| 2021-06-30 00:22:36 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) (Remote host closed the connection) |
| 2021-06-30 00:22:36 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Remote host closed the connection) |
| 2021-06-30 00:22:37 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) (Write error: Connection reset by peer) |
| 2021-06-30 00:22:37 +0200 | eddiemundo | (~eddiemund@2001:470:69fc:105::a9c) (Write error: Connection reset by peer) |
| 2021-06-30 00:22:37 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) (Write error: Connection reset by peer) |
| 2021-06-30 00:23:25 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 00:23:50 +0200 | stevenxl | (~stevenlei@174.128.182.151) (Ping timeout: 256 seconds) |
| 2021-06-30 00:26:43 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2021-06-30 00:27:03 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-30 00:27:42 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 00:27:48 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 256 seconds) |
| 2021-06-30 00:28:40 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) |
| 2021-06-30 00:31:32 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds) |
| 2021-06-30 00:32:19 +0200 | Feuermagier_ | (~Feuermagi@2a02:2488:4211:3400:5def:8486:9e4:b49a) |
| 2021-06-30 00:32:20 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 256 seconds) |
| 2021-06-30 00:32:39 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer) |
| 2021-06-30 00:35:30 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-30 00:38:34 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 00:38:47 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 00:39:41 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 00:40:17 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
| 2021-06-30 00:40:17 +0200 | psydroid | (~psydroid@user/psydroid) |
| 2021-06-30 00:40:17 +0200 | sm[m] | (~sm@plaintextaccounting/sm) |
| 2021-06-30 00:40:17 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) |
| 2021-06-30 00:40:17 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2021-06-30 00:40:17 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
| 2021-06-30 00:40:17 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2021-06-30 00:40:17 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2021-06-30 00:40:17 +0200 | tomferon[m] | (~tomferon@2001:470:69fc:105::268) |
| 2021-06-30 00:40:18 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
| 2021-06-30 00:40:18 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) |
| 2021-06-30 00:40:18 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
| 2021-06-30 00:40:18 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2021-06-30 00:40:18 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
| 2021-06-30 00:40:18 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
| 2021-06-30 00:40:18 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
| 2021-06-30 00:40:18 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) |
| 2021-06-30 00:40:18 +0200 | eddiemundo | (~eddiemund@2001:470:69fc:105::a9c) |
| 2021-06-30 00:40:18 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2021-06-30 00:40:18 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 2021-06-30 00:40:18 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
| 2021-06-30 00:40:18 +0200 | kadoban | (~kadoban@user/kadoban) |
| 2021-06-30 00:40:18 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
| 2021-06-30 00:40:18 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) |
| 2021-06-30 00:40:18 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
| 2021-06-30 00:40:18 +0200 | jophish | (~jophish@2001:470:69fc:105::670) |
| 2021-06-30 00:40:18 +0200 | siraben | (~siraben@user/siraben) |
| 2021-06-30 00:40:18 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2021-06-30 00:40:18 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) |
| 2021-06-30 00:40:18 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) |
| 2021-06-30 00:40:19 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) |
| 2021-06-30 00:40:19 +0200 | inkbottle[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
| 2021-06-30 00:40:19 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) |
| 2021-06-30 00:40:19 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
| 2021-06-30 00:40:19 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2021-06-30 00:40:19 +0200 | boxscape | (~boxscape@user/boxscape) |
| 2021-06-30 00:40:19 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
| 2021-06-30 00:40:19 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) |
| 2021-06-30 00:40:19 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
| 2021-06-30 00:40:19 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2021-06-30 00:40:19 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) |
| 2021-06-30 00:40:29 +0200 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) |
| 2021-06-30 00:40:29 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2021-06-30 00:40:30 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) |
| 2021-06-30 00:40:30 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) |
| 2021-06-30 00:40:30 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) |
| 2021-06-30 00:40:30 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) |
| 2021-06-30 00:40:30 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) |
| 2021-06-30 00:40:30 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) |
| 2021-06-30 00:40:30 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) |
| 2021-06-30 00:40:30 +0200 | autrim64[m] | (~autrim64m@2001:470:69fc:105::16a1) |
| 2021-06-30 00:40:30 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) |
| 2021-06-30 00:40:30 +0200 | jellz[m] | (~jellzmatr@2001:470:69fc:105::2daa) |
| 2021-06-30 00:40:30 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) |
| 2021-06-30 00:40:31 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) |
| 2021-06-30 00:40:31 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
| 2021-06-30 00:40:31 +0200 | yin[m] | (~zwromatri@2001:470:69fc:105::1d4) |
| 2021-06-30 00:40:31 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
| 2021-06-30 00:40:31 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
| 2021-06-30 00:40:31 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) |
| 2021-06-30 00:40:32 +0200 | Sylveon | (~sylveonma@2001:470:69fc:105::2d95) |
| 2021-06-30 00:40:32 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) |
| 2021-06-30 00:40:54 +0200 | Sylveon | Guest2487 |
| 2021-06-30 00:48:25 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2021-06-30 00:49:30 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 00:50:42 +0200 | acidjnk | (~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-06-30 00:52:23 +0200 | jay-invariant | (~jay@c-24-4-6-169.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-30 00:53:30 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 240 seconds) |
| 2021-06-30 00:53:32 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-06-30 00:53:47 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-30 00:55:11 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-06-30 00:55:30 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 00:55:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) |
| 2021-06-30 00:55:34 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-30 00:56:12 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 00:56:45 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 00:57:04 +0200 | Deide | (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-06-30 00:58:12 +0200 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2021-06-30 00:59:43 +0200 | bilegeek | (~bilegeek@2600:1008:b015:3e96:6f34:1a42:6ac5:3b86) (Quit: Leaving) |
| 2021-06-30 01:00:40 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
| 2021-06-30 01:01:38 +0200 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-06-30 01:02:40 +0200 | lbseale_ | (~lbseale@user/ep1ctetus) |
| 2021-06-30 01:02:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 01:03:54 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 240 seconds) |
| 2021-06-30 01:04:11 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-30 01:05:06 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 01:05:18 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 01:05:24 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 01:06:22 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Ping timeout: 272 seconds) |
| 2021-06-30 01:06:56 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-30 01:07:27 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection) |
| 2021-06-30 01:08:02 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 01:13:41 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 256 seconds) |
| 2021-06-30 01:18:28 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-30 01:19:05 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 01:22:36 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-06-30 01:24:06 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
| 2021-06-30 01:24:27 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) (Remote host closed the connection) |
| 2021-06-30 01:25:26 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 01:25:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-30 01:27:05 +0200 | yushyin | yshyn |
| 2021-06-30 01:27:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 01:31:10 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-06-30 01:31:28 +0200 | yshyn | yushyin |
| 2021-06-30 01:35:48 +0200 | paravida | (~paravida@user/paravida) |
| 2021-06-30 01:37:30 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-06-30 01:38:39 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 01:39:27 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-30 01:42:42 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 240 seconds) |
| 2021-06-30 01:42:42 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 01:43:00 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 01:43:30 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 240 seconds) |
| 2021-06-30 01:59:06 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 01:59:24 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 02:06:38 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-30 02:06:53 +0200 | stevenxl | (~stevenlei@174.128.182.151) |
| 2021-06-30 02:07:34 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-30 02:07:55 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 02:08:13 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 02:10:46 +0200 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-06-30 02:11:15 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 02:11:30 +0200 | stevenxl | (~stevenlei@174.128.182.151) (Ping timeout: 256 seconds) |
| 2021-06-30 02:12:23 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-06-30 02:12:38 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 256 seconds) |
| 2021-06-30 02:12:38 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-06-30 02:15:23 +0200 | cuz | (~user@2601:182:cc02:8b0:39d7:a0a0:94f3:fad5) |
| 2021-06-30 02:15:28 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 256 seconds) |
| 2021-06-30 02:17:20 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:cf3c:697d:723b:8aac) (Remote host closed the connection) |
| 2021-06-30 02:24:18 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 02:24:42 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 02:33:12 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-30 02:33:46 +0200 | myShoggoth | (~myShoggot@75.164.51.64) (Ping timeout: 246 seconds) |
| 2021-06-30 02:35:46 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-06-30 02:38:16 +0200 | Guest35 | (~Guest35@2001:e68:543d:9398:c033:aa9b:f442:9c0b) |
| 2021-06-30 02:39:16 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 02:39:40 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 02:42:21 +0200 | egoist | (~egoist@186.235.82.105) |
| 2021-06-30 02:45:52 +0200 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-06-30 02:49:09 +0200 | lbseale_ | (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-06-30 02:53:21 +0200 | BRobersonO | (~BRoberson@97.104.41.119) |
| 2021-06-30 02:54:22 +0200 | jay-invariant | (~jay@c-24-4-6-169.hsd1.ca.comcast.net) |
| 2021-06-30 02:54:53 +0200 | wei2912 | (~wei2912@112.199.250.21) |
| 2021-06-30 02:56:38 +0200 | jlamothe | (~jlamothe@198.251.57.108) |
| 2021-06-30 02:56:55 +0200 | cjb | (~cjb@user/cjb) |
| 2021-06-30 02:59:18 +0200 | jlamothe | (~jlamothe@198.251.57.108) (Client Quit) |
| 2021-06-30 03:04:34 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 246 seconds) |
| 2021-06-30 03:06:45 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-30 03:08:05 +0200 | myShoggoth | (~myShoggot@75.164.51.64) |
| 2021-06-30 03:14:31 +0200 | pagnol | (~user@014198154145.ctinets.com) |
| 2021-06-30 03:16:37 +0200 | cuz | (~user@2601:182:cc02:8b0:39d7:a0a0:94f3:fad5) (ERC (IRC client for Emacs 27.1)) |
| 2021-06-30 03:17:16 +0200 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2021-06-30 03:17:43 +0200 | mud | (~mud@user/kadoban) |
| 2021-06-30 03:17:47 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-06-30 03:19:29 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-48.prtc.net) |
| 2021-06-30 03:19:37 +0200 | xff0x | (~xff0x@2001:1a81:53b8:a100:f8a8:d5fd:e910:e3c0) (Ping timeout: 246 seconds) |
| 2021-06-30 03:21:42 +0200 | xff0x | (~xff0x@2001:1a81:53f8:b100:933a:3ba5:1174:9474) |
| 2021-06-30 03:26:10 +0200 | scratchyone | (~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net) |
| 2021-06-30 03:26:39 +0200 | scratchyone | rachel |
| 2021-06-30 03:26:54 +0200 | rachel | rachel213 |
| 2021-06-30 03:27:20 +0200 | delYsid | (~user@84-115-55-45.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
| 2021-06-30 03:28:49 +0200 | <rachel213> | I'm trying to install ghcup on mac, but it keeps getting stuck at "Downloading the latest package list from hackage.haskell.org" |
| 2021-06-30 03:28:53 +0200 | <rachel213> | Any idea what might be wrong? |
| 2021-06-30 03:29:35 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-48.prtc.net) (Quit: Client closed) |
| 2021-06-30 03:33:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 03:33:30 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-06-30 03:33:30 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 2021-06-30 03:35:21 +0200 | <qrpnxz> | finally got around to watching https://www.youtube.com/watch?v=S0HvfXq3454 very cool |
| 2021-06-30 03:39:44 +0200 | <rachel213> | How do I fix cabal update getting stuck at downloading index? |
| 2021-06-30 03:40:37 +0200 | <davean> | rachel213: I've never heard of it being stuck - whats up? |
| 2021-06-30 03:41:03 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-30 03:42:13 +0200 | <rachel213> | davean: I'm not entirely sure, it says "downloading index", displays a huge curl command, and then nothing happens\ |
| 2021-06-30 03:42:25 +0200 | <rachel213> | It's been sitting here for like 5-6 minutes now |
| 2021-06-30 03:42:38 +0200 | <rachel213> | I assume it's not supposed to take that long to download a single index file? |
| 2021-06-30 03:43:28 +0200 | <rachel213> | I actually couldn't even get haskell to install properly, it keeps getting stuck on this step, so I did it manually so I could see a verbose output |
| 2021-06-30 03:44:11 +0200 | <sclv> | try passing i n a different http transport |
| 2021-06-30 03:44:38 +0200 | <sclv> | or running the curl command manually to see why it hand |
| 2021-06-30 03:44:43 +0200 | <sclv> | hangs |
| 2021-06-30 03:45:28 +0200 | <sclv> | often the issue is firewalls |
| 2021-06-30 03:45:34 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 2021-06-30 03:46:07 +0200 | <davean> | rachel213: it can take a few minutes though, its a big file |
| 2021-06-30 03:46:14 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-30 03:46:16 +0200 | <rachel213> | Hmm, running it manually gives no output either, even with curls --verbose command |
| 2021-06-30 03:47:01 +0200 | <rachel213> | Running it without piping to a file shows its definitely downloading though |
| 2021-06-30 03:47:13 +0200 | <rachel213> | Maybe curl is just significantly slower than my browser? |
| 2021-06-30 03:48:12 +0200 | <davean> | Its a large file |
| 2021-06-30 03:48:18 +0200 | <davean> | Whats your connection speed? |
| 2021-06-30 03:49:55 +0200 | <rachel213> | Oh hmm wtf |
| 2021-06-30 03:50:00 +0200 | <rachel213> | My normal speed is ~150 |
| 2021-06-30 03:50:09 +0200 | <davean> | 150 .. what? |
| 2021-06-30 03:50:13 +0200 | <rachel213> | mbps |
| 2021-06-30 03:50:16 +0200 | <rachel213> | But according to a speedtest im getting 10mbps down rn? |
| 2021-06-30 03:50:28 +0200 | <davean> | so that will take while |
| 2021-06-30 03:50:31 +0200 | neurocyte47 | (~neurocyte@185.238.253.62) |
| 2021-06-30 03:50:31 +0200 | neurocyte47 | (~neurocyte@185.238.253.62) (Changing host) |
| 2021-06-30 03:50:31 +0200 | neurocyte47 | (~neurocyte@user/neurocyte) |
| 2021-06-30 03:50:35 +0200 | <rachel213> | Yeah haha |
| 2021-06-30 03:50:36 +0200 | egoist | (~egoist@186.235.82.105) (Quit: WeeChat 3.2) |
| 2021-06-30 03:50:51 +0200 | <rachel213> | Damn now I have to figure out what's wrong with my network lmao |
| 2021-06-30 03:50:57 +0200 | Guest35 | (~Guest35@2001:e68:543d:9398:c033:aa9b:f442:9c0b) (Quit: Client closed) |
| 2021-06-30 03:51:18 +0200 | <monochrom> | getting throttled? all of us are. |
| 2021-06-30 03:51:21 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 03:52:39 +0200 | <rachel213> | Oh huh why? |
| 2021-06-30 03:52:55 +0200 | myShoggoth | (~myShoggot@75.164.51.64) (Ping timeout: 256 seconds) |
| 2021-06-30 03:53:50 +0200 | <davean> | rachel213: so I'd expect up to 10 minutes at that speed |
| 2021-06-30 03:54:32 +0200 | <rachel213> | Thank you!! |
| 2021-06-30 03:54:38 +0200 | neurocyte4 | (~neurocyte@user/neurocyte) (Ping timeout: 256 seconds) |
| 2021-06-30 03:54:38 +0200 | neurocyte47 | neurocyte4 |
| 2021-06-30 03:55:30 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 240 seconds) |
| 2021-06-30 04:00:32 +0200 | cheater1__ | (~Username@user/cheater) |
| 2021-06-30 04:00:32 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-06-30 04:00:35 +0200 | cheater1__ | cheater |
| 2021-06-30 04:02:26 +0200 | BRobersonO | (~BRoberson@97.104.41.119) (Quit: Leaving) |
| 2021-06-30 04:04:02 +0200 | boxscape_ | (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-06-30 04:08:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 04:08:40 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 04:10:08 +0200 | <rachel213> | davean: You were right! it finally finished a few seconds ago! |
| 2021-06-30 04:10:10 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-30 04:13:18 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-06-30 04:16:56 +0200 | hedronlkajsdhflk | (~hedron@2001:7e8:ccfd:9d00:c8d5:bd85:91a0:d51d) |
| 2021-06-30 04:17:33 +0200 | hedronlkajsdhflk | (~hedron@2001:7e8:ccfd:9d00:c8d5:bd85:91a0:d51d) () |
| 2021-06-30 04:18:54 +0200 | pagnol | (~user@014198154145.ctinets.com) (Ping timeout: 272 seconds) |
| 2021-06-30 04:21:01 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-30 04:25:52 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-30 04:27:29 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 04:27:48 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 04:29:25 +0200 | willbush | (~user@47.183.200.14) |
| 2021-06-30 04:30:11 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-30 04:30:12 +0200 | FinnElija | Guest7219 |
| 2021-06-30 04:30:12 +0200 | Guest7219 | (~finn_elij@user/finn-elija/x-0085643) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2021-06-30 04:30:12 +0200 | finn_elija | FinnElija |
| 2021-06-30 04:32:12 +0200 | td_ | (~td@94.134.91.158) (Ping timeout: 272 seconds) |
| 2021-06-30 04:33:35 +0200 | td_ | (~td@94.134.91.65) |
| 2021-06-30 04:40:45 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-30 04:42:42 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 04:43:00 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 04:43:22 +0200 | bilegeek | (~bilegeek@11.sub-174-208-196.myvzw.com) |
| 2021-06-30 04:44:52 +0200 | <rachel213> | This is probably a silly question, but what's the haskell way of getting fields from an object? |
| 2021-06-30 04:45:06 +0200 | <rachel213> | like object.fieldName in most c-like langs |
| 2021-06-30 04:46:27 +0200 | <c_wraith> | if you define a type as a record, it creates accessor functions from the field names |
| 2021-06-30 04:47:10 +0200 | <c_wraith> | though those are always syntactic sugar over normal pattern matching |
| 2021-06-30 04:47:37 +0200 | <rachel213> | ahhhh thank you! |
| 2021-06-30 04:57:46 +0200 | paravida | (~paravida@user/paravida) (Remote host closed the connection) |
| 2021-06-30 05:00:38 +0200 | alx741 | (~alx741@186.178.109.202) (Quit: alx741) |
| 2021-06-30 05:02:33 +0200 | bilegeek | (~bilegeek@11.sub-174-208-196.myvzw.com) (Read error: Connection reset by peer) |
| 2021-06-30 05:03:30 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 05:03:59 +0200 | bilegeek | (~bilegeek@11.sub-174-208-196.myvzw.com) |
| 2021-06-30 05:04:08 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 05:04:30 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-06-30 05:06:16 +0200 | tomsmeding | (~tomsmedin@tomsmeding.com) (Ping timeout: 258 seconds) |
| 2021-06-30 05:06:25 +0200 | <ephemient> | huh, did the NoFieldSelectors extension not land? somehow I thought it did |
| 2021-06-30 05:07:23 +0200 | tomsmeding | (~tomsmedin@2a03:b0c0:0:1010::767:3001) |
| 2021-06-30 05:10:32 +0200 | <ephemient> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/field_selectors.html#extension-FieldSelect… ah yes it did |
| 2021-06-30 05:12:18 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 2021-06-30 05:13:06 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 05:13:29 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 05:15:40 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-06-30 05:20:45 +0200 | myShoggoth | (~myShoggot@75.164.51.64) |
| 2021-06-30 05:30:25 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 05:37:33 +0200 | rachel213 | (~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net) (Remote host closed the connection) |
| 2021-06-30 05:38:42 +0200 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 272 seconds) |
| 2021-06-30 05:40:58 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-30 05:41:41 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-30 05:41:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 2021-06-30 05:42:12 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-06-30 05:44:34 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 05:44:58 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 05:46:04 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-30 05:49:11 +0200 | notzmv | [deleted] |
| 2021-06-30 05:59:33 +0200 | cjb | (~cjb@user/cjb) () |
| 2021-06-30 06:00:58 +0200 | jao | (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 246 seconds) |
| 2021-06-30 06:04:02 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 06:04:02 +0200 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-06-30 06:08:45 +0200 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 258 seconds) |
| 2021-06-30 06:09:54 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 2021-06-30 06:11:10 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-30 06:12:20 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-06-30 06:12:37 +0200 | cheater | (~Username@user/cheater) |
| 2021-06-30 06:15:12 +0200 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-06-30 06:31:44 +0200 | <janus> | why is NoFieldSelectors since 9.2.1 but OverloadedRecordDot since 9.2.0? |
| 2021-06-30 06:35:24 +0200 | flipchan | (~yumman@user/flipchan) (Ping timeout: 268 seconds) |
| 2021-06-30 06:38:14 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-30 06:38:18 +0200 | bilegeek | (~bilegeek@11.sub-174-208-196.myvzw.com) (Quit: Leaving) |
| 2021-06-30 06:38:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-06-30 06:39:23 +0200 | Ty | (~Ty@23.82.193.146) |
| 2021-06-30 06:39:32 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-30 06:39:46 +0200 | Ty | Guest4095 |
| 2021-06-30 06:40:25 +0200 | Guest4095 | (~Ty@23.82.193.146) (Client Quit) |
| 2021-06-30 06:43:44 +0200 | P1RATEZ | (piratez@user/p1ratez) |
| 2021-06-30 06:46:20 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-30 06:46:39 +0200 | cjb | (~cjb@user/cjb) |
| 2021-06-30 06:49:14 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-30 06:51:51 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-30 06:54:50 +0200 | myShoggoth | (~myShoggot@75.164.51.64) (Ping timeout: 256 seconds) |
| 2021-06-30 06:55:31 +0200 | P1RATEZ | (piratez@user/p1ratez) () |
| 2021-06-30 06:59:54 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-30 06:59:57 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 244 seconds) |
| 2021-06-30 07:00:32 +0200 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-06-30 07:00:54 +0200 | acidjnk | (~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de) |
| 2021-06-30 07:05:16 +0200 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 252 seconds) |
| 2021-06-30 07:13:09 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 07:13:40 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-06-30 07:13:40 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-06-30 07:13:40 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-06-30 07:17:29 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 256 seconds) |
| 2021-06-30 07:18:18 +0200 | roybatter | (~roybatter@S010600fc8d321b13.vn.shawcable.net) |
| 2021-06-30 07:20:16 +0200 | roybatter | (~roybatter@S010600fc8d321b13.vn.shawcable.net) (Client Quit) |
| 2021-06-30 07:21:50 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-30 07:23:11 +0200 | img | (~img@user/img) |
| 2021-06-30 07:26:08 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection) |
| 2021-06-30 07:27:15 +0200 | jneira | (~jneira@212.8.115.226) |
| 2021-06-30 07:28:42 +0200 | thyriaen | (~thyriaen@45.178.75.13) |
| 2021-06-30 07:29:34 +0200 | thyriaen | (~thyriaen@45.178.75.13) (Client Quit) |
| 2021-06-30 07:32:22 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-06-30 07:32:33 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-06-30 07:33:04 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-30 07:34:28 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-06-30 07:36:41 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-30 07:38:04 +0200 | img | (~img@user/img) |
| 2021-06-30 07:42:40 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds) |
| 2021-06-30 07:45:02 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-30 07:50:40 +0200 | cjb | (~cjb@user/cjb) () |
| 2021-06-30 07:53:45 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-30 07:55:06 +0200 | img | (~img@user/img) |
| 2021-06-30 07:57:28 +0200 | matsurago | (~matsurago@p0602864-vcngn.tkyo.nt.ngn.ppp.ocn.ne.jp) |
| 2021-06-30 07:58:14 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-30 07:59:52 +0200 | <hjulle[m]> | What are the v2- commands that corresponds to `cabal v1-copy` and `cabal v1-register`? |
| 2021-06-30 08:00:25 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-06-30 08:00:41 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 250 seconds) |
| 2021-06-30 08:00:47 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-30 08:01:09 +0200 | <sclv> | there are none |
| 2021-06-30 08:01:20 +0200 | <sclv> | thats not part of the v2 workflow |
| 2021-06-30 08:02:14 +0200 | <mjrosenb> | I like barely figured out how to use cabal. I should probably figure out how to use v2. |
| 2021-06-30 08:05:18 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-30 08:05:59 +0200 | <hjulle[m]> | So if I have a script that uses them (to build a debian package), I should simply keep using `cabal v1-copy` and hope that it doesn't go away? |
| 2021-06-30 08:06:40 +0200 | img | (~img@user/img) |
| 2021-06-30 08:07:02 +0200 | <sclv> | well that depends on what the general context of the whole build is |
| 2021-06-30 08:07:25 +0200 | <sclv> | arguably there should be a v2 way to do what you want, but you haven't described the case clearly enough |
| 2021-06-30 08:07:48 +0200 | <sclv> | if its to build the library itself as a debian package then stick to v1, yes |
| 2021-06-30 08:08:12 +0200 | <sclv> | in the v2 model, the idea of distro-packaged binary builds of libraries itself is semi-obseleted |
| 2021-06-30 08:10:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-30 08:10:27 +0200 | o | niko |
| 2021-06-30 08:11:22 +0200 | <hjulle[m]> | I don't know how the scripts worked, I just noticed that the builds failed because of `cabal: unrecognised command: copy`, so I was wondering if I should try to convert to the v2- versions while I'm at it instead of just adding a v1- prefix. |
| 2021-06-30 08:11:22 +0200 | <hjulle[m]> | The debian package in question contains both binaries from the haskell package and haskell libraries with bindings to c-code. |
| 2021-06-30 08:14:07 +0200 | <hjulle[m]> | Thanks! I think I'll just add the v1- prefix for now. Do I have to worry about it disappearing any time soon? |
| 2021-06-30 08:14:41 +0200 | <dminuoso> | Yes. |
| 2021-06-30 08:14:44 +0200 | kuribas | (~user@ptr-25vy0i8agiojdg3pjev.18120a2.ip6.access.telenet.be) (Ping timeout: 268 seconds) |
| 2021-06-30 08:15:06 +0200 | <dminuoso> | Well soon™ |
| 2021-06-30 08:16:08 +0200 | <hjulle[m]> | What's the v2- method for just copying the compiled binaries? |
| 2021-06-30 08:16:21 +0200 | <dminuoso> | Depends, which cabal version do you have installed? |
| 2021-06-30 08:17:13 +0200 | <dminuoso> | If you want a more backwards sure way, use `cabal-plan list-bin` (you can install cabal-plan with `cabal install cabal-plan`), but since 3.4.0.0 (?) list-bin has been added to cabal-install itself. |
| 2021-06-30 08:17:20 +0200 | <hjulle[m]> | I don't know. I want it to be compatible with as many versions as possible, since it's a script that I will not run myself. |
| 2021-06-30 08:17:20 +0200 | <dminuoso> | So with modern cabal you'd write something like: |
| 2021-06-30 08:17:40 +0200 | <dminuoso> | cp $(cabal -v0 list-bin foo:exe:bar) ./the_binary |
| 2021-06-30 08:17:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-30 08:18:00 +0200 | <dminuoso> | You can also jq directly into the build plan yourself if you like |
| 2021-06-30 08:18:15 +0200 | <dminuoso> | For a script this is likely a bit more robust if you cant control the version of cabal and what haskell packages are installed |
| 2021-06-30 08:19:27 +0200 | <davean> | well you can tell cabal to copy it somewhere with install |
| 2021-06-30 08:19:39 +0200 | <dminuoso> | Ah heh, I guess there's also that. :) |
| 2021-06-30 08:20:18 +0200 | <hjulle[m]> | This is the script in question: https://github.com/GrammaticalFramework/gf-core/blob/master/debian/rules |
| 2021-06-30 08:20:20 +0200 | <davean> | That goes back a long way |
| 2021-06-30 08:22:18 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-30 08:22:40 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-06-30 08:24:20 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-06-30 08:26:14 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-30 08:26:17 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-30 08:26:40 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-30 08:27:46 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2021-06-30 08:29:07 +0200 | img | (~img@user/img) |
| 2021-06-30 08:30:28 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-30 08:32:35 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-30 08:33:52 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 08:34:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 08:35:40 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-06-30 08:36:21 +0200 | kenran | (~kenran@b2b-37-24-119-190.unitymedia.biz) |
| 2021-06-30 08:38:45 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-06-30 08:39:02 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-30 08:40:21 +0200 | img | (~img@user/img) |
| 2021-06-30 08:41:00 +0200 | boxscape_ | (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) |
| 2021-06-30 08:41:11 +0200 | img | (~img@user/img) (Client Quit) |
| 2021-06-30 08:41:56 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 08:42:04 +0200 | boxscape_ | (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Client Quit) |
| 2021-06-30 08:42:35 +0200 | img | (~img@user/img) |
| 2021-06-30 08:42:46 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 08:48:55 +0200 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-06-30 08:49:29 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-06-30 08:50:32 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-30 08:50:56 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-06-30 08:51:07 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-06-30 08:52:30 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2021-06-30 08:53:06 +0200 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 240 seconds) |
| 2021-06-30 08:56:30 +0200 | chele | (~chele@user/chele) |
| 2021-06-30 08:58:25 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-30 08:59:17 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-30 09:01:07 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-30 09:04:39 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-30 09:05:10 +0200 | fendor | (~fendor@77.119.195.142.wireless.dyn.drei.com) |
| 2021-06-30 09:05:20 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 265 seconds) |
| 2021-06-30 09:09:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 09:10:16 +0200 | acidjnk | (~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-30 09:11:30 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
| 2021-06-30 09:13:20 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-06-30 09:14:14 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2021-06-30 09:14:42 +0200 | willbush | (~user@47.183.200.14) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-06-30 09:14:51 +0200 | oxide | (~lambda@user/oxide) |
| 2021-06-30 09:16:54 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-30 09:18:54 +0200 | michalz | (~michalz@185.246.204.125) |
| 2021-06-30 09:20:13 +0200 | nschoe | (~quassel@178.251.84.79) |
| 2021-06-30 09:20:25 +0200 | nschoe | (~quassel@178.251.84.79) (Client Quit) |
| 2021-06-30 09:26:12 +0200 | benin0369 | (~benin@183.82.205.231) |
| 2021-06-30 09:32:21 +0200 | haykam2 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-06-30 09:32:33 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-06-30 09:34:28 +0200 | TheRAt | (~TheRAt@user/therat) (Ping timeout: 246 seconds) |
| 2021-06-30 09:34:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 09:34:30 +0200 | dsf | (~dsf@cpe-66-75-56-205.san.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-06-30 09:36:45 +0200 | TheRAt | (~TheRAt@user/therat) |
| 2021-06-30 09:39:48 +0200 | boxscape_ | (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) |
| 2021-06-30 09:40:39 +0200 | dsf | (~dsf@cpe-66-75-56-205.san.res.rr.com) |
| 2021-06-30 09:41:32 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-30 09:42:45 +0200 | boxscape_ | (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Client Quit) |
| 2021-06-30 09:43:29 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-30 09:43:55 +0200 | boxscape_ | (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) |
| 2021-06-30 09:45:03 +0200 | matsurago | (~matsurago@p0602864-vcngn.tkyo.nt.ngn.ppp.ocn.ne.jp) (Quit: Leaving) |
| 2021-06-30 09:48:01 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 258 seconds) |
| 2021-06-30 10:01:05 +0200 | azeem | (~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-30 10:03:17 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Remote host closed the connection) |
| 2021-06-30 10:06:22 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 10:07:20 +0200 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-06-30 10:10:05 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-06-30 10:14:03 +0200 | azeem | (~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) |
| 2021-06-30 10:15:47 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:19d1:3d77:8320:86c9) |
| 2021-06-30 10:17:27 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-30 10:17:52 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-06-30 10:19:21 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-06-30 10:20:56 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 10:23:14 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-06-30 10:26:52 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer) |
| 2021-06-30 10:27:33 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-30 10:30:43 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-30 10:33:50 +0200 | <zincy> | What is a good approach to parsing Clojure code in Haskell? |
| 2021-06-30 10:34:37 +0200 | <zincy> | The broad goal is to parse microservice source code written in clojure for the purpose of understanding which events a service produces and consumes in an event driven environment |
| 2021-06-30 10:34:37 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 10:34:53 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-30 10:35:28 +0200 | <merijn> | zincy: Approach in what sense? |
| 2021-06-30 10:35:44 +0200 | <turlando> | regular expressions /s |
| 2021-06-30 10:36:16 +0200 | rune | (sid21167@id-21167.charlton.irccloud.com) |
| 2021-06-30 10:37:04 +0200 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-06-30 10:37:17 +0200 | <zincy> | merijn: Just thinking someone must have already written a Clojure parser in Haskell right? :) |
| 2021-06-30 10:37:21 +0200 | <zincy> | turlando: haha |
| 2021-06-30 10:38:30 +0200 | <turlando> | Not sure about the specific problem but parsing could be the easiest part (parsing lisps using any of the various parser combinator libraries is something you can do in half an hour) |
| 2021-06-30 10:39:07 +0200 | <turlando> | Depending on what you have to do the hard part is converting the AST in some normal form, doing macroexpand, etc |
| 2021-06-30 10:39:34 +0200 | acid | (~acid@user/acid) (Ping timeout: 246 seconds) |
| 2021-06-30 10:40:05 +0200 | <zincy> | Ah ok so should be simple to do myself |
| 2021-06-30 10:40:36 +0200 | <zincy> | Yeah the specific code I want to analyse is literally just a bunch of maps so I can ascertain their key names |
| 2021-06-30 10:40:51 +0200 | <zincy> | So I would hope I wont need to do any macro stuff |
| 2021-06-30 10:40:54 +0200 | <merijn> | zincy: Writing a parser for something like clojure probably isn't too hard |
| 2021-06-30 10:41:06 +0200 | <zincy> | Yeah |
| 2021-06-30 10:41:11 +0200 | <merijn> | zincy: Especially if it's a well-specified subset, instead of the whole grammar |
| 2021-06-30 10:41:13 +0200 | <zincy> | Could be fun too |
| 2021-06-30 10:41:20 +0200 | acid | (~acid@user/acid) |
| 2021-06-30 10:41:21 +0200 | <turlando> | If that's the case I'd rather emit some edn and then parse the edn from Haskell |
| 2021-06-30 10:41:38 +0200 | <zincy> | Whats an edn? |
| 2021-06-30 10:41:48 +0200 | <turlando> | (there should be ready to use edn libraries in haskell) |
| 2021-06-30 10:42:04 +0200 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 272 seconds) |
| 2021-06-30 10:42:06 +0200 | <turlando> | It's the data notation that clojure uses for serialization (not very scientific description) |
| 2021-06-30 10:42:57 +0200 | <zincy> | Oh so the EDN is the format clojure uses for its AST? |
| 2021-06-30 10:43:54 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-06-30 10:44:30 +0200 | <turlando> | Well the main purpose is to encode data |
| 2021-06-30 10:44:41 +0200 | <turlando> | See https://github.com/edn-format/edn and https://github.com/clojure-cookbook/clojure-cookbook/blob/master/04_local-io/4-14_read-write-cloju… |
| 2021-06-30 10:48:37 +0200 | <zincy> | Thanks! |
| 2021-06-30 10:49:19 +0200 | acidjnk | (~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de) |
| 2021-06-30 10:50:03 +0200 | <tdammers> | EDN is kind of like the JSON of clojure. In its defense, its design is a lot cleaner and saner than JSON's, but the idea is the same, modulo s/javascript/clojure/ |
| 2021-06-30 10:50:41 +0200 | <tdammers> | and of course that also means that it's likely never going to see widespread adoption outside the clojure ecosystem, unless someone comes up with an inevitable killer app |
| 2021-06-30 10:55:10 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-06-30 11:00:26 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-06-30 11:01:54 +0200 | __monty__ | (~toonn@user/toonn) |
| 2021-06-30 11:03:31 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-06-30 11:03:42 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 11:04:22 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2021-06-30 11:05:08 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-30 11:05:48 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-06-30 11:07:54 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 240 seconds) |
| 2021-06-30 11:08:00 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2021-06-30 11:08:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-06-30 11:11:42 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-30 11:14:48 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 11:18:10 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2021-06-30 11:19:06 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 240 seconds) |
| 2021-06-30 11:20:42 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2021-06-30 11:20:42 +0200 | fabfianda | (~fabfianda@37.183.255.57) (Ping timeout: 272 seconds) |
| 2021-06-30 11:20:59 +0200 | fabfianda | (~fabfianda@mob-5-90-246-133.net.vodafone.it) |
| 2021-06-30 11:21:27 +0200 | cheater | (~Username@user/cheater) |
| 2021-06-30 11:25:42 +0200 | fabfianda | (~fabfianda@mob-5-90-246-133.net.vodafone.it) (Ping timeout: 256 seconds) |
| 2021-06-30 11:25:57 +0200 | fabfianda | (~fabfianda@37.183.255.57) |
| 2021-06-30 11:47:01 +0200 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-06-30 11:48:21 +0200 | <jumper149> | What does `deriving (Generic, ..., ToJSON, FromJSON)` actually mean for the instance. Does it depend on the enabled language extensions? |
| 2021-06-30 11:48:49 +0200 | <jumper149> | It's probably different from writing `instance FromJSON MyData`, right? |
| 2021-06-30 11:48:51 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2021-06-30 11:49:11 +0200 | <Taneb> | jumper149: the relevant extension here is DeriveAnyClass (for To/FromJSON) |
| 2021-06-30 11:49:32 +0200 | <Taneb> | And it's _exactly_ the same as instance FromJSON MyData |
| 2021-06-30 11:49:35 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-30 11:49:56 +0200 | <Taneb> | deriving Generic needs the DeriveGeneric extension and that's it's own thing. |
| 2021-06-30 11:50:04 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-06-30 11:50:07 +0200 | <jumper149> | Taneb: What if it's a newtype and GeneralizedNewtypeDeriving is enabled? |
| 2021-06-30 11:50:22 +0200 | cheater | (~Username@user/cheater) |
| 2021-06-30 11:50:41 +0200 | kmein | (~weechat@user/kmein) |
| 2021-06-30 11:50:59 +0200 | <jumper149> | That would mean, that the instances are different, right? |
| 2021-06-30 11:51:01 +0200 | <dminuoso> | jumper149: That'd work too, then. |
| 2021-06-30 11:51:38 +0200 | <jumper149> | Yes it would work, but the instance is different, because the Constructor gets stripped, doesnt it? |
| 2021-06-30 11:52:00 +0200 | <dminuoso> | If both GeneralizedNewtypeDeriving and DeriveAnyClass are enabled.. I have no clue. |
| 2021-06-30 11:52:36 +0200 | <dminuoso> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/deriving_strategies.html#extension-Derivin… |
| 2021-06-30 11:52:38 +0200 | <dminuoso> | It's documented |
| 2021-06-30 11:52:59 +0200 | <dminuoso> | Funny, I would have expected GND to win, but apparently DAC does. |
| 2021-06-30 11:53:27 +0200 | <dminuoso> | jumper149: Yeah. with GND you just hoist an existing instance from the inner thing to the outer newtype. |
| 2021-06-30 11:53:57 +0200 | <dminuoso> | The other assumes the typeclass has sufficient default methods (which FromJSON/ToJSON have, if you also have Generic) |
| 2021-06-30 11:55:22 +0200 | en30 | (~en30@p6356230-ipngn31101marunouchi.tokyo.ocn.ne.jp) |
| 2021-06-30 11:55:27 +0200 | <jumper149> | dminuoso: I'm happy that DAC wins :) That means I don't have to refactor a shit ton of deriving statements x) |
| 2021-06-30 11:56:59 +0200 | TheCommieDuck | (~mark@2a00:23c6:d280:3700:572a:c2f0:ddc5:b769) (Quit: WeeChat 3.1) |
| 2021-06-30 11:57:48 +0200 | dunj3 | (~dunj3@p200300f61714a6027bbd4f06e8da6b8b.dip0.t-ipconnect.de) |
| 2021-06-30 11:58:21 +0200 | <Profpatsch> | jumper149: Best to use the explicit “deriving stock/anyclass/newtype/via” syntax I think |
| 2021-06-30 11:58:40 +0200 | <Profpatsch> | Then there is no confusion (also fro the reader) |
| 2021-06-30 11:59:03 +0200 | <jumper149> | Profpatsch: I agree! |
| 2021-06-30 12:00:41 +0200 | <tdammers> | yeah, I would say that it's a good habit to always use deriving strategies when you enable more than one of the deriving extensions |
| 2021-06-30 12:03:03 +0200 | <jumper149> | -XExplicitDerivingStrategies would be cool ;) |
| 2021-06-30 12:03:27 +0200 | <Profpatsch> | we could probably have an hlint check |
| 2021-06-30 12:03:37 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-06-30 12:04:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 12:05:45 +0200 | xsperry | (~as@user/xsperry) (Remote host closed the connection) |
| 2021-06-30 12:06:39 +0200 | henninb | (~henninb@63.226.174.157) |
| 2021-06-30 12:07:57 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-30 12:09:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 256 seconds) |
| 2021-06-30 12:09:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-30 12:10:47 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 12:12:10 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-06-30 12:12:48 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-30 12:13:20 +0200 | <boxscape> | or just get rid of everything aside from deriving via ;) https://www.parsonsmatt.org/2020/11/10/simplifying_deriving.html |
| 2021-06-30 12:13:36 +0200 | juhp | (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-30 12:13:50 +0200 | juhp | (~juhp@128.106.188.66) |
| 2021-06-30 12:15:48 +0200 | <yushyin> | not the worst idea |
| 2021-06-30 12:15:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-30 12:16:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 12:21:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-30 12:22:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 12:23:55 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-30 12:25:03 +0200 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-06-30 12:27:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-30 12:27:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 12:27:56 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-30 12:28:28 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-30 12:30:22 +0200 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 272 seconds) |
| 2021-06-30 12:33:04 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-30 12:33:07 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-30 12:33:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 12:37:50 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-30 12:38:58 +0200 | azeem | (~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-06-30 12:39:04 +0200 | fef | (~thedawn@user/thedawn) |
| 2021-06-30 12:39:12 +0200 | azeem | (~azeem@176.201.12.132) |
| 2021-06-30 12:39:34 +0200 | azeem | (~azeem@176.201.12.132) (Read error: Connection reset by peer) |
| 2021-06-30 12:39:55 +0200 | azeem | (~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) |
| 2021-06-30 12:40:24 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 12:41:54 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-30 12:44:18 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 12:45:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 12:45:34 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-30 12:48:24 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-30 12:48:49 +0200 | xsperry | (~as@user/xsperry) |
| 2021-06-30 12:51:02 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-06-30 12:52:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-06-30 12:52:20 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2021-06-30 12:52:43 +0200 | jonathanx | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) |
| 2021-06-30 12:55:04 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-30 12:56:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-30 13:00:18 +0200 | dunj4 | (~dunj3@p200300f61714a6405bb7680713e8c72a.dip0.t-ipconnect.de) |
| 2021-06-30 13:01:34 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-30 13:02:02 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 13:02:28 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-30 13:02:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 13:03:10 +0200 | dunj3 | (~dunj3@p200300f61714a6027bbd4f06e8da6b8b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-30 13:08:15 +0200 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
| 2021-06-30 13:10:12 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-06-30 13:13:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 13:13:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 13:13:56 +0200 | juhp | (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-30 13:14:09 +0200 | juhp | (~juhp@128.106.188.66) |
| 2021-06-30 13:24:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 13:24:24 +0200 | jumper149 | (~jumper149@80.240.31.34) (Ping timeout: 265 seconds) |
| 2021-06-30 13:25:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 13:25:30 +0200 | jonathanx | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2021-06-30 13:40:09 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-30 13:41:18 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 13:41:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 13:45:14 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-30 13:47:08 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2021-06-30 13:50:10 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-30 13:58:08 +0200 | acidjnk | (~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-30 14:01:10 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: No route to host) |
| 2021-06-30 14:02:06 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-30 14:06:25 +0200 | acidjnk | (~acidjnk@p200300d0c72b95402d92a822f50d83dc.dip0.t-ipconnect.de) |
| 2021-06-30 14:06:34 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 14:10:42 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 240 seconds) |
| 2021-06-30 14:10:52 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-30 14:13:25 +0200 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-06-30 14:18:03 +0200 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 265 seconds) |
| 2021-06-30 14:18:20 +0200 | kenran | (~kenran@b2b-37-24-119-190.unitymedia.biz) (Quit: WeeChat info:version) |
| 2021-06-30 14:20:31 +0200 | stevenxl | (~stevenlei@174.128.182.118) |
| 2021-06-30 14:20:58 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2021-06-30 14:23:01 +0200 | qbt | (~edun@user/edun) |
| 2021-06-30 14:25:12 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b954061d05013652ae098.dip0.t-ipconnect.de) |
| 2021-06-30 14:25:25 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-30 14:25:51 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-06-30 14:28:08 +0200 | egoist | (~egoist@186.235.82.105) |
| 2021-06-30 14:29:18 +0200 | acidjnk | (~acidjnk@p200300d0c72b95402d92a822f50d83dc.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-30 14:30:14 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-06-30 14:31:08 +0200 | en30 | (~en30@p6356230-ipngn31101marunouchi.tokyo.ocn.ne.jp) (Quit: Connection closed) |
| 2021-06-30 14:36:03 +0200 | jonathanx | (~jonathan@c-5eea32b3-74736162.cust.telenor.se) |
| 2021-06-30 14:37:38 +0200 | Fendor_ | (~Fendor@e236-005.eduroam.tuwien.ac.at) |
| 2021-06-30 14:40:10 +0200 | boxscape_ | (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-06-30 14:41:09 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 14:42:21 +0200 | jonathanx_ | (~jonathan@94.234.50.179) |
| 2021-06-30 14:42:29 +0200 | jonathanx | (~jonathan@c-5eea32b3-74736162.cust.telenor.se) (Read error: Connection reset by peer) |
| 2021-06-30 14:44:30 +0200 | jonathanx_ | (~jonathan@94.234.50.179) (Read error: Connection reset by peer) |
| 2021-06-30 14:45:38 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 14:46:05 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-30 14:46:52 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-06-30 14:47:00 +0200 | berberman | (~berberman@user/berberman) |
| 2021-06-30 14:48:32 +0200 | jonathanx | (~jonathan@c-5eea32b3-74736162.cust.telenor.se) |
| 2021-06-30 14:50:50 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-30 14:50:56 +0200 | amcleodca | (~amcleodca@user/amcleodca) |
| 2021-06-30 14:51:26 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 14:55:52 +0200 | jao | (jao@gateway/vpn/protonvpn/jao) |
| 2021-06-30 14:56:08 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
| 2021-06-30 14:56:34 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-06-30 14:56:46 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) |
| 2021-06-30 14:56:53 +0200 | jneira | (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-30 14:57:56 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2021-06-30 15:00:33 +0200 | henninb | (~henninb@63.226.174.157) (Quit: leaving) |
| 2021-06-30 15:00:39 +0200 | ubert1 | (~Thunderbi@ip5b409628.dynamic.kabel-deutschland.de) |
| 2021-06-30 15:01:06 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) (Ping timeout: 240 seconds) |
| 2021-06-30 15:01:06 +0200 | ubert1 | ubert |
| 2021-06-30 15:01:09 +0200 | alx741 | (~alx741@186.178.109.202) |
| 2021-06-30 15:01:30 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 15:02:15 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 15:02:18 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-30 15:04:25 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-30 15:04:39 +0200 | <amcleodca> | Howdy - I am on day 2 of learning, and seem to be having trouble using the dot notation to access records in data structures. I think this is a problem with my development environment, but I'm not sure what my next step should be. I pasted a simple case that duplicates the problem and shows the error message here: https://pastebin.com/K50bwZM3. Any |
| 2021-06-30 15:04:40 +0200 | <amcleodca> | ideas what I can do next? |
| 2021-06-30 15:06:52 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 2021-06-30 15:06:59 +0200 | <dminuoso> | amcleodca: We have no such dot notation for records. |
| 2021-06-30 15:07:05 +0200 | <dminuoso> | Not yet, anyway |
| 2021-06-30 15:08:55 +0200 | trcc | (~trcc@users-1190.st.net.au.dk) |
| 2021-06-30 15:10:53 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 15:11:54 +0200 | <tomsmeding> | the proposal says that it should be implemented in GHC 9.2: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0282-record-dot-syntax.rst |
| 2021-06-30 15:11:55 +0200 | <merijn> | amcleodca: That doesn't exist in Haskell... |
| 2021-06-30 15:12:27 +0200 | <amcleodca> | Howdy - I am on day 2 of learning, and seem to be having trouble using the dot notation to access records in data structures. I think this is a problem with my development environment, but I'm not sure what my next step should be. I pasted a simple case that duplicates the problem and shows the error message here: https://pastebin.com/K50bwZM3. Any |
| 2021-06-30 15:12:28 +0200 | <amcleodca> | ideas what I can do next? |
| 2021-06-30 15:12:37 +0200 | <tomsmeding> | but yeah, amcleodca even if you're using the bleeding-edge ghc compiler, it's still not (yet) idiomatic haskell |
| 2021-06-30 15:12:56 +0200 | jonathanx | (~jonathan@c-5eea32b3-74736162.cust.telenor.se) (Ping timeout: 256 seconds) |
| 2021-06-30 15:13:01 +0200 | <amcleodca> | (please disregard the duplicate post :) |
| 2021-06-30 15:13:39 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-30 15:14:16 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 15:14:23 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection) |
| 2021-06-30 15:14:35 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 15:14:51 +0200 | <amcleodca> | this is interesting because The Simple Haskell Handbook seems to use the dot notation, like in this worked example where build.CompletedSteps seems to refer to a record defined in "data Build" on line 33 |
| 2021-06-30 15:15:06 +0200 | <amcleodca> | (link: https://github.com/jturner/quad-ci/blob/449fafb7376b5a711874798cc03166e762db505e/src/Core.hs#L99) |
| 2021-06-30 15:15:53 +0200 | <amcleodca> | i take it they're doing something non-standard here, then? |
| 2021-06-30 15:15:54 +0200 | azeem | (~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-30 15:15:55 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2021-06-30 15:16:09 +0200 | poljar | (~poljar@93-139-36-109.adsl.net.t-com.hr) (Quit: WeeChat 3.1) |
| 2021-06-30 15:16:18 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 15:17:04 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-06-30 15:17:27 +0200 | azeem | (~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) |
| 2021-06-30 15:17:42 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 15:18:01 +0200 | <dminuoso> | amcleodca: that's for qualified names |
| 2021-06-30 15:18:18 +0200 | <dminuoso> | https://github.com/jturner/quad-ci/blob/449fafb7376b5a711874798cc03166e762db505e/src/Core.hs#L8 |
| 2021-06-30 15:18:39 +0200 | <dminuoso> | See, the module was imported under the qualified "List", so you have to refer all identifiers from that module with List.<something> |
| 2021-06-30 15:18:50 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
| 2021-06-30 15:19:07 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-30 15:19:09 +0200 | <tomsmeding> | that 'build.completedSteps' is very odd spacing |
| 2021-06-30 15:19:28 +0200 | <tomsmeding> | most people would write that as: List.all ((==) StepSucceeded) build . completedSteps |
| 2021-06-30 15:19:36 +0200 | <tomsmeding> | where (.) is function composition |
| 2021-06-30 15:19:36 +0200 | chisui | (~chisui@200116b868342600e075ba151a671095.dip.versatel-1u1.de) |
| 2021-06-30 15:19:50 +0200 | <tomsmeding> | so: \x -> List.all ((==) StepSucceeded) build (completedSteps x) |
| 2021-06-30 15:20:06 +0200 | <tomsmeding> | means the same thing |
| 2021-06-30 15:20:13 +0200 | <tomsmeding> | (and List.all is what dminuoso said) |
| 2021-06-30 15:20:22 +0200 | dminuoso | waits for merijn to make some remark about how spacing around operators should have been mandated |
| 2021-06-30 15:20:32 +0200 | fvr | (uid503686@id-503686.highgate.irccloud.com) |
| 2021-06-30 15:21:05 +0200 | <turlando> | lol |
| 2021-06-30 15:21:07 +0200 | tomsmeding | wonders why the author of that code thinks that is readable, without spacing around the . |
| 2021-06-30 15:21:30 +0200 | <amcleodca> | sweet. sounds like i misunderstood what was happening here. tyvm! |
| 2021-06-30 15:22:08 +0200 | mastarija | (~mastarija@31.217.22.187) |
| 2021-06-30 15:22:55 +0200 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-06-30 15:24:32 +0200 | dudek | (~dudek@185.150.236.112) |
| 2021-06-30 15:25:10 +0200 | <Cale> | amcleodca: In their cabal file they have ghc-options: -F -pgmF=record-dot-preprocessor -threaded -rtsopts -with-rtsopts=-N |
| 2021-06-30 15:25:27 +0200 | <Cale> | Those first two arguments are probably what's doing the weird dot notation |
| 2021-06-30 15:25:47 +0200 | <tomsmeding> | thanks for correcting me |
| 2021-06-30 15:26:40 +0200 | <tomsmeding> | so amcleodca you were right, but that project is doing something fancy :p |
| 2021-06-30 15:26:47 +0200 | <tomsmeding> | don't do that |
| 2021-06-30 15:26:49 +0200 | poljar | (~poljar@93-139-36-109.adsl.net.t-com.hr) |
| 2021-06-30 15:26:49 +0200 | <Cale> | I don't know where that record-dot-preprocessor is coming from though |
| 2021-06-30 15:27:05 +0200 | <tomsmeding> | Cale: https://hackage.haskell.org/package/record-dot-preprocessor |
| 2021-06-30 15:27:12 +0200 | <Cale> | ah, I see |
| 2021-06-30 15:27:40 +0200 | shapr | (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-06-30 15:29:11 +0200 | <dminuoso> | Learning Haskell with GHC plugins right from the beginning. |
| 2021-06-30 15:29:35 +0200 | <Cale> | Not GHC plugins, but source-to-source preprocessors even :) |
| 2021-06-30 15:30:23 +0200 | <Cale> | Everything that happened with the RecordDotSyntax proposal makes me sad |
| 2021-06-30 15:30:49 +0200 | <Cale> | If a few people wanted to use this preprocessor that's one thing |
| 2021-06-30 15:31:56 +0200 | <dminuoso> | What will the "second week of Haskell" introduce? An SMT solver plugged in via TC plugin for better type level naturals. |
| 2021-06-30 15:32:06 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-30 15:32:19 +0200 | maerwald | (~maerwald@user/maerwald) (Ping timeout: 244 seconds) |
| 2021-06-30 15:32:30 +0200 | <yushyin> | I like NoFieldSelectors and maybe I will also like RecordDotSyntax, i'll give it a chance |
| 2021-06-30 15:33:46 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-30 15:35:38 +0200 | shapr | (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-06-30 15:35:43 +0200 | <Cale> | There were like 4 different dimensions of how to disambiguate expressions involving RecordDotSyntax, and 8 different options proposed (which didn't even fully cover the space of what would be reasonable), and then the GHC committee used Condorcet voting to pick one. |
| 2021-06-30 15:40:57 +0200 | <Cale> | (Which I think is a really poor way to decide on things like that, where it's clear that people's first impression about what expressions will mean are so different) |
| 2021-06-30 15:42:06 +0200 | amcleodca | (~amcleodca@user/amcleodca) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2021-06-30 15:42:18 +0200 | amcleodca | (~andy@user/amcleodca) |
| 2021-06-30 15:43:41 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-06-30 15:45:02 +0200 | <Cale> | (a copy of the document where the choices were being discussed... https://docs.google.com/document/d/1Hmviy8xJVw3RBnpXyQxb9izchXW-ZtaXMzzAX1iNuqU/edit?usp=sharing ) |
| 2021-06-30 15:46:08 +0200 | <tomsmeding> | was there a sensible subset of expressions where everyone agreed on the semantics, so that you can just reject all programs outside that intersection? |
| 2021-06-30 15:48:21 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
| 2021-06-30 15:51:17 +0200 | <yushyin> | i think this was a very heated and difficult to follow discussion on github. I found the online document in which they tried to neatly write down the most common variants quite helpful. the discussion was already pretty deadlocked anyway. in the end, they didn't decide on the variant that I personally would have found better, but I can live with the now somewhat more conservative variant for now. |
| 2021-06-30 15:52:25 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-06-30 15:52:40 +0200 | <merijn> | yushyin: NoFieldSelectors is amazing, but I don't think anyone really objects to that one :p |
| 2021-06-30 15:53:12 +0200 | <yushyin> | you could very much see wadler's law in action there :D |
| 2021-06-30 15:53:23 +0200 | <tomsmeding> | wait people disagreed on what 'f x.r' should mean? |
| 2021-06-30 15:53:31 +0200 | <yushyin> | tomsmeding: shure! |
| 2021-06-30 15:53:33 +0200 | <tomsmeding> | okay at that point there is no way you're going to satisfy everyone |
| 2021-06-30 15:53:35 +0200 | <merijn> | tomsmeding: Yes |
| 2021-06-30 15:53:43 +0200 | cloudy | (~user@2600:8807:c207:f00:d022:dd81:f0f8:bb22) |
| 2021-06-30 15:54:00 +0200 | <merijn> | tbh, the real mistake in Haskell was not requiring whitespace around operators |
| 2021-06-30 15:54:03 +0200 | <tomsmeding> | well, I guess the "sensible subset" that I mentioned would then the programs that do not use record dot syntax :p |
| 2021-06-30 15:54:05 +0200 | <tomsmeding> | i.e. C1 |
| 2021-06-30 15:54:12 +0200 | <merijn> | If had required whitespace around operators none of this would be a problem |
| 2021-06-30 15:54:21 +0200 | <tomsmeding> | dminuoso: you can stop waiting |
| 2021-06-30 15:54:57 +0200 | <merijn> | I don't really see any value in operators without whitespace anyway |
| 2021-06-30 15:55:31 +0200 | <merijn> | This would've eliminated the need for unary minus too |
| 2021-06-30 15:55:39 +0200 | <tomsmeding> | it's sometimes nice to compress e.g. [0 .. i-1] |
| 2021-06-30 15:55:43 +0200 | <dminuoso> | tomsmeding: ! |
| 2021-06-30 15:55:43 +0200 | <tomsmeding> | lol |
| 2021-06-30 15:55:45 +0200 | <dminuoso> | :-) |
| 2021-06-30 15:55:56 +0200 | <merijn> | tomsmeding: you really think two spaces would ruin that? |
| 2021-06-30 15:56:25 +0200 | <merijn> | tomsmeding: Or rather, would you put up with 2 spaces there if it completely eliminated the problems of: 1) unary minus and 2) record indexing? |
| 2021-06-30 15:57:08 +0200 | <Rembane> | What about always demanding whitespace around the function composition operator, but keeping the rest as it is? |
| 2021-06-30 15:57:11 +0200 | trcc_ | (~trcc@eduroam09.au.dk) |
| 2021-06-30 15:57:31 +0200 | <merijn> | Rembane: Now you're special casing a specific function name in the grammar |
| 2021-06-30 15:57:33 +0200 | <merijn> | Hard pass |
| 2021-06-30 15:57:44 +0200 | <merijn> | I want *less* special casing and weird ass rules |
| 2021-06-30 15:57:45 +0200 | <merijn> | Not more |
| 2021-06-30 15:57:53 +0200 | <merijn> | Rembane: What happens if a user defines a local (.) ? |
| 2021-06-30 15:57:59 +0200 | <Rembane> | merijn: We already have one, the dollar sign, lets give it exactly one friend. :) |
| 2021-06-30 15:58:19 +0200 | <Rembane> | merijn: Then it must behave in the exact same way as the global one. |
| 2021-06-30 15:58:37 +0200 | <merijn> | This sounds incredibly unprincipled and messy |
| 2021-06-30 15:58:44 +0200 | <tomsmeding> | merijn: yes I would put up with some spaces :p |
| 2021-06-30 15:58:50 +0200 | <merijn> | Rembane: Also, then you still have the unary minus problem |
| 2021-06-30 15:59:31 +0200 | <Rembane> | merijn: Indeed. The unary minus problem is definitely a wart. |
| 2021-06-30 16:00:53 +0200 | trcc | (~trcc@users-1190.st.net.au.dk) (Ping timeout: 268 seconds) |
| 2021-06-30 16:01:18 +0200 | <merijn> | Mandatory whitespace around operator solves: 1) ambiguity of qualified import vs constructor composition with ., 2) solves the problem of finding a non-conflicting record index syntax, 3) eliminates unary minus. I, the prophet Merijn, have foretold the 2nd^H^H^H19th coming of Haskell Prime and it will redeem us all! Heed my words, oh ye unworthy! |
| 2021-06-30 16:01:58 +0200 | trcc_ | (~trcc@eduroam09.au.dk) (Ping timeout: 265 seconds) |
| 2021-06-30 16:02:42 +0200 | <merijn> | While we're at it and need to accomodate our new "negative literals", let's splice in a new SignedNum class and move abs, signum and - into it >.> |
| 2021-06-30 16:03:23 +0200 | neo | (~neo3@cpe-292712.ip.primehome.com) |
| 2021-06-30 16:06:08 +0200 | delYsid | (~user@84-115-55-45.cable.dynamic.surfer.at) |
| 2021-06-30 16:06:10 +0200 | <yushyin> | i vote merijn for haskell prime chairman! \o/ let the bikeshedding begin \o/ |
| 2021-06-30 16:07:44 +0200 | mastarija | (~mastarija@31.217.22.187) (Quit: Leaving) |
| 2021-06-30 16:08:00 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 16:08:24 +0200 | <turlando> | Do we really need negative numbers after all? |
| 2021-06-30 16:08:42 +0200 | <merijn> | yushyin: https://files.inconsistent.nl/merijn.jpg |
| 2021-06-30 16:09:11 +0200 | <yushyin> | ;D |
| 2021-06-30 16:10:58 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-30 16:12:02 +0200 | <yushyin> | merijn: btw. I get a bad cert domain ssl error with your link. |
| 2021-06-30 16:12:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 240 seconds) |
| 2021-06-30 16:12:24 +0200 | fendor__ | (~fendor@77.119.196.177.wireless.dyn.drei.com) |
| 2021-06-30 16:13:28 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-06-30 16:13:35 +0200 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2021-06-30 16:13:49 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
| 2021-06-30 16:13:51 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-06-30 16:14:35 +0200 | sander | (~sander@user/sander) |
| 2021-06-30 16:14:42 +0200 | <merijn> | oh, heh |
| 2021-06-30 16:14:47 +0200 | <merijn> | it shouldn't be https |
| 2021-06-30 16:14:54 +0200 | fendor | (~fendor@77.119.195.142.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-06-30 16:14:56 +0200 | <merijn> | I blame my browser |
| 2021-06-30 16:16:16 +0200 | <merijn> | Because that server indeed doesn't have any certificate for my domain, on account of it not being my server :p |
| 2021-06-30 16:16:42 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) |
| 2021-06-30 16:17:23 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-06-30 16:18:52 +0200 | neo | (~neo3@cpe-292712.ip.primehome.com) (Quit: Leaving) |
| 2021-06-30 16:19:11 +0200 | neo | (~neo3@cpe-292712.ip.primehome.com) |
| 2021-06-30 16:20:13 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) |
| 2021-06-30 16:23:43 +0200 | <guest61> | . |
| 2021-06-30 16:24:04 +0200 | jao | (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 272 seconds) |
| 2021-06-30 16:24:04 +0200 | Fendor_ | fendor |
| 2021-06-30 16:27:25 +0200 | pagnol | (~user@014198154145.ctinets.com) |
| 2021-06-30 16:33:12 +0200 | <robbert-vdh> | Has anyone ever tried using RTS Execution Stacks? (after compiling GHC with --enable-dwarf-unwind) Is that supposed to work? |
| 2021-06-30 16:34:20 +0200 | <merijn> | robbert-vdh: *someone*? probably, whether that person is here, who knows :p |
| 2021-06-30 16:34:44 +0200 | <robbert-vdh> | merijn: At this point I really wouldn't be surprised if literally noone has tried using this feature lol |
| 2021-06-30 16:34:45 +0200 | <merijn> | I'd be curious to see how well it works if you succeed, though |
| 2021-06-30 16:36:01 +0200 | <robbert-vdh> | I tried compiling both GHC 8.10.5 and GHC 9.2.0.whatevertheprereleaseis with that option and producing a stack trace gives me "execution-stacks: Failed to get stack frames of current process: no matching address range: Invalid argument", so I was hoping there's some obvious flag I'm missing or something :) |
| 2021-06-30 16:36:13 +0200 | <robbert-vdh> | (and the stack trace ends in rts/Libdw.c which uh isn't very helpful) |
| 2021-06-30 16:36:37 +0200 | <robbert-vdh> | Trying to use this to get some additional source mapping information in Accelerate |
| 2021-06-30 16:38:35 +0200 | <merijn> | robbert-vdh: Probably wanna ask in #ghc |
| 2021-06-30 16:38:53 +0200 | <merijn> | robbert-vdh: Since this dealing with rather deep internsl of ghc |
| 2021-06-30 16:39:18 +0200 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-06-30 16:39:29 +0200 | <robbert-vdh> | merijn: Yeah I guess I'll have to do that, was hoping someone else miraculously also tried using this feature and knew the magic incantation to make it work :) |
| 2021-06-30 16:40:12 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 16:40:39 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 16:40:57 +0200 | amcleodca_ | (~andy@bras-base-toroon0335w-grc-34-142-114-172-148.dsl.bell.ca) |
| 2021-06-30 16:41:15 +0200 | neo | (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 258 seconds) |
| 2021-06-30 16:42:02 +0200 | amcleodca | (~andy@user/amcleodca) (Ping timeout: 252 seconds) |
| 2021-06-30 16:42:46 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 16:43:22 +0200 | amcleodca_ | amcleodca |
| 2021-06-30 16:43:48 +0200 | amcleodca | (~andy@bras-base-toroon0335w-grc-34-142-114-172-148.dsl.bell.ca) (Changing host) |
| 2021-06-30 16:43:48 +0200 | amcleodca | (~andy@user/amcleodca) |
| 2021-06-30 16:49:18 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-06-30 16:49:41 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-06-30 16:52:16 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-30 16:52:59 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-ae15-1a10-43d7-2299.fixed6.kpn.net) |
| 2021-06-30 16:53:44 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2021-06-30 16:54:56 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 16:57:09 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-30 16:57:14 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-30 16:59:30 +0200 | qbt | (~edun@user/edun) (Ping timeout: 240 seconds) |
| 2021-06-30 17:00:40 +0200 | Schrostfutz | (~Schrostfu@schettlerdck.tkn.tu-berlin.de) |
| 2021-06-30 17:01:59 +0200 | fendor | (~Fendor@e236-005.eduroam.tuwien.ac.at) (Quit: Connection closed) |
| 2021-06-30 17:03:25 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 2021-06-30 17:03:30 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds) |
| 2021-06-30 17:05:05 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-30 17:05:20 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-30 17:05:27 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-30 17:05:27 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 17:05:31 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-30 17:07:57 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-06-30 17:08:43 +0200 | flukiluke | (~flukiluke@plum.alephc.xyz) (Remote host closed the connection) |
| 2021-06-30 17:09:01 +0200 | flukiluke | (~flukiluke@plum.alephc.xyz) |
| 2021-06-30 17:10:51 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-06-30 17:15:04 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-06-30 17:15:10 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-30 17:17:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 17:17:22 +0200 | scratchyone | (~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net) |
| 2021-06-30 17:17:30 +0200 | scratchyone | rachel3342e |
| 2021-06-30 17:17:35 +0200 | rachel3342e | rachel231 |
| 2021-06-30 17:18:05 +0200 | myShoggoth | (~myShoggot@75.164.51.64) |
| 2021-06-30 17:19:30 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 17:19:47 +0200 | <rachel231> | Does anyone know of any good coding projects for learning haskell? |
| 2021-06-30 17:19:55 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 17:20:06 +0200 | <rachel231> | Like stuff that'll actually let me take advantage of the languages unique features |
| 2021-06-30 17:20:26 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-06-30 17:21:54 +0200 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (Quit: bye) |
| 2021-06-30 17:22:31 +0200 | krjst | (~krjst@2604:a880:800:c1::16b:8001) |
| 2021-06-30 17:23:54 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:19d1:3d77:8320:86c9) (Ping timeout: 240 seconds) |
| 2021-06-30 17:27:29 +0200 | rachel231 | (~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net) (Quit: Connection closed) |
| 2021-06-30 17:27:48 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 17:28:06 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 17:30:53 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-30 17:36:11 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-30 17:36:37 +0200 | <Ariakenom> | uh some parsing with parser combinators maybe |
| 2021-06-30 17:39:06 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 17:40:40 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-06-30 17:41:38 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 17:41:42 +0200 | <adamCS> | rachel123: I think that depends a lot on which features interest you and what kind of coding projects interest you. |
| 2021-06-30 17:41:51 +0200 | <adamCS> | rachel231: ^ |
| 2021-06-30 17:42:12 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 258 seconds) |
| 2021-06-30 17:42:33 +0200 | scratchyone | (~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net) |
| 2021-06-30 17:42:51 +0200 | scratchyone | rachel231 |
| 2021-06-30 17:49:24 +0200 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-06-30 17:50:48 +0200 | <dsal> | qrpnxz: It turns out, fold1 actually does exist. |
| 2021-06-30 17:50:51 +0200 | <dsal> | :t sconcat |
| 2021-06-30 17:50:53 +0200 | <lambdabot> | error: |
| 2021-06-30 17:50:53 +0200 | <lambdabot> | • Variable not in scope: sconcat |
| 2021-06-30 17:50:53 +0200 | <lambdabot> | • Perhaps you meant one of these: |
| 2021-06-30 17:51:48 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-30 17:52:21 +0200 | <boxscape> | @more |
| 2021-06-30 17:54:51 +0200 | ubert | (~Thunderbi@ip5b409628.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-06-30 17:55:03 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-06-30 17:55:04 +0200 | <dsal> | hoogle outputs it, but that's just noise. I was looking through my generated docs and saw that. One less dep. |
| 2021-06-30 17:56:08 +0200 | Schrostfutz | (~Schrostfu@schettlerdck.tkn.tu-berlin.de) (Ping timeout: 256 seconds) |
| 2021-06-30 17:56:30 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-30 17:58:53 +0200 | nckx | Thunderbi |
| 2021-06-30 17:58:53 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2021-06-30 17:59:02 +0200 | jlamothe | (~jlamothe@198.251.57.108) |
| 2021-06-30 18:02:08 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-06-30 18:02:56 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b954061d05013652ae098.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-30 18:04:16 +0200 | juhp | (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-30 18:04:29 +0200 | juhp | (~juhp@128.106.188.66) |
| 2021-06-30 18:04:52 +0200 | michalz | (~michalz@185.246.204.125) (Remote host closed the connection) |
| 2021-06-30 18:05:15 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-06-30 18:12:48 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Remote host closed the connection) |
| 2021-06-30 18:13:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-30 18:15:46 +0200 | Thunderbi | nckx |
| 2021-06-30 18:16:14 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 18:16:15 +0200 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) (Quit: node-irc says goodbye) |
| 2021-06-30 18:18:46 +0200 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) |
| 2021-06-30 18:21:05 +0200 | wei2912 | (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-30 18:21:17 +0200 | econo | (uid147250@user/econo) |
| 2021-06-30 18:24:42 +0200 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) (Quit: node-irc says goodbye) |
| 2021-06-30 18:27:19 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
| 2021-06-30 18:27:56 +0200 | pavonia | (~user@user/siracusa) |
| 2021-06-30 18:28:11 +0200 | mpt | (~tom@2a02:908:1862:49e0::4) |
| 2021-06-30 18:28:22 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Client Quit) |
| 2021-06-30 18:30:31 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
| 2021-06-30 18:33:56 +0200 | son0p | (~ff@181.136.122.143) |
| 2021-06-30 18:34:36 +0200 | nvmd | (~nvmd@user/nvmd) (Quit: Later, nerds.) |
| 2021-06-30 18:34:49 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving) |
| 2021-06-30 18:37:28 +0200 | <Boarders> | with ghcup if I do `ghcup set ghc-8.10.4` then I get an error saying I haven't got it installed but I have and it is on the path |
| 2021-06-30 18:37:33 +0200 | rachel231 | (~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net) (Quit: Connection closed) |
| 2021-06-30 18:37:34 +0200 | <Boarders> | has anyone come across this issue? |
| 2021-06-30 18:38:29 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-30 18:39:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 18:44:59 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 18:48:18 +0200 | mpt | (~tom@2a02:908:1862:49e0::4) (Ping timeout: 240 seconds) |
| 2021-06-30 18:48:18 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-ae15-1a10-43d7-2299.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2021-06-30 18:48:41 +0200 | stevenxl_ | (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) |
| 2021-06-30 18:50:42 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 18:51:00 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 18:51:28 +0200 | stevenxl | (~stevenlei@174.128.182.118) (Ping timeout: 252 seconds) |
| 2021-06-30 18:52:27 +0200 | jao | (jao@gateway/vpn/protonvpn/jao) |
| 2021-06-30 18:52:35 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-06-30 18:55:54 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-06-30 18:59:47 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:1749:70f2:c3b4:7591) |
| 2021-06-30 19:00:01 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-30 19:01:09 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b954061d05013652ae098.dip0.t-ipconnect.de) |
| 2021-06-30 19:06:08 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Remote host closed the connection) |
| 2021-06-30 19:06:51 +0200 | fendor__ | fendor |
| 2021-06-30 19:11:32 +0200 | <janus> | Boarders: is it installed with ghcup? |
| 2021-06-30 19:11:37 +0200 | buddha | (~buddha@27.147.234.193) |
| 2021-06-30 19:11:55 +0200 | <buddha> | hi |
| 2021-06-30 19:12:05 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-30 19:12:05 +0200 | <janus> | hi buddha |
| 2021-06-30 19:12:30 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-30 19:12:41 +0200 | <buddha> | what is the diff between `x = 10` and `let x = 10`? |
| 2021-06-30 19:12:42 +0200 | <janus> | namo buddhaya |
| 2021-06-30 19:13:27 +0200 | <janus> | buddha: you can think of your module as one giant let |
| 2021-06-30 19:13:46 +0200 | <Rembane> | buddha: in ghci or in a module? |
| 2021-06-30 19:13:53 +0200 | <buddha> | in the ghci |
| 2021-06-30 19:14:11 +0200 | <dminuoso> | I dont think there's a difference in GHCi |
| 2021-06-30 19:14:25 +0200 | <dminuoso> | Except, for MMR perhaps |
| 2021-06-30 19:14:47 +0200 | <buddha> | are they referring to the same thing? |
| 2021-06-30 19:15:05 +0200 | <Rembane> | They mean the same thing, some major versions ago you had to write `let x = 10', but now you can skip the let. |
| 2021-06-30 19:15:13 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 19:15:30 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 19:15:39 +0200 | <buddha> | both of them represent a function right? |
| 2021-06-30 19:15:48 +0200 | <dminuoso> | No |
| 2021-06-30 19:15:53 +0200 | <buddha> | a function that returns 10? no? |
| 2021-06-30 19:15:55 +0200 | <dminuoso> | Just the binding of a value to a name. |
| 2021-06-30 19:16:04 +0200 | <Rembane> | No, they give a name to a value |
| 2021-06-30 19:16:20 +0200 | <buddha> | how do you define functions without arguments then? |
| 2021-06-30 19:16:23 +0200 | <dminuoso> | (Or well, more precisely I should say it binds an expression to a name) |
| 2021-06-30 19:16:27 +0200 | <janus> | do functions always have arrows in their type signatures? |
| 2021-06-30 19:16:33 +0200 | <dminuoso> | buddha: That fundamentally does not make sense. |
| 2021-06-30 19:16:39 +0200 | zgrep | (~zgrep@user/zgrep) (Quit: It's a quitter's world.) |
| 2021-06-30 19:16:54 +0200 | <dminuoso> | In Haskell we use the term function differently from other programming languages |
| 2021-06-30 19:17:00 +0200 | stevenxl | (~stevenlei@68.235.43.165) |
| 2021-06-30 19:17:03 +0200 | <dminuoso> | Our use is more aligned with that of mathematics, where a function is just a mapping of values |
| 2021-06-30 19:17:13 +0200 | <Rembane> | janus: Assume yes, and come back here when you find out otherwise. :) |
| 2021-06-30 19:17:30 +0200 | alx741 | (~alx741@186.178.109.202) (Ping timeout: 252 seconds) |
| 2021-06-30 19:17:33 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 19:17:37 +0200 | <buddha> | so by definition a function has to have at least one argument? |
| 2021-06-30 19:17:44 +0200 | <janus> | Rembane: is the exception that you can make (->) instances for anything? |
| 2021-06-30 19:17:45 +0200 | <dminuoso> | More to the point, exactly one argument. |
| 2021-06-30 19:17:56 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-30 19:17:57 +0200 | <janus> | % :info (->) |
| 2021-06-30 19:17:58 +0200 | <yahb> | janus: type (->) :: * -> * -> *; type (->) = FUN 'Many :: * -> * -> *; -- Defined in `GHC.Types'; infixr -1 ->; instance forall r. Applicative ((->) r) -- Defined in `GHC.Base'; instance forall r. Functor ((->) r) -- Defined in `GHC.Base'; instance forall r. Monad ((->) r) -- Defined in `GHC.Base'; instance forall b a. Monoid b => Monoid (a -> b) -- Defined in `GHC.Base'; instance forall b a. Semigroup b => S |
| 2021-06-30 19:18:02 +0200 | zgrep | (~zgrep@user/zgrep) |
| 2021-06-30 19:18:05 +0200 | <buddha> | what happens when you have multiple arguments then? |
| 2021-06-30 19:18:07 +0200 | <dminuoso> | buddha: A function that appears to take say 2 arguments, is rather a function that returns a function. |
| 2021-06-30 19:18:16 +0200 | <dminuoso> | buddha: There's two ways to deal with that |
| 2021-06-30 19:18:17 +0200 | <Rembane> | janus: Yes, and also that there are many ways to represent a function. |
| 2021-06-30 19:18:27 +0200 | <dminuoso> | Either we have the function take a product type, like a type, e.g. f :: (Int, Char) -> Bool |
| 2021-06-30 19:18:40 +0200 | <dminuoso> | Or we encode the function curried as: f' :: Int -> Char -> Bool |
| 2021-06-30 19:18:41 +0200 | stevenxl_ | (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-30 19:18:59 +0200 | <Rembane> | janus: F a b c could for instance be a function which you need another function to evaluate. |
| 2021-06-30 19:19:15 +0200 | <dminuoso> | Where curried just means f' is a function taking Int, and returning a function Char -> Bool. So applying this function `f 10 'c'` is actually considered `(f 10) 'c'` |
| 2021-06-30 19:19:43 +0200 | <dminuoso> | buddha: For convenience, we let you define what appears a multiple argument function, but this maps into "functions returning functions" behind the scenes. |
| 2021-06-30 19:19:58 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection) |
| 2021-06-30 19:20:14 +0200 | <dminuoso> | i.e. `f x y = x + y` is equivalent to `f = \x -> \y -> x + y` |
| 2021-06-30 19:20:20 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Ping timeout: 258 seconds) |
| 2021-06-30 19:20:32 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-30 19:20:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-30 19:21:21 +0200 | <janus> | when you say equivalent, what do you mean? surely the 9.0 change in subsumption would not consider eta expansion equivalent? |
| 2021-06-30 19:21:27 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-30 19:21:31 +0200 | <buddha> | and functions are lexically scoped? |
| 2021-06-30 19:21:50 +0200 | warnz | (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Client Quit) |
| 2021-06-30 19:22:05 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-06-30 19:22:07 +0200 | stevenxl_ | (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) |
| 2021-06-30 19:22:16 +0200 | <dminuoso> | buddha: Up until the module system, yes. |
| 2021-06-30 19:22:35 +0200 | <dminuoso> | janus: I mean it in the same way we teach children that the path of planets around the sun is a circle. |
| 2021-06-30 19:22:45 +0200 | pragma- | (~chaos@user/pragmatic-chaos) (Bye!) |
| 2021-06-30 19:22:50 +0200 | stevenxl | (~stevenlei@68.235.43.165) (Ping timeout: 256 seconds) |
| 2021-06-30 19:22:50 +0200 | <janus> | ah ok, is this "fast and loose reasoning" ? |
| 2021-06-30 19:23:08 +0200 | <dminuoso> | No, it's a good enough approximation for pedagocal reasons that's close enough to the truth as fas as they are concerned. |
| 2021-06-30 19:23:13 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-30 19:24:07 +0200 | <janus> | i thought that change in subsumption only matter in the precense of undefined, which makes it a non-total language |
| 2021-06-30 19:24:25 +0200 | <janus> | the fast and loose paper talks about totality, so that is why i thought it was the relevant paper |
| 2021-06-30 19:24:26 +0200 | <dminuoso> | janus: So the subsumption stuff is related in a particular sense. |
| 2021-06-30 19:25:01 +0200 | <dminuoso> | janus: But its not because of subsumption, but for the reason simplified subsumption is introduced. But the relationship is very distance. |
| 2021-06-30 19:25:06 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 19:25:28 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Client Quit) |
| 2021-06-30 19:25:41 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 19:25:54 +0200 | <dminuoso> | In case of the simplified subsumption, its because `x` and \y -> x y` are not the same, but in order for GHC to elaborate certain RankNTypes situations into core, it has to transform one into the other, changing how strictness behaves. |
| 2021-06-30 19:26:25 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-06-30 19:26:48 +0200 | stevenxl_ | (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Ping timeout: 256 seconds) |
| 2021-06-30 19:26:51 +0200 | <dminuoso> | So the solution is to just forbid things like deep skolemnization, and suddenly GHC no longer has to do that. But in order for these programs to type check, you have to write that conversion from `x` to `\y -> x y` in the places GHC used to do it by hand now. |
| 2021-06-30 19:27:02 +0200 | stevenxl | (~stevenlei@68.235.43.157) |
| 2021-06-30 19:27:08 +0200 | <dminuoso> | So this change in semantics is made explicit now, while simplifying GHC's type checker at the same time |
| 2021-06-30 19:27:42 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-30 19:28:15 +0200 | <buddha> | Is writing algorithms in Haskell more `fun` in Haskell compared to Python? |
| 2021-06-30 19:28:39 +0200 | <dolio> | I think almost everything is more fun in Haskell. |
| 2021-06-30 19:28:42 +0200 | <dminuoso> | Not sure what answer you expect. Im sure if you asked that question flipped around in #python you'd get the opposite response. |
| 2021-06-30 19:28:44 +0200 | <raehik> | yes |
| 2021-06-30 19:28:50 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-30 19:29:32 +0200 | <dminuoso> | There's probably more value in asking "what frustrates you about the language" than "do you like doing X in your language". :-) |
| 2021-06-30 19:29:35 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-06-30 19:30:06 +0200 | alx741 | (~alx741@186.178.108.157) |
| 2021-06-30 19:30:54 +0200 | <monochrom> | Other people bolting on dependent typing on Haskell frustrates me about the language. But this uses the word "language" to refer to culture rather than syntax and semantics. |
| 2021-06-30 19:31:24 +0200 | <buddha> | I guess I'll have to find out myself. It's like learning Vim, you'll never know what's on the other side |
| 2021-06-30 19:31:38 +0200 | <dminuoso> | I find the lack of circular imports to be the most annoying thing in the Haskell language itself. |
| 2021-06-30 19:31:50 +0200 | <koala_man> | buddha: if you enjoy list comprehensions and map/filter/lambda, then yes, definitely |
| 2021-06-30 19:31:55 +0200 | <dminuoso> | Well. In GHC Haskell I should say. :-) |
| 2021-06-30 19:33:06 +0200 | <dminuoso> | buddha: One thing to keep in mind, that in a pure, non-strict and functional settings writing algorithms is usually very different. In fact, even the idiomatic data structures are different. So especially for newcomers to haskell, much of their previous experience can't be transferred directly.. at least in the beginning. |
| 2021-06-30 19:33:14 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-06-30 19:33:38 +0200 | <buddha> | dminuoso I have xp with elixir, that might help a bit |
| 2021-06-30 19:34:15 +0200 | <monochrom> | I think in retrospect circular importing was one of those things they thought "would be cool and SML does it, what can possibly go wrong" and it backfired. See, SML can do it because, and only because, handwritten interface files are required. And it shows, GHC supports it by requiring you to handwrite interface files again. |
| 2021-06-30 19:34:44 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-30 19:35:07 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-30 19:36:13 +0200 | <dminuoso> | buddha: Some bits are similar yeah. Just like elixir, we also make a lot of use of pattern matching and case-of, there's also a bit of similarity in some elixir acros and the way we write code in Haskell. |
| 2021-06-30 19:36:57 +0200 | <dminuoso> | Amusingly, Haskell suffers from the same string/charlist issue that erlang/elixir has. :-) |
| 2021-06-30 19:37:09 +0200 | <dminuoso> | And I reckon it's for the same reasons as well |
| 2021-06-30 19:38:39 +0200 | ikex1 | (~ash@user/ikex) |
| 2021-06-30 19:38:46 +0200 | ikex | (ash@user/ikex) (Ping timeout: 252 seconds) |
| 2021-06-30 19:39:19 +0200 | ikex1 | ikex |
| 2021-06-30 19:40:06 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Remote host closed the connection) |
| 2021-06-30 19:41:15 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-30 19:41:43 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-30 19:41:52 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 19:41:56 +0200 | <buddha> | is the `+` plus operator an example of operator overloading? |
| 2021-06-30 19:42:27 +0200 | <dminuoso> | Yes, though overloading is not tied to `operators`. |
| 2021-06-30 19:42:46 +0200 | <buddha> | it's just a function right? |
| 2021-06-30 19:43:02 +0200 | <dminuoso> | Well, its what we call a "class method" |
| 2021-06-30 19:43:34 +0200 | <eggplantade> | As far as notation goes, `+` is a function name, and it has different syntax because it uses operator symbols |
| 2021-06-30 19:43:39 +0200 | <dminuoso> | You can think of a class like protocols in elixir, perhaps. |
| 2021-06-30 19:44:15 +0200 | <dminuoso> | And we call "members" of that class methods. Note I intentionally avoided the term "function", because a method could also be an immediate value, though most of the time they are actual functions. |
| 2021-06-30 19:44:38 +0200 | <dminuoso> | (Our typeclasses are much richer than protocols, but it's a good initial approximation to get acquainted with them) |
| 2021-06-30 19:46:53 +0200 | amcleodca | (~andy@user/amcleodca) (Remote host closed the connection) |
| 2021-06-30 19:48:56 +0200 | <qrpnxz> | dsal, right, I thought maybe you'd want like some kind of nonempty foldable, but all foldables have a toList anyway, then you can just turn that into a nonempty and to sconcat and it's the same, so sounds good! |
| 2021-06-30 19:49:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 19:51:05 +0200 | <dsal> | It doesn’t make sense to fold1 something that isn’t non-empty. The missing piece is some kind of NonEmptyFoldable which is basically semigroupoids |
| 2021-06-30 19:51:10 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-30 19:51:10 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-30 19:51:12 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-30 19:51:44 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 19:52:43 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 19:57:42 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-30 19:58:51 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-30 19:59:20 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-30 20:00:24 +0200 | egoist | (~egoist@186.235.82.105) (Ping timeout: 252 seconds) |
| 2021-06-30 20:01:34 +0200 | egoist | (~egoist@186.235.80.194) |
| 2021-06-30 20:03:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-30 20:06:57 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-30 20:07:44 +0200 | warnz | (~warnz@2600:1700:77c0:5610:409d:bff0:fc58:d5c4) |
| 2021-06-30 20:09:09 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-06-30 20:09:44 +0200 | fvr | (uid503686@id-503686.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-30 20:10:18 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2021-06-30 20:13:16 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 256 seconds) |
| 2021-06-30 20:14:47 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Remote host closed the connection) |
| 2021-06-30 20:19:36 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 268 seconds) |
| 2021-06-30 20:20:22 +0200 | Bob_Esponja | (~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net) |
| 2021-06-30 20:22:19 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-06-30 20:22:32 +0200 | Bob_Esponja | (~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2021-06-30 20:23:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-30 20:25:50 +0200 | shapr | (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-06-30 20:26:49 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-30 20:29:10 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds) |
| 2021-06-30 20:29:32 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-30 20:29:52 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-06-30 20:30:41 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-30 20:36:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 20:37:25 +0200 | Bob_Esponja | (~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net) |
| 2021-06-30 20:37:54 +0200 | Bob_Esponja | (~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2021-06-30 20:38:46 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-06-30 20:39:46 +0200 | Bob_Esponja | (~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net) |
| 2021-06-30 20:40:00 +0200 | Bob_Esponja | (~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2021-06-30 20:41:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-06-30 20:41:14 +0200 | shapr | (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-06-30 20:46:27 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-30 20:46:46 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 20:47:06 +0200 | benin0369 | (~benin@183.82.205.231) (Ping timeout: 240 seconds) |
| 2021-06-30 20:47:51 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 20:53:12 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-06-30 20:56:30 +0200 | <maerwald> | Inb4 "total prelude" |
| 2021-06-30 20:57:21 +0200 | buddha | (~buddha@27.147.234.193) (Quit: Client closed) |
| 2021-06-30 20:59:38 +0200 | maerwald | shows the Idris/Agda door |
| 2021-06-30 21:01:56 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-30 21:03:43 +0200 | dunj4 | dunj |
| 2021-06-30 21:03:45 +0200 | dunj | dunj3 |
| 2021-06-30 21:10:33 +0200 | safinaskar | (~safinaska@109-252-90-89.nat.spd-mgts.ru) |
| 2021-06-30 21:11:42 +0200 | <safinaskar> | it seems that GADTs are equivalent to logics. (I. e. values of GADTs are proofs). If one writes function from one GADT to another, then it is proof of morphism from one logic to another |
| 2021-06-30 21:12:04 +0200 | <safinaskar> | am i first to notice this? there surely should be posts about the same, please, give me them |
| 2021-06-30 21:12:36 +0200 | <Cale> | No, and in fact, that's how type theory started out in the first place |
| 2021-06-30 21:13:03 +0200 | <safinaskar> | ok, thanks |
| 2021-06-30 21:13:06 +0200 | <safinaskar> | give me links, please |
| 2021-06-30 21:13:10 +0200 | <Cale> | Not just terms of GADTs are proofs, but terms are proofs, and types are the propositions being proved |
| 2021-06-30 21:13:30 +0200 | <safinaskar> | Cale: of course |
| 2021-06-30 21:13:45 +0200 | <safinaskar> | Cale: but GADTs allow especially elegant formalism for logics |
| 2021-06-30 21:13:52 +0200 | <safinaskar> | also, if compiler compiles "\case{}", this proves that certain formula is not deducible in a logic |
| 2021-06-30 21:14:18 +0200 | <safinaskar> | i can easily write axiomatization, say, for whole ZFC as a single GADT |
| 2021-06-30 21:14:51 +0200 | listofoptions | (~haha@nat.syssrc.com) (Read error: Connection reset by peer) |
| 2021-06-30 21:15:02 +0200 | derelict | (~derelict@user/derelict) (Ping timeout: 256 seconds) |
| 2021-06-30 21:15:36 +0200 | <Cale> | I don't think GADTs give you everything you might want there, but they're closer to being able to specify that kind of thing than plain algebraic data types certainly. |
| 2021-06-30 21:16:18 +0200 | <Cale> | In particular, you're missing out on quantifiers that you're probably going to want at some point |
| 2021-06-30 21:16:35 +0200 | <Cale> | But that's just Haskell's lack of Pi and Sigma types |
| 2021-06-30 21:16:49 +0200 | Deide | (~Deide@user/deide) |
| 2021-06-30 21:17:20 +0200 | <boxscape> | Cale: but GADTs allow you to write singletons |
| 2021-06-30 21:17:38 +0200 | <Cale> | But yeah, in Coq and Agda, they regularly define various classes of propositions as inductive datatypes |
| 2021-06-30 21:17:45 +0200 | <Cale> | (and Idris as well) |
| 2021-06-30 21:17:56 +0200 | <safinaskar> | i can write ZFC axiomatization using GADTs only. without code. and without advanced haskell features, such as singletons |
| 2021-06-30 21:18:25 +0200 | <safinaskar> | you just need to have explicit proofs of substitutions |
| 2021-06-30 21:18:32 +0200 | <Cale> | Can you? Have a gist or something I can look at? |
| 2021-06-30 21:18:53 +0200 | <safinaskar> | i. e. propositions like "A is B with C substituted for x" are provable propositions on its own |
| 2021-06-30 21:19:42 +0200 | <safinaskar> | Cale: yes, i can. give me 10 minutes, i hope i will write |
| 2021-06-30 21:19:56 +0200 | <dsal> | I've still never actually used GADTs (I think). Every time I've thought it'd help me, it made things worse. |
| 2021-06-30 21:20:27 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-06-30 21:21:16 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 21:21:37 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 21:22:53 +0200 | Morrow | (~MorrowM_@147.161.13.35) |
| 2021-06-30 21:24:25 +0200 | <Cale> | A practical place to use GADTs is for encoding protocols, where you use the index type as a way to express what type of response you expect back |
| 2021-06-30 21:25:14 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2021-06-30 21:25:15 +0200 | <Cale> | Also, I've had a fairly good time using fairly simple GADTs alongside DMap for a sort of extensible records. |
| 2021-06-30 21:25:58 +0200 | <Cale> | The terms of your GADT become the "field labels" and the index type is the type of the corresponding field. |
| 2021-06-30 21:26:55 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-06-30 21:28:16 +0200 | <Cale> | Unlike most systems of extensible records, you don't get type-level information about which fields are present in a record, but you *do* get information about which "universe" of fields they come from, and lots of nice operations (effectively parallels to most of Data.Map) |
| 2021-06-30 21:29:36 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-30 21:33:00 +0200 | <safinaskar> | (i am still writing that GADT) |
| 2021-06-30 21:35:52 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-06-30 21:37:30 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 2021-06-30 21:37:40 +0200 | chisui | (~chisui@200116b868342600e075ba151a671095.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
| 2021-06-30 21:38:08 +0200 | derelict | (~derelict@user/derelict) |
| 2021-06-30 21:40:42 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 21:41:07 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 21:41:47 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2021-06-30 21:43:06 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-06-30 21:45:09 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Remote host closed the connection) |
| 2021-06-30 21:46:01 +0200 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-06-30 21:47:13 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-30 21:47:58 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-30 21:50:00 +0200 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 272 seconds) |
| 2021-06-30 21:59:06 +0200 | <safinaskar> | Cale: i am writing, and i already wrote definition of first order logic. i hope you are still interested |
| 2021-06-30 22:02:19 +0200 | <Cale> | sure |
| 2021-06-30 22:02:49 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-30 22:02:52 +0200 | <Cale> | What do you do with respect to quantifiers? |
| 2021-06-30 22:02:55 +0200 | Bob_Esponja | (~Bob_Espon@175.red-79-156-90.staticip.rima-tde.net) |
| 2021-06-30 22:02:55 +0200 | sm2n | (~sm2n@user/sm2n) (Read error: Connection reset by peer) |
| 2021-06-30 22:02:57 +0200 | Bob_Esponja | (~Bob_Espon@175.red-79-156-90.staticip.rima-tde.net) (Client Quit) |
| 2021-06-30 22:03:17 +0200 | sm2n | (~sm2n@user/sm2n) |
| 2021-06-30 22:05:03 +0200 | unyu | (~pyon@user/pyon) (Ping timeout: 268 seconds) |
| 2021-06-30 22:05:26 +0200 | juhp | (~juhp@128.106.188.66) (Ping timeout: 252 seconds) |
| 2021-06-30 22:06:56 +0200 | dextaa | (~DV@aftr-37-201-214-197.unity-media.net) |
| 2021-06-30 22:06:57 +0200 | unyu | (~pyon@user/pyon) |
| 2021-06-30 22:07:10 +0200 | juhp | (~juhp@128.106.188.66) |
| 2021-06-30 22:09:02 +0200 | cheater1__ | (~Username@user/cheater) |
| 2021-06-30 22:09:14 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-06-30 22:09:15 +0200 | cheater1__ | cheater |
| 2021-06-30 22:11:14 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-06-30 22:13:11 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-30 22:14:51 +0200 | <safinaskar> | look everybody! ZFC as single GADT! https://paste.debian.net/1202948/ |
| 2021-06-30 22:15:38 +0200 | <safinaskar> | Cale: ping. quantifiers exists in my language as usual. i use explicit proof objects of type "Subst", this proof objects proofs that substitutions are possible |
| 2021-06-30 22:16:05 +0200 | <safinaskar> | s/proof objects proofs that/proof objects prove that/ |
| 2021-06-30 22:21:59 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-30 22:22:43 +0200 | <Cale> | safinaskar: Ahh, that is interesting |
| 2021-06-30 22:22:46 +0200 | <Cale> | hmm |
| 2021-06-30 22:23:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-06-30 22:24:10 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-30 22:24:28 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 22:25:15 +0200 | <Cale> | safinaskar: Yeah, that's a deeper embedding than I was thinking of :) |
| 2021-06-30 22:25:46 +0200 | <tomsmeding> | I think people seldomly explicitly list the axioms of the theory when trying stuff like this; generally I think people want to model type theory using the rules already in the type system |
| 2021-06-30 22:26:09 +0200 | <tomsmeding> | and then you run into trouble where a non-dependent type system isn't strong enough to handle forall |
| 2021-06-30 22:26:19 +0200 | <Cale> | But yeah, this gives a logic which you wouldn't normally get as a type theory, even |
| 2021-06-30 22:26:34 +0200 | <Cale> | Note the double negation elimination, for example |
| 2021-06-30 22:26:44 +0200 | cloudy` | (~user@2600:8807:c207:f00:d022:dd81:f0f8:bb22) |
| 2021-06-30 22:27:46 +0200 | <safinaskar> | so, are there posts about this? |
| 2021-06-30 22:30:25 +0200 | <safinaskar> | are there some articles/theories about all possible logics? for example, i want some definition of what it is mean to be syntax-directed for logic |
| 2021-06-30 22:30:30 +0200 | <tomsmeding> | I'm not aware of significant work in this direction (only people using type theory in dependent languages, or when they want to work in different logics, designing a new language to let them work in that theory -- e.g. adding aximos to Coq) |
| 2021-06-30 22:30:52 +0200 | <Cale> | Somehow I'd be surprised if nobody had ever written something like this in Coq |
| 2021-06-30 22:31:02 +0200 | <tomsmeding> | but that doesn't say that there isn't such work, and that _especially_ doesn't mean that there haven't been isolated people trying this before :) |
| 2021-06-30 22:31:05 +0200 | <Cale> | But I'm not sure exactly where to look for it :) |
| 2021-06-30 22:31:06 +0200 | <tomsmeding> | yes |
| 2021-06-30 22:31:10 +0200 | <dolio> | Yeah, this is pretty basic stuff in lots of proof assistants. |
| 2021-06-30 22:31:17 +0200 | <safinaskar> | Cale: i just have read that coq has no GADTs |
| 2021-06-30 22:31:21 +0200 | <safinaskar> | Cale: but agda has |
| 2021-06-30 22:31:32 +0200 | <safinaskar> | Cale: and my code is trivially convertible to agda |
| 2021-06-30 22:31:37 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2021-06-30 22:31:39 +0200 | <Cale> | safinaskar: Coq has inductive data types, which are basically like GADTs |
| 2021-06-30 22:32:49 +0200 | <safinaskar> | maybe there is some provers, which can take logic in similar form and check some its properties? |
| 2021-06-30 22:33:25 +0200 | <safinaskar> | somebody on this channel already pointed me to twelf. i will check it. are there other links? |
| 2021-06-30 22:33:51 +0200 | <safinaskar> | my method lets me define my own notion of substitution, alpha-beta-equivalency, etc |
| 2021-06-30 22:34:56 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 256 seconds) |
| 2021-06-30 22:35:12 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-30 22:36:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-30 22:39:51 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-30 22:45:33 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 22:46:42 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-30 22:47:33 +0200 | nshepperd2 | (~nshepperd@li364-218.members.linode.com) (Remote host closed the connection) |
| 2021-06-30 22:47:45 +0200 | nshepperd2 | (~nshepperd@li364-218.members.linode.com) |
| 2021-06-30 22:49:06 +0200 | Reyu[M] | (~reyureyuz@matrix.reyuzenfold.com) (Ping timeout: 256 seconds) |
| 2021-06-30 22:49:17 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-30 22:49:33 +0200 | Reyu[M] | (~reyureyuz@matrix.reyuzenfold.com) |
| 2021-06-30 22:49:37 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-30 22:49:54 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 240 seconds) |
| 2021-06-30 22:54:50 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-30 22:55:25 +0200 | <Cale> | safinaskar: https://paste.debian.net/1202951/ |
| 2021-06-30 22:55:31 +0200 | <Cale> | There's the translation into Coq :) |
| 2021-06-30 22:57:35 +0200 | <safinaskar> | Cale: thanks a lot |
| 2021-06-30 22:58:52 +0200 | <safinaskar> | Cale: but i have read here: http://coq-blog.clarus.me/gadts-with-type-erasure-in-coq-of-ocaml.html , that this inductive types have not desirable properties |
| 2021-06-30 22:59:36 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-06-30 22:59:53 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-30 23:01:54 +0200 | <Cale> | That seems to discuss difficulties with compiling OCaml's GADTs into Coq inductive types which might be reasonable concerns for someone writing a compiler that was trying to carefully preserve semantics, but I'm not sure it matters to us. |
| 2021-06-30 23:02:16 +0200 | <Cale> | Maybe? |
| 2021-06-30 23:03:52 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-30 23:04:02 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-30 23:04:29 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-30 23:05:35 +0200 | mikail | (~mikail@90.212.77.3) |
| 2021-06-30 23:06:09 +0200 | mjrosenb | (~mrosenbe@nyc.schrodinger.com) (Ping timeout: 244 seconds) |
| 2021-06-30 23:06:14 +0200 | <safinaskar> | Cale: i want to write functions, which transform proofs from one logic to another. Good exastivness checking is desirable property |
| 2021-06-30 23:06:28 +0200 | <Cale> | There is exhaustiveness checking. |
| 2021-06-30 23:06:39 +0200 | <Cale> | In fact, there's full termination checking. |
| 2021-06-30 23:07:06 +0200 | <safinaskar> | Cale: that article shows that exhaustiveness checking is suboptimal (i mean analysis on case expressions) |
| 2021-06-30 23:08:12 +0200 | mjrosenb | (~mrosenbe@104.225.243.2) |
| 2021-06-30 23:08:16 +0200 | <Cale> | The situation involving the trees there is not going to come up |
| 2021-06-30 23:08:29 +0200 | <Cale> | None of our stuff is parametric on arbitrary types |
| 2021-06-30 23:09:24 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 2021-06-30 23:11:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-06-30 23:11:43 +0200 | <safinaskar> | Cale: ok |
| 2021-06-30 23:15:02 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-06-30 23:17:06 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 240 seconds) |
| 2021-06-30 23:17:14 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-06-30 23:17:49 +0200 | warnz | (~warnz@2600:1700:77c0:5610:409d:bff0:fc58:d5c4) (Remote host closed the connection) |
| 2021-06-30 23:18:33 +0200 | warnz | (~warnz@2600:1700:77c0:5610:409d:bff0:fc58:d5c4) |
| 2021-06-30 23:22:18 +0200 | <safinaskar> | Cale: do you have a blog? |
| 2021-06-30 23:22:30 +0200 | <Cale> | nope |
| 2021-06-30 23:26:59 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-30 23:27:23 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-30 23:30:28 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-06-30 23:32:36 +0200 | dmang | (~dmang@user/dmang) (Remote host closed the connection) |
| 2021-06-30 23:34:46 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-30 23:36:22 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-30 23:39:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-06-30 23:41:21 +0200 | <chris_> | hey |
| 2021-06-30 23:41:34 +0200 | <chris_> | need help with this function |
| 2021-06-30 23:41:38 +0200 | <chris_> | regarding the return type |
| 2021-06-30 23:41:51 +0200 | <chris_> | i want it to be [rational] return type |
| 2021-06-30 23:41:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-06-30 23:42:15 +0200 | <monochrom> | Foo -> [Rational] |
| 2021-06-30 23:42:31 +0200 | <chris_> | genDurations :: Int -> [Dur] |
| 2021-06-30 23:42:31 +0200 | <chris_> | genDurations n | n < 1 = [] -- edge case |
| 2021-06-30 23:42:31 +0200 | <chris_> | genDurations 1 = [1.0] -- recursive stopping point |
| 2021-06-30 23:42:31 +0200 | <monochrom> | Perhaps a more complete and informative question. |
| 2021-06-30 23:42:33 +0200 | <chris_> | genDurations n = (1/(2**(n-1))) : genDurations (n-1) |
| 2021-06-30 23:42:44 +0200 | <chris_> | type Dur = Rational |
| 2021-06-30 23:43:09 +0200 | <chris_> | i think the (1/2**n-1))) expression is returning another type |
| 2021-06-30 23:43:19 +0200 | <monochrom> | Ah right. Please use ^ |
| 2021-06-30 23:43:32 +0200 | <monochrom> | err, ^ is bad too |
| 2021-06-30 23:43:33 +0200 | mikail | (~mikail@90.212.77.3) (Ping timeout: 265 seconds) |
| 2021-06-30 23:43:51 +0200 | <monochrom> | Please use ^^ |
| 2021-06-30 23:44:25 +0200 | dunj3 | (~dunj3@p200300f61714a6405bb7680713e8c72a.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-06-30 23:44:50 +0200 | <monochrom> | That reminds me, when I teach number types I need to bring up this ^ ^^ ** business. |
| 2021-06-30 23:45:42 +0200 | <chris_> | thx @monochrom that did silent the type errors in vscode |
| 2021-06-30 23:45:43 +0200 | mikail | (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-06-30 23:46:06 +0200 | <Cale> | chris_: Also, be careful if you actually wanted 1/2^^(n-1) |
| 2021-06-30 23:46:22 +0200 | <Cale> | oh, you did write that in the code |
| 2021-06-30 23:46:29 +0200 | <Cale> | just not in the other :) |
| 2021-06-30 23:46:44 +0200 | <chris_> | ye my bad, thx |
| 2021-06-30 23:47:35 +0200 | <Cale> | x^n gives you exponentiation with only nonnegative integer exponents, but x is allowed to be any sort of number at all (any instance of Num) |
| 2021-06-30 23:48:01 +0200 | <Cale> | x^^n allows negative exponents as well, but the type of x must have an instance of Fractional |
| 2021-06-30 23:49:01 +0200 | <Cale> | x**y is exponentiation where y and x have the same type, and that type must have an instance of Floating |
| 2021-06-30 23:49:48 +0200 | <Cale> | (and it allows basically arbitrary exponents then) |
| 2021-06-30 23:50:16 +0200 | <Cale> | Well, there might be restrictions depending on the type of course. |
| 2021-06-30 23:50:18 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b954061d05013652ae098.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-06-30 23:50:18 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-30 23:52:07 +0200 | safinaskar | (~safinaska@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-06-30 23:53:44 +0200 | jao | (jao@gateway/vpn/protonvpn/jao) (Remote host closed the connection) |
| 2021-06-30 23:54:21 +0200 | <ephemient> | given that (**) is on the Floating typeclass, what other restrictions can it apply? |
| 2021-06-30 23:55:00 +0200 | fendor | (~fendor@77.119.196.177.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-30 23:55:00 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-30 23:55:53 +0200 | <chris_> | what's an Integral (and it's type) |
| 2021-06-30 23:56:00 +0200 | <ephemient> | I guess it could be non-total but in practice Float/Double will produce NaN for negative ** fractional |
| 2021-06-30 23:57:01 +0200 | <ephemient> | Integral is a typeclass of types that support integer-like operations |
| 2021-06-30 23:57:11 +0200 | <ephemient> | % :info Integral |
| 2021-06-30 23:57:12 +0200 | <yahb> | ephemient: pattern Integral :: forall {a}. Integral a => a -> Integer -- Defined in `Numeric.Lens'; type Integral :: * -> Constraint; class (Real a, Enum a) => Integral a where; quot :: a -> a -> a; rem :: a -> a -> a; div :: a -> a -> a; mod :: a -> a -> a; quotRem :: a -> a -> (a, a); divMod :: a -> a -> (a, a); toInteger :: a -> Integer; {-# MINIMAL quotRem, toInteger #-}; -- Defined in `GHC.Rea |
| 2021-06-30 23:57:29 +0200 | <ephemient> | ... not the right one |
| 2021-06-30 23:57:42 +0200 | <monochrom> | (-2) ** (0.5) does not have an answer in the real numbers |
| 2021-06-30 23:57:42 +0200 | <ephemient> | % :info Prelude.Integral |
| 2021-06-30 23:57:42 +0200 | <yahb> | ephemient: type Integral :: * -> Constraint; class (Real a, Enum a) => Integral a where; quot :: a -> a -> a; rem :: a -> a -> a; div :: a -> a -> a; mod :: a -> a -> a; quotRem :: a -> a -> (a, a); divMod :: a -> a -> (a, a); toInteger :: a -> Integer; {-# MINIMAL quotRem, toInteger #-}; -- Defined in `GHC.Real'; instance Integral Word -- Defined in `GHC.Real'; instance Integral Integer -- Defined in |
| 2021-06-30 23:58:01 +0200 | <monochrom> | but it's only checked at run time |
| 2021-06-30 23:58:17 +0200 | <monochrom> | but still, you shouldn't do it in the first place. :) |
| 2021-06-30 23:58:24 +0200 | <ephemient> | if you extend the reals with NaN then it does have an answer :) |
| 2021-06-30 23:58:40 +0200 | <monochrom> | true |
| 2021-06-30 23:58:58 +0200 | <ephemient> | of course that causes the annoyance of non-total ordering... oh well |
| 2021-06-30 23:59:46 +0200 | jao | (jao@gateway/vpn/protonvpn/jao) |
