Logs: liberachat/#haskell
| 2021-07-12 14:42:15 | <dminuoso> | keutoi: The specific example is going to be addressed in the AMP, though. It's redundant to have both of them. |
| 2021-07-12 14:42:42 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-07-12 14:42:45 | <dminuoso> | Personally, I find the lack of an imposed order to be liberating. |
| 2021-07-12 14:43:02 | <dminuoso> | keutoi: It allows for things like (wanted) circular recursion, or restructing things more freely. |
| 2021-07-12 14:43:22 | <dminuoso> | What if the instances were defined in separate modules? Would suddenly import order be important too? |
| 2021-07-12 14:43:33 | <dminuoso> | Buf it that's the case, this could create serious problems in transitive import paths |
| 2021-07-12 14:43:40 | <dminuoso> | Or perhaps even through package boundaries |
| 2021-07-12 14:44:36 | <[exa]> | hm, isn't that a leftover from before F-A-M hierarchy got official? |
| 2021-07-12 14:47:22 | <[exa]> | oic, the definition of `ap` actually doesn't depend on <*> in any way, so it just allows you to define >>= and have <*> kinda derived from that. cool. |
| 2021-07-12 14:47:31 | → | keutoi_ joins (~keutoi@157.48.184.234) |
| 2021-07-12 14:48:39 | × | keutoi quits (~keutoi@157.48.184.234) (Quit: Reconnecting) |
| 2021-07-12 14:48:46 | keutoi_ | is now known as keutoi |
| 2021-07-12 14:48:55 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-12 14:49:04 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-07-12 14:49:09 | <boxscape> | Hm, kind of seems like we need COMPLETE pragmas that address a combination of multiple classes to handle this properly in general |
| 2021-07-12 14:50:17 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-07-12 14:50:53 | <boxscape> | er wiat |
| 2021-07-12 14:50:55 | <boxscape> | MINIMAL pragmas |
| 2021-07-12 14:52:13 | × | gzj quits (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 14:52:31 | → | gzj joins (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 14:53:07 | <keutoi> | dminuoso: thank you |
| 2021-07-12 14:53:58 | → | Taren joins (~Taren@port-92-196-206-198.dynamic.as20676.net) |
| 2021-07-12 14:55:38 | × | acidjnk quits (~acidjnk@p200300d0c72b95096d4cdcac61b6b349.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-12 14:58:30 | <tomsmeding> | boxscape: until someone defines <*> in terms of ap and ap in terms of <*>, but unwrapping one layer of the data structure on the way so that the whole thing terminates :p |
| 2021-07-12 14:59:06 | <tomsmeding> | I think any cross-class MINIMAL checking like I think you're proposing will inherently be built on heuristics |
| 2021-07-12 14:59:31 | tomsmeding | . o O ( or maybe we need MAXIMAL -- disallow <*> and ap both being defined ) |
| 2021-07-12 15:00:51 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-07-12 15:01:55 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-07-12 15:02:17 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-07-12 15:03:06 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-07-12 15:03:39 | → | brandonh joins (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 15:05:07 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 15:05:34 | × | Taren quits (~Taren@port-92-196-206-198.dynamic.as20676.net) (Ping timeout: 246 seconds) |
| 2021-07-12 15:06:43 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 15:07:17 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-07-12 15:08:42 | × | brandonh quits (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Ping timeout: 276 seconds) |
| 2021-07-12 15:09:26 | → | Taren joins (~Taren@port-92-196-206-198.dynamic.as20676.net) |
| 2021-07-12 15:10:08 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-07-12 15:12:22 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 15:12:35 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-07-12 15:13:07 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-12 15:13:12 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2021-07-12 15:16:21 | × | argento quits (~argent0@168-227-97-23.ptr.westnet.com.ar) (Ping timeout: 255 seconds) |
| 2021-07-12 15:16:52 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-07-12 15:19:37 | → | brandonh joins (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 15:22:46 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-12 15:24:09 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-12 15:24:27 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-12 15:24:54 | × | gzj quits (~GZJ0X@199.193.127.73.16clouds.com) (Ping timeout: 255 seconds) |
| 2021-07-12 15:24:54 | → | cheater joins (~Username@user/cheater) |
| 2021-07-12 15:25:48 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 2021-07-12 15:27:32 | → | polykernel joins (~polykerne@user/polykernel) |
| 2021-07-12 15:27:42 | → | peterhil joins (~peterhil@mobile-access-bceeac-89.dhcp.inet.fi) |
| 2021-07-12 15:27:48 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-07-12 15:29:55 | × | silverwhitefish quits (~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5)) |
| 2021-07-12 15:31:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 15:32:06 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds) |
| 2021-07-12 15:33:00 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-12 15:33:12 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-07-12 15:33:51 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-12 15:33:52 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-12 15:35:43 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-07-12 15:35:43 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-07-12 15:35:43 | → | turlando joins (~turlando@user/turlando) |
| 2021-07-12 15:36:24 | × | robertm quits (robertm@rojoma.com) (Quit: WeeChat 2.3) |
| 2021-07-12 15:36:34 | → | robertm joins (robertm@rojoma.com) |
| 2021-07-12 15:37:39 | × | lbseale quits (~lbseale@user/ep1ctetus) (Client Quit) |
| 2021-07-12 15:40:03 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 15:40:58 | × | azeem quits (~azeem@176.200.226.100) (Read error: Connection reset by peer) |
| 2021-07-12 15:41:03 | × | hatz_ quits (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) (Quit: hatz_) |
| 2021-07-12 15:41:11 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 15:43:17 | → | hatz_ joins (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) |
| 2021-07-12 15:43:47 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-12 15:44:59 | → | P1RATEZ joins (piratez@user/p1ratez) |
| 2021-07-12 15:45:40 | → | zmt00 joins (~zmt00@user/zmt00) |
| 2021-07-12 15:49:31 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 15:52:28 | × | Taren quits (~Taren@port-92-196-206-198.dynamic.as20676.net) (Ping timeout: 246 seconds) |
| 2021-07-12 15:52:54 | × | kuribas quits (~user@ptr-25vy0i9hoprzpksooyh.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-07-12 15:53:04 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-12 15:56:27 | ← | cohn parts (~noone@user/cohn) () |
| 2021-07-12 15:58:20 | × | ubert quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-07-12 15:58:52 | × | haykam2 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-12 15:59:04 | → | haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-12 16:00:42 | × | keutoi quits (~keutoi@157.48.184.234) (Quit: leaving) |
| 2021-07-12 16:01:48 | × | s_ quits (~s@50.34.81.185) (Ping timeout: 255 seconds) |
| 2021-07-12 16:02:46 | <monochrom> | ap is not a method, so it's OK. |
| 2021-07-12 16:04:10 | → | s_ joins (~s@50.34.81.185) |
| 2021-07-12 16:04:41 | <monochrom> | ap can play a similar role as e.g. Data.Traversable.fmapDefault. They can be for lazy people like me. There is their value being standalone functions outside classes. |
| 2021-07-12 16:05:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-12 16:06:11 | → | LKY joins (~Burger@76.102.85.231) |
| 2021-07-12 16:07:58 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-07-12 16:09:54 | ← | LKY parts (~Burger@76.102.85.231) () |
| 2021-07-12 16:10:34 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-12 16:10:34 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-12 16:11:03 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 16:11:03 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-12 16:15:26 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-07-12 16:15:49 | → | cohn joins (~noone@user/cohn) |
| 2021-07-12 16:17:28 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-12 16:18:34 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
All times are in UTC.