Newest at the top
2025-04-09 18:06:13 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f995d166d77a499a203.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-04-09 17:58:54 +0200 | as_ | (~as@2800:a4:298:ee00:7661:9c1d:e20c:62d8) (Adiós) |
2025-04-09 17:54:55 +0200 | califax | (~califax@user/califx) califx |
2025-04-09 17:54:55 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-04-09 17:54:26 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-04-09 17:54:26 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-04-09 17:51:44 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-04-09 17:49:15 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
2025-04-09 17:48:03 +0200 | ft | (~ft@p508db463.dip0.t-ipconnect.de) ft |
2025-04-09 17:44:45 +0200 | <EvanR> | so that's what Data.Vector.Mutable.Linear does |
2025-04-09 17:43:30 +0200 | <EvanR> | yes |
2025-04-09 17:43:24 +0200 | <EvanR> | no |
2025-04-09 17:43:18 +0200 | <EvanR> | fromList :: (HasCallStack, Movable b) => [a] -> (Vector a %1 -> b) %1 -> b |
2025-04-09 17:42:48 +0200 | <EvanR> | let me find the constructor |
2025-04-09 17:42:12 +0200 | <int-e> | I'm trying to understand where the unrestricted a in your signature comes from. That would mean the elements of the vectors are also unrestricted when they are put in, wouldn't it? |
2025-04-09 17:40:13 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2025-04-09 17:39:34 +0200 | <EvanR> | a vector of linear functions? |
2025-04-09 17:38:02 +0200 | <EvanR> | example? |
2025-04-09 17:37:11 +0200 | int-e | shrugs |
2025-04-09 17:36:59 +0200 | <int-e> | EvanR: more precisely, the problem would occur if the elements have a linear type |
2025-04-09 17:35:54 +0200 | <EvanR> | get :: HasCallStack => Int -> Vector a %1 -> (Ur a, Vector a) |
2025-04-09 17:35:26 +0200 | <int-e> | though you could still have a function that replaces an array element and returns the old one |
2025-04-09 17:34:41 +0200 | <EvanR> | oh, linear |
2025-04-09 17:34:29 +0200 | <int-e> | I don't think it matters for the linear type trouble |
2025-04-09 17:34:08 +0200 | <lambdabot> | 4 |
2025-04-09 17:34:07 +0200 | <EvanR> | > [1,2,3,4,5] !! 3 |
2025-04-09 17:33:49 +0200 | <EvanR> | operator* |
2025-04-09 17:33:45 +0200 | <EvanR> | the operation is usually ! for arrays |
2025-04-09 17:33:43 +0200 | zmt00 | (~zmt00@user/zmt00) zmt00 |
2025-04-09 17:33:38 +0200 | <EvanR> | !! is lookup |
2025-04-09 17:32:02 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
2025-04-09 17:31:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:2db1:da99:c28d:36bf) |
2025-04-09 17:28:53 +0200 | <hellwolf> | pain |
2025-04-09 17:28:48 +0200 | <hellwolf> | There is no (!!) for linear arrays: you need to split it, dup it to (it', it'') then use it' and assemble the original list back with it''. |
2025-04-09 17:25:25 +0200 | alp | (~alp@2001:861:8ca0:4940:93b8:dd2d:3845:3995) (Ping timeout: 252 seconds) |
2025-04-09 17:22:06 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
2025-04-09 17:21:23 +0200 | as_ | (~as@2800:a4:298:ee00:7661:9c1d:e20c:62d8) |
2025-04-09 17:20:50 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-04-09 17:20:38 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-04-09 17:18:50 +0200 | as_ | (~as@2800:a4:298:ee00:7661:9c1d:e20c:62d8) (Quit: as_) |
2025-04-09 17:10:25 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f995d166d77a499a203.dip0.t-ipconnect.de) acidjnk |
2025-04-09 17:07:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:2db1:da99:c28d:36bf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-09 16:57:35 +0200 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
2025-04-09 16:57:27 +0200 | __jmcantrell__ | jmcantrell |
2025-04-09 16:57:27 +0200 | Guest4549 | (644f1bed9a@user/jmcantrell) (Killed (zirconium.libera.chat (Nickname regained by services))) |
2025-04-09 16:57:27 +0200 | jmcantrell | Guest4549 |
2025-04-09 16:57:10 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
2025-04-09 16:56:02 +0200 | EvanR_ | EvanR |
2025-04-09 16:54:44 +0200 | Googulator | (~Googulato@2a01-036d-0106-211a-98f9-54d1-cd01-d0d3.pool6.digikabel.hu) |
2025-04-09 16:37:44 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |