Logs: freenode/#haskell
| 2021-05-19 23:13:15 | <spider1> | ty for link and info |
| 2021-05-19 23:13:26 | × | Varis quits (~Tadas@unaffiliated/varis) (Ping timeout: 240 seconds) |
| 2021-05-19 23:13:55 | × | kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 265 seconds) |
| 2021-05-19 23:14:39 | ← | mjlbach parts (atriusmatr@gateway/shell/matrix.org/x-ljwcyrnbymkdcdda) ("User left") |
| 2021-05-19 23:14:41 | → | absence joins (torgeihe@hildring.pvv.ntnu.no) |
| 2021-05-19 23:16:13 | → | ddellacosta joins (~ddellacos@86.106.143.87) |
| 2021-05-19 23:16:15 | <spider1> | uh |
| 2021-05-19 23:16:21 | <spider1> | does he have nickserv passwords |
| 2021-05-19 23:17:00 | → | TomasJakl[m] joins (jaklttchnc@gateway/shell/matrix.org/x-ougkhiizcwcejika) |
| 2021-05-19 23:17:14 | <dmwit> | That was my question, too. ^_^ |
| 2021-05-19 23:17:32 | <spider1> | ohh so the volunteer staff are the ones building libera |
| 2021-05-19 23:17:49 | <spider1> | okay now i'm ready to move |
| 2021-05-19 23:18:25 | <spider1> | ty mniip |
| 2021-05-19 23:18:26 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 23:18:27 | <dmwit> | I think he doesn't. I guess in the most pessimistic world, he replaced all the software on the servers the moment he was able. I think that's... assuming too much programming capacity, though, and I don't even know if he's in control of the servers in the right way for that yet. |
| 2021-05-19 23:18:49 | tim | is now known as Guest25961 |
| 2021-05-19 23:18:53 | <spider1> | well it said he had access to other nickserv/chanserv data |
| 2021-05-19 23:19:03 | <dmwit> | In any case, the software that was on the servers before this all started would not give him anything more than a salted hash of your password. |
| 2021-05-19 23:19:16 | <spider1> | oh good |
| 2021-05-19 23:19:35 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-19 23:19:58 | <mniip> | spider1, dmwit the email address too |
| 2021-05-19 23:20:07 | <mniip> | my letter lists all the things actually |
| 2021-05-19 23:20:26 | × | ddellacosta quits (~ddellacos@86.106.143.87) (Ping timeout: 240 seconds) |
| 2021-05-19 23:22:45 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-05-19 23:24:54 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: Changing server) |
| 2021-05-19 23:25:00 | × | vk3wtf quits (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-05-19 23:25:15 | × | jrp quits (0550efe4@5.80.239.228) (Quit: Connection closed) |
| 2021-05-19 23:25:19 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-19 23:28:53 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-19 23:29:17 | <dmwit> | Okay. I don't consider my email address an authentication secret, or even a secret. |
| 2021-05-19 23:29:31 | <dmwit> | I think it would probably be wisest for everybody else to also not consider their email address a secret. |
| 2021-05-19 23:31:35 | → | drbean_ joins (~drbean@TC210-63-209-203.static.apol.com.tw) |
| 2021-05-19 23:31:42 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-19 23:31:57 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-51.dsl.bell.ca) |
| 2021-05-19 23:32:28 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-05-19 23:33:20 | → | erdii joins (erdiiweris@gateway/shell/matrix.org/x-iyulhbyyrwrhjuhj) |
| 2021-05-19 23:37:24 | → | a6a45081-2b83 joins (~aditya@122.163.149.247) |
| 2021-05-19 23:37:27 | × | Benzi-Junior quits (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 252 seconds) |
| 2021-05-19 23:38:13 | <a6a45081-2b83> | can someone help explain this type signature? `type Getter s a = forall f. (Contravariant f, Functor f) => (a -> f a) -> s -> f s` |
| 2021-05-19 23:38:40 | <Axman6> | a6a45081-2b83: what problems do you have with it? |
| 2021-05-19 23:39:47 | <a6a45081-2b83> | Lens s a means that we are focusing from s to a? i.e. s is our object and a is accessor function. I understand this much |
| 2021-05-19 23:40:46 | <johnw> | not an accessor function, but the type of the thing "within" s |
| 2021-05-19 23:40:57 | <int-e> | s is a substructure of a |
| 2021-05-19 23:41:01 | <johnw> | note that a needn't actually *be* in s in the sense of structure |
| 2021-05-19 23:41:07 | <a6a45081-2b83> | `(a -> f a) -> s -> f s` from this I guess we have a monadic action `a -> f a` and we are applying to accessed object a? |
| 2021-05-19 23:41:11 | <johnw> | a can be a calculated result, as long as getting and putting have meaning |
| 2021-05-19 23:41:16 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-19 23:41:21 | <int-e> | (conceptually, s is within a, not vice versa) |
| 2021-05-19 23:41:23 | <Axman6> | johnw: other way around |
| 2021-05-19 23:41:33 | <Axman6> | a is a substructure of s |
| 2021-05-19 23:41:33 | → | zarakshR joins (~Thunderbi@1.39.134.203) |
| 2021-05-19 23:41:36 | <dmwit> | a6a45081-2b83: I recommend the tutorial series "Lenses over Tea". |
| 2021-05-19 23:41:39 | <johnw> | yes, that's what I meant |
| 2021-05-19 23:41:41 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-19 23:41:50 | <int-e> | uh |
| 2021-05-19 23:41:50 | <dmwit> | a6a45081-2b83: It has the best intuition-based explanation of the lens types that I have seen in any tutorial. |
| 2021-05-19 23:42:01 | <int-e> | sorry, I'm wrong, carry on |
| 2021-05-19 23:42:15 | <Axman6> | % :i Const |
| 2021-05-19 23:42:18 | <a6a45081-2b83> | so if I have Person {name :: String, age :: Int} then s = Person and a = age, right. And we would have Lens' Person Int? |
| 2021-05-19 23:42:20 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-19 23:42:31 | <dibblego> | try writing it and see |
| 2021-05-19 23:42:32 | <dmwit> | No, s = Person and a = Int. |
| 2021-05-19 23:42:33 | <int-e> | a6a45081-2b83: you'd have a = Int |
| 2021-05-19 23:42:41 | <a6a45081-2b83> | cool |
| 2021-05-19 23:44:05 | <a6a45081-2b83> | Getter would be Getter Person Int :: (Int -> f Int) -> Person -> f Person. So we could have foo :: Int -> f Int; foo x = cx+1 ? |
| 2021-05-19 23:44:12 | <a6a45081-2b83> | * foox = Const (x+1) ? |
| 2021-05-19 23:45:15 | <dmwit> | sure |
| 2021-05-19 23:45:42 | × | johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in) |
| 2021-05-19 23:45:57 | × | kluk quits (45cb5249@cpe-69-203-82-73.nyc.res.rr.com) (Quit: Connection closed) |
| 2021-05-19 23:46:00 | → | visser_ joins (~visser_@185.169.233.10) |
| 2021-05-19 23:46:22 | × | plutoniix quits (~q@node-ujl.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-05-19 23:46:43 | → | liskin joins (~liskin@ackle.nomi.cz) |
| 2021-05-19 23:47:54 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-51.dsl.bell.ca) (Quit: Leaving) |
| 2021-05-19 23:48:00 | → | kluk joins (45cb5249@cpe-69-203-82-73.nyc.res.rr.com) |
| 2021-05-19 23:48:15 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-51.dsl.bell.ca) |
| 2021-05-19 23:50:11 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-19 23:52:42 | × | slac69917 quits (~slack1256@191.125.11.76) (Remote host closed the connection) |
| 2021-05-19 23:53:11 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::83a9) (Ping timeout: 258 seconds) |
| 2021-05-19 23:55:55 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 23:56:20 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 23:56:39 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-05-19 23:57:13 | → | plutoniix joins (~q@node-ujl.pool-125-24.dynamic.totinternet.net) |
| 2021-05-19 23:58:06 | → | heebo joins (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) |
| 2021-05-19 23:59:24 | × | lieven quits (~mal@unaffiliated/lieven) (Read error: Connection reset by peer) |
| 2021-05-20 00:00:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-20 00:00:24 | <heebo> | hello , i have a cabal.project file with multiple ```package: ``` declarations. However I cannot reference them from my Main.hs that sits at the top level |
| 2021-05-20 00:00:25 | <heebo> | ls |
| 2021-05-20 00:00:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-20 00:00:47 | × | Guest25961 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-20 00:00:51 | <dmwit> | Does your whatever.cabal list them in its build-depends stanza? |
| 2021-05-20 00:01:04 | <dmwit> | (field? I've never quite gotten the hang of cabal jargon.) |
| 2021-05-20 00:01:23 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-20 00:01:41 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-20 00:02:18 | <heebo> | i believe so |
| 2021-05-20 00:02:32 | <dmwit> | Okay. It's probably time to cook up a minimal reproducing example for us, then. |
| 2021-05-20 00:03:00 | <heebo> | sure |
| 2021-05-20 00:03:19 | × | Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Remote host closed the connection) |
| 2021-05-20 00:04:53 | → | Axman6 joins (~Axman6@pdpc/supporter/student/Axman6) |
| 2021-05-20 00:07:07 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 2021-05-20 00:07:39 | → | Guest87676 joins (~laudiacay@67.176.215.84) |
All times are in UTC.