Logs: liberachat/#haskell
| 2021-08-12 11:10:09 | → | chomwitt joins (~chomwitt@athedsl-32301.home.otenet.gr) |
| 2021-08-12 11:10:19 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2021-08-12 11:10:25 | × | AlexZenon quits (~alzenon@178.34.162.152) (Ping timeout: 248 seconds) |
| 2021-08-12 11:10:25 | × | Alex_test quits (~al_test@178.34.162.152) (Ping timeout: 248 seconds) |
| 2021-08-12 11:10:52 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:3006:a3cd:9680:110f) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-12 11:11:20 | <merijn> | And NaN values that have identical bit representation compare inequal :p |
| 2021-08-12 11:12:01 | × | MQ-17J quits (~MQ-17J@8.6.144.209) (Ping timeout: 248 seconds) |
| 2021-08-12 11:12:12 | × | AlexNoo quits (~AlexNoo@178.34.162.152) (Ping timeout: 245 seconds) |
| 2021-08-12 11:14:38 | <tomsmeding> | That too :p |
| 2021-08-12 11:15:25 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-12 11:15:32 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 245 seconds) |
| 2021-08-12 11:16:39 | → | Alex_test joins (~al_test@94.233.240.105) |
| 2021-08-12 11:16:58 | → | AlexZenon joins (~alzenon@94.233.240.105) |
| 2021-08-12 11:21:47 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-12 11:22:49 | → | burnsidesLlama joins (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-08-12 11:28:02 | × | burnsidesLlama quits (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 245 seconds) |
| 2021-08-12 11:28:37 | <boxscape> | I'm fairly certain the answer is no, but can you use Overlapping pragmas for `type instance`s? (For open type families) |
| 2021-08-12 11:29:06 | <boxscape> | I don't have a use case but the phrasing in a blog post saying that you don't need it for closed type families made me wonder |
| 2021-08-12 11:29:38 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:b0bf:dbe4:8f07:fd4e) |
| 2021-08-12 11:34:11 | → | deejaytee joins (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) |
| 2021-08-12 11:41:27 | → | andrevdm joins (~andre@41.76.35.141) |
| 2021-08-12 11:45:44 | × | a6a45081-2b83 quits (~aditya@223.226.228.68) (Remote host closed the connection) |
| 2021-08-12 11:49:13 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-08-12 11:49:54 | → | jneira60 joins (~jneira@212.8.115.226) |
| 2021-08-12 11:51:47 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 245 seconds) |
| 2021-08-12 11:51:51 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 2021-08-12 11:52:54 | × | deejaytee quits (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) (Ping timeout: 256 seconds) |
| 2021-08-12 11:53:07 | × | jneira quits (~jneira@212.8.115.226) (Ping timeout: 246 seconds) |
| 2021-08-12 11:54:43 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-12 11:59:26 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-08-12 11:59:43 | → | shailangsa joins (~shailangs@host86-145-14-24.range86-145.btcentralplus.com) |
| 2021-08-12 12:11:12 | × | andrevdm quits (~andre@41.76.35.141) (Quit: WeeChat 3.2) |
| 2021-08-12 12:12:41 | → | Guest|72 joins (~Guest|72@p578b92fd.dip0.t-ipconnect.de) |
| 2021-08-12 12:13:03 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-12 12:14:14 | × | Guest|72 quits (~Guest|72@p578b92fd.dip0.t-ipconnect.de) (Client Quit) |
| 2021-08-12 12:14:54 | × | jneira60 quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-08-12 12:15:20 | → | jneira60 joins (~jneira60@212.8.115.226) |
| 2021-08-12 12:24:30 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 2021-08-12 12:26:09 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2021-08-12 12:26:17 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-12 12:34:13 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-08-12 12:37:36 | × | polyphem quits (~polyphem@2a02:810d:640:776c:5ce9:eeb2:9e8b:b083) (Remote host closed the connection) |
| 2021-08-12 12:40:25 | × | shailangsa quits (~shailangs@host86-145-14-24.range86-145.btcentralplus.com) (Remote host closed the connection) |
| 2021-08-12 12:42:56 | → | polyphem joins (~polyphem@2a02:810d:640:776c:5ce9:eeb2:9e8b:b083) |
| 2021-08-12 12:46:34 | → | alx741 joins (~alx741@181.196.68.193) |
| 2021-08-12 12:47:24 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-12 12:47:30 | → | drownbes joins (~drownbes@gprs-inet-183-219.elisa.ee) |
| 2021-08-12 12:49:25 | × | drownbes quits (~drownbes@gprs-inet-183-219.elisa.ee) (Remote host closed the connection) |
| 2021-08-12 12:52:45 | <shane> | Is there any kind of "Free" thing that gives an ArrowApply from any Arrow? |
| 2021-08-12 12:53:44 | <merijn> | Probably not |
| 2021-08-12 12:54:16 | <merijn> | tbh, I'd question the use of Arrow to begin with and *double* question the use of any Arrow that needs ArrowApply |
| 2021-08-12 12:54:38 | → | drownbes joins (~igloo@gprs-inet-183-219.elisa.ee) |
| 2021-08-12 12:54:53 | <merijn> | Arrow is a kinda meh abstraction |
| 2021-08-12 12:55:59 | × | drownbes quits (~igloo@gprs-inet-183-219.elisa.ee) (Remote host closed the connection) |
| 2021-08-12 12:56:16 | <shane> | Yeah. So obviously any ArrowApply could just be a Monad |
| 2021-08-12 12:56:53 | <merijn> | If you think you want Arrow, you *probably* want (a combination of) Applicative/Category/Profunctor |
| 2021-08-12 12:57:07 | <merijn> | And if you want ArrowApply, you just want Monad :p |
| 2021-08-12 12:57:09 | <shane> | I obviously have those instances as well |
| 2021-08-12 12:57:25 | <merijn> | Oh, then I wouldn't even bother with Arrow instances |
| 2021-08-12 12:57:27 | <shane> | But the reason I'm using Arrow is because this thing allows a composition that is "faster" than monad composition |
| 2021-08-12 12:58:28 | <shane> | The actual type is more complicated than this, but the essence is basically `newtype Foo m i a = Foo (Either (m a) (i -> m a))` |
| 2021-08-12 12:58:33 | <merijn> | shane: Composition as in Arrow's "arr b c -> arr a b -> arr a c"? |
| 2021-08-12 12:58:57 | <shane> | Yeah. Basically, that can sometimes be `const` for my type |
| 2021-08-12 12:59:08 | <merijn> | shane: Don't you just want Category, then? |
| 2021-08-12 12:59:16 | <merijn> | That already has that composition |
| 2021-08-12 12:59:18 | <shane> | Well I want to use arrow syntax |
| 2021-08-12 12:59:42 | <merijn> | I would recommend you don't, because no one else will understand how the hell to read your code :p |
| 2021-08-12 12:59:54 | <merijn> | I think maybe 3 people in here understand arrow syntax :p |
| 2021-08-12 13:00:59 | <shane> | It's also true that nobody will understand my code if it's just a bunch of `lmap`s and `>>>` |
| 2021-08-12 13:01:09 | <kuribas> | I haven't seen a compelling usecase for arrows, where Applicatives wouldn't work better... |
| 2021-08-12 13:01:35 | <shane> | Well, I believe that I have one |
| 2021-08-12 13:03:47 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2021-08-12 13:05:00 | × | jneira60 quits (~jneira60@212.8.115.226) (Quit: Client closed) |
| 2021-08-12 13:06:51 | × | flukiluke quits (~flukiluke@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2021-08-12 13:07:06 | → | flukiluke joins (~flukiluke@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2021-08-12 13:09:40 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-12 13:11:47 | × | phma quits (phma@2001:5b0:211b:9608:8da1:6cde:bf81:5b9c) (Quit: Konversation terminated!) |
| 2021-08-12 13:12:33 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-12 13:12:59 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-12 13:15:32 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-08-12 13:24:27 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-08-12 13:24:49 | × | chomwitt quits (~chomwitt@athedsl-32301.home.otenet.gr) (Ping timeout: 248 seconds) |
| 2021-08-12 13:28:09 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-12 13:29:40 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 268 seconds) |
| 2021-08-12 13:39:22 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-08-12 13:40:07 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-08-12 13:45:05 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 248 seconds) |
| 2021-08-12 13:45:41 | × | nvmd quits (~nvmd@user/nvmd) (Ping timeout: 268 seconds) |
| 2021-08-12 13:49:33 | × | emliunix quits (~emliunix@8.38.148.66) (Remote host closed the connection) |
| 2021-08-12 13:49:55 | → | emliunix joins (~emliunix@8.37.43.217) |
| 2021-08-12 13:54:54 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-08-12 13:56:05 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-12 14:01:14 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-08-12 14:06:16 | <Arahael> | merijn: Every time I come close, I promptly forget what it is! :) |
| 2021-08-12 14:09:07 | → | Kirat joins (~Gill@103.217.122.17) |
| 2021-08-12 14:11:38 | → | slack1256 joins (~slack1256@181.203.4.196) |
| 2021-08-12 14:16:23 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-12 14:19:20 | × | jespada quits (~jespada@90.254.247.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-12 14:22:23 | × | Kirat quits (~Gill@103.217.122.17) (Remote host closed the connection) |
| 2021-08-12 14:22:25 | → | Kirat_ joins (~Gill@157.39.46.3) |
All times are in UTC.