Logs: liberachat/#haskell
| 2021-08-27 09:05:13 | <dminuoso> | timCF: I generally prefer IORef/MVar/etc in the environment, because it lets me avoid things like MonadBaseControl. |
| 2021-08-27 09:05:29 | <dminuoso> | With just a ReaderT/LoggingT based stack, you get free access to MonadUnliftIO |
| 2021-08-27 09:06:02 | <dminuoso> | StateT has so many unexpected nuances with respect to exceptions if you ever need to unlift something (e.g. as with `bracket`) |
| 2021-08-27 09:07:59 | <dminuoso> | int-e: Heh, the best comment regarding accursedUnutterablePerformIO is the first one here: https://web.archive.org/web/20200111052206/https://www.reddit.com/r/haskell/comments/2cbgpz/flee_traveller_flee_or_you_will_be_corrupted_and/ |
| 2021-08-27 09:09:25 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-27 09:09:46 | <timCF> | dminuoso: yeah, I'm unlifting a lot, because most of the libraries are using just IO, and if IO appears in negative position - it's game over without unlifting. |
| 2021-08-27 09:12:10 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c1b3:f9cf:5870:faa7) |
| 2021-08-27 09:12:26 | → | Guest55 joins (~Guest55@182.64.179.3) |
| 2021-08-27 09:15:49 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-27 09:16:40 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c1b3:f9cf:5870:faa7) (Ping timeout: 240 seconds) |
| 2021-08-27 09:16:47 | → | hegstal joins (~hegstal@2a02:c7f:7604:8a00:16d:5419:a8cf:3833) |
| 2021-08-27 09:19:02 | → | retroid_ joins (~retro@5ec19a54.skybroadband.com) |
| 2021-08-27 09:21:31 | × | retro_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 258 seconds) |
| 2021-08-27 09:22:55 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-08-27 09:24:24 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-27 09:26:01 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-27 09:33:07 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2021-08-27 09:34:25 | × | azeem quits (~azeem@176.201.20.14) (Ping timeout: 248 seconds) |
| 2021-08-27 09:35:13 | → | azeem joins (~azeem@176.201.20.14) |
| 2021-08-27 09:35:47 | → | Katarushisu joins (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 2021-08-27 09:41:26 | × | lortabac quits (~lortabac@151.73.200.217) (Read error: Connection reset by peer) |
| 2021-08-27 09:42:02 | → | lortabac joins (~lortabac@151.70.200.251) |
| 2021-08-27 09:42:19 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 250 seconds) |
| 2021-08-27 09:45:58 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-08-27 09:50:57 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2021-08-27 09:52:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-27 09:55:22 | <Guest55> | I have a function `next:: (Int, Hashtable s k v) -> ST s (Int, Hashtable s k v)` I want to do something like `(!! 10) $ iterate (>>= next) (1,mybook)` where `mybook :: Hashtable s k v` (this is inside a `do` block). But this gives me an error saying `type variable s would escape its scope`. Why is this happening? |
| 2021-08-27 09:57:15 | × | burnside_ quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-27 09:58:48 | <Guest55> | Umm I made an error in the question. Ignore the question, sorry |
| 2021-08-27 10:06:10 | × | azeem quits (~azeem@176.201.20.14) (Ping timeout: 252 seconds) |
| 2021-08-27 10:06:45 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-27 10:07:10 | × | Kaiepi quits (~Kaiepi@156.34.44.192) (Ping timeout: 240 seconds) |
| 2021-08-27 10:07:24 | → | azeem joins (~azeem@176.201.20.14) |
| 2021-08-27 10:11:08 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-08-27 10:12:32 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-08-27 10:13:54 | → | zer0bitz joins (~zer0bitz@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-08-27 10:15:25 | × | hendursa1 quits (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-08-27 10:15:31 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-08-27 10:15:48 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-27 10:18:50 | <siers> | Ollie[m], I didn't get to the :~: part yet, but it's a very nice paper in other regards as well, thanks! |
| 2021-08-27 10:19:03 | <Gurkenglas> | absurd (error "asd") prints asd, but hasnt absurd no pattern match? |
| 2021-08-27 10:19:22 | × | kayprish quits (~kayprish@77.243.29.13) (Remote host closed the connection) |
| 2021-08-27 10:20:05 | <Gurkenglas> | (I tried to ghci debug, but :set -fbreak-on-exception into :trace absurd (error "asd") into :back into :list just recommends the same rerun o.o |
| 2021-08-27 10:20:42 | <Guest55> | I have an inf list `[ST s (Int, Int)]` I want to extract the first element of this list that satisfies a condition. I initially tried using `sequence` and then `head . dropWhile` but sequence does not work with infinite lists I guess. What are the alternatives? |
| 2021-08-27 10:20:57 | <Ollie[m]> | siers: Good stuff! All Richard's papers are worth a read, probably! |
| 2021-08-27 10:24:01 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-27 10:26:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-27 10:28:10 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-08-27 10:30:21 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-27 10:32:14 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-08-27 10:32:34 | → | Kaiepi joins (~Kaiepi@156.34.44.192) |
| 2021-08-27 10:36:27 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-27 10:37:58 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-27 10:39:07 | × | kenran quits (~kenran@200116b82b180400b489723c692b519e.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-08-27 10:40:05 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-3bcd-b242-4a98-4bde.fixed6.kpn.net) |
| 2021-08-27 10:41:28 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-27 10:42:12 | → | sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 2021-08-27 10:45:46 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-08-27 10:47:42 | × | vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.2) |
| 2021-08-27 10:49:00 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-27 10:49:00 | → | pfurla_ joins (~pfurla@53.15.195.173.client.static.strong-in52.as13926.net) |
| 2021-08-27 10:51:40 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-08-27 10:51:56 | <Gurkenglas> | Ahh, absurd does pattern match its argument; this simply means that the argument is reduced to WHNF and then the result is fully matched against all patterns. Shouldn't https://hackage.haskell.org/package/base-4.15.0.0/docs/src/Data-Void.html#absurd without the `absurd a = case a of {}` line not throw the "lacks an accompanying binding" error because all patterns are matched :)? |
| 2021-08-27 10:54:28 | → | kuribas joins (~user@ptr-25vy0i9k5kxqroisf0f.18120a2.ip6.access.telenet.be) |
| 2021-08-27 10:54:57 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2021-08-27 10:55:24 | → | trcc joins (~trcc@users-1190.st.net.au.dk) |
| 2021-08-27 10:55:30 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 2021-08-27 10:56:28 | <kuribas> | is http://dev.stephendiehl.com/ down? |
| 2021-08-27 10:56:45 | <kuribas> | Or better question, is Stephen Diehl down? |
| 2021-08-27 10:57:31 | <Guest55> | https://www.stephendiehl.com/ is working fine for me |
| 2021-08-27 10:57:39 | <Guest55> | dev is not |
| 2021-08-27 10:57:53 | <kuribas> | right, so google is showing me the wrong link? |
| 2021-08-27 10:58:08 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-27 10:58:25 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-08-27 10:58:50 | <kuribas> | erm, it just got up :) |
| 2021-08-27 10:59:07 | × | martin02 quits (~silas@2001:4ca0:0:fe00:0:5efe:a96:1bc1) (Ping timeout: 240 seconds) |
| 2021-08-27 11:01:00 | → | alx741 joins (~alx741@181.196.68.187) |
| 2021-08-27 11:03:42 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 2021-08-27 11:03:59 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 2021-08-27 11:04:10 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-3bcd-b242-4a98-4bde.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2021-08-27 11:06:59 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-08-27 11:07:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-27 11:09:17 | → | AlexNoo_ joins (~AlexNoo@94.233.240.82) |
| 2021-08-27 11:09:35 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-08-27 11:10:58 | <trcc> | I am trying to develop my first haskell library, and I am getting in a bit over my head. It concerns using the Writer Monad and wrapping it in IO. https://paste.tomsmeding.com/TiBDgd9f maybe someone has a minute to help me :) |
| 2021-08-27 11:11:09 | × | AlexZenon quits (~alzenon@178.34.150.125) (Ping timeout: 250 seconds) |
| 2021-08-27 11:11:35 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-08-27 11:11:45 | <dminuoso> | % :t writer |
| 2021-08-27 11:11:45 | <yahb> | dminuoso: MonadWriter w m => (a, w) -> m a |
| 2021-08-27 11:12:13 | <dminuoso> | trcc: What's the type of `doStepResult`? |
| 2021-08-27 11:12:26 | → | AlexZenon joins (~alzenon@94.233.240.82) |
| 2021-08-27 11:12:33 | × | Alex_test quits (~al_test@178.34.150.125) (Ping timeout: 248 seconds) |
| 2021-08-27 11:12:34 | <dminuoso> | Oh hold on, I mixed up left and right here. |
| 2021-08-27 11:12:38 | <trcc> | https://paste.tomsmeding.com/TiBDgd9f |
| 2021-08-27 11:12:39 | <trcc> | sorry |
| 2021-08-27 11:12:43 | × | AlexNoo quits (~AlexNoo@178.34.150.125) (Ping timeout: 252 seconds) |
| 2021-08-27 11:12:44 | AlexNoo_ | is now known as AlexNoo |
| 2021-08-27 11:12:46 | <trcc> | I though it did not matter |
| 2021-08-27 11:12:56 | <trcc> | dminuoso: data DoStepResult x = DoStepResult {dsrStatus :: Status, dsrSvs :: SVs, dsrState :: UserState x } |
| 2021-08-27 11:13:15 | → | Alex_test joins (~al_test@94.233.240.82) |
All times are in UTC.