2025/05/13

Newest at the top

2025-05-13 18:55:08 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-13 18:54:22 +0200euleritian(~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de) (Ping timeout: 252 seconds)
2025-05-13 18:54:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-13 18:44:42 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-05-13 18:40:33 +0200 <EvanR> is what the warning should say
2025-05-13 18:40:13 +0200 <EvanR> head and tail are advanced pro tools only for the leet
2025-05-13 18:36:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-13 18:33:39 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:86a6:bb33:585:67c4) (Quit: ubert)
2025-05-13 18:32:13 +0200euleritian(~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de)
2025-05-13 18:29:02 +0200sajenim(~sajenim@user/sajenim) (Ping timeout: 244 seconds)
2025-05-13 18:26:09 +0200euleritian(~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2025-05-13 18:21:28 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-05-13 18:18:34 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-05-13 18:16:13 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 18:08:35 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-05-13 18:07:06 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-05-13 18:00:52 +0200[exa]dives into the glue
2025-05-13 18:00:25 +0200 <[exa]> unfortunately the setters&getters can't be "any" monad, they only get MonadIO
2025-05-13 17:59:07 +0200 <[exa]> I'd love to have State-ish lenses for that, as in `sliderInt "position" x 0 100` where x points into some `Position{_x::Int, ...}` or so
2025-05-13 17:58:05 +0200 <[exa]> you do `sliderInt "value" someRefToInt 0 100` and it updates the ref
2025-05-13 17:58:05 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-13 17:57:36 +0200 <[exa]> btw it's for this thing: https://hackage.haskell.org/package/dear-imgui-2.3.1/docs/DearImGui.html#v:sliderInt
2025-05-13 17:56:31 +0200 <[exa]> let's make a bit of glue that connects this together
2025-05-13 17:55:26 +0200 <[exa]> monochrom: for StateVar? yeah looks like that
2025-05-13 17:53:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-13 17:52:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-13 17:51:10 +0200 <monochrom> I think the standard answer is lens? :)
2025-05-13 17:47:59 +0200 <monochrom> Suppose you have foo :: IO () and bar :: IO U. -Wall warns about "do bar; ..." but not "do foo; ...".
2025-05-13 17:47:09 +0200 <monochrom> Suppose you have "data U = U". So it's isomorphic to (), right?
2025-05-13 17:46:35 +0200 <monochrom> Oh yeah the really annoying thing about those do-gooder warnings is that they are so bloody inconsistent.
2025-05-13 17:45:53 +0200 <[exa]> hm, is there any tooling to manage structured StateVar's ? (from here: https://hackage.haskell.org/package/StateVar-1.2.2/docs/Data-StateVar.html )
2025-05-13 17:43:09 +0200 <[exa]> well nvm, </nerdrage>
2025-05-13 17:42:51 +0200 <[exa]> what annoys me is that I see no such warning on `read` et al
2025-05-13 17:42:00 +0200 <monochrom> The school lab here is still at 9.4.8 and I am too lazy to ask the sysadmin to upgrade. >:)
2025-05-13 17:39:56 +0200 <monochrom> But OK one day some other do-gooder warning is going to bite me.
2025-05-13 17:39:21 +0200 <monochrom> I don't teach head or tail, so I don't have that problem. >:)
2025-05-13 17:39:11 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-05-13 17:37:40 +0200jespada(~jespada@r179-25-18-201.dialup.adsl.anteldata.net.uy) jespada
2025-05-13 17:37:20 +0200 <[exa]> maybe I'll just tell the students to go with the recommended version from ghcup, looks like it's 9.6
2025-05-13 17:36:43 +0200 <merijn> [exa]: The docs link to the proposal which explains how to disable it, so...
2025-05-13 17:36:35 +0200 <[exa]> ghhrrr, so correct!! but!!! so annoying!!111 aghgggg!
2025-05-13 17:36:18 +0200 <[exa]> but well nevermind I'm nerdraging over this here
2025-05-13 17:35:56 +0200 <[exa]> it looks like default in 9.8 or 9.10 (can't see which one we're using)
2025-05-13 17:35:52 +0200 <merijn> [exa]: Considering the docs say it's only in since 9.8, probably not :p
2025-05-13 17:34:53 +0200 <merijn> [exa]: Are you sure that's on by default and not in some warning flag you enabled?
2025-05-13 17:34:28 +0200 <[exa]> anytime we use `head` in courses it screams like "hey head is partial this is gonna crash" etc. Which is ofc useful but for people who are already struggling enough to even parse the output it's a little unconstructive
2025-05-13 17:33:15 +0200 <merijn> [exa]: Which one?
2025-05-13 17:33:03 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-13 17:32:33 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2025-05-13 17:31:41 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds)