Newest at the top
| 2026-05-27 09:38:14 +0000 | xff0x | (~xff0x@182.169.73.28) (Ping timeout: 254 seconds) |
| 2026-05-27 09:34:22 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 246 seconds) |
| 2026-05-27 09:34:02 +0000 | nitrix_ | (~nitrix@user/meow/nitrix) nitrix |
| 2026-05-27 09:32:50 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-27 09:30:47 +0000 | akegalj | (~akegalj@141-136-200-56.dsl.iskon.hr) akegalj |
| 2026-05-27 09:30:39 +0000 | michalz | (~michalz@185.246.207.222) |
| 2026-05-27 09:28:18 +0000 | michalz | (~michalz@185.246.207.217) (Ping timeout: 248 seconds) |
| 2026-05-27 09:26:09 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-05-27 09:17:05 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-05-27 09:14:51 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2026-05-27 09:08:14 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-27 09:05:05 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-27 09:02:03 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 08:57:24 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e54698efeb37c7e2227b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-05-27 08:54:42 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e53288db76fae8cf16d1.dip0.t-ipconnect.de) |
| 2026-05-27 08:50:43 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-05-27 08:50:29 +0000 | jonnie | (~jonnie@user/jonnie) (Read error: Connection reset by peer) |
| 2026-05-27 08:46:13 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Client Quit) |
| 2026-05-27 08:44:55 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-27 08:44:39 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-27 08:43:06 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 08:42:47 +0000 | <Axman6> | mangoiv: eh, in one way, but that doesn't give you index :: UnboxedArr# n a -> Int -> a, for all n |
| 2026-05-27 08:42:29 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Client Quit) |
| 2026-05-27 08:41:55 +0000 | <Axman6> | jaror: yeah, I guess I'm following the path that lead Ed to the birth of lens in the first place |
| 2026-05-27 08:41:26 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 08:37:10 +0000 | <mangoiv> | Axman6 isn't that just an unboxed tuple. |
| 2026-05-27 08:28:20 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 266 seconds) |
| 2026-05-27 08:17:49 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-27 08:17:19 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-05-27 08:16:05 +0000 | ft | (~ft@p4fc2aedc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-05-27 08:11:31 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-27 08:10:57 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Client Quit) |
| 2026-05-27 08:07:42 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-27 08:03:30 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2026-05-27 07:54:37 +0000 | <jaror> | Although you probably want to define `_r, _g, _b` lenses rather than the standard `_x`, `_y`, `_z`. |
| 2026-05-27 07:54:11 +0000 | chele | (~chele@user/chele) chele |
| 2026-05-27 07:52:05 +0000 | <jaror> | Regarding your other question: the linear package provides V0,V1,V2,V3,V4, which you can use for that purpose, for example: `data MyRGB = MyRGB {someFlags :: !Int, theChannels :: {-# UNPACK #-} !(V3 Float)}` |
| 2026-05-27 07:49:40 +0000 | <jaror> | Axman6: I've already changed the module name to Data.Array.Simple (and the package name to array-simple) I will still update the module metadata before publishing. |
| 2026-05-27 07:40:14 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-27 07:37:50 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-27 07:36:58 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-27 07:24:10 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-27 07:22:46 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-05-27 07:18:51 +0000 | michalz | (~michalz@185.246.207.217) |
| 2026-05-27 07:18:38 +0000 | michalz | (~michalz@185.246.207.201) (Read error: Connection reset by peer) |
| 2026-05-27 07:18:37 +0000 | <Axman6> | jaror: this question was inspired by your vector-simple package btw. RE: that package, I would recommend against using widely used module names like Data.Vector, maybe something like Data.Vector.Small or Data.Vector.Simple would be more appropriate. (you also need to update the metadata at the top of the modules, I'm pretty sure the Haskell Libraries Team isn't the maintainer right?) |
| 2026-05-27 07:15:07 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-27 07:14:18 +0000 | <Axman6> | I can see why allowing the length to be part of the type would cause issues, but in the case of statically known length it feels like it should work? Mostly wondering if we can do something at all akin to flexible array members (without the flexible, but also without the extra indirection a SmallArray or something would add) |
| 2026-05-27 07:14:13 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2026-05-27 07:11:34 +0000 | <Axman6> | Is there a good reason why we couldn't have unboxed arrays of statically known length in data types in GHC? So, something like data MyRGB = MyRGB {someFlags :: !Int, theChannels :: !(UnboxedVec# 3 Float)} where thefloats are stored inline? Basically equivalent to data MyRGB = MyRGB {flags :: !Int, red, blue, green :: !Float}, but indexable |