Newest at the top
| 2025-05-13 18:57:23 +0200 | <EvanR> | those may both be incorrect in some cases |
| 2025-05-13 18:56:28 +0200 | <yin> | shouldn't students learn `listToMaybe` and `drop 1` instead? |
| 2025-05-13 18:55:08 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-13 18:54:22 +0200 | euleritian | (~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-05-13 18:54:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-13 18:44:42 +0200 | L29Ah | (~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 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-13 18:33:39 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:86a6:bb33:585:67c4) (Quit: ubert) |
| 2025-05-13 18:32:13 +0200 | euleritian | (~euleritia@dynamic-176-000-063-247.176.0.pool.telefonica.de) |
| 2025-05-13 18:29:02 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 244 seconds) |
| 2025-05-13 18:26:09 +0200 | euleritian | (~euleritia@dynamic-176-000-060-062.176.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-05-13 18:21:28 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-13 18:18:34 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-05-13 18:16:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 18:08:35 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-13 18:07:06 +0200 | L29Ah | (~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 +0200 | Frostillicus | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-13 17:52:59 +0200 | sabathan2 | (~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 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-13 17:37:40 +0200 | jespada | (~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 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |