Logs: liberachat/#haskell
| 2021-06-01 20:07:51 | → | sqrt2 joins (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) |
| 2021-06-01 20:08:05 | × | ddellacosta quits (~ddellacos@89.45.224.170) (Ping timeout: 264 seconds) |
| 2021-06-01 20:08:44 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-01 20:09:24 | <dminuoso> | bor0: As far as I can tell, you will need Compose too to make this work. |
| 2021-06-01 20:09:32 | × | arrowd quits (~arr@2.94.203.147) () |
| 2021-06-01 20:11:01 | <novasenco> | hm. oki. thanks |
| 2021-06-01 20:11:29 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
| 2021-06-01 20:11:31 | <dminuoso> | Ah no, it wouldn't even work with a nested functor. |
| 2021-06-01 20:13:04 | <bor0> | Thanks, this is all useful, although probably way beyond me at this point. If at least one more person gets to use this, I'll be happy to get deeper into optimization :D |
| 2021-06-01 20:13:13 | <dminuoso> | bor0: Let me show you, it's really simple! :) |
| 2021-06-01 20:13:30 | → | ddellacosta joins (~ddellacos@89.46.62.170) |
| 2021-06-01 20:13:39 | <bor0> | Sure! Let's talk specifically about `go`. I think that'll help :D |
| 2021-06-01 20:15:53 | × | _xft0 quits (~root@185.234.208.208.r.toneticgroup.pl) (Ping timeout: 264 seconds) |
| 2021-06-01 20:16:01 | <davean> | novasenco: you might get around it by installing c2hs with a newer language-c, but who knows |
| 2021-06-01 20:16:06 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-01 20:17:24 | <dminuoso> | bor0: There might be the odd typo here, but roughly this: https://gist.github.com/dminuoso/fef54010b5d7dd475245d6f9b6546737 |
| 2021-06-01 20:18:17 | <dminuoso> | Typo fixed, reload! :) |
| 2021-06-01 20:18:52 | <dminuoso> | Ah there's some small impedance mismatching with the argument `x` here |
| 2021-06-01 20:19:52 | × | Cubic quits (~hannesste@ip5f5be453.dynamic.kabel-deutschland.de) (Quit: leaving) |
| 2021-06-01 20:20:55 | <dminuoso> | Ah I see what's wrong. We need to massage the function `f` first |
| 2021-06-01 20:21:30 | <bor0> | Yeah, YESP x vs Either String (Proof x) |
| 2021-06-01 20:21:53 | <bor0> | I noticed that but thought that'd be handled by some of the magic between L5-L9 :D |
| 2021-06-01 20:22:09 | <dminuoso> | bor0: Reload, it should be fine now |
| 2021-06-01 20:22:58 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-01 20:23:20 | ski | would use `<$>' |
| 2021-06-01 20:23:26 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-06-01 20:24:09 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-06-01 20:24:28 | <bor0> | Small typo on line 13, just a nit. |
| 2021-06-01 20:24:36 | <bor0> | Ahhh Yoneda isn't in base. |
| 2021-06-01 20:24:41 | <ski> | bor0 : oh, another thing i thought about (but forgot to say), is that `applyPropRule' could generalize from `Either String' to any functor |
| 2021-06-01 20:24:42 | <dminuoso> | Yeah, its from kan-extensions |
| 2021-06-01 20:24:43 | → | econo joins (uid147250@user/econo) |
| 2021-06-01 20:25:04 | × | kuribas quits (~user@ptr-25vy0i96apm5u45pamz.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-06-01 20:25:11 | <dminuoso> | But, if that's too heavy for you, you can just reimplement Yoneda yourself. It's just a few lines of code. |
| 2021-06-01 20:27:13 | → | ixlun joins (~matthew@109.249.184.235) |
| 2021-06-01 20:27:52 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-01 20:27:53 | × | michalz quits (~user@185.246.204.45) (Remote host closed the connection) |
| 2021-06-01 20:28:09 | <dminuoso> | The Compose/getCompose could be dropped if you used `x <&&> f = fmap (fmap f) x` probably. Fusion should still happen (because the inner fmap would disappear since its just a newtype) |
| 2021-06-01 20:28:30 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 264 seconds) |
| 2021-06-01 20:29:13 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Ping timeout: 272 seconds) |
| 2021-06-01 20:37:01 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 272 seconds) |
| 2021-06-01 20:37:13 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-01 20:41:14 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-06-01 20:41:18 | maralorn[m] | is now known as maralorn |
| 2021-06-01 20:44:34 | × | maralorn quits (~maralorn@2001:470:69fc:105::251) (Quit: node-irc says goodbye) |
| 2021-06-01 20:44:50 | → | maralorn joins (~maralorn@2001:470:69fc:105::251) |
| 2021-06-01 20:46:19 | ← | arson parts (~arson@pool-100-36-47-118.washdc.fios.verizon.net) () |
| 2021-06-01 20:46:21 | × | mc47 quits (~yecinem@89.246.239.190) (Quit: Leaving) |
| 2021-06-01 20:48:28 | × | mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-01 20:48:50 | → | Guest60 joins (~Guest60@90.242.128.21) |
| 2021-06-01 20:50:19 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-06-01 20:50:36 | → | Digit joins (~user@user/digit) |
| 2021-06-01 20:51:54 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 244 seconds) |
| 2021-06-01 20:55:10 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2021-06-01 20:57:19 | × | orzo quits (joe@lasker.childrenofmay.org) (*.net *.split) |
| 2021-06-01 20:57:32 | → | orzo joins (joe@lasker.childrenofmay.org) |
| 2021-06-01 20:57:39 | Guest60 | is now known as Abedegno |
| 2021-06-01 20:58:04 | × | ddellacosta quits (~ddellacos@89.46.62.170) (Remote host closed the connection) |
| 2021-06-01 20:58:15 | → | ddellacosta joins (~ddellacos@89.46.62.170) |
| 2021-06-01 20:59:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 21:01:13 | → | unyu joins (~pyon@user/pyon) |
| 2021-06-01 21:01:37 | → | dy joins (~dy@user/dy) |
| 2021-06-01 21:06:14 | × | Abedegno quits (~Guest60@90.242.128.21) (Ping timeout: 250 seconds) |
| 2021-06-01 21:06:17 | × | beka quits (~beka@104.193.170-254.PUBLIC.monkeybrains.net) (Ping timeout: 264 seconds) |
| 2021-06-01 21:06:26 | × | derelict quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-06-01 21:07:23 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:d9c3:69a3:f97b:be95) (Read error: Connection reset by peer) |
| 2021-06-01 21:08:37 | × | ddellacosta quits (~ddellacos@89.46.62.170) (Remote host closed the connection) |
| 2021-06-01 21:09:52 | × | funsafe quits (~funsafe@2601:1c1:4200:938f:389d:16a4:ae2d:65aa) (Quit: funsafe) |
| 2021-06-01 21:10:12 | → | funsafe joins (~funsafe@2601:1c1:4200:938f:389d:16a4:ae2d:65aa) |
| 2021-06-01 21:11:43 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Remote host closed the connection) |
| 2021-06-01 21:14:08 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-06-01 21:15:16 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-01 21:15:24 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-01 21:15:29 | → | sondre joins (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-06-01 21:18:33 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-01 21:20:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-01 21:20:49 | × | ixlun quits (~matthew@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-06-01 21:22:09 | → | dustinm joins (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 2021-06-01 21:26:48 | → | egoist joins (~egoist@186.235.82.52) |
| 2021-06-01 21:26:57 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-01 21:27:55 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-01 21:30:23 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-01 21:32:34 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-01 21:32:37 | × | mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Client Quit) |
| 2021-06-01 21:33:15 | → | wenzel_ joins (~wenzel@user/wenzel) |
| 2021-06-01 21:33:36 | allbery_b | is now known as geekosaur |
| 2021-06-01 21:34:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-01 21:35:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-01 21:36:18 | × | wenzel quits (~wenzel@user/wenzel) (Ping timeout: 264 seconds) |
| 2021-06-01 21:37:18 | × | learner-monad quits (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Quit: WeeChat 3.1) |
| 2021-06-01 21:37:25 | × | wenzel_ quits (~wenzel@user/wenzel) (Client Quit) |
| 2021-06-01 21:39:25 | × | xsperry quits (~as@user/xsperry) (Read error: Connection reset by peer) |
| 2021-06-01 21:39:52 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-01 21:39:55 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-01 21:41:47 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 2021-06-01 21:43:47 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-06-01 21:44:16 | → | imdoor joins (~imdoor@balticom-142-78-50.balticom.lv) |
| 2021-06-01 21:44:20 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Quit: WeeChat 3.1) |
| 2021-06-01 21:44:33 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-01 21:45:25 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
All times are in UTC.