Logs on 2024-07-13 (liberachat/#haskell)
| 00:00:29 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 00:02:51 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 00:15:45 | → | dolio joins (~dolio@130.44.134.54) |
| 00:23:04 | × | acidjnk_new3 quits (~acidjnk@p200300d6e72cfb326c97883dc2703faf.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:45:16 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:bdf5:2044:ddb4:b631) (Remote host closed the connection) |
| 00:45:28 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:12ef:2120:f770:f8cc) |
| 00:48:23 | × | comonad quits (~comonad@p200300d0273ec200f169249ffaccfbba.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.2) |
| 00:59:40 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:15:51 | → | aforemny joins (~aforemny@2001:9e8:6cc2:ae00:33a4:4554:ad29:ebb5) |
| 01:16:29 | × | aforemny_ quits (~aforemny@2001:9e8:6ceb:9800:f0b2:9010:cc:b689) (Ping timeout: 240 seconds) |
| 01:20:40 | → | causal joins (~eric@50.35.88.207) |
| 01:30:23 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 01:33:16 | × | euleritian quits (~euleritia@dynamic-176-003-089-142.176.3.pool.telefonica.de) (Remote host closed the connection) |
| 01:33:31 | → | euleritian joins (~euleritia@dynamic-176-003-089-142.176.3.pool.telefonica.de) |
| 01:50:35 | → | ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 01:59:17 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 02:03:11 | × | petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:04:31 | → | petrichor joins (~znc-user@user/petrichor) |
| 02:09:32 | × | dyniec quits (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 02:12:44 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 02:13:03 | → | EvanR joins (~EvanR@user/evanr) |
| 02:28:31 | × | td_ quits (~td@i53870910.versanet.de) (Ping timeout: 260 seconds) |
| 02:30:11 | → | td_ joins (~td@i5387091C.versanet.de) |
| 02:33:24 | → | benjaminl_ joins (~benjaminl@c-76-144-12-233.hsd1.or.comcast.net) |
| 02:34:39 | × | benjaminl quits (~benjaminl@user/benjaminl) (Ping timeout: 268 seconds) |
| 02:38:59 | → | comonad joins (~comonad@p200300d0273ec200f169249ffaccfbba.dip0.t-ipconnect.de) |
| 02:43:52 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 02:46:46 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 03:13:34 | → | puke joins (~puke@user/puke) |
| 03:21:18 | × | phma quits (~phma@host-67-44-208-89.hnremote.net) (Read error: Connection reset by peer) |
| 03:22:21 | → | phma joins (phma@2001:5b0:210b:d718:d66b:9fbd:325d:b421) |
| 03:22:59 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:43:21 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 03:47:25 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (*.net *.split) |
| 03:47:25 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (*.net *.split) |
| 03:47:25 | × | califax quits (~califax@user/califx) (*.net *.split) |
| 03:47:25 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (*.net *.split) |
| 03:47:25 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
| 03:47:25 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 03:47:25 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (*.net *.split) |
| 03:50:56 | → | califax joins (~califax@user/califx) |
| 03:51:06 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 03:51:11 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:52:55 | → | aforemny_ joins (~aforemny@i59F516CE.versanet.de) |
| 03:53:12 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:53:16 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 03:53:20 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 03:54:12 | × | aforemny quits (~aforemny@2001:9e8:6cc2:ae00:33a4:4554:ad29:ebb5) (Ping timeout: 268 seconds) |
| 03:54:54 | → | monochrom joins (trebla@216.138.220.146) |
| 03:55:19 | × | yin quits (~yin@user/zero) (Ping timeout: 272 seconds) |
| 04:11:52 | → | billchenchina- joins (~billchenc@103.118.42.229) |
| 04:13:19 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 04:32:26 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 04:37:48 | → | ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 04:38:12 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 04:39:36 | → | gawen joins (~gawen@user/gawen) |
| 04:44:47 | × | billchenchina- quits (~billchenc@103.118.42.229) (Ping timeout: 260 seconds) |
| 04:55:39 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 05:10:45 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 05:23:15 | × | tomku quits (~tomku@user/tomku) (Remote host closed the connection) |
| 05:23:29 | → | tomku joins (~tomku@user/tomku) |
| 05:32:09 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 05:37:53 | × | ggVGc quits (~ggVGc@a.lowtech.earth) (Server closed connection) |
| 05:38:15 | → | ggVGc joins (~ggVGc@a.lowtech.earth) |
| 05:41:48 | × | Axman6 quits (~Axman6@user/axman6) (Server closed connection) |
| 05:50:06 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:53:47 | → | xdminsy joins (~xdminsy@117.147.70.227) |
| 05:57:59 | × | tomku quits (~tomku@user/tomku) (Remote host closed the connection) |
| 05:58:13 | → | tomku joins (~tomku@user/tomku) |
| 06:14:09 | × | tcard_ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 06:17:06 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 06:46:10 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:55:46 | → | Rodney- joins (~Rodney@97e7368c.skybroadband.com) |
| 06:55:56 | × | Rodney- quits (~Rodney@97e7368c.skybroadband.com) (Excess Flood) |
| 06:56:25 | → | vizimajac joins (~Rodney@97e7368c.skybroadband.com) |
| 06:57:45 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:11:18 | → | acidjnk joins (~acidjnk@p200300d6e72cfb2415952ab083ca28a4.dip0.t-ipconnect.de) |
| 07:11:36 | × | puke quits (~puke@user/puke) (Read error: Connection reset by peer) |
| 07:11:58 | → | puke joins (~puke@user/puke) |
| 07:24:50 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Server closed connection) |
| 07:25:04 | → | chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 07:35:41 | × | stilgart quits (~Christoph@chezlefab.net) (Server closed connection) |
| 07:35:43 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 07:35:49 | → | stilgart joins (~Christoph@chezlefab.net) |
| 07:43:28 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 07:44:01 | → | rvalue joins (~rvalue@user/rvalue) |
| 07:44:50 | × | mikess quits (~mikess@user/mikess) (Ping timeout: 268 seconds) |
| 07:49:56 | → | pyooque joins (~puke@user/puke) |
| 07:49:56 | puke | is now known as Guest4279 |
| 07:49:56 | pyooque | is now known as puke |
| 07:52:28 | × | Guest4279 quits (~puke@user/puke) (Ping timeout: 245 seconds) |
| 07:54:06 | → | cpressey joins (~weechat@176.254.71.203) |
| 07:55:48 | → | billchenchina- joins (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) |
| 07:56:41 | × | billchenchina- quits (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) (Max SendQ exceeded) |
| 07:57:26 | → | billchenchina- joins (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) |
| 07:57:33 | → | __monty__ joins (~toonn@user/toonn) |
| 07:59:46 | × | billchenchina- quits (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) (Read error: Connection reset by peer) |
| 08:00:20 | → | billchenchina- joins (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) |
| 08:00:24 | × | dfordvm quits (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Server closed connection) |
| 08:00:51 | → | dfordvm joins (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 08:03:35 | × | institor quits (~henricus@user/institor) (Server closed connection) |
| 08:03:54 | → | institor joins (~henricus@user/institor) |
| 08:12:27 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 08:17:36 | → | misterfish joins (~misterfis@84.53.85.146) |
| 08:19:12 | → | cpressey joins (~weechat@176.254.71.203) |
| 08:19:32 | × | billchenchina- quits (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) (Ping timeout: 258 seconds) |
| 08:24:38 | → | billchenchina- joins (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) |
| 08:25:10 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 08:26:54 | → | Franciman joins (~Franciman@mx1.fracta.dev) |
| 08:27:14 | → | alexherbo2 joins (~alexherbo@2a02-8440-3300-e679-b9d7-bbf3-5b0b-f919.rev.sfr.net) |
| 08:29:21 | → | ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 08:31:00 | × | billchenchina- quits (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) (Ping timeout: 246 seconds) |
| 08:32:19 | → | Square2 joins (~Square@user/square) |
| 08:32:55 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:34:03 | → | billchenchina- joins (~billchenc@139.215.45.148) |
| 08:34:35 | × | andreas808 quits (andreas303@is.drunk.and.ready-to.party) (Server closed connection) |
| 08:34:49 | → | andreas303 joins (andreas303@is.drunk.and.ready-to.party) |
| 08:34:57 | × | Square quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 08:35:12 | → | ash3en joins (~ash3en@2a01:c22:9183:5200:c03d:8904:4cd7:fab0) |
| 08:37:52 | × | ash3en quits (~ash3en@2a01:c22:9183:5200:c03d:8904:4cd7:fab0) (Remote host closed the connection) |
| 08:39:03 | × | billchenchina- quits (~billchenc@139.215.45.148) (Ping timeout: 246 seconds) |
| 08:39:30 | → | billchenchina- joins (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) |
| 08:42:20 | × | davl quits (~davl@207.154.228.18) (Server closed connection) |
| 08:42:40 | → | davl joins (~davl@207.154.228.18) |
| 08:46:59 | × | acro quits (~acro@user/acro) (Server closed connection) |
| 08:47:47 | → | acro joins (~acro@user/acro) |
| 08:51:18 | × | billchenchina- quits (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) (Ping timeout: 246 seconds) |
| 08:56:18 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 09:10:05 | × | ubert quits (~Thunderbi@p200300ecdf24f17cdfae8dfb94d1c609.dip0.t-ipconnect.de) (Quit: ubert) |
| 09:11:47 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Server closed connection) |
| 09:12:16 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 09:21:18 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 09:24:10 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 09:25:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:34:33 | → | ash3en joins (~ash3en@2a01:c22:9183:5200:c03d:8904:4cd7:fab0) |
| 09:38:14 | → | tremon joins (~tremon@83.80.159.219) |
| 09:39:41 | × | tomjaguarpaw quits (~tom@172-104-25-182.ip.linodeusercontent.com) (Server closed connection) |
| 09:39:54 | → | tomjaguarpaw joins (~tom@172-104-25-182.ip.linodeusercontent.com) |
| 09:44:40 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:49:54 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:01:53 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 258 seconds) |
| 10:02:21 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 10:13:37 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzzz) |
| 10:28:40 | → | gmg joins (~user@user/gehmehgeh) |
| 10:33:45 | × | misterfish quits (~misterfis@84.53.85.146) (Remote host closed the connection) |
| 10:37:22 | <ash3en> | sooo, is graphql more haskelluesqe than REST since using types in a different -- more prominent? -- way? |
| 10:38:09 | → | yin joins (~yin@user/zero) |
| 10:39:19 | → | cpressey joins (~weechat@176.254.71.203) |
| 10:43:14 | × | Clint quits (~Clint@user/clint) (Server closed connection) |
| 10:43:22 | → | Clint joins (~Clint@user/clint) |
| 10:54:43 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 10:55:55 | × | vizimajac quits (~Rodney@97e7368c.skybroadband.com) (Ping timeout: 264 seconds) |
| 11:00:56 | × | cpressey quits (~weechat@176.254.71.203) (Quit: WeeChat 4.3.0) |
| 11:01:12 | → | cpressey joins (~weechat@176.254.71.203) |
| 11:09:38 | × | cpressey quits (~weechat@176.254.71.203) (Quit: WeeChat 4.3.0) |
| 11:09:53 | → | cpressey joins (~weechat@176.254.71.203) |
| 11:21:37 | × | yin quits (~yin@user/zero) (Ping timeout: 258 seconds) |
| 11:22:56 | → | siw5ohs0 joins (~aiw5ohs0@user/aiw5ohs0) |
| 11:23:11 | ← | siw5ohs0 parts (~aiw5ohs0@user/aiw5ohs0) (Leaving) |
| 11:33:21 | × | Square2 quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 11:34:45 | × | alexherbo2 quits (~alexherbo@2a02-8440-3300-e679-b9d7-bbf3-5b0b-f919.rev.sfr.net) (Ping timeout: 256 seconds) |
| 12:04:33 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 245 seconds) |
| 12:06:30 | → | cpressey joins (~weechat@176.254.71.203) |
| 12:15:48 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 12:16:40 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 12:18:01 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 268 seconds) |
| 12:27:28 | → | dyniec joins (~dyniec@dybiec.info) |
| 12:28:35 | × | ash3en quits (~ash3en@2a01:c22:9183:5200:c03d:8904:4cd7:fab0) (Ping timeout: 256 seconds) |
| 12:31:03 | → | yin joins (~yin@user/zero) |
| 12:33:17 | × | Patternmaster quits (~georg@user/Patternmaster) (Server closed connection) |
| 12:33:17 | × | Reinhilde quits (ellenor@invictus.wa.us.umbrellix.net) (Server closed connection) |
| 12:33:31 | → | Patternmaster joins (~georg@user/Patternmaster) |
| 12:33:55 | → | euphores joins (~SASL_euph@user/euphores) |
| 12:35:34 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:35:43 | → | Ellenor joins (ellenor@invictus.wa.us.umbrellix.net) |
| 12:41:38 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 245 seconds) |
| 12:43:54 | → | cpressey joins (~weechat@176.254.71.203) |
| 12:44:25 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 12:45:07 | × | yin quits (~yin@user/zero) (Ping timeout: 264 seconds) |
| 12:45:58 | → | czy joins (~user@2a00:23c6:54a8:6301:c02b:f174:f8c7:e7c) |
| 12:52:06 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 12:54:12 | → | cpressey joins (~weechat@176.254.71.203) |
| 13:00:30 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 13:01:54 | × | leeb quits (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 13:10:23 | × | Philonous quits (~Philonous@user/philonous) (Server closed connection) |
| 13:10:43 | → | Philonous joins (~Philonous@user/philonous) |
| 13:11:57 | × | auri quits (~auri@fsf/member/auri) (Server closed connection) |
| 13:12:05 | → | auri joins (~auri@fsf/member/auri) |
| 13:12:24 | × | czy quits (~user@2a00:23c6:54a8:6301:c02b:f174:f8c7:e7c) (Ping timeout: 258 seconds) |
| 13:13:35 | × | RMSBach quits (~guygastin@137.184.131.156) (Server closed connection) |
| 13:14:26 | → | RMSBach joins (~guygastin@137.184.131.156) |
| 13:15:11 | → | cpressey joins (~weechat@176.254.71.203) |
| 13:19:45 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 13:32:43 | × | Fijxu quits (~Fijxu@user/fijxu) (Read error: Connection reset by peer) |
| 13:33:42 | → | Fijxu_ joins (~Fijxu@user/fijxu) |
| 13:35:16 | → | CiaoSen joins (~Jura@2a05:5800:2b4:3e00:e6b9:7aff:fe80:3d03) |
| 13:35:59 | × | euleritian quits (~euleritia@dynamic-176-003-089-142.176.3.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 13:36:14 | → | euleritian joins (~euleritia@dynamic-176-003-087-157.176.3.pool.telefonica.de) |
| 13:38:05 | → | yin joins (~yin@user/zero) |
| 13:38:23 | × | mjrosenb quits (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Server closed connection) |
| 13:38:32 | → | mjrosenb joins (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 13:39:23 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 13:39:40 | → | img joins (~img@user/img) |
| 13:41:29 | × | eugenrh quits (~eugenrh@user/eugenrh) (Server closed connection) |
| 13:41:31 | → | rosco joins (~rosco@175.136.155.137) |
| 13:41:46 | → | eugenrh joins (~eugenrh@user/eugenrh) |
| 13:46:42 | × | yin quits (~yin@user/zero) (Ping timeout: 246 seconds) |
| 13:52:40 | → | yin joins (~yin@user/zero) |
| 13:53:53 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Server closed connection) |
| 13:55:44 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 13:57:37 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 14:01:38 | × | stefan-__ quits (~m-yh2rcc@42dots.de) (Server closed connection) |
| 14:01:53 | → | stefan-__ joins (~m-yh2rcc@42dots.de) |
| 14:06:44 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 14:07:50 | × | urdh quits (~urdh@user/urdh) (Server closed connection) |
| 14:08:44 | → | urdh joins (~urdh@user/urdh) |
| 14:09:15 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 14:10:59 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 14:13:26 | → | dev2 joins (~dev@2405:201:c062:801d:f5e4:4034:e874:e3c) |
| 14:34:51 | → | jinsun joins (~jinsun@user/jinsun) |
| 14:40:39 | <mauke> | does REST even mean anything anymore? |
| 14:43:46 | → | ash3en joins (~ash3en@2a01:c23:9461:f701:9ec8:8856:9bf9:672) |
| 14:44:34 | <ash3en> | mauke, I honestly don't know lol |
| 14:50:15 | × | ash3en quits (~ash3en@2a01:c23:9461:f701:9ec8:8856:9bf9:672) (Ping timeout: 256 seconds) |
| 14:52:46 | → | ash3en joins (~ash3en@2a01:c23:8dbe:7b00:c358:807f:b77e:de14) |
| 14:54:11 | <EvanR> | GET PUT DELETE POST |
| 14:54:40 | <EvanR> | in order to set up a websocket and do json |
| 14:54:40 | <kaol> | REST is better if you don't touch POST. |
| 14:57:22 | puke | is now known as Guest7169 |
| 14:57:23 | → | puke joins (~puke@user/puke) |
| 14:59:09 | → | mikess joins (~mikess@user/mikess) |
| 15:00:48 | × | Guest7169 quits (~puke@user/puke) (Ping timeout: 245 seconds) |
| 15:04:18 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 15:06:38 | × | carbolymer quits (~carbolyme@dropacid.net) (Server closed connection) |
| 15:06:41 | × | ash3en quits (~ash3en@2a01:c23:8dbe:7b00:c358:807f:b77e:de14) (Ping timeout: 256 seconds) |
| 15:06:49 | → | carbolymer joins (~carbolyme@dropacid.net) |
| 15:17:09 | → | ash3en joins (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) |
| 15:19:02 | × | apache2 quits (apache2@anubis.0x90.dk) (Server closed connection) |
| 15:19:11 | → | apache2 joins (apache2@anubis.0x90.dk) |
| 15:20:26 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 258 seconds) |
| 15:20:41 | × | bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (Server closed connection) |
| 15:20:51 | → | bwe joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 15:20:59 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 15:21:20 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 15:29:12 | → | sajith_ joins (~sajith@user/sajith) |
| 15:30:02 | × | driib3 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 15:30:12 | × | sajith quits (~sajith@user/sajith) (Read error: Connection reset by peer) |
| 15:33:53 | → | harveypwca joins (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 15:38:13 | → | driib3 joins (~driib@vmi931078.contaboserver.net) |
| 15:39:17 | → | dhil joins (~dhil@2001:8e0:2014:3100:5f19:d67d:f6ff:e34c) |
| 15:41:44 | × | tomku quits (~tomku@user/tomku) (Remote host closed the connection) |
| 15:52:32 | → | tomku joins (~tomku@user/tomku) |
| 15:59:05 | × | xdminsy quits (~xdminsy@117.147.70.227) (Quit: Konversation terminated!) |
| 16:08:44 | × | s4msung quits (ZJiIIOLagZ@user/s4msung) (Server closed connection) |
| 16:09:07 | → | s4msung joins (IALEQ8po1z@user/s4msung) |
| 16:10:17 | × | yushyin quits (9eZLiShRic@mail.karif.server-speed.net) (Server closed connection) |
| 16:10:33 | × | sprout quits (~quassel@2a02-a448-3a80-0-b42c-a95b-6a4b-b4d1.fixed6.kpn.net) (Ping timeout: 256 seconds) |
| 16:10:37 | → | yushyin joins (h88XgTom95@mail.karif.server-speed.net) |
| 16:14:56 | × | coldtom quits (~coldtom@coldrick.cc) (Server closed connection) |
| 16:15:07 | → | coldtom joins (~coldtom@coldrick.cc) |
| 16:18:50 | × | rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 16:30:09 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 16:30:43 | → | ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 16:35:22 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:39:11 | → | female_student_5 joins (~female_st@host-80-42-135-218.as13285.net) |
| 16:40:26 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:41:27 | → | joeyadams joins (~joeyadams@2603:6010:5100:2ed:96a5:2771:1a5b:3cc9) |
| 16:41:41 | <female_student_5> | Hi, I created some code, but I'm struggling to test it with the inputs? |
| 16:41:42 | <female_student_5> | https://pastebin.com/2x7yndQG |
| 16:42:50 | <female_student_5> | ghci> rename "b" "z" |
| 16:42:50 | <female_student_5> | <interactive>:6:1: error: |
| 16:42:51 | <female_student_5> | Variable not in scope: rename :: String -> String -> t |
| 16:43:04 | <female_student_5> | This is the input provided: *Main> rename "b" "z" example |
| 16:43:13 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 16:43:54 | <lyxia> | female_student_5: you need to load the file in ghci |
| 16:43:59 | <female_student_5> | I have done so |
| 16:44:06 | <int-e> | if this is a standalone file foo.hs using just base, use :load foo.hs or ghci foo.hs. if it's a cabal project, use `cabal repl` |
| 16:44:19 | <lyxia> | female_student_5: your pastebin link is broken |
| 16:44:21 | <female_student_5> | I've already loaded the file... |
| 16:44:37 | <int-e> | does your module export `rename`? |
| 16:44:44 | <int-e> | though hmm |
| 16:44:52 | <female_student_5> | let me repaste my pastebin link |
| 16:44:53 | <int-e> | hard to say what's wrong without the code. |
| 16:46:07 | <female_student_5> | https://pastebin.com/qsgPsQmc#google_vignette |
| 16:46:09 | <female_student_5> | there |
| 16:46:10 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 16:46:15 | <female_student_5> | https://pastebin.com/qsgPsQmc |
| 16:46:18 | <female_student_5> | sorry |
| 16:46:22 | <female_student_5> | int-e |
| 16:46:23 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:46:29 | <female_student_5> | lyxia |
| 16:46:50 | <female_student_5> | This input doesn't work: *Main> rename "b" "z" example |
| 16:47:15 | <int-e> | that is not self-contained so won't compile like that |
| 16:47:27 | <female_student_5> | I put rename "b" "z" |
| 16:47:29 | <int-e> | and if it doesn't compile, ghci won't actually load it |
| 16:47:44 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 16:47:58 | <female_student_5> | and It returned "variable not in scope" |
| 16:48:31 | <int-e> | it never loaded the file... presumably you got a bunch of errors instead |
| 16:48:37 | <int-e> | I think |
| 16:48:44 | <int-e> | that, or your paste is incomplete |
| 16:48:45 | <female_student_5> | no, the file loaded ... |
| 16:49:20 | <female_student_5> | This was an error though: parse error (possibly incorrect indentation or mismatched brackets) |
| 16:49:20 | <female_student_5> | | |
| 16:49:21 | <female_student_5> | 77 | substitute x y (Lambda z n) |
| 16:50:06 | <kaol> | If you get one error in a file nothing in it is loaded into ghci. |
| 16:50:23 | <female_student_5> | great thanks |
| 16:50:26 | <female_student_5> | let me retry loading |
| 16:50:50 | <int-e> | you'll have to define the data types in your file (or import a module that defines them) |
| 16:51:04 | <int-e> | whatever you defined in ghci will not be visible to the module you're loading |
| 16:53:17 | × | harveypwca quits (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 16:54:26 | <ash3en> | is line 7 indented correctly? |
| 16:58:01 | <int-e> | No it's mixing tabs and spaces. |
| 16:58:59 | <int-e> | (and doing the thing where tabs are 4 spaces instead of the 8 that Haskell assumes) |
| 17:00:23 | <int-e> | Though I guess it doesn't matter for guards. Eww. |
| 17:00:54 | <int-e> | (I had to test that.) |
| 17:01:24 | <female_student_5> | that's not the issue |
| 17:01:30 | <int-e> | lines 16-17 should be a syntax error though |
| 17:01:34 | <female_student_5> | the issue is apparently with how nPrime = |
| 17:01:46 | <int-e> | because of the messed up indentation |
| 17:02:17 | <int-e> | (the usual advice is not to use tabs at all) |
| 17:02:27 | <female_student_5> | What would it look like? |
| 17:03:50 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:03:51 | <int-e> | female_student_5: look at your pastebin link |
| 17:04:03 | <int-e> | you probably won't see it in your editor |
| 17:04:09 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:4bef:b164:d45c:ef65) |
| 17:04:50 | <int-e> | but the editor should have a setting somewhere to disable tabs. or to set the tab width to 8. |
| 17:05:14 | <ph88> | could anyone tell me how to build dhall for the javascript backend? preferably to get a single JS file out that can be accessed as a library to other JS code. https://github.com/dhall-lang/dhall-haskell |
| 17:06:18 | <female_student_5> | I've changed the code a bit and I'm still getting the same error |
| 17:07:31 | <ash3en> | yeah 17 looks odd |
| 17:07:44 | <int-e> | Have you looked at your own pastebin link? It's very visible there that the indentation is messed up. |
| 17:08:23 | <int-e> | (well, for me... it's conceivable that pastebin.com has a setting for that too that will mess it up) |
| 17:09:05 | × | Hafydd quits (~Hafydd@user/hafydd) (Server closed connection) |
| 17:09:25 | → | Hafydd joins (~Hafydd@user/hafydd) |
| 17:11:17 | <female_student_5> | To be honest, rename isn't calling the substitute function |
| 17:11:21 | <female_student_5> | so not sure why this is an issue |
| 17:13:07 | <female_student_5> | I've now removed the substitute function and still nothing is outputted |
| 17:17:02 | <int-e> | presumably you're still getting an error when loading the file then |
| 17:17:37 | <int-e> | For example, you might get "Variable not in scope: (!=) :: Var -> Bool -> Bool" |
| 17:18:35 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:19:39 | × | dhil quits (~dhil@2001:8e0:2014:3100:5f19:d67d:f6ff:e34c) (Ping timeout: 258 seconds) |
| 17:20:19 | <female_student_5> | int-e, no i dont |
| 17:22:56 | <int-e> | I said "might". It *is* an error in your code as pasted. |
| 17:23:14 | <female_student_5> | I removed the substitute function now |
| 17:23:22 | <female_student_5> | because I am asking about testing rename only |
| 17:24:15 | <int-e> | Well I don't know what your status is, really. |
| 17:24:41 | × | ncf quits (~n@monade.li) (Server closed connection) |
| 17:25:00 | → | ncf joins (~n@monade.li) |
| 17:25:11 | <int-e> | You've edited the file so the paste is out of date. You're saying that it doesn't work but you're not saying what the exact error is, and whether it happens when you load the file or when you try to invoke the `rename` function. |
| 17:26:08 | <female_student_5> | Here is the paste: https://pastebin.com/Gwn3hQ5a |
| 17:26:19 | <female_student_5> | This is the input I am trying to test: *Main> rename "b" "z" example |
| 17:26:19 | <female_student_5> | \a. \x. (\y. a) x z |
| 17:26:27 | <female_student_5> | So I am trying to test rename "b" "z" |
| 17:27:46 | <int-e> | ...so you got an output? |
| 17:27:49 | <female_student_5> | no |
| 17:27:54 | <female_student_5> | Because I dont know how to do it |
| 17:28:00 | <int-e> | then what's the \a. \x. (\y. a) x z line there? |
| 17:28:33 | <female_student_5> | AAAAH |
| 17:28:33 | <female_student_5> | OK |
| 17:28:35 | <female_student_5> | it works now |
| 17:28:43 | <female_student_5> | ghci> rename "b" "z" example |
| 17:28:44 | <female_student_5> | Lambda "a" (Lambda "x" (Apply (Apply (Lambda "y" (Variable "a")) (Variable "x")) (Variable "z"))) |
| 17:28:48 | <female_student_5> | I needed to put example |
| 17:29:40 | → | emm joins (~emm@user/edmeme) |
| 17:30:11 | <female_student_5> | thank you |
| 17:30:19 | <female_student_5> | although, it seems the substitute function will be iffy when I test it |
| 17:30:47 | × | vulpine quits (xfnw@user/meow/xfnw) (Server closed connection) |
| 17:31:09 | × | joeyadams quits (~joeyadams@2603:6010:5100:2ed:96a5:2771:1a5b:3cc9) (Quit: Leaving) |
| 17:31:38 | → | vulpine joins (xfnw@user/meow/xfnw) |
| 17:32:17 | → | sprout joins (~quassel@2a02-a448-3a80-0-bd3d-b7cf-ad17-1736.fixed6.kpn.net) |
| 17:34:25 | × | female_student_5 quits (~female_st@host-80-42-135-218.as13285.net) (Quit: Client closed) |
| 17:37:55 | × | sprout quits (~quassel@2a02-a448-3a80-0-bd3d-b7cf-ad17-1736.fixed6.kpn.net) (Ping timeout: 264 seconds) |
| 17:38:03 | → | female_student_5 joins (~female_st@host-80-42-135-218.as13285.net) |
| 17:38:03 | <female_student_5> | sorry i got disconnected |
| 17:39:58 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:50:56 | <female_student_5> | all works now |
| 17:50:57 | <female_student_5> | thanks |
| 17:51:16 | <haskellbridge> | <magic_rb> Are you implementing a lambda calculus for fun and profit? |
| 17:53:03 | <female_student_5> | thanks for the help all - have a good rest of day :)! |
| 17:53:06 | × | female_student_5 quits (~female_st@host-80-42-135-218.as13285.net) (Quit: Client closed) |
| 17:58:15 | → | ph88^ joins (~ph88@2a02:8109:9e26:c800:b775:971e:e985:8d4d) |
| 17:58:18 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:4bef:b164:d45c:ef65) (Ping timeout: 245 seconds) |
| 18:02:34 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 18:03:30 | → | puke joins (~puke@user/puke) |
| 18:04:55 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 18:05:17 | × | puke quits (~puke@user/puke) (Read error: Connection reset by peer) |
| 18:05:25 | → | pyooque joins (~puke@user/puke) |
| 18:05:25 | pyooque | is now known as puke |
| 18:06:46 | × | ash3en quits (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) (Remote host closed the connection) |
| 18:10:38 | × | CiaoSen quits (~Jura@2a05:5800:2b4:3e00:e6b9:7aff:fe80:3d03) (Ping timeout: 258 seconds) |
| 18:10:58 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 18:11:00 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:18:31 | → | ash3en joins (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) |
| 18:18:56 | × | ash3en quits (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) (Remote host closed the connection) |
| 18:23:59 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 18:25:24 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:25:32 | → | ash3en joins (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) |
| 18:29:13 | × | ash3en quits (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) (Remote host closed the connection) |
| 18:29:47 | × | darkling quits (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Server closed connection) |
| 18:30:03 | → | darkling joins (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 18:32:22 | × | Pixi quits (~Pixi@user/pixi) (Quit: Leaving) |
| 18:32:27 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:39:05 | <ddellacosta> | yet again, the answer was traverse |
| 18:40:31 | <Franciman> | are you talking about football, ddellacosta? |
| 18:41:47 | → | ash3en joins (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) |
| 18:42:06 | <ddellacosta> | Franciman: d'oh sorry, wrong channel :-p |
| 18:42:45 | <Franciman> | no you are on the right channel :) |
| 18:42:52 | <ddellacosta> | heh |
| 18:43:38 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Server closed connection) |
| 18:43:59 | → | dibblego joins (~dibblego@116-255-1-119.ip4.superloop.au) |
| 18:43:59 | × | dibblego quits (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 18:43:59 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 18:47:12 | → | cpressey joins (~weechat@176.254.71.203) |
| 18:48:17 | × | ell quits (~ellie@user/ellie) (Server closed connection) |
| 18:48:40 | → | ell joins (~ellie@user/ellie) |
| 18:50:07 | → | Pixi joins (~Pixi@user/pixi) |
| 18:54:30 | × | rembo10 quits (~rembo10@main.remulis.com) (Server closed connection) |
| 18:54:47 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 18:56:58 | → | sprout joins (~quassel@2a02-a448-3a80-0-bd3d-b7cf-ad17-1736.fixed6.kpn.net) |
| 18:59:19 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 18:59:44 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 19:00:37 | → | alexherbo2 joins (~alexherbo@2a02-8440-3300-e679-3c7a-108c-f2d9-59ad.rev.sfr.net) |
| 19:02:20 | × | mira quits (~aranea@wireguard/contributorcat/mira) (Server closed connection) |
| 19:02:45 | → | mira joins (~aranea@wireguard/contributorcat/mira) |
| 19:03:54 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:07:49 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 19:14:08 | × | emm quits (~emm@user/edmeme) (Ping timeout: 265 seconds) |
| 19:19:30 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:be5c:5fcb:9a59:be2e) |
| 19:22:50 | × | ph88^ quits (~ph88@2a02:8109:9e26:c800:b775:971e:e985:8d4d) (Ping timeout: 265 seconds) |
| 19:22:55 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 264 seconds) |
| 19:32:46 | × | mulk quits (~mulk@p5b2dc1a2.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 19:35:00 | → | cpressey joins (~weechat@176.254.71.203) |
| 19:36:43 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 19:42:38 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (Server closed connection) |
| 19:42:57 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 19:48:46 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 258 seconds) |
| 19:49:39 | → | euphores joins (~SASL_euph@user/euphores) |
| 19:52:11 | × | rdcdr quits (~rdcdr@user/rdcdr) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 19:53:06 | → | rdcdr joins (~rdcdr@user/rdcdr) |
| 19:58:43 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 20:06:46 | × | destituion quits (~destituio@2a02:2121:6bd:3eb7:9c85:17:84a5:7a89) (Ping timeout: 256 seconds) |
| 20:07:02 | → | poscat0x04 joins (~poscat@user/poscat) |
| 20:07:26 | × | Flow_ quits (~none@gentoo/developer/flow) (Server closed connection) |
| 20:07:51 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 20:08:08 | → | Flow joins (~none@gentoo/developer/flow) |
| 20:09:34 | <fr33domlover> | Are heterogenous lists (like the HList package) still a thing? Why are none of the heterogenous list packages maintained/updated? And specifically, is there a first-class-families based heterogenous-list implementation? |
| 20:09:57 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 246 seconds) |
| 20:10:37 | <fr33domlover> | I'm trying to use HList with first-class-families, it's painful (might still be possible, not sure yet) because they aren't integrated |
| 20:10:42 | <geekosaur> | they don't really need to be |
| 20:10:49 | <geekosaur> | (re updated) |
| 20:11:00 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 20:12:38 | → | mulk joins (~mulk@p5b2dc1a2.dip0.t-ipconnect.de) |
| 20:12:53 | <geekosaur> | also hlists are simple enough that they're often hand-rolled instead of using packages |
| 20:13:57 | <EvanR> | some things are so simple there's nothing to update |
| 20:14:49 | <geekosaur> | e.g. https://github.com/xmonad/xmonad-contrib/blob/master/XMonad/Layout/MultiToggle.hs#L148-L191 |
| 20:15:34 | <EvanR> | rewrite the heterolist everytime is haskell's version of C rewrite linked list every time? xD |
| 20:15:34 | → | cpressey joins (~weechat@176.254.71.203) |
| 20:15:43 | <geekosaur> | the main complexity of which is integrating it into a `LayoutClass` |
| 20:16:39 | × | ash3en quits (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) (Ping timeout: 256 seconds) |
| 20:17:37 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 20:19:58 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 20:22:28 | × | yin quits (~yin@user/zero) (Ping timeout: 245 seconds) |
| 20:22:44 | → | czy joins (~user@host81-158-36-81.range81-158.btcentralplus.com) |
| 20:23:58 | → | tomku joins (~tomku@user/tomku) |
| 20:26:41 | × | czy quits (~user@host81-158-36-81.range81-158.btcentralplus.com) (Remote host closed the connection) |
| 20:27:35 | × | hexagoxel quits (~hexagoxel@2a01:4f8:c0c:e::2) (Server closed connection) |
| 20:27:44 | → | hexagoxel joins (~hexagoxel@2a01:4f8:c0c:e::2) |
| 20:27:48 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 20:28:07 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 20:28:49 | Leary | rolls an HList per project. |
| 20:29:17 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:29:35 | <ncf> | what do people use HLists for? |
| 20:30:54 | <Leary> | Also, generics-sop is a well used and maintained HList package in disguise. |
| 20:33:54 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 20:34:13 | × | zmt01 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 20:35:11 | <EvanR> | the one time I used an HList, the thing I was doing could have been done via creative chaining of composed functions |
| 20:35:25 | <EvanR> | I couldn't tell which one was more outlandish |
| 20:35:37 | → | yin joins (~yin@user/zero) |
| 20:35:53 | → | cpressey joins (~weechat@176.254.71.203) |
| 20:36:05 | <Leary> | I use them generally to collect related data of different types, often the same tycon over different parameters, sometimes with associated constraints or proof tokens. In some cases those types are actually phantom, in which case the heterogeneity is rather illusory. |
| 20:36:35 | × | paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 264 seconds) |
| 20:37:37 | <ncf> | why not [Some f]? |
| 20:38:14 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 20:41:48 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 20:41:55 | <Leary> | Recent examples include: a concurrency library which internally collects process handles; a checked exeption monad which internally collects `(forall a. e -> M a)` for various `e`; and algebraic effects monad which collects handlers. |
| 20:42:19 | <Leary> | In each case, the type information needs to be exposed for safety in the interface. |
| 20:43:13 | <Leary> | Even if that weren't the case, unless `f` is a GADT with an easily recoverable parameter, I don't see a reason to use `[Some f]` over an HList. |
| 20:44:37 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 20:46:55 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 20:49:50 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 265 seconds) |
| 20:55:54 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 20:56:04 | × | constxqt quits (~constxd@user/constxd) (Quit: kiwi irc - hadmade client) |
| 20:56:21 | → | constxd joins (~constxd@user/constxd) |
| 20:58:01 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 20:59:49 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 21:02:23 | <dmj`> | ncf: HList can be used as a poor man's extensible records library |
| 21:02:25 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 21:06:20 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Server closed connection) |
| 21:06:45 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 21:08:43 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 245 seconds) |
| 21:10:50 | → | tomku joins (~tomku@user/tomku) |
| 21:11:17 | → | cpressey joins (~weechat@176.254.71.203) |
| 21:11:20 | → | acarrico joins (~acarrico@dhcp-68-142-57-215.greenmountainaccess.net) |
| 21:14:58 | × | yin quits (~yin@user/zero) (Ping timeout: 265 seconds) |
| 21:17:16 | → | ash3en joins (~ash3en@193.32.248.188) |
| 21:20:32 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 21:21:49 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 21:23:07 | → | czy joins (~user@host81-158-36-81.range81-158.btcentralplus.com) |
| 21:23:14 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:23:23 | × | markasoftware quits (~quassel@107.161.26.124) (Server closed connection) |
| 21:23:36 | → | yin joins (~yin@user/zero) |
| 21:23:48 | → | markasoftware joins (~quassel@107.161.26.124) |
| 21:25:23 | × | cpressey quits (~weechat@176.254.71.203) (Ping timeout: 245 seconds) |
| 21:25:52 | × | czy quits (~user@host81-158-36-81.range81-158.btcentralplus.com) (Remote host closed the connection) |
| 21:27:23 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 21:28:56 | × | ash3en quits (~ash3en@193.32.248.188) (Remote host closed the connection) |
| 21:29:15 | → | ash3en joins (~ash3en@193.32.248.188) |
| 21:29:29 | <Leary> | fr33domlover: Bit late, but I guess the conclusion is: if you need an FCF integrated HList, just write one. |
| 21:31:37 | → | docwombat joins (~user@user/docwombat) |
| 21:33:11 | × | ash3en quits (~ash3en@193.32.248.188) (Remote host closed the connection) |
| 21:33:24 | Ellenor | is now known as Reinhilde |
| 21:34:37 | → | pavonia joins (~user@user/siracusa) |
| 21:36:14 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds) |
| 21:37:31 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 21:39:05 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 21:50:03 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:50:07 | → | czy joins (~user@host81-158-36-81.range81-158.btcentralplus.com) |
| 21:54:33 | × | tomku quits (~tomku@user/tomku) (Remote host closed the connection) |
| 21:54:47 | → | tomku joins (~tomku@user/tomku) |
| 21:55:06 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:55:29 | × | She quits (haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.) |
| 21:55:39 | → | She joins (haveident@libera/staff/she/her) |
| 21:56:13 | × | czy quits (~user@host81-158-36-81.range81-158.btcentralplus.com) (Ping timeout: 245 seconds) |
| 21:57:34 | × | docwombat quits (~user@user/docwombat) (Quit: leaving) |
| 22:00:04 | × | dsrt^ quits (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 22:01:19 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 22:06:29 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:08:20 | × | andjjj23 quits (~irc@107.170.228.47) (Server closed connection) |
| 22:08:37 | → | andjjj23 joins (~irc@107.170.228.47) |
| 22:09:01 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 22:11:30 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 22:12:48 | → | malte joins (~malte@mal.tc) |
| 22:14:54 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds) |
| 22:24:43 | × | mikess quits (~mikess@user/mikess) (Ping timeout: 264 seconds) |
| 22:25:23 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (Server closed connection) |
| 22:25:32 | → | absence joins (torgeihe@hildring.pvv.ntnu.no) |
| 22:25:33 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 22:27:59 | → | mikess joins (~mikess@user/mikess) |
| 22:30:51 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds) |
| 22:34:13 | → | harveypwca joins (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 22:35:09 | × | xal quits (~xal@mx1.xal.systems) () |
| 22:35:52 | → | xal joins (~xal@mx1.xal.systems) |
| 22:38:14 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 22:38:58 | → | paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 22:43:32 | × | yin quits (~yin@user/zero) (Quit: leaving) |
| 22:43:40 | → | Square2 joins (~Square@user/square) |
| 22:43:54 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds) |
| 22:48:49 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 22:54:03 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds) |
| 22:56:05 | → | zmt00 joins (~zmt00@user/zmt00) |
| 22:59:58 | × | acidjnk quits (~acidjnk@p200300d6e72cfb2415952ab083ca28a4.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 23:00:24 | × | paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 246 seconds) |
| 23:01:05 | → | mechap joins (~mechap@user/mechap) |
| 23:01:23 | → | paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 23:03:26 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:04:36 | × | puke quits (~puke@user/puke) (Ping timeout: 246 seconds) |
| 23:07:13 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:08:26 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 23:12:53 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:be5c:5fcb:9a59:be2e) (Ping timeout: 245 seconds) |
| 23:14:21 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds) |
| 23:14:53 | × | lbseale quits (~quassel@user/ep1ctetus) (Server closed connection) |
| 23:15:10 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 23:16:32 | × | caubert quits (~caubert@user/caubert) (Server closed connection) |
| 23:16:50 | → | caubert joins (~caubert@user/caubert) |
| 23:26:27 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 23:32:43 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 23:35:37 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds) |
| 23:38:14 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:45:59 | × | myme quits (~myme@40.51-175-185.customer.lyse.net) (Server closed connection) |
| 23:46:24 | → | myme joins (~myme@2a01:799:d5c:5f00:cfaa:94a4:df6a:9f90) |
| 23:48:39 | → | czy joins (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 23:53:38 | × | piele quits (~piele@tbonesteak.creativeserver.net) (Server closed connection) |
| 23:53:52 | → | piele joins (~piele@tbonesteak.creativeserver.net) |
| 23:54:28 | × | czy quits (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds) |
| 23:54:57 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
All times are in UTC on 2024-07-13.