Logs: freenode/#haskell
| 2021-05-19 00:36:26 | <superstar64> | neat, ghc warns that any non bottom definition you provide for `cast :: (Int :~: String) -> Int -> String` is unreachable |
| 2021-05-19 00:38:23 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-19 00:39:10 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 00:39:11 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-19 00:39:41 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-05-19 00:40:22 | <superstar64> | unfortunately, this doesn't seem to work `cast :: (Int ~ String) => Int -> String; cast x = x` |
| 2021-05-19 00:42:20 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-19 00:43:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:505f:5646:cd3:804d) |
| 2021-05-19 00:44:12 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 2021-05-19 00:44:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-19 00:45:07 | × | ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-19 00:45:17 | <superstar64> | oh, scratch my first comment, it only warns when you pattern match on Refl |
| 2021-05-19 00:46:17 | → | dcompoze joins (~dcompoze@5E98D6D9.static.tld.pl) |
| 2021-05-19 00:48:41 | × | dcompoze quits (~dcompoze@5E98D6D9.static.tld.pl) (Client Quit) |
| 2021-05-19 00:48:52 | × | argento quits (~argent0@168.227.96.26) (Quit: leaving) |
| 2021-05-19 00:49:51 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:5051:16e0:8e89:e082) (Ping timeout: 260 seconds) |
| 2021-05-19 00:50:00 | → | ddellac__ joins (~ddellacos@86.106.143.217) |
| 2021-05-19 00:50:30 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-05-19 00:51:51 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-05-19 00:52:44 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-19 00:53:36 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 00:53:54 | → | peterhil` joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-05-19 00:54:34 | × | TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 245 seconds) |
| 2021-05-19 00:54:34 | × | ddellac__ quits (~ddellacos@86.106.143.217) (Ping timeout: 252 seconds) |
| 2021-05-19 00:55:25 | <superstar64> | what is the heterogeneous equality in Data.Type.Equality? what is it useful for? |
| 2021-05-19 00:57:06 | <c_wraith> | It's useful when you're working with polykinded stuff and you don't want to have a proof that two types have the same kind, then a second proof that they're the same type |
| 2021-05-19 00:57:41 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-19 00:58:09 | <superstar64> | is it representable in system-f ω like normal equality? |
| 2021-05-19 00:58:54 | <superstar64> | normal leibniz equality* |
| 2021-05-19 00:59:08 | × | hiruji quits (~hiruji@72.74.190.75) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-19 01:00:31 | → | hiruji joins (~hiruji@72.74.190.75) |
| 2021-05-19 01:02:03 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-05-19 01:04:27 | × | hiruji quits (~hiruji@72.74.190.75) (Client Quit) |
| 2021-05-19 01:04:40 | × | jai9 quits (~textual@cpe-74-72-114-231.nyc.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-19 01:05:33 | → | hiruji joins (~hiruji@72.74.190.75) |
| 2021-05-19 01:07:13 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 2021-05-19 01:08:05 | × | Guest41717 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 01:10:53 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-05-19 01:11:33 | × | Andriamanitra quits (~mikko@2a02:7b40:d418:6a61::1) (Ping timeout: 250 seconds) |
| 2021-05-19 01:12:05 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-19 01:12:40 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-19 01:13:12 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-19 01:13:26 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-19 01:13:58 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-05-19 01:14:00 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 01:14:19 | tim | is now known as Guest91197 |
| 2021-05-19 01:16:37 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-05-19 01:17:04 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds) |
| 2021-05-19 01:18:25 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-19 01:19:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-19 01:19:49 | <a6a45081-2b83> | do I have to use these evalState, runState, etc. in infix nottation inside do blocks? |
| 2021-05-19 01:20:33 | <Axman6> | have to? no |
| 2021-05-19 01:20:54 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-19 01:21:24 | <superstar64> | oh, i should start doing evalState with infix notation, why didn't i think of that earlier |
| 2021-05-19 01:22:00 | <a6a45081-2b83> | I'm learning state monad today and trying to convert existing code but getting lot of type errors :(( |
| 2021-05-19 01:22:03 | <a6a45081-2b83> | this is difficult |
| 2021-05-19 01:24:44 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-19 01:25:27 | → | tefter joins (bmaxa@gateway/vpn/protonvpn/tefter) |
| 2021-05-19 01:26:24 | <a6a45081-2b83> | stupid question but do I have to look at the first type inequality or the last while fixing compilation errors? |
| 2021-05-19 01:27:21 | <ski> | (`evalState` init) $ do .. |
| 2021-05-19 01:27:30 | <superstar64> | a6a45081-2b83, if you haven't already, try adding type annotation to your variable (local variables too) and enabling scoped type variables if you have too as well |
| 2021-05-19 01:27:34 | × | kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-05-19 01:28:23 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 2021-05-19 01:28:33 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 01:28:40 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 01:29:23 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-05-19 01:30:53 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-19 01:32:28 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-19 01:32:41 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-19 01:33:16 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-19 01:33:43 | × | peterhil` quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
| 2021-05-19 01:35:23 | → | drbean_ joins (~drbean@TC210-63-209-80.static.apol.com.tw) |
| 2021-05-19 01:35:41 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-05-19 01:37:26 | <superstar64> | is it possible to have an (inefficient) implemention of the `ST` monad without any builtin primitives? |
| 2021-05-19 01:38:46 | → | Andriamanitra joins (~mikko@2a02:7b40:d418:6a61::1) |
| 2021-05-19 01:39:09 | <superstar64> | i think you might need to change the type of `STRef`'s methods to be like something `readSTRef :: Threadable s => STRef s a -> ST s a` |
| 2021-05-19 01:39:24 | <superstar64> | though i'm worried that might break ST |
| 2021-05-19 01:41:26 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-yaowynkbxbqddnku) (Quit: Connection closed for inactivity) |
| 2021-05-19 01:41:39 | <a6a45081-2b83> | @hoogle "s -> ReaderT r m a -> StateT (ReaderT r m) a" |
| 2021-05-19 01:41:40 | <lambdabot> | No results found |
| 2021-05-19 01:43:34 | <nshepperd> | there's a pure implementation of ST floating around somewhere |
| 2021-05-19 01:44:25 | <Axman6> | missing an s in that StateT |
| 2021-05-19 01:44:50 | <nshepperd> | basically consisting of State over a heterogenous map |
| 2021-05-19 01:44:50 | <ski> | @hoogle s -> ReaderT r m a -> StateT s (ReaderT r m) a |
| 2021-05-19 01:44:51 | <lambdabot> | No results found |
| 2021-05-19 01:44:59 | <a6a45081-2b83> | @hoogle "s -> ReaderT r m a -> StateT s (ReaderT r m) a" |
| 2021-05-19 01:45:00 | <lambdabot> | No results found |
| 2021-05-19 01:45:10 | <a6a45081-2b83> | :t lift |
| 2021-05-19 01:45:11 | <ski> | (don't put quotes there) |
| 2021-05-19 01:45:12 | <lambdabot> | (MonadTrans t, Monad m) => m a -> t m a |
| 2021-05-19 01:45:43 | <a6a45081-2b83> | :t lift :: ReaderT r m a -> StateT s m2 a |
| 2021-05-19 01:45:44 | <lambdabot> | error: |
| 2021-05-19 01:45:44 | <lambdabot> | • Couldn't match type ‘m3’ with ‘ReaderT r1 m1’ |
| 2021-05-19 01:45:44 | <lambdabot> | ‘m3’ is a rigid type variable bound by |
| 2021-05-19 01:47:11 | <ski> | @type lift :: Monad m => ReaderT r m a -> StateT s (ReaderT r m) a |
| 2021-05-19 01:47:12 | <lambdabot> | Monad m => ReaderT r m a -> StateT s (ReaderT r m) a |
| 2021-05-19 01:47:27 | <a6a45081-2b83> | :raised_hands: |
| 2021-05-19 01:47:29 | <superstar64> | nshepperd, can you point me to it? |
| 2021-05-19 01:47:31 | × | xff0x quits (~xff0x@2001:1a81:5398:2600:34a3:dc49:97fe:469a) (Ping timeout: 250 seconds) |
| 2021-05-19 01:47:51 | <a6a45081-2b83> | ski: thanks! |
All times are in UTC.