Logs: freenode/#haskell
| 2021-04-28 19:41:54 | <todda7> | is the mean zscore equal to 0? |
| 2021-04-28 19:41:55 | <slack1256> | https://github.com/mikeizbicki/ifcxt |
| 2021-04-28 19:42:12 | <slack1256> | We probably can ask if a type has an instance O.o |
| 2021-04-28 19:43:54 | <hyperisco> | yes but that is a different question |
| 2021-04-28 19:44:56 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-04-28 19:46:17 | <hyperisco> | slack1256, overlapping instances dips into the negated question because it has to know if any better instance exists, which is not an open world question |
| 2021-04-28 19:46:46 | <slack1256> | Mmmm I see |
| 2021-04-28 19:46:52 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-28 19:46:57 | <slack1256> | How would I proceed if I have closed set of types? |
| 2021-04-28 19:47:01 | <hyperisco> | but… maybe if you use OVERLAPPABLE on the more general instance, and OVERLAPPING on the more specific one, it might work |
| 2021-04-28 19:47:13 | <hyperisco> | you'd use a closed type family |
| 2021-04-28 19:47:19 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-28 19:47:33 | <hyperisco> | then you can map Type -> Bool |
| 2021-04-28 19:50:20 | <hyperisco> | you'd want DataKinds |
| 2021-04-28 19:51:07 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-28 19:51:09 | <slack1256> | Mmm know this is taking advantage of your kindness, but I don't understand. Only if can/want could you give me an example? |
| 2021-04-28 19:51:10 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-04-28 19:51:23 | <slack1256> | *I know |
| 2021-04-28 19:51:52 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-28 19:52:02 | <hyperisco> | type family IsKnownKey a where IsKnownKey Int = True; IsKnownKey a = False |
| 2021-04-28 19:52:17 | <hyperisco> | I potentially have misremembered the syntax |
| 2021-04-28 19:52:32 | <slack1256> | that is the correct syntax for closed type families |
| 2021-04-28 19:52:39 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-28 19:52:44 | <hyperisco> | that is what I was attempting |
| 2021-04-28 19:54:12 | <hyperisco> | class KnownKey a x | a -> x where knownKey :: a -> Maybe a; instance IsKnownKey a ~ x => KnownKey a True where knownKey = Just |
| 2021-04-28 19:54:57 | <hyperisco> | oh I meant to have that constraint on the class |
| 2021-04-28 19:55:43 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Quit: Connection closed) |
| 2021-04-28 19:56:02 | <slack1256> | class IsKnowKey a ~ x => KnownKey a x | a -> x where ... got it. |
| 2021-04-28 19:56:35 | <hyperisco> | that functional dependency is evident from the type family but I think you still have to tell ghc about it |
| 2021-04-28 19:58:42 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-04-28 19:58:57 | <slack1256> | Probably injectivity would help... |
| 2021-04-28 19:59:02 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-28 20:00:18 | <hyperisco> | the idea is that you know a so injectivity is not needed |
| 2021-04-28 20:00:25 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-28 20:00:44 | <hyperisco> | if you're having to ask "what are all the known keys?" then that is going to need a different design |
| 2021-04-28 20:01:03 | <hyperisco> | say with type lists |
| 2021-04-28 20:01:25 | <hyperisco> | dollars to donuts this is more work than you need to do :P |
| 2021-04-28 20:01:58 | <slack1256> | No no, I just want to get a `Just val` if the type has an instance. No need to enumerate. |
| 2021-04-28 20:05:11 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-04-28 20:05:40 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds) |
| 2021-04-28 20:05:49 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-28 20:07:13 | × | xff0x quits (~xff0x@2001:1a81:5216:4600:d365:aa72:75db:f7b9) (Ping timeout: 276 seconds) |
| 2021-04-28 20:07:59 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-28 20:08:35 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-04-28 20:08:53 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-04-28 20:08:54 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-28 20:11:13 | × | jgt_ quits (~jgt@46.154.74.77) (Remote host closed the connection) |
| 2021-04-28 20:12:47 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-04-28 20:13:11 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-28 20:14:25 | → | safinaskar joins (6dfc5a88@109.252.90.136) |
| 2021-04-28 20:14:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-28 20:17:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-28 20:19:10 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-28 20:21:01 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:61fb:ae9:64fb:f0ec) |
| 2021-04-28 20:21:38 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 246 seconds) |
| 2021-04-28 20:23:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-28 20:23:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-28 20:23:48 | → | xff0x joins (~xff0x@2001:1a81:5216:4600:d365:aa72:75db:f7b9) |
| 2021-04-28 20:24:08 | → | jgt_ joins (~jgt@88.225.221.135) |
| 2021-04-28 20:24:15 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:5b3:e73b:338e:cc47) () |
| 2021-04-28 20:25:27 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-28 20:28:52 | × | jgt_ quits (~jgt@88.225.221.135) (Ping timeout: 265 seconds) |
| 2021-04-28 20:29:52 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-28 20:32:30 | × | wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Quit: Leaving) |
| 2021-04-28 20:33:17 | → | jgt_ joins (~jgt@88.225.221.135) |
| 2021-04-28 20:37:10 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-28 20:38:16 | × | safinaskar quits (6dfc5a88@109.252.90.136) (Quit: Connection closed) |
| 2021-04-28 20:42:39 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:61fb:ae9:64fb:f0ec) (Ping timeout: 260 seconds) |
| 2021-04-28 20:44:08 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-04-28 20:45:04 | × | bor0 quits (~boro@unaffiliated/boro/x-000000001) (Quit: Leaving) |
| 2021-04-28 20:46:49 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-04-28 20:48:03 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-28 20:48:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-28 20:49:13 | × | Matthias1 quits (~matthias@li890-22.members.linode.com) (Read error: Connection reset by peer) |
| 2021-04-28 20:49:21 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-28 20:50:07 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-28 20:50:21 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-28 20:51:58 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-28 20:54:00 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-28 20:54:16 | × | neiluj quits (~jco@unaffiliated/neiluj) (Remote host closed the connection) |
| 2021-04-28 20:54:58 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-04-28 20:57:11 | × | aramend quits (~aramend@5.186.117.231.cgn.fibianet.dk) (Quit: Leaving) |
| 2021-04-28 20:57:13 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-04-28 20:57:38 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-28 20:57:54 | → | Madars joins (~null@unaffiliated/madars) |
| 2021-04-28 21:00:25 | → | tributarian joins (sid381145@gateway/web/irccloud.com/x-nsecoaejldvgfonl) |
| 2021-04-28 21:01:00 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-28 21:01:50 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-04-28 21:04:27 | × | michalz quits (~user@185.246.204.118) (Remote host closed the connection) |
| 2021-04-28 21:08:48 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 268 seconds) |
| 2021-04-28 21:09:25 | × | Guest6509 quits (~laudiacay@45.162.228.190) (Ping timeout: 268 seconds) |
| 2021-04-28 21:12:00 | <tributarian> | Has anyone here used beam with a database read replica? I am trying to understand the Haskell database ecosystem. I have an application with two database nodes, read/write and read-only. It sort of looks like I would have to handle the split at a higher level than beam and just have a connection to each node passing each one to beam depending on the nature of the operation. |
| 2021-04-28 21:17:54 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-28 21:19:04 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-28 21:19:09 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-28 21:20:39 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-28 21:24:46 | × | remby quits (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) (Quit: remby) |
| 2021-04-28 21:25:02 | → | remby joins (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) |
| 2021-04-28 21:25:07 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2021-04-28 21:25:55 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
All times are in UTC.