Logs: liberachat/#haskell
| 2021-07-15 10:29:51 | × | azeem quits (~azeem@176.201.40.210) (Ping timeout: 258 seconds) |
| 2021-07-15 10:30:07 | → | azeem joins (~azeem@176.201.40.210) |
| 2021-07-15 10:30:09 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 2021-07-15 10:30:38 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-07-15 10:30:41 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-15 10:30:44 | cheater1__ | is now known as cheater |
| 2021-07-15 10:31:07 | → | andrews_ joins (~andrews@103.210.27.189) |
| 2021-07-15 10:34:30 | × | andrews quits (~andrews@user/andrews) (Ping timeout: 252 seconds) |
| 2021-07-15 10:37:10 | × | azeem quits (~azeem@176.201.40.210) (Ping timeout: 272 seconds) |
| 2021-07-15 10:37:11 | → | agua joins (~agua@2804:14c:8793:8e2f:99df:d2fc:1544:f08e) |
| 2021-07-15 10:39:08 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-15 10:39:10 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-15 10:39:13 | cheater1__ | is now known as cheater |
| 2021-07-15 10:40:57 | × | pesada quits (~agua@2804:18:48:1eaf:1:0:1d0b:6be0) (Ping timeout: 245 seconds) |
| 2021-07-15 10:43:43 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-07-15 10:44:32 | → | pesada joins (~agua@2804:18:48:1eaf:1:0:1d0b:6be0) |
| 2021-07-15 10:44:51 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer) |
| 2021-07-15 10:44:59 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-07-15 10:45:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-15 10:45:54 | × | agua quits (~agua@2804:14c:8793:8e2f:99df:d2fc:1544:f08e) (Ping timeout: 255 seconds) |
| 2021-07-15 10:45:57 | → | azeem joins (~azeem@176.201.40.210) |
| 2021-07-15 10:47:20 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-15 10:47:40 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 10:51:21 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-15 10:51:31 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:9925:18b1:79f7:f242) |
| 2021-07-15 10:55:00 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-15 10:55:46 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-15 10:55:55 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 268 seconds) |
| 2021-07-15 10:55:56 | <pippijn> | does this version of #haskell have the hackage announce bot? |
| 2021-07-15 10:56:06 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 10:56:41 | → | chomwitt joins (~Pitsikoko@ppp-94-67-202-202.home.otenet.gr) |
| 2021-07-15 10:56:49 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 268 seconds) |
| 2021-07-15 10:56:52 | × | azeem quits (~azeem@176.201.40.210) (Ping timeout: 252 seconds) |
| 2021-07-15 10:57:10 | → | azeem joins (~azeem@176.201.40.210) |
| 2021-07-15 10:58:49 | → | peterhil_ joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-15 11:00:35 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-15 11:01:51 | × | peterhil quits (~peterhil@mobile-access-bceeac-89.dhcp.inet.fi) (Ping timeout: 265 seconds) |
| 2021-07-15 11:03:12 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 258 seconds) |
| 2021-07-15 11:03:19 | × | chomwitt quits (~Pitsikoko@ppp-94-67-202-202.home.otenet.gr) (Ping timeout: 268 seconds) |
| 2021-07-15 11:03:52 | × | cheater quits (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2021-07-15 11:04:34 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 11:04:52 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-15 11:05:10 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-07-15 11:05:47 | → | smichel17_ joins (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) |
| 2021-07-15 11:07:26 | × | andrews_ quits (~andrews@103.210.27.189) (Quit: Leaving) |
| 2021-07-15 11:09:36 | <tomsmeding> | pippijn: I haven't seen it say anything yet, so I assume no |
| 2021-07-15 11:09:42 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-15 11:09:57 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 11:10:46 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-15 11:15:07 | ← | drd parts (~drd@93-39-151-19.ip76.fastwebnet.it) (ERC (IRC client for Emacs 28.0.50)) |
| 2021-07-15 11:17:15 | <Orbstheorem> | Given a type `a` (passed through an existential type), how can I write a function taking such type (or a proxy, or the existential instance) and return a witness whether such type fulfills a constraint (`MyClass b`) or not? the way I see that witness is a type-level `Maybe a'`, where if just; `MyClass a'` and somehow `a'` implies `a`. |
| 2021-07-15 11:17:49 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-15 11:17:59 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Quit: -) |
| 2021-07-15 11:18:40 | <Taneb> | Orbstheorem: I don't think that that's possible |
| 2021-07-15 11:32:04 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-15 11:32:37 | × | azeem quits (~azeem@176.201.40.210) (Ping timeout: 245 seconds) |
| 2021-07-15 11:32:55 | <tomsmeding> | Orbstheorem: operationally, evidence that a type 'a' has an instance 'MyClass a' is an actual dictionary (record) containing the members of that class, specialised to 'a'. For example, the representation of 'Show a' at runtime literally is a function 'a -> String'. |
| 2021-07-15 11:33:14 | <tomsmeding> | so your hypothetical function would need to pull this class implementation out of thin air at runtime |
| 2021-07-15 11:33:14 | → | azeem joins (~azeem@176.201.40.210) |
| 2021-07-15 11:33:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-15 11:33:39 | <tomsmeding> | it might be possible to hack something using Typeable, but at that point you should ask if that's really what you want to do :p |
| 2021-07-15 11:33:47 | <maerwald> | you send a HTTP request to a microservice containing all the data |
| 2021-07-15 11:33:55 | <maerwald> | easy |
| 2021-07-15 11:34:03 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 2021-07-15 11:34:17 | <tomsmeding> | maerwald: I assume that would live in a kubernetes cluster, otherwise it won't be able to handle the volume coming from the application |
| 2021-07-15 11:34:40 | <maerwald> | yeah, in the cloud |
| 2021-07-15 11:34:49 | <tomsmeding> | ☁️ |
| 2021-07-15 11:45:46 | × | azeem quits (~azeem@176.201.40.210) (Ping timeout: 246 seconds) |
| 2021-07-15 11:46:02 | → | azeem joins (~azeem@176.201.40.210) |
| 2021-07-15 11:49:09 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-15 11:50:15 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 255 seconds) |
| 2021-07-15 11:54:14 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-15 11:54:47 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-15 11:59:38 | → | keutoi joins (~keutoi@223.237.20.166) |
| 2021-07-15 12:00:11 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-07-15 12:00:20 | × | azeem quits (~azeem@176.201.40.210) (Ping timeout: 268 seconds) |
| 2021-07-15 12:00:23 | → | Guest829 joins (~Guest829@2a01:cb15:81e5:f00:f97d:c231:ccf4:3cfa) |
| 2021-07-15 12:02:12 | → | gentauro joins (~gentauro@user/gentauro) |
| 2021-07-15 12:03:49 | <lechner> | Hi, is there an easy way to get some parsing diagnosics from a "generic" FromJSON, please? |
| 2021-07-15 12:04:39 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:9925:18b1:79f7:f242) (Ping timeout: 268 seconds) |
| 2021-07-15 12:04:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-15 12:04:44 | → | azeem joins (~azeem@176.201.40.210) |
| 2021-07-15 12:08:22 | × | prite quits (~pritam@user/pritambaral) (Ping timeout: 272 seconds) |
| 2021-07-15 12:09:45 | → | m4lvin joins (~m4lvin@w4eg.de) |
| 2021-07-15 12:10:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-15 12:11:02 | → | prite joins (~pritam@user/pritambaral) |
| 2021-07-15 12:11:08 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-15 12:12:28 | × | Guest829 quits (~Guest829@2a01:cb15:81e5:f00:f97d:c231:ccf4:3cfa) (Quit: Client closed) |
| 2021-07-15 12:13:34 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-15 12:16:56 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-15 12:17:15 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 255 seconds) |
| 2021-07-15 12:17:52 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-15 12:18:44 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-15 12:22:07 | <Orbstheorem> | tomsmeding: How is a proxy encoded at runtime? There's no instance to complete the dict. |
| 2021-07-15 12:22:29 | <tomsmeding> | what kind of proxy? |
| 2021-07-15 12:22:44 | <tomsmeding> | 'f :: Proxy a -> Int' ? |
| 2021-07-15 12:22:51 | <Orbstheorem> | https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Proxy.html |
| 2021-07-15 12:22:59 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-15 12:23:00 | <tomsmeding> | or 'f :: Show a => Proxy a -> Int'? |
| 2021-07-15 12:23:13 | <Orbstheorem> | The later. |
All times are in UTC.