Newest at the top
| 2025-01-12 23:25:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-01-12 23:24:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-12 23:22:27 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 23:22:14 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-12 23:22:07 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-12 23:21:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-01-12 23:21:13 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-12 23:20:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 23:18:12 +0100 | <haskellbridge> | <magic_rb> soo, i gotta do it manually |
| 2025-01-12 23:18:06 +0100 | <haskellbridge> | <magic_rb> and even there i need guaranteed ToJSON, Eq and Show |
| 2025-01-12 23:17:57 +0100 | tnt2 | tnt1 |
| 2025-01-12 23:17:57 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-12 23:17:49 +0100 | <haskellbridge> | <magic_rb> i need the dynamicism on the outside not on the inside where the Dynamic type occurs |
| 2025-01-12 23:17:32 +0100 | <haskellbridge> | <magic_rb> monochrom: oh yeah Data.Dynamic wont work for me :) |
| 2025-01-12 23:16:44 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 23:14:47 +0100 | <haskellbridge> | <magic_rb> and i wont say _worse_ im quite proud of my little project that could |
| 2025-01-12 23:13:49 +0100 | <haskellbridge> | <magic_rb> since it all goes over channels |
| 2025-01-12 23:13:42 +0100 | <haskellbridge> | <magic_rb> its quite funny how i essentially ended up implementing effects but slower |
| 2025-01-12 23:13:11 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-12 23:11:59 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-12 23:10:45 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 23:09:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-12 23:02:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 22:59:36 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 22:59:34 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 22:59:00 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 22:58:51 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 22:58:17 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 22:58:08 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 22:52:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-12 22:47:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 22:46:46 +0100 | <tomsmeding> | that quote is not about python :p |
| 2025-01-12 22:46:21 +0100 | <haskellbridge> | <magic_rb> "haskell programmers dont care about performance" <- me while shitting on python for being slow and writing haskell |
| 2025-01-12 22:45:50 +0100 | <tomsmeding> | but never mind that |
| 2025-01-12 22:45:38 +0100 | <tomsmeding> | it was probably pretty slow despite the MagicHash stuff because the typeclass polymorphic code couldn't be specialised mostly |
| 2025-01-12 22:45:29 +0100 | <haskellbridge> | <magic_rb> im doing a event sourcing thing, but i need to be able to pass around existential messages that also must be ToJSON :) |
| 2025-01-12 22:44:59 +0100 | <tomsmeding> | that was fun |
| 2025-01-12 22:44:54 +0100 | <tomsmeding> | I once wrote code that used higher-rank polymorphism to poke bytes in a MutableByteArray# |
| 2025-01-12 22:44:02 +0100 | dnerchm^ | (dnerchm@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2025-01-12 22:43:59 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2025-01-12 22:43:40 +0100 | <haskellbridge> | <magic_rb> this is fun |
| 2025-01-12 22:43:36 +0100 | <haskellbridge> | <magic_rb> this really feels like beating GHC over the head lmao |
| 2025-01-12 22:40:18 +0100 | <haskellbridge> | <magic_rb> after i get the initial version working :) want to write the dirty code myself first |
| 2025-01-12 22:40:00 +0100 | <haskellbridge> | <magic_rb> ill look into that |
| 2025-01-12 22:39:47 +0100 | <monochrom> | Yes that's safe. But then you would use Data.Dynamic which does exactly that for you so you don't have to write the dirty code yourself! |
| 2025-01-12 22:39:17 +0100 | <haskellbridge> | <magic_rb> im working with existential types btw |
| 2025-01-12 22:39:01 +0100 | <haskellbridge> | <magic_rb> is "unsafeCoerce" safe if behind a let binding that is only forced if safe? I have to first check type equality with "typeOf == typeOf", then "unsafeCoerce", which is safe since i know its the same |
| 2025-01-12 22:37:56 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-12 22:37:12 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2025-01-12 22:36:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |