Newest at the top
| 2025-05-07 10:07:38 +0200 | <haskellbridge> | <Bowuigi> Yeah that also works |
| 2025-05-07 10:06:12 +0200 | <haskellbridge> | <sm> if the task is a procedure, it's a procedure. Write the code that's most natural for it |
| 2025-05-07 10:06:01 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-07 10:05:44 +0200 | <haskellbridge> | <Bowuigi> Use flatparse for it |
| 2025-05-07 10:05:02 +0200 | <haskellbridge> | <Bowuigi> It's parsing 32 bytes |
| 2025-05-07 10:00:42 +0200 | <haskellbridge> | <magic_rb> But i dont know how to make it more functiinal |
| 2025-05-07 10:00:35 +0200 | <haskellbridge> | <magic_rb> My code is currently a while loop with if statements roughly corresponding to the steps there, all wrapped in a StateT which contains a Ptr Word8, ByteArray and MVector FATEntry. As you can see none of this is very "functional" |
| 2025-05-07 10:00:04 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-05-07 09:59:02 +0200 | <haskellbridge> | <magic_rb> So im writing a FAT12/16/32 driver for.my thesis and im struggling to imagine how to write this "not like C code". If you look at the "Programming Guide" section in https://wiki.osdev.org/FAT and scroll down there is a list of 8 steps that need to be done for reading out a single 32-byte entry |
| 2025-05-07 09:57:58 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-07 09:57:21 +0200 | <haskellbridge> | <magic_rb> I have a specific question related to this kinda |
| 2025-05-07 09:56:59 +0200 | <haskellbridge> | <hellwolf> okay, let's rather discuss technical cases. otherwise I can be sometimes too meta. I do armchair philosophy with friends as a hobby, it's a bad habit. |
| 2025-05-07 09:55:59 +0200 | <haskellbridge> | <hellwolf> Programming populists. |
| 2025-05-07 09:55:47 +0200 | <haskellbridge> | <hellwolf> I tend to agree. That's conflating current culture and popularity with ideal |
| 2025-05-07 09:54:54 +0200 | <haskellbridge> | <Bowuigi> I'm against the idea that imperative code is inherently "more intuitive"/"fundamental in programming" and all that, I don't think for makes things that much clearer |
| 2025-05-07 09:53:33 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-07 09:49:38 +0200 | <haskellbridge> | <Bowuigi> Don't "unroll the definition" unless it's absolutely necessary I guess |
| 2025-05-07 09:47:01 +0200 | <haskellbridge> | <hellwolf> that's saying nothing :D |
| 2025-05-07 09:46:26 +0200 | <haskellbridge> | <Bowuigi> IMO, for bad unless for is exactly what you need |
| 2025-05-07 09:46:24 +0200 | <haskellbridge> | okay, now i am in danger of being ad hominen. but i swear i can quote his words |
| 2025-05-07 09:46:24 +0200 | <haskellbridge> | <hellwolf> tom is openly a imperative 5th column in haskell republic. |
| 2025-05-07 09:45:25 +0200 | darkstardevx | (~darkstard@50.53.3.2) (Remote host closed the connection) |
| 2025-05-07 09:45:05 +0200 | darkstardevx | (~darkstard@50.53.3.2) darkstardevx |
| 2025-05-07 09:43:54 +0200 | <haskellbridge> | <Bowuigi> I actually answered, I cite: "Paradigm switches are useful and can make code clearer, but imperative is usually not the best one to switch to lol" |
| 2025-05-07 09:40:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-07 09:40:24 +0200 | <haskellbridge> | <hellwolf> Oops, it's IRC. And probably my message was squashed in the irc world. |
| 2025-05-07 09:39:31 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/nixvJLeXrGvewcPZQffWwHnL/5n5W18Cg9vc (3 lines) |
| 2025-05-07 09:39:28 +0200 | <haskellbridge> | <hellwolf> I guess the idea being sold by tom, if interpolated, is that for_ is at the sweet spot where it addresses /most/ of our iteration needs while being also friendly to people (as a word, or similar to foreach, in other languages). |
| 2025-05-07 09:36:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-07 09:35:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-07 09:33:30 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-07 09:28:35 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-07 09:28:14 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
| 2025-05-07 09:27:48 +0200 | <haskellbridge> | <hellwolf> no answer. IRC at its finest. |
| 2025-05-07 09:27:35 +0200 | <haskellbridge> | <hellwolf> But this thread is so confusing. So, for_ good or not |
| 2025-05-07 09:26:26 +0200 | <haskellbridge> | <hellwolf> I do want to sell Haskell. But I guess I am at the choir at ZuriHac. |
| 2025-05-07 09:26:20 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-07 09:26:18 +0200 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.4.3) |
| 2025-05-07 09:24:52 +0200 | <haskellbridge> | <hellwolf> :p good to know that we may become friends still. |
| 2025-05-07 09:23:39 +0200 | <haskellbridge> | <maerwald> I do have friends who use nix... so there is that xD |
| 2025-05-07 09:22:55 +0200 | <haskellbridge> | <hellwolf> maerwald: I will be at ZuriHac. Looking forward to seeing you in person. Not sure I will engage with your nix debate though :p |
| 2025-05-07 09:21:30 +0200 | rvalue- | rvalue |
| 2025-05-07 09:14:53 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-07 09:14:42 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-05-07 09:12:54 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-07 09:09:07 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-07 09:05:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-07 09:01:08 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f51a913f462df63336d.dip0.t-ipconnect.de) acidjnk |
| 2025-05-07 09:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-07 09:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |