2024-05-09 00:00:07 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-09 00:02:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-09 00:06:09 +0200 | michalz | (~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-09 00:07:30 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-09 00:08:35 +0200 | <c_wraith> | on the other hand, it's a heck of a lot to get done in 3 weeks. |
2024-05-09 00:09:37 +0200 | <sm> | darn straight! 3 weeks is amazing |
2024-05-09 00:09:58 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-09 00:10:48 +0200 | <sm> | I glanced at the project, not digging closely into files, and the overall impression was organisation! cleanliness! haskell is awesome! so mission accomplished :) |
2024-05-09 00:12:16 +0200 | <sm> | reliably working code, encapsulated by haskell types - how can that be bad code |
2024-05-09 00:12:34 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-09 00:13:40 +0200 | AlexZenon | (~alzenon@178.34.162.125) (Ping timeout: 268 seconds) |
2024-05-09 00:14:34 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-05-09 00:15:47 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
2024-05-09 00:17:14 +0200 | xdminsy | (~xdminsy@117.147.70.233) (Ping timeout: 252 seconds) |
2024-05-09 00:17:44 +0200 | <davean> | sm: well like look at the datastore typeclass, its an adhoc collection of "do the thing I want" functions, and we have to indirection to get anything. It wasn't planned or setup nicely with like a monad, its just a bunch of awkward functions |
2024-05-09 00:18:29 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-09 00:19:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-09 00:20:57 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-09 00:21:05 +0200 | sm | looks at https://github.com/xkcd/incredible/blob/main/src/Incredible/DataStore.hs |
2024-05-09 00:22:52 +0200 | <sm> | 100 lines of code, on time & under budget, INVOICE APPROVED |
2024-05-09 00:23:36 +0200 | <davean> | But like look at all the included shim functions. We don't even use the typeclass directly :( |
2024-05-09 00:24:47 +0200 | akegalj | (~akegalj@164-156.dsl.iskon.hr) (Quit: leaving) |
2024-05-09 00:25:32 +0200 | AlexZenon | (~alzenon@178.34.162.125) |
2024-05-09 00:31:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2024-05-09 00:31:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-09 00:34:06 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
2024-05-09 00:35:51 +0200 | califax | (~califax@user/califx) |
2024-05-09 00:40:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-05-09 00:40:52 +0200 | <sm> | davean do you operate the server also ? |
2024-05-09 00:43:13 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-09 00:43:25 +0200 | yin | (~yin@user/zero) |
2024-05-09 00:46:14 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
2024-05-09 00:59:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-05-09 01:01:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-09 01:02:04 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-09 01:02:05 +0200 | andrea_r | (~user@93-49-96-212.ip366.fastwebnet.it) |
2024-05-09 01:04:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-09 01:04:29 +0200 | califax | (~califax@user/califx) |
2024-05-09 01:07:48 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
2024-05-09 01:11:33 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-05-09 01:12:04 +0200 | <davean> | yes |
2024-05-09 01:12:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-09 01:15:10 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-09 01:19:06 +0200 | sroso | (~sroso@user/SrOso) |
2024-05-09 01:27:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-09 01:28:20 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc4620c1ab79f2b90d95.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-05-09 01:39:54 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) |
2024-05-09 02:20:42 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds) |
2024-05-09 02:23:55 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
2024-05-09 02:28:19 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds) |
2024-05-09 02:41:03 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
2024-05-09 02:43:04 +0200 | sroso | (~sroso@user/SrOso) |
2024-05-09 02:46:31 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
2024-05-09 03:07:46 +0200 | sprout_ | (~quassel@84-80-106-227.fixed.kpn.net) |
2024-05-09 03:09:36 +0200 | sprout | (~quassel@2a02-a448-3a80-0-5c1b-ee26-e387-5025.fixed6.kpn.net) (Ping timeout: 260 seconds) |
2024-05-09 03:15:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-09 03:18:05 +0200 | otto_s | (~user@p5de2f424.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2024-05-09 03:19:53 +0200 | otto_s | (~user@p5b0442c9.dip0.t-ipconnect.de) |
2024-05-09 03:29:15 +0200 | pavonia | (~user@user/siracusa) |
2024-05-09 03:35:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:75f6:4d45:97cc:c7e6) (Ping timeout: 246 seconds) |
2024-05-09 03:37:10 +0200 | puke | (~puke@user/puke) (Quit: puke) |
2024-05-09 03:45:18 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 255 seconds) |
2024-05-09 03:57:35 +0200 | puke | (~puke@user/puke) |
2024-05-09 03:57:56 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
2024-05-09 03:58:25 +0200 | puke | (~puke@user/puke) |
2024-05-09 03:59:26 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-05-09 03:59:38 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
2024-05-09 04:00:16 +0200 | puke | (~puke@user/puke) |
2024-05-09 04:03:16 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-09 04:04:05 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-05-09 04:06:12 +0200 | gastus_ | (~gastus@185.6.123.240) |
2024-05-09 04:09:20 +0200 | gastus | (~gastus@185.6.123.154) (Ping timeout: 252 seconds) |
2024-05-09 04:19:04 +0200 | td_ | (~td@i5387090F.versanet.de) (Ping timeout: 255 seconds) |
2024-05-09 04:20:51 +0200 | td_ | (~td@i5387093C.versanet.de) |
2024-05-09 04:24:42 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-09 04:26:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-05-09 04:42:50 +0200 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::43) (Remote host closed the connection) |
2024-05-09 04:42:53 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
2024-05-09 04:43:19 +0200 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::43) |
2024-05-09 04:44:19 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
2024-05-09 04:45:00 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-09 04:48:32 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-09 04:52:16 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-05-09 04:52:49 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-05-09 05:17:52 +0200 | Square2 | (~Square4@user/square) |
2024-05-09 05:20:53 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-09 05:21:23 +0200 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
2024-05-09 05:29:35 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-09 05:32:22 +0200 | <Axman6> | Amazing work davean <3 |
2024-05-09 05:40:11 +0200 | causal | (~eric@50.35.88.207) |
2024-05-09 05:47:04 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-09 05:58:26 +0200 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2024-05-09 06:00:12 +0200 | aforemny_ | (~aforemny@2001:9e8:6ccf:3a00:7430:dc9b:b924:f855) |
2024-05-09 06:00:35 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-09 06:01:35 +0200 | aforemny | (~aforemny@2001:9e8:6cea:4d00:60ab:beb:c07d:3de7) (Ping timeout: 260 seconds) |
2024-05-09 06:21:30 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-09 06:25:39 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-09 06:38:18 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-05-09 06:44:35 +0200 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 256 seconds) |
2024-05-09 06:45:53 +0200 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
2024-05-09 06:46:57 +0200 | phma | (~phma@host-67-44-208-31.hnremote.net) (Read error: Connection reset by peer) |
2024-05-09 06:47:25 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
2024-05-09 06:48:21 +0200 | qqq | (~qqq@92.43.167.61) |
2024-05-09 06:49:38 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
2024-05-09 06:52:40 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-05-09 06:55:40 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Quit: leaving) |
2024-05-09 06:56:06 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-09 06:59:30 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
2024-05-09 06:59:31 +0200 | cyphase | (~cyphase@user/cyphase) |
2024-05-09 07:00:40 +0200 | phma | (phma@2001:5b0:211f:3048:6a1a:6f68:3864:d84f) |
2024-05-09 07:08:15 +0200 | michalz | (~michalz@185.246.207.222) |
2024-05-09 07:10:53 +0200 | michalz | (~michalz@185.246.207.222) (Client Quit) |
2024-05-09 07:12:08 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-05-09 07:13:47 +0200 | michalz | (~michalz@185.246.207.203) |
2024-05-09 07:40:32 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-09 07:45:24 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-09 07:49:23 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-05-09 07:50:47 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-05-09 07:51:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-09 07:51:18 +0200 | erty | (~user@user/aeroplane) (Read error: Connection reset by peer) |
2024-05-09 08:02:46 +0200 | koolazer | (~koo@user/koolazer) (Remote host closed the connection) |
2024-05-09 08:02:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-09 08:11:12 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-05-09 08:15:52 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-09 08:16:24 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-09 08:18:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2024-05-09 08:19:21 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2024-05-09 08:26:19 +0200 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2024-05-09 08:32:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-09 08:37:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-09 08:42:35 +0200 | akegalj | (~akegalj@141-136-219-195.dsl.iskon.hr) |
2024-05-09 08:50:38 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-09 09:00:18 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
2024-05-09 09:12:49 +0200 | euleritian | (~euleritia@dynamic-176-006-191-093.176.6.pool.telefonica.de) |
2024-05-09 09:17:23 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-05-09 09:20:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
2024-05-09 09:20:43 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2024-05-09 09:24:23 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
2024-05-09 09:24:30 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Client Quit) |
2024-05-09 09:24:45 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
2024-05-09 09:28:07 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
2024-05-09 09:31:43 +0200 | Mach | (~Mach@92.87.113.25) |
2024-05-09 09:36:25 +0200 | danza | (~francesco@151.47.201.204) |
2024-05-09 09:38:32 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-09 09:40:53 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-09 09:47:34 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-09 09:51:34 +0200 | housemate | (~housemate@125.253.110.15) |
2024-05-09 09:52:13 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Read error: Connection reset by peer) |
2024-05-09 09:53:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-09 09:53:34 +0200 | danza_ | (~francesco@151.47.201.204) |
2024-05-09 09:55:08 +0200 | danza | (~francesco@151.47.201.204) (Read error: Connection reset by peer) |
2024-05-09 09:57:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-09 09:57:35 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc82b86ca1b28a3c0e53.dip0.t-ipconnect.de) |
2024-05-09 10:02:25 +0200 | danza_ | (~francesco@151.47.201.204) (Ping timeout: 255 seconds) |
2024-05-09 10:06:33 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-09 10:11:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-09 10:20:19 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-09 10:24:03 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-05-09 10:25:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-09 10:26:45 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
2024-05-09 10:26:57 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-05-09 10:27:00 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2024-05-09 10:27:36 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2024-05-09 10:29:49 +0200 | housemate | (~housemate@125.253.110.15) (Remote host closed the connection) |
2024-05-09 10:30:18 +0200 | housemate | (~housemate@125.253.110.15) |
2024-05-09 10:31:59 +0200 | housemate | (~housemate@125.253.110.15) (Remote host closed the connection) |
2024-05-09 10:32:53 +0200 | gastus_ | (~gastus@185.6.123.240) (Remote host closed the connection) |
2024-05-09 10:36:46 +0200 | tt1231097 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: Ping timeout (120 seconds)) |
2024-05-09 10:37:09 +0200 | tt1231097 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
2024-05-09 10:39:26 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
2024-05-09 10:40:45 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-09 10:42:51 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
2024-05-09 10:44:39 +0200 | housemate | (~housemate@125.253.110.15) |
2024-05-09 10:45:25 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-09 10:45:52 +0200 | danse-nr3 | (~danse-nr3@151.47.198.221) |
2024-05-09 10:52:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
2024-05-09 10:52:58 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-05-09 10:56:05 +0200 | yeitrafferin | (~user@2a04:4540:7205:9900:b1aa:36ea:fab2:4d66) |
2024-05-09 10:56:57 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Client Quit) |
2024-05-09 11:01:47 +0200 | housemate | (~housemate@125.253.110.15) (Ping timeout: 268 seconds) |
2024-05-09 11:06:43 +0200 | housemate | (~housemate@125.253.110.15) |
2024-05-09 11:11:27 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-05-09 11:13:04 +0200 | housemate | (~housemate@125.253.110.15) (Remote host closed the connection) |
2024-05-09 11:14:16 +0200 | housemate | (~housemate@125.253.110.15) |
2024-05-09 11:19:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-09 11:23:10 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-09 11:23:50 +0200 | housemate | (~housemate@125.253.110.15) (Ping timeout: 252 seconds) |
2024-05-09 11:24:29 +0200 | kaptch | (~kaptch@84.238.85.45) |
2024-05-09 11:24:36 +0200 | kaptch | (~kaptch@84.238.85.45) (Client Quit) |
2024-05-09 11:37:20 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
2024-05-09 11:41:37 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-05-09 11:43:59 +0200 | euleritian | (~euleritia@dynamic-176-006-191-093.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-09 11:44:18 +0200 | euleritian | (~euleritia@ip-185-104-138-48.ptr.icomera.net) |
2024-05-09 11:45:26 +0200 | lg188 | (~lg188@82.18.98.230) |
2024-05-09 11:45:47 +0200 | lg188 | (~lg188@82.18.98.230) (Client Quit) |
2024-05-09 12:12:57 +0200 | <carbolymer> | is there an easy way to list all exports of a haskell module? |
2024-05-09 12:14:15 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
2024-05-09 12:16:00 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
2024-05-09 12:17:25 +0200 | forell | (~forell@user/forell) |
2024-05-09 12:18:35 +0200 | <int-e> | there's :browse in `ghci` (doesn't list class instances) |
2024-05-09 12:20:41 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-09 12:21:56 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-09 12:22:55 +0200 | rdcdr | (~rdcdr@user/rdcdr) |
2024-05-09 12:24:25 +0200 | rdcdr_ | (~rdcdr@75-172-82-76.tukw.qwest.net) (Ping timeout: 268 seconds) |
2024-05-09 12:40:20 +0200 | danse-nr3 | (~danse-nr3@151.47.198.221) (Ping timeout: 260 seconds) |
2024-05-09 12:51:56 +0200 | kaptch | (~kaptch@84.238.85.45) |
2024-05-09 12:57:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
2024-05-09 12:57:46 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-05-09 12:59:19 +0200 | ft | (~ft@p3e9bc1bf.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-05-09 13:00:39 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-05-09 13:00:56 +0200 | ft | (~ft@p508dba4c.dip0.t-ipconnect.de) |
2024-05-09 13:13:41 +0200 | danza | (~francesco@151.47.200.87) |
2024-05-09 13:15:47 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
2024-05-09 13:15:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2714:5816:85fc:7cc) |
2024-05-09 13:21:19 +0200 | danza | (~francesco@151.47.200.87) (Ping timeout: 255 seconds) |
2024-05-09 13:21:29 +0200 | danse-nr3 | (~danse-nr3@151.47.200.87) |
2024-05-09 13:24:09 +0200 | danse-nr3 | (~danse-nr3@151.47.200.87) (Remote host closed the connection) |
2024-05-09 13:24:23 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
2024-05-09 13:24:34 +0200 | danse-nr3 | (~danse-nr3@151.47.200.87) |
2024-05-09 13:29:45 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-05-09 13:37:57 +0200 | danse-nr3 | (~danse-nr3@151.47.200.87) (Ping timeout: 255 seconds) |
2024-05-09 13:38:31 +0200 | danse-nr3 | (~danse-nr3@151.47.221.246) |
2024-05-09 13:43:52 +0200 | euphores | (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
2024-05-09 13:46:00 +0200 | mima | (~mmh@aftr-62-216-211-24.dynamic.mnet-online.de) |
2024-05-09 13:54:16 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-09 13:55:58 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
2024-05-09 13:57:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-09 13:57:32 +0200 | euleritian | (~euleritia@ip-185-104-138-48.ptr.icomera.net) (Ping timeout: 268 seconds) |
2024-05-09 13:58:36 +0200 | euleritian | (~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de) |
2024-05-09 14:00:51 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-05-09 14:03:53 +0200 | poscat | (~poscat@user/poscat) (Quit: Bye) |
2024-05-09 14:06:08 +0200 | poscat | (~poscat@user/poscat) |
2024-05-09 14:06:51 +0200 | forell | (~forell@user/forell) |
2024-05-09 14:06:56 +0200 | visilii_ | (~visilii@188.254.126.249) |
2024-05-09 14:10:24 +0200 | visilii | (~visilii@213.24.125.148) (Ping timeout: 260 seconds) |
2024-05-09 14:14:44 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
2024-05-09 14:21:16 +0200 | euleritian | (~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-09 14:21:32 +0200 | euleritian | (~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de) |
2024-05-09 14:22:29 +0200 | euleritian | (~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-09 14:23:37 +0200 | euleritian | (~euleritia@ip-185-104-138-29.ptr.icomera.net) |
2024-05-09 14:35:32 +0200 | johnw | (~johnw@69.62.242.138) (Read error: Connection reset by peer) |
2024-05-09 14:39:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-05-09 14:41:26 +0200 | johnw | (~johnw@69.62.242.138) |
2024-05-09 14:48:34 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-05-09 15:13:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-09 15:18:48 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-09 15:18:52 +0200 | eugenrh | (~eugenrh@user/eugenrh) (Quit: WeeChat 3.7.1) |
2024-05-09 15:19:43 +0200 | eugenrh | (~eugenrh@user/eugenrh) |
2024-05-09 15:22:27 +0200 | titibandit | (~titibandi@user/titibandit) |
2024-05-09 15:22:53 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
2024-05-09 15:26:22 +0200 | titibandit | (~titibandi@user/titibandit) (Client Quit) |
2024-05-09 15:27:33 +0200 | titibandit | (~titibandi@user/titibandit) |
2024-05-09 15:50:05 +0200 | danse-nr3 | (~danse-nr3@151.47.221.246) (Ping timeout: 268 seconds) |
2024-05-09 15:53:00 +0200 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
2024-05-09 15:57:02 +0200 | vulpine | (xfnw@user/meow/xfnw) |
2024-05-09 15:57:10 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 268 seconds) |
2024-05-09 16:03:58 +0200 | yin | (~yin@user/zero) |
2024-05-09 16:07:31 +0200 | danse-nr3 | (~danse-nr3@151.47.221.246) |
2024-05-09 16:08:15 +0200 | danse-nr3 | (~danse-nr3@151.47.221.246) (Remote host closed the connection) |
2024-05-09 16:08:40 +0200 | danse-nr3 | (~danse-nr3@151.47.221.246) |
2024-05-09 16:09:11 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
2024-05-09 16:18:34 +0200 | kaptch | (~kaptch@84.238.85.45) (Quit: Lost terminal) |
2024-05-09 16:26:18 +0200 | dos__^^ | (~user@user/dos/x-1723657) |
2024-05-09 16:30:46 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-05-09 16:31:37 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-09 16:33:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-09 16:38:07 +0200 | euleritian | (~euleritia@ip-185-104-138-29.ptr.icomera.net) (Ping timeout: 260 seconds) |
2024-05-09 16:38:27 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-09 16:38:47 +0200 | euleritian | (~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de) |
2024-05-09 16:39:15 +0200 | cfricke | (~cfricke@user/cfricke) (Client Quit) |
2024-05-09 16:43:08 +0200 | dos__^^ | (~user@user/dos/x-1723657) (Remote host closed the connection) |
2024-05-09 16:47:11 +0200 | puke | (~puke@user/puke) (Quit: puke) |
2024-05-09 16:49:35 +0200 | Moyst | (~moyst@user/moyst) (Ping timeout: 268 seconds) |
2024-05-09 16:50:28 +0200 | puke | (~puke@user/puke) |
2024-05-09 16:53:20 +0200 | Moyst | (~moyst@user/moyst) |
2024-05-09 16:54:59 +0200 | puke | (~puke@user/puke) (Client Quit) |
2024-05-09 16:55:38 +0200 | puke | (~puke@user/puke) |
2024-05-09 16:56:44 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-09 16:57:27 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
2024-05-09 17:03:32 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-09 17:06:40 +0200 | <raehik> | How do I shut GHC up about a "redundant" Control.Applicative.liftA2 import, which I need for old GHCs but is exported in base in newer ones? |
2024-05-09 17:09:03 +0200 | <mauke> | import Prelude hiding (liftA2), lol |
2024-05-09 17:09:57 +0200 | <int-e> | older GHCs won't like that either though |
2024-05-09 17:10:34 +0200 | <mauke> | warning: Module ‘Prelude’ does not export ‘liftA2’. |
2024-05-09 17:10:35 +0200 | <mauke> | boo |
2024-05-09 17:11:46 +0200 | <int-e> | Join the dark side: {-# LANGUAGE CPP #-} |
2024-05-09 17:11:50 +0200 | <mauke> | import Control.Applicative as A; ... A.liftA2 |
2024-05-09 17:12:25 +0200 | dos__^^ | (~user@user/dos/x-1723657) |
2024-05-09 17:12:25 +0200 | <mauke> | or live with the warnings in older ghcs |
2024-05-09 17:13:09 +0200 | akegalj | (~akegalj@141-136-219-195.dsl.iskon.hr) (Quit: leaving) |
2024-05-09 17:16:17 +0200 | <int-e> | Oh, how about... import Prelude (<list of used items here>) |
2024-05-09 17:16:33 +0200 | <int-e> | (not including liftA2) |
2024-05-09 17:16:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-09 17:17:34 +0200 | ocra8 | (~ocra8@user/ocra8) |
2024-05-09 17:22:33 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-09 17:23:21 +0200 | titiband` | (~titibandi@user/titibandit) |
2024-05-09 17:24:16 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 246 seconds) |
2024-05-09 17:24:32 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
2024-05-09 17:27:56 +0200 | ocra8 | (~ocra8@user/ocra8) (Ping timeout: 252 seconds) |
2024-05-09 17:31:41 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds) |
2024-05-09 17:32:51 +0200 | <Lears> | raehik: `import Prelude hiding (liftA2)`, then in *.cabal `if impl(ghc < ...) ghc-options: -Wno-dodgy-imports' |
2024-05-09 17:33:46 +0200 | <Lears> | I don't know why we don't just have -Wno-redundant-imports though. |
2024-05-09 17:37:09 +0200 | <raehik> | thanks all. bah I'll just live with it then xd |
2024-05-09 17:37:32 +0200 | <raehik> | in modules where I'm already using CPP I'm smashing that guard button but not in an unsullied module |
2024-05-09 17:37:43 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-09 17:38:05 +0200 | danse-nr3 | (~danse-nr3@151.47.221.246) (Ping timeout: 240 seconds) |
2024-05-09 17:38:15 +0200 | <raehik> | oh wait `import as A` will work just fine. thanks mauke ! |
2024-05-09 17:39:02 +0200 | danse-nr3 | (~danse-nr3@151.43.251.174) |
2024-05-09 17:41:21 +0200 | Mach | (~Mach@92.87.113.25) (Ping timeout: 256 seconds) |
2024-05-09 17:56:46 +0200 | hugo- | hugo |
2024-05-09 17:58:06 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-05-09 17:59:17 +0200 | titiband` | (~titibandi@user/titibandit) (Ping timeout: 252 seconds) |
2024-05-09 18:03:30 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-09 18:03:51 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-05-09 18:04:00 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-09 18:07:22 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-05-09 18:08:25 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
2024-05-09 18:19:46 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-09 18:20:23 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-05-09 18:22:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-09 18:25:28 +0200 | wheatengineer | (~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de) |
2024-05-09 18:26:08 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-09 18:27:20 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-09 18:32:45 +0200 | danse-nr3 | (~danse-nr3@151.43.251.174) (Remote host closed the connection) |
2024-05-09 18:33:08 +0200 | danse-nr3 | (~danse-nr3@151.43.251.174) |
2024-05-09 18:34:58 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-09 18:36:53 +0200 | iteratee | (~kyle@162.218.222.207) |
2024-05-09 18:42:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-09 18:44:26 +0200 | <iteratee> | I have an odd request. I'm looking for someone that would be willing to do a code review swap. |
2024-05-09 18:45:05 +0200 | <iteratee> | I have a side project and I would benefit from a code reviewer. I would be willing to do the same for someone else's side project in exchange. |
2024-05-09 18:46:43 +0200 | <iteratee> | Also, if I could find the right library to target with a PR, there are things it may be valuable for me to open source. |
2024-05-09 18:47:48 +0200 | <iteratee> | I have a reference counting library for ResourceT, to allow for shared resources to be released before the end of the `runResourceT`. |
2024-05-09 18:53:32 +0200 | wheatengineer | (~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-05-09 18:54:05 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
2024-05-09 19:05:34 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-09 19:06:11 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
2024-05-09 19:06:16 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-09 19:07:40 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
2024-05-09 19:07:54 +0200 | billchenchina | (~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614) |
2024-05-09 19:11:05 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
2024-05-09 19:11:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-05-09 19:13:39 +0200 | billchenchina | (~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614) (Read error: Connection reset by peer) |
2024-05-09 19:13:54 +0200 | billchenchina | (~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614) |
2024-05-09 19:17:22 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-09 19:24:27 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-09 19:27:27 +0200 | billchenchina | (~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614) (Ping timeout: 268 seconds) |
2024-05-09 19:34:26 +0200 | danse-nr3 | (~danse-nr3@151.43.251.174) (Ping timeout: 252 seconds) |
2024-05-09 19:35:11 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
2024-05-09 19:36:18 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
2024-05-09 19:39:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-09 19:48:27 +0200 | wheatengineer | (~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de) |
2024-05-09 19:55:07 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-09 20:06:53 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-09 20:09:22 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
2024-05-09 20:21:32 +0200 | wheatengineer | (~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de) (Quit: Leaving) |
2024-05-09 20:26:48 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-09 20:28:37 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-09 20:28:58 +0200 | <justsomeguy> | Why does my Functor instance not work here? https://termbin.com/bj6x |
2024-05-09 20:30:32 +0200 | <justsomeguy> | I feel like I'm missing something important about defining typeclasses. |
2024-05-09 20:30:36 +0200 | <ncf> | you're mapping the wrong component |
2024-05-09 20:31:33 +0200 | <int-e> | the type you'd need here is fmap :: (a -> c) -> BahEither b a -> BahEither b c |
2024-05-09 20:32:18 +0200 | <int-e> | But you've implemented fmap :: (b -> c) -> BahEither b a -> BahEither c a |
2024-05-09 20:34:41 +0200 | <ski> | {-# LANGUAGE InstanceSigs #-} |
2024-05-09 20:36:35 +0200 | <justsomeguy> | Is it possible to write fmap for both data constructors (PLeft a and PRight b)? |
2024-05-09 20:36:52 +0200 | <ncf> | are you looking for Bifunctor |
2024-05-09 20:37:02 +0200 | <justsomeguy> | I notice that fmap works on Left and Right on the Either type. |
2024-05-09 20:37:30 +0200 | <ski> | because `Either a b', where `Left' takes an `a' and `Right' takes a `b' |
2024-05-09 20:37:46 +0200 | <int-e> | > fmap succ (Left 1) |
2024-05-09 20:37:47 +0200 | <lambdabot> | Left 1 |
2024-05-09 20:37:56 +0200 | <int-e> | > fmap succ (Right 1) |
2024-05-09 20:37:57 +0200 | <lambdabot> | Right 2 |
2024-05-09 20:38:02 +0200 | <dolio> | Do you mean it has cases for both Left and Right? |
2024-05-09 20:38:06 +0200 | <ski> | you have `BahEither b a', where `PLeft' takes an `a', and `PRight' takes a `b' .. so the opposite way around |
2024-05-09 20:38:11 +0200 | <dolio> | It has to do that because the type of the Left changes. |
2024-05-09 20:39:58 +0200 | <ski> | in general, `fmap :: (a -> c) -> (f a -> f c)'. you have `Functor (BahEither b)' meaning that `f = `BahEither b', so you get `fmap :: (a -> c) -> (BahEither b a -> BahEither b c)' |
2024-05-09 20:40:34 +0200 | <justsomeguy> | I'm not gonna lie, this is going over my head |
2024-05-09 20:40:42 +0200 | <ski> | (but then your actual code for `fmap' doesn't currently implement that correctly, hence the type error) |
2024-05-09 20:41:01 +0200 | <ski> | long story short, you're not correctly implementing the expected type signature |
2024-05-09 20:41:55 +0200 | <ski> | (if you enable `InstanceSigs' as suggested above, you can write that type signature for `fmap' directly into that `instance' declaration for `Functor') |
2024-05-09 20:44:16 +0200 | <EvanR> | justsomeguy, what you call "not working" I call working great. I.e. the type system stopped you from doing the objectively wrong thing |
2024-05-09 20:44:35 +0200 | <EvanR> | imagine if you had a type system for every goal |
2024-05-09 20:44:49 +0200 | euleritian | (~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de) (Ping timeout: 272 seconds) |
2024-05-09 20:46:06 +0200 | titiband` | (~titiband`@user/titibandit) |
2024-05-09 20:47:02 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
2024-05-09 20:47:39 +0200 | <justsomeguy> | Oh... the instance in base for Functor (Either a) only works on one constructor, too. |
2024-05-09 20:48:34 +0200 | <ncf> | there's only one possible instance |
2024-05-09 20:48:55 +0200 | <ncf> | you obviously cannot apply a function a -> b to a field that doesn't have type a |
2024-05-09 20:49:29 +0200 | euleritian | (~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de) |
2024-05-09 20:49:57 +0200 | titiband` | (~titiband`@user/titibandit) (Remote host closed the connection) |
2024-05-09 20:50:14 +0200 | <justsomeguy> | OK. Why does (fmap (+10) (Left 1), fmap (+10) (Right 3)) work? Because it has an instance of Bifunctor? |
2024-05-09 20:50:21 +0200 | <ski> | justsomeguy : <https://termbin.com/nxth> |
2024-05-09 20:50:36 +0200 | titiband` | (~titiband`@user/titibandit) |
2024-05-09 20:50:58 +0200 | <ski> | (i didn't fix your code, i just added the correct type signature, for clarity) |
2024-05-09 20:50:59 +0200 | <ncf> | you're not using the Bifunctor instance there, just Functor (Either a) |
2024-05-09 20:51:18 +0200 | <ski> | justsomeguy : `fmap' means `Functor', not `Bifunctor' |
2024-05-09 20:51:39 +0200 | <ski> | @type fmap |
2024-05-09 20:51:40 +0200 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
2024-05-09 20:51:47 +0200 | <ski> | no `Bifunctor' there ^ |
2024-05-09 20:51:56 +0200 | <kaol> | Putting them inside a 2-tuple won't have anything to do with Bifunctor either. |
2024-05-09 20:52:24 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-09 20:52:24 +0200 | <justsomeguy> | Alright, I was misreading the result of (fmap (+10) (Left 1)), and that was confusing because I thought I could fmap both constructors. But it wasn't. |
2024-05-09 20:53:09 +0200 | <EvanR> | > fmap even (99, "foo") |
2024-05-09 20:53:11 +0200 | <lambdabot> | error: |
2024-05-09 20:53:11 +0200 | <lambdabot> | • Could not deduce (Integral [Char]) arising from a use of ‘even’ |
2024-05-09 20:53:11 +0200 | <lambdabot> | from the context: Num a |
2024-05-09 20:53:17 +0200 | <EvanR> | dammit |
2024-05-09 20:53:24 +0200 | <EvanR> | > fmap even ("foo", 99) |
2024-05-09 20:53:25 +0200 | <lambdabot> | ("foo",False) |
2024-05-09 20:53:35 +0200 | <EvanR> | fmapping both wouldn't make sense |
2024-05-09 20:54:34 +0200 | <EvanR> | with dynamic types anything can be anythinged, but we have static types which must be respected! |
2024-05-09 20:54:54 +0200 | <EvanR> | I mean let the static types guide you |
2024-05-09 20:54:58 +0200 | <justsomeguy> | :D |
2024-05-09 20:55:32 +0200 | <justsomeguy> | Thanks everyone for your help, I was pretty slow on the uptake there. |
2024-05-09 20:57:46 +0200 | titiband` | titibandit |
2024-05-09 20:59:12 +0200 | <justsomeguy> | Also I just found out I can do deriving Functor! |
2024-05-09 21:04:15 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
2024-05-09 21:04:26 +0200 | Axman6 | (~Axman6@user/axman6) |
2024-05-09 21:07:15 +0200 | <kaol> | It's one of my favorite GHC features. |
2024-05-09 21:08:07 +0200 | <justsomeguy> | I wish I could meet you all in person. It's a great group of people in this channel. |
2024-05-09 21:08:27 +0200 | justsomeguy | looks up Haskell meetups in Tampa |
2024-05-09 21:12:36 +0200 | ski | recalls meeting some denizens of this channel, years ago |
2024-05-09 21:13:21 +0200 | <ski> | (there was a unicycle involved, as well) |
2024-05-09 21:14:52 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-05-09 21:15:11 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
2024-05-09 21:17:05 +0200 | sam113101 | (~sam@24.157.253.231) (Remote host closed the connection) |
2024-05-09 21:17:30 +0200 | sam113101 | (~sam@24.157.253.231) |
2024-05-09 21:19:52 +0200 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-09 21:20:45 +0200 | yeitrafferin | (~user@2a04:4540:7205:9900:b1aa:36ea:fab2:4d66) (Quit: Leaving) |
2024-05-09 21:21:16 +0200 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2024-05-09 21:24:16 +0200 | tram | (~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) |
2024-05-09 21:24:36 +0200 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
2024-05-09 21:25:12 +0200 | <probie> | What kind of unicycle? |
2024-05-09 21:25:22 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-09 21:25:25 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
2024-05-09 21:25:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-09 21:26:16 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
2024-05-09 21:26:20 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
2024-05-09 21:29:32 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 260 seconds) |
2024-05-09 21:30:47 +0200 | euleritian | (~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de) (Ping timeout: 268 seconds) |
2024-05-09 21:31:05 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-09 21:32:37 +0200 | euleritian | (~euleritia@dynamic-176-000-205-183.176.0.pool.telefonica.de) |
2024-05-09 21:44:31 +0200 | Square | (~Square@user/square) |
2024-05-09 21:45:43 +0200 | <ski> | i don't recall brand |
2024-05-09 21:46:15 +0200 | <ski> | i just recall trying it, briefly, along with John Hughes, and some others |
2024-05-09 21:48:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-09 21:53:13 +0200 | micro | (~micro@user/micro) (Ping timeout: 272 seconds) |
2024-05-09 21:55:55 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-05-09 21:59:29 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-09 22:01:11 +0200 | <kaol> | Not bad, my recommendations library runs 3 times faster than when I started already. Maybe I'll yet make it do the 25m dataset in 32GB RAM. |
2024-05-09 22:02:53 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-05-09 22:04:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-05-09 22:05:25 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
2024-05-09 22:09:13 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-09 22:09:39 +0200 | micro | (~micro@user/micro) |
2024-05-09 22:17:34 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-05-09 22:19:59 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-09 22:21:05 +0200 | tram | (~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) (Quit: Leaving.) |
2024-05-09 22:23:40 +0200 | euleritian | (~euleritia@dynamic-176-000-205-183.176.0.pool.telefonica.de) (Ping timeout: 260 seconds) |
2024-05-09 22:24:05 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
2024-05-09 22:25:04 +0200 | euleritian | (~euleritia@dynamic-176-007-193-218.176.7.pool.telefonica.de) |
2024-05-09 22:35:45 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-09 22:35:46 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
2024-05-09 22:37:19 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-09 22:46:09 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
2024-05-09 22:53:25 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-09 22:54:28 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
2024-05-09 22:57:42 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-09 23:00:13 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-09 23:01:43 +0200 | greenflower | (~greenflow@43.254.176.139) |
2024-05-09 23:03:17 +0200 | titibandit | (~titiband`@user/titibandit) (Ping timeout: 268 seconds) |
2024-05-09 23:04:30 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
2024-05-09 23:06:09 +0200 | tram | (~tram@athedsl-225869.home.otenet.gr) |
2024-05-09 23:07:01 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-09 23:11:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-09 23:12:30 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Remote host closed the connection) |
2024-05-09 23:13:40 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-09 23:18:03 +0200 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-09 23:19:24 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
2024-05-09 23:19:49 +0200 | greenflower | (~greenflow@43.254.176.139) (Quit: Client closed) |
2024-05-09 23:25:38 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-09 23:26:32 +0200 | connrs | (~connrs@user/connrs) |
2024-05-09 23:28:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-09 23:30:05 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
2024-05-09 23:34:15 +0200 | yin | (~yin@user/zero) |
2024-05-09 23:35:30 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-09 23:41:22 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
2024-05-09 23:41:22 +0200 | tram | (~tram@athedsl-225869.home.otenet.gr) (Read error: Connection reset by peer) |
2024-05-09 23:50:06 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
2024-05-09 23:55:19 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-09 23:59:24 +0200 | ocra8 | (ocra8@user/ocra8) |