Logs: freenode/#haskell
| 2021-03-31 06:31:44 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-31 06:32:06 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-03-31 06:32:40 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-31 06:32:53 | → | unyu joins (~pyon@unaffiliated/pyon) |
| 2021-03-31 06:33:43 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-31 06:34:12 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-31 06:36:03 | <Axman6> | CatWithMoustache: can you elaborate on what you want? we haven't been able to make sense of your question |
| 2021-03-31 06:36:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-31 06:37:46 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-31 06:37:57 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-03-31 06:39:05 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-31 06:40:34 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-31 06:40:54 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-31 06:41:05 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-31 06:43:36 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-31 06:44:38 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-03-31 06:45:30 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-31 06:48:10 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:cdc8:88ee:4ef9:ae5c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-31 06:49:32 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-03-31 06:49:56 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-03-31 06:51:08 | <xsperry> | CatWithMoustache, something like this? |
| 2021-03-31 06:51:08 | <xsperry> | > [x : x : [] | x <- [1,2,3]] |
| 2021-03-31 06:51:10 | <lambdabot> | [[1,1],[2,2],[3,3]] |
| 2021-03-31 06:51:20 | <CatWithMoustache> | Axman6, I have a list comprehension, [x, x * 34 | x <- xs ] where I want to put x twice |
| 2021-03-31 06:51:38 | <CatWithMoustache> | flattened, so just an int list |
| 2021-03-31 06:52:11 | <Axman6> | > let xs = [1, 10, 100] in [ y | x <- xs, y <- [x, x*34]] |
| 2021-03-31 06:52:13 | <lambdabot> | [1,34,10,340,100,3400] |
| 2021-03-31 06:53:20 | <xsperry> | > concat [[x, x * 34] | x <- [1,2,3] ] |
| 2021-03-31 06:53:21 | <lambdabot> | [1,34,2,68,3,102] |
| 2021-03-31 06:53:31 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-31 06:55:36 | <xsperry> | > concatMap (\x -> [x, x*34]) [1,2,3] |
| 2021-03-31 06:55:38 | <lambdabot> | [1,34,2,68,3,102] |
| 2021-03-31 06:56:15 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-31 06:56:21 | × | andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 2021-03-31 06:56:46 | <Axman6> | so many different but requivalent implementations, it's almost like there's some pattern here... |
| 2021-03-31 06:57:15 | <Axman6> | > [1,10,100] >>= \x -> [x, x*34] |
| 2021-03-31 06:57:16 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-31 06:57:16 | <lambdabot> | [1,34,10,340,100,3400] |
| 2021-03-31 06:57:36 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-31 06:58:45 | <[exa]> | > (*) <$> [1,10,100] <*> [1,34] |
| 2021-03-31 06:58:48 | <lambdabot> | [1,34,10,340,100,3400] |
| 2021-03-31 07:00:20 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-03-31 07:00:26 | → | Franciman joins (~francesco@host-79-53-62-46.retail.telecomitalia.it) |
| 2021-03-31 07:01:50 | → | rmk236 joins (~lcampos@ip-37-201-211-26.hsi13.unitymediagroup.de) |
| 2021-03-31 07:02:40 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-31 07:06:11 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:b177:1e40:d97b:578c) |
| 2021-03-31 07:07:12 | × | raym quits (~ray@115.187.32.14) (Read error: Connection reset by peer) |
| 2021-03-31 07:08:02 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-03-31 07:08:31 | × | unyu quits (~pyon@unaffiliated/pyon) (Quit: brb) |
| 2021-03-31 07:08:55 | <gnumonic> | I'm writing lenses for kind-indexed GADTs w/ singletons. It doesn't violate any lens laws if I write "conditional" lenses with setters that just return the original object if some dependently typed predicate fails to obtain, right? |
| 2021-03-31 07:09:35 | × | rmk236 quits (~lcampos@ip-37-201-211-26.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 2021-03-31 07:09:40 | → | raym joins (~ray@115.187.32.14) |
| 2021-03-31 07:09:56 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 246 seconds) |
| 2021-03-31 07:10:34 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-31 07:10:49 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:b177:1e40:d97b:578c) (Ping timeout: 252 seconds) |
| 2021-03-31 07:10:49 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-31 07:10:53 | <edwardk> | gnumonic: it does. |
| 2021-03-31 07:11:13 | <edwardk> | the 'you get what you set' law is the one being violated here |
| 2021-03-31 07:11:55 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-31 07:12:03 | <edwardk> | now you can still use the library, and still compose these with other lenses that also violate this law and all that is lost is that you can sometimes see the fact that the lens library fuses everything into one pass over your structure, so the operations aren't necessarily canonical aside from they are the 'most fused' version. |
| 2021-03-31 07:12:57 | → | rmk236 joins (~lcampos@2a02:908:3616:b100:e41f:37c6:378f:6062) |
| 2021-03-31 07:13:00 | <edwardk> | gnumonic: lenses are deliberately very dumb things. |
| 2021-03-31 07:13:24 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-31 07:14:58 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-03-31 07:16:05 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-31 07:16:39 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-03-31 07:16:55 | <gnumonic> | Hm. Would it work if I wrote the lenses over some wrapper type that hides the kind index? So if I did something like :: forall a. Lens' (IndexedType 'KindIndex) SomeComponent where SomeComponent is a wrapper over Component 'ComponentKindIndex? Then I think I'd actually be getting out what I put in |
| 2021-03-31 07:17:29 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 2021-03-31 07:18:01 | <edwardk> | not sure, it at least sounds plausible. |
| 2021-03-31 07:18:39 | × | mawk quits (mawk@serveur.io) (Ping timeout: 268 seconds) |
| 2021-03-31 07:20:58 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-31 07:21:46 | <CatWithMoustache> | Axman6, can i do something similar to that with a map? |
| 2021-03-31 07:22:00 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection) |
| 2021-03-31 07:23:34 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-31 07:25:48 | → | dpl joins (~dpl@77.121.78.163) |
| 2021-03-31 07:26:13 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-03-31 07:26:29 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-31 07:30:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-31 07:30:25 | → | kadoban_ joins (~mud@unaffiliated/kadoban) |
| 2021-03-31 07:30:40 | × | kadoban__ quits (~mud@unaffiliated/kadoban) (Ping timeout: 252 seconds) |
| 2021-03-31 07:30:42 | <gnumonic> | Thanks btw edwardk. I'm trying to figure out if I can prove that the existential wrapper thing works, but it's good to know that even if it doesn't I can still use them and nothing will explode :) |
| 2021-03-31 07:31:02 | × | tessier quits (~treed@kernel-panic/copilotco) (Ping timeout: 265 seconds) |
| 2021-03-31 07:35:01 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) |
| 2021-03-31 07:35:45 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-31 07:36:59 | → | mawk joins (mawk@serveur.io) |
| 2021-03-31 07:39:35 | → | tessier joins (~treed@98.171.210.130) |
| 2021-03-31 07:39:35 | × | tessier quits (~treed@98.171.210.130) (Changing host) |
| 2021-03-31 07:39:35 | → | tessier joins (~treed@kernel-panic/copilotco) |
| 2021-03-31 07:39:38 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-03-31 07:39:53 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-03-31 07:40:18 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-afninwolvrucszhg) |
| 2021-03-31 07:42:43 | <gnumonic> | Actually while I'm thinking about lenses, I wrote a function that "lifts" traversals over a (particular) kind-indexed GADT to operate over the GADT's existential wrapper. https://gist.github.com/gnumonik/a321defc6ba0af9035653f5ac3693c24 Is that like... an ok thing to do? (I just started using the not-just-record-accessors parts of lens recently) |
| 2021-03-31 07:43:56 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-31 07:46:06 | × | Guest41032 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-03-31 07:46:44 | → | maroloccio joins (~marolocci@pousada3ja.mma.com.br) |
| 2021-03-31 07:46:53 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2021-03-31 07:48:13 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection) |
| 2021-03-31 07:48:26 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-31 07:49:48 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:3745:335c:aec7:833d) (Ping timeout: 246 seconds) |
| 2021-03-31 07:49:57 | → | borne joins (~fritjof@200116b86411e500f7ed9fd86a2491f0.dip.versatel-1u1.de) |
All times are in UTC.