Newest at the top
2025-05-13 18:59:05 +0200 | <yin> | yeah i see what you mean. but i'm a big treating students as intelligent beings |
2025-05-13 18:59:00 +0200 | Square2 | (~Square@user/square) Square |
2025-05-13 18:58:26 +0200 | <EvanR> | being partial doesn't make the always incorrect though |
2025-05-13 18:58:03 +0200 | <EvanR> | but I disagree with "no" |
2025-05-13 18:57:57 +0200 | <EvanR> | oh obviously |
2025-05-13 18:57:49 +0200 | <yin> | no. head and tail are incorrect in some cases |
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 |