2025/04/09

Newest at the top

2025-04-09 18:06:13 +0200acidjnk_new3(~acidjnk@p200300d6e71c4f995d166d77a499a203.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-04-09 17:58:54 +0200as_(~as@2800:a4:298:ee00:7661:9c1d:e20c:62d8) (Adiós)
2025-04-09 17:54:55 +0200califax(~califax@user/califx) califx
2025-04-09 17:54:55 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-09 17:54:26 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-09 17:54:26 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-04-09 17:51:44 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-04-09 17:49:15 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-04-09 17:48:03 +0200ft(~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 +0200biberu(~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 +0200int-eshrugs
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 +0200zmt00(~zmt00@user/zmt00) zmt00
2025-04-09 17:33:38 +0200 <EvanR> !! is lookup
2025-04-09 17:32:02 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds)
2025-04-09 17:31:56 +0200tromp(~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 +0200alp(~alp@2001:861:8ca0:4940:93b8:dd2d:3845:3995) (Ping timeout: 252 seconds)
2025-04-09 17:22:06 +0200rembo10(~rembo10@main.remulis.com) rembo10
2025-04-09 17:21:23 +0200as_(~as@2800:a4:298:ee00:7661:9c1d:e20c:62d8)
2025-04-09 17:20:50 +0200euphores(~SASL_euph@user/euphores) euphores
2025-04-09 17:20:38 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2025-04-09 17:18:50 +0200as_(~as@2800:a4:298:ee00:7661:9c1d:e20c:62d8) (Quit: as_)
2025-04-09 17:10:25 +0200acidjnk_new3(~acidjnk@p200300d6e71c4f995d166d77a499a203.dip0.t-ipconnect.de) acidjnk
2025-04-09 17:07:16 +0200tromp(~textual@2001:1c00:3487:1b00:2db1:da99:c28d:36bf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-09 16:57:35 +0200jmcantrell_(644f1bed9a@user/jmcantrell) jmcantrell
2025-04-09 16:57:27 +0200__jmcantrell__jmcantrell
2025-04-09 16:57:27 +0200Guest4549(644f1bed9a@user/jmcantrell) (Killed (zirconium.libera.chat (Nickname regained by services)))
2025-04-09 16:57:27 +0200jmcantrellGuest4549
2025-04-09 16:57:10 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-09 16:56:02 +0200EvanR_EvanR
2025-04-09 16:54:44 +0200Googulator(~Googulato@2a01-036d-0106-211a-98f9-54d1-cd01-d0d3.pool6.digikabel.hu)
2025-04-09 16:37:44 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds)