Logs: freenode/#haskell
| 2021-03-03 01:55:48 | <zebrag> | (maybe a silly question) |
| 2021-03-03 01:55:57 | <monochrom> | b=id, that exposes a's type. |
| 2021-03-03 01:56:22 | <zebrag> | without troubling the compiler |
| 2021-03-03 01:56:47 | <zebrag> | ok |
| 2021-03-03 01:57:34 | <monochrom> | Oh nevermind, what I said doesn't help, the compiler does ban it. |
| 2021-03-03 01:57:45 | <zebrag> | what? |
| 2021-03-03 01:57:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-03 01:58:18 | <zebrag> | what is banned? |
| 2021-03-03 01:58:29 | <monochrom> | case Ap [4] (Pure id) of Ap x _ -> x = type error "because type variable ‘a’ would escape its scope" |
| 2021-03-03 01:59:06 | <zebrag> | that's why I lifted the `b` |
| 2021-03-03 01:59:07 | <monochrom> | I guess it has to be runAp. |
| 2021-03-03 01:59:58 | <monochrom> | Oh! Then it's OK, b's type is known, a's type can come from b's type, no more mystery. |
| 2021-03-03 02:00:17 | <zebrag> | `case Ap [4] (Pure id) of Ap x (Pure b) -> b <$> x` |
| 2021-03-03 02:00:25 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Remote host closed the connection) |
| 2021-03-03 02:00:28 | <zebrag> | [4] |
| 2021-03-03 02:02:02 | <zebrag> | I was thinking you can free a value from the existential warden by sneaking in a function |
| 2021-03-03 02:02:42 | <monochrom> | You did. |
| 2021-03-03 02:02:43 | <zebrag> | and Bob's your uncle, the variable escapes |
| 2021-03-03 02:03:02 | × | TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (Ping timeout: 264 seconds) |
| 2021-03-03 02:04:06 | × | Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 268 seconds) |
| 2021-03-03 02:04:25 | × | comboy_ quits (~quassel@tesuji.pl) (Ping timeout: 260 seconds) |
| 2021-03-03 02:06:04 | <zebrag> | I don't know if the metaphor could have any sort of validity, though. If only because I don't yet master the existential types, at all. |
| 2021-03-03 02:07:20 | → | Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-03-03 02:07:57 | × | kodein quits (~kodein@217.146.82.202) (Remote host closed the connection) |
| 2021-03-03 02:09:08 | × | solomon` quits (4ca8078b@cpe-76-168-7-139.socal.res.rr.com) (Quit: Connection closed) |
| 2021-03-03 02:12:34 | <zebrag> | "b's type is known": nice. `a` doesn't escape anymore. (still reading...) |
| 2021-03-03 02:14:07 | <monochrom> | OK, here is a better story. |
| 2021-03-03 02:14:52 | <monochrom> | You start with Ap [4] (Pure id) :: Ap [] Integer. And we say we forget two types: [4]'s type, and id's domain type. |
| 2021-03-03 02:15:12 | → | comboy joins (~quassel@tesuji.pl) |
| 2021-03-03 02:15:33 | <monochrom> | But id's codomain type Integer is known. |
| 2021-03-03 02:15:52 | <zebrag> | "honour the precessing of answers". I suppose it's about the lhs of `<*>` is to be processed before the rhs, in case there is a `state`, or as it is the case with parsers. |
| 2021-03-03 02:15:56 | × | thunderrd quits (~thunderrd@183.182.112.145) (Ping timeout: 272 seconds) |
| 2021-03-03 02:16:21 | → | ddellacosta joins (~ddellacos@86.106.143.227) |
| 2021-03-03 02:16:23 | → | TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2021-03-03 02:16:36 | × | apache801 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 2021-03-03 02:17:23 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-fpwdjwiyfpigsxnc) (Quit: Connection closed for inactivity) |
| 2021-03-03 02:18:40 | → | apache801 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-03 02:18:59 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:6892:934d:985d:8f37) |
| 2021-03-03 02:19:39 | <zebrag> | processing* |
| 2021-03-03 02:20:23 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-03-03 02:20:54 | × | ddellacosta quits (~ddellacos@86.106.143.227) (Ping timeout: 245 seconds) |
| 2021-03-03 02:21:26 | <monochrom> | I am now wondering why it is not "Ap :: f (a->b) -> Ap f a -> Ap f b". |
| 2021-03-03 02:21:46 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-03 02:21:48 | <zebrag> | exactly, just what I was thinking |
| 2021-03-03 02:22:15 | → | thunderrd joins (~thunderrd@183.182.112.145) |
| 2021-03-03 02:22:23 | <zebrag> | maybe they are `flip` addicts |
| 2021-03-03 02:23:52 | → | ukboi joins (~ukboi@139.28.218.148) |
| 2021-03-03 02:24:53 | <zebrag> | Or because, early applicatives had this signature |
| 2021-03-03 02:25:22 | <monochrom> | If I do that, I incur a "Functor f" requirement. |
| 2021-03-03 02:26:21 | × | boxscape quits (4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243) (Ping timeout: 264 seconds) |
| 2021-03-03 02:26:32 | <zebrag> | By all means. And ditch the flips. |
| 2021-03-03 02:26:56 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-03-03 02:28:04 | <monochrom> | Ah I can't finish fmap. |
| 2021-03-03 02:28:12 | → | sz0_ joins (uid110435@gateway/web/irccloud.com/x-tlpyvfiuvwdjqrhp) |
| 2021-03-03 02:28:51 | <monochrom> | Err nevermind, I can. |
| 2021-03-03 02:29:58 | × | sw1nn quits (~sw1nn@2a00:23c7:622f:2c00:df3:76c2:ae90:b3b4) (*.net *.split) |
| 2021-03-03 02:29:58 | × | michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-niomjibmmrgwzzyy) (*.net *.split) |
| 2021-03-03 02:29:58 | × | sm[m] quits (simonmicma@gateway/shell/matrix.org/x-smorkrdiwycaaxbo) (*.net *.split) |
| 2021-03-03 02:29:58 | × | joe[m]3 quits (joemonoida@gateway/shell/matrix.org/x-zrgraxvdmbpvqofd) (*.net *.split) |
| 2021-03-03 02:29:58 | × | moobar quits (sid171730@gateway/web/irccloud.com/x-lxdmnqustlyookkh) (*.net *.split) |
| 2021-03-03 02:29:58 | × | unclechu quits (unclechuma@gateway/shell/matrix.org/x-tqwhdmxbxpfopxbc) (*.net *.split) |
| 2021-03-03 02:29:58 | × | fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-altyhdajrdgkwiga) (*.net *.split) |
| 2021-03-03 02:29:58 | × | mentaal[m] quits (mentaalmat@gateway/shell/matrix.org/x-cldzerqnoqwflcto) (*.net *.split) |
| 2021-03-03 02:29:58 | × | Liyang[m] quits (liyangmatr@gateway/shell/matrix.org/x-pppuhernsulwjyww) (*.net *.split) |
| 2021-03-03 02:29:58 | × | darkcodi[m] quits (darkcodima@gateway/shell/matrix.org/x-yuxcrrjvakxjaoby) (*.net *.split) |
| 2021-03-03 02:29:58 | × | mud quits (kadobanmat@gateway/shell/matrix.org/x-apivwpznfnnlclpi) (*.net *.split) |
| 2021-03-03 02:29:58 | × | johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-taasofpihtwizvlh) (*.net *.split) |
| 2021-03-03 02:29:58 | × | l8star__ quits (~l8star@business-90-187-113-149.pool2.vodafone-ip.de) (*.net *.split) |
| 2021-03-03 02:29:58 | × | sz0 quits (uid110435@gateway/web/irccloud.com/x-jnsxmdloooyyfwrd) (*.net *.split) |
| 2021-03-03 02:29:58 | × | natim87 quits (sid286962@gateway/web/irccloud.com/x-ggglpztnteraezah) (*.net *.split) |
| 2021-03-03 02:29:58 | × | banjiewen__ quits (sid115913@gateway/web/irccloud.com/x-rsmfwpptfrqcdppn) (*.net *.split) |
| 2021-03-03 02:29:58 | × | systemfault quits (sid267009@gateway/web/irccloud.com/x-mjidzbagddabkzax) (*.net *.split) |
| 2021-03-03 02:29:58 | × | luite quits (sid387799@gateway/web/irccloud.com/x-ohgaypzpftwfeuju) (*.net *.split) |
| 2021-03-03 02:29:58 | × | lortabac quits (~lortabac@51.158.65.124) (*.net *.split) |
| 2021-03-03 02:29:58 | × | shapr quits (~shapr@haskell/developer/shapr) (*.net *.split) |
| 2021-03-03 02:30:02 | sz0_ | is now known as sz0 |
| 2021-03-03 02:33:15 | → | sw1nn joins (~sw1nn@2a00:23c7:622f:2c00:df3:76c2:ae90:b3b4) |
| 2021-03-03 02:33:15 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-niomjibmmrgwzzyy) |
| 2021-03-03 02:33:15 | → | sm[m] joins (simonmicma@gateway/shell/matrix.org/x-smorkrdiwycaaxbo) |
| 2021-03-03 02:33:15 | → | joe[m]3 joins (joemonoida@gateway/shell/matrix.org/x-zrgraxvdmbpvqofd) |
| 2021-03-03 02:33:15 | → | moobar joins (sid171730@gateway/web/irccloud.com/x-lxdmnqustlyookkh) |
| 2021-03-03 02:33:15 | → | unclechu joins (unclechuma@gateway/shell/matrix.org/x-tqwhdmxbxpfopxbc) |
| 2021-03-03 02:33:15 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-altyhdajrdgkwiga) |
| 2021-03-03 02:33:15 | → | mentaal[m] joins (mentaalmat@gateway/shell/matrix.org/x-cldzerqnoqwflcto) |
| 2021-03-03 02:33:15 | → | Liyang[m] joins (liyangmatr@gateway/shell/matrix.org/x-pppuhernsulwjyww) |
| 2021-03-03 02:33:15 | → | darkcodi[m] joins (darkcodima@gateway/shell/matrix.org/x-yuxcrrjvakxjaoby) |
| 2021-03-03 02:33:15 | → | mud joins (kadobanmat@gateway/shell/matrix.org/x-apivwpznfnnlclpi) |
| 2021-03-03 02:33:15 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-taasofpihtwizvlh) |
| 2021-03-03 02:33:15 | → | l8star__ joins (~l8star@business-90-187-113-149.pool2.vodafone-ip.de) |
| 2021-03-03 02:33:15 | → | natim87 joins (sid286962@gateway/web/irccloud.com/x-ggglpztnteraezah) |
| 2021-03-03 02:33:15 | → | banjiewen__ joins (sid115913@gateway/web/irccloud.com/x-rsmfwpptfrqcdppn) |
| 2021-03-03 02:33:15 | → | systemfault joins (sid267009@gateway/web/irccloud.com/x-mjidzbagddabkzax) |
| 2021-03-03 02:33:15 | → | luite joins (sid387799@gateway/web/irccloud.com/x-ohgaypzpftwfeuju) |
| 2021-03-03 02:33:15 | → | lortabac joins (~lortabac@51.158.65.124) |
| 2021-03-03 02:33:15 | → | shapr joins (~shapr@haskell/developer/shapr) |
| 2021-03-03 02:33:36 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-03-03 02:33:58 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Remote host closed the connection) |
| 2021-03-03 02:34:05 | × | dixie quits (~dixie@real.wilbury.sk) (Ping timeout: 256 seconds) |
| 2021-03-03 02:34:28 | × | sdressel_ quits (~sdressel@pwning.de) (Ping timeout: 276 seconds) |
| 2021-03-03 02:34:28 | × | madnificent quits (~madnifice@static.210.74.63.178.clients.your-server.de) (Ping timeout: 276 seconds) |
All times are in UTC.