2024/03/06

2024-03-06 00:00:07 +0100alexherbo2(~alexherbo@2a02-8440-3441-6a66-5159-b84e-cd08-6cc7.rev.sfr.net)
2024-03-06 00:01:54 +0100alexherbo2(~alexherbo@2a02-8440-3441-6a66-5159-b84e-cd08-6cc7.rev.sfr.net) (Remote host closed the connection)
2024-03-06 00:03:47 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer)
2024-03-06 00:04:45 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-03-06 00:07:28 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-03-06 00:07:40 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-03-06 00:07:47 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-03-06 00:12:06 +0100sroso(~sroso@user/SrOso)
2024-03-06 00:27:31 +0100 <Axman6> d34df00d: a simple example is when both arguments are the same lens, if you have (1,2) & both _1 _1 .~ (3,4), what's the result?
2024-03-06 00:36:04 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-06 00:45:12 +0100jamkhan(~jamkhan@2607:fb91:21e1:d11c:60e6:3c72:98d5:47c2)
2024-03-06 00:45:15 +0100bontaq(~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-03-06 00:46:36 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2024-03-06 00:48:35 +0100Square(~Square@user/square) (Ping timeout: 264 seconds)
2024-03-06 00:55:46 +0100Square2(~Square4@user/square)
2024-03-06 00:56:20 +0100random-jellyfish(~developer@user/random-jellyfish)
2024-03-06 01:01:22 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2024-03-06 01:01:28 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-03-06 01:02:49 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds)
2024-03-06 01:03:15 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-03-06 01:03:59 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-03-06 01:04:20 +0100shapr(~user@c-24-218-186-89.hsd1.ma.comcast.net) (Remote host closed the connection)
2024-03-06 01:04:41 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-03-06 01:05:06 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-03-06 01:08:08 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 256 seconds)
2024-03-06 01:09:45 +0100 <Inst> just as a curiosity
2024-03-06 01:09:57 +0100 <Inst> if someone were to attempt a NeoHaskell-like project, or rather, an attempt to build a new compiler
2024-03-06 01:10:06 +0100 <Inst> would relegating type-level programming to GHC be a better idea?
2024-03-06 01:10:43 +0100 <glguy> That would depend on what that actually means and what the point of making the new compiler was
2024-03-06 01:10:58 +0100Sgeo(~Sgeo@user/sgeo)
2024-03-06 01:11:16 +0100jamkhan(~jamkhan@2607:fb91:21e1:d11c:60e6:3c72:98d5:47c2) (Quit: Client closed)
2024-03-06 01:12:12 +0100 <Inst> glguy: the point of making a new compiler is to waste money, but on paper, the goal would be to have a faster performing GHC oriented toward production use, as opposed to research use
2024-03-06 01:13:06 +0100jamkhan(~jamkhan@2607:fb91:21e1:d11c:60e6:3c72:98d5:47c2)
2024-03-06 01:13:18 +0100 <Inst> it'd basically be enforcing a variant of simple haskell
2024-03-06 01:13:19 +0100jamkhan(~jamkhan@2607:fb91:21e1:d11c:60e6:3c72:98d5:47c2) (Client Quit)
2024-03-06 01:13:26 +0100 <Inst> you don't like it, FFI into GHC-generated code
2024-03-06 01:13:33 +0100 <Inst> if GHC doesn't give you a good time, not our problem
2024-03-06 01:15:24 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-03-06 01:15:25 +0100rvalue(~rvalue@user/rvalue)
2024-03-06 01:17:10 +0100 <EvanR> coffeehaskell
2024-03-06 01:17:48 +0100mei(~mei@user/mei)
2024-03-06 01:21:09 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 255 seconds)
2024-03-06 01:22:30 +0100srz(~srz@181.228.49.93)
2024-03-06 01:22:44 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-03-06 01:22:54 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2024-03-06 01:32:15 +0100 <janus> Inst: have you seen MicroHs?
2024-03-06 01:33:05 +0100 <janus> given that it doesn't support TypeFamilies or DataKinds or TypeData, maybe the plan is something like what you mention
2024-03-06 01:33:35 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
2024-03-06 01:35:39 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-06 01:35:57 +0100 <Inst> whoa, Dr. Augustsson's still working on it
2024-03-06 01:36:10 +0100 <haskellbridge> <s​m> yup, it's new
2024-03-06 01:37:25 +0100 <Inst> https://github.com/augustss/MicroHs/blob/master/Tools/Count.hs
2024-03-06 01:37:27 +0100 <Inst> heretic!
2024-03-06 01:39:08 +0100srz(~srz@181.228.49.93) (Ping timeout: 260 seconds)
2024-03-06 01:39:27 +0100 <Inst> /sarcasm
2024-03-06 01:39:54 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-06 01:39:59 +0100srz(~srz@181.228.49.93)
2024-03-06 01:41:13 +0100srz(~srz@181.228.49.93) (Remote host closed the connection)
2024-03-06 01:44:26 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds)
2024-03-06 01:45:25 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-03-06 01:46:19 +0100shapr(~user@c-24-218-186-89.hsd1.ma.comcast.net)
2024-03-06 01:47:49 +0100mei(~mei@user/mei)
2024-03-06 01:48:19 +0100 <davean> h3r1t1c is in anther channel and doesn't do any Haskell these days.
2024-03-06 02:00:40 +0100jargon(~jargon@154.sub-174-205-226.myvzw.com)
2024-03-06 02:06:25 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds)
2024-03-06 02:07:14 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-03-06 02:15:04 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-03-06 02:17:07 +0100sp1ff(~user@c-24-21-45-157.hsd1.wa.comcast.net)
2024-03-06 02:34:34 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-03-06 02:49:58 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-06 02:54:29 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-03-06 02:58:50 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-03-06 02:59:12 +0100stiell_(~stiell@gateway/tor-sasl/stiell)
2024-03-06 02:59:23 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2024-03-06 02:59:51 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-03-06 03:03:41 +0100pointlessslippe1(~pointless@212.82.82.3) (Ping timeout: 256 seconds)
2024-03-06 03:07:27 +0100pointlessslippe1(~pointless@212.82.82.3)
2024-03-06 03:08:37 +0100oneeyedalien(~oneeyedal@user/oneeyedalien) (Quit: Leaving)
2024-03-06 03:10:31 +0100xff0x(~xff0x@2405:6580:b080:900:c534:620a:b520:a93b) (Ping timeout: 255 seconds)
2024-03-06 03:17:59 +0100petrichor(~znc-user@user/petrichor) (Ping timeout: 264 seconds)
2024-03-06 03:24:55 +0100Eoco(~ian@128.101.131.218) (Ping timeout: 272 seconds)
2024-03-06 03:25:04 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-03-06 03:25:18 +0100euleritian(~euleritia@dynamic-176-006-204-213.176.6.pool.telefonica.de)
2024-03-06 03:28:49 +0100petrichor(~znc-user@user/petrichor)
2024-03-06 03:28:57 +0100Eoco(~ian@128.101.131.218)
2024-03-06 03:36:38 +0100mulk(~mulk@pd9514963.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-03-06 03:46:21 +0100mulk(~mulk@p5b1123d6.dip0.t-ipconnect.de)
2024-03-06 03:47:15 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds)
2024-03-06 03:47:43 +0100otto_s(~user@p5de2fd4c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-03-06 03:49:18 +0100otto_s(~user@p4ff2730f.dip0.t-ipconnect.de)
2024-03-06 03:50:36 +0100Clint(~Clint@user/clint) (Quit: r)
2024-03-06 03:52:36 +0100Luj(~Luj@2a01:e0a:5f9:9681:5718:f097:e277:c029) (Quit: Ping timeout (120 seconds))
2024-03-06 03:52:55 +0100Luj(~Luj@2a01:e0a:5f9:9681:b583:792c:2154:7ca4)
2024-03-06 03:55:29 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-03-06 03:56:28 +0100Clint(~Clint@user/clint)
2024-03-06 03:56:35 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2024-03-06 03:59:24 +0100pyooque(~puke@user/puke)
2024-03-06 03:59:24 +0100pukeGuest695
2024-03-06 03:59:24 +0100Guest695(~puke@user/puke) (Killed (silver.libera.chat (Nickname regained by services)))
2024-03-06 03:59:24 +0100pyooquepuke
2024-03-06 04:00:35 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds)
2024-03-06 04:01:30 +0100bilegeek(~bilegeek@2600:1008:b04e:aa70:a7c4:3b99:2cf2:4bc)
2024-03-06 04:05:12 +0100td_(~td@i5387092D.versanet.de) (Ping timeout: 260 seconds)
2024-03-06 04:07:06 +0100td_(~td@i53870921.versanet.de)
2024-03-06 04:10:25 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2024-03-06 04:22:56 +0100jargon(~jargon@154.sub-174-205-226.myvzw.com) (Remote host closed the connection)
2024-03-06 04:37:07 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-06 04:37:41 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-06 04:37:54 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-06 04:42:43 +0100terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2024-03-06 04:44:40 +0100terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2024-03-06 04:49:10 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-06 04:56:02 +0100euleritian(~euleritia@dynamic-176-006-204-213.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-06 04:56:20 +0100euleritian(~euleritia@77.22.252.56)
2024-03-06 05:02:10 +0100td_(~td@i53870921.versanet.de) (Ping timeout: 256 seconds)
2024-03-06 05:04:09 +0100td_(~td@i53870914.versanet.de)
2024-03-06 05:20:55 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-06 05:26:56 +0100aforemny(~aforemny@i59F516E5.versanet.de)
2024-03-06 05:28:01 +0100aforemny_(~aforemny@i59F516FE.versanet.de) (Ping timeout: 264 seconds)
2024-03-06 05:31:24 +0100thegeekinside(~thegeekin@189.217.83.221) (Read error: Connection reset by peer)
2024-03-06 05:35:45 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-06 05:46:22 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-03-06 05:50:53 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-03-06 05:56:59 +0100RedNifre(~RedNifre@dslb-088-072-205-004.088.072.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2024-03-06 05:57:27 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-03-06 06:09:28 +0100RedNifre(~RedNifre@dslb-002-206-121-021.002.206.pools.vodafone-ip.de)
2024-03-06 06:10:45 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-06 06:28:48 +0100euphores(~SASL_euph@user/euphores)
2024-03-06 06:47:29 +0100Eoco(~ian@128.101.131.218) (Ping timeout: 252 seconds)
2024-03-06 06:53:27 +0100Eoco(~ian@128.101.131.218)
2024-03-06 07:02:42 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-03-06 07:04:31 +0100Eoco(~ian@128.101.131.218) (Remote host closed the connection)
2024-03-06 07:05:01 +0100Eoco(~ian@128.101.131.218)
2024-03-06 07:06:03 +0100ski(~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds)
2024-03-06 07:06:37 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-03-06 07:10:45 +0100rancidcake(~rancidcak@136.226.252.173)
2024-03-06 07:11:29 +0100 <rancidcake> Hi.
2024-03-06 07:11:30 +0100 <rancidcake> I wanted to ask if values such as "True", "5" are also functions themselves in Haskell
2024-03-06 07:11:30 +0100 <rancidcake> I tried searching for this topic but didn't find much
2024-03-06 07:12:25 +0100ski(~ski@ext-1-033.eduroam.chalmers.se)
2024-03-06 07:15:06 +0100f-a(ff2a@joined.irc.for-some.fun) ()
2024-03-06 07:16:38 +0100Eoco(~ian@128.101.131.218) (Remote host closed the connection)
2024-03-06 07:16:46 +0100 <monochrom> Not functions.
2024-03-06 07:20:30 +0100 <c_wraith> It's actually pretty easy to check. If you ask ghci for the type of an expression, functions are the one with (->) as the top-level type constructor. Anything else, and it's not a function.
2024-03-06 07:21:57 +0100 <c_wraith> *with the very technical caveat that if the top-level type constructor is polymorphic, maybe it can be instantiated to a function, depending on... a few things.
2024-03-06 07:22:05 +0100Eoco(~ian@128.101.131.218)
2024-03-06 07:22:57 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-03-06 07:27:07 +0100harveypwca(~harveypwc@2601:246:c200:2740:15b6:f225:14ff:9821)
2024-03-06 07:27:46 +0100derpyxdhs(~Thunderbi@user/derpyxdhs)
2024-03-06 07:27:59 +0100Eoco(~ian@128.101.131.218) (Ping timeout: 260 seconds)
2024-03-06 07:29:41 +0100rancidcake(~rancidcak@136.226.252.173) (Quit: Client closed)
2024-03-06 07:30:11 +0100Eoco(~ian@128.101.131.218)
2024-03-06 07:30:15 +0100michalz(~michalz@185.246.207.193)
2024-03-06 07:32:59 +0100euleritian(~euleritia@77.22.252.56) (Ping timeout: 264 seconds)
2024-03-06 07:33:52 +0100euleritian(~euleritia@dynamic-176-006-204-213.176.6.pool.telefonica.de)
2024-03-06 07:34:21 +0100 <Axman6> True definitely isn't a function, 5 could be though :)
2024-03-06 07:39:17 +0100Eoco(~ian@128.101.131.218) (Ping timeout: 240 seconds)
2024-03-06 07:40:35 +0100michalz(~michalz@185.246.207.193) (Quit: ZNC 1.8.2 - https://znc.in)
2024-03-06 07:42:26 +0100 <jackdk> I'm glad the newbie's left, Axman6 =P
2024-03-06 07:43:23 +0100michalz(~michalz@185.246.207.205)
2024-03-06 07:43:32 +0100Lycurgus(~georg@user/Lycurgus)
2024-03-06 07:44:00 +0100Eoco(~ian@128.101.131.218)
2024-03-06 07:47:59 +0100rainbyte(~rainbyte@186.22.19.215) (Ping timeout: 264 seconds)
2024-03-06 07:51:26 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds)
2024-03-06 07:52:15 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-03-06 07:52:17 +0100Eoco(~ian@128.101.131.218) (Remote host closed the connection)
2024-03-06 07:53:01 +0100Eoco(~ian@128.101.131.218)
2024-03-06 07:55:01 +0100julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-03-06 07:56:46 +0100 <haskellbridge> <J​ade> `IsBool` when
2024-03-06 07:57:42 +0100 <mauke> class Orable a where { (||) :: a -> a -> a }
2024-03-06 07:58:38 +0100 <mauke> instance Orable Int where { 0 || y = y; x || _ = x }
2024-03-06 08:01:42 +0100Eoco(~ian@128.101.131.218) (Remote host closed the connection)
2024-03-06 08:02:20 +0100Eoco(~ian@128.101.131.218)
2024-03-06 08:02:54 +0100Eoco(~ian@128.101.131.218) (Read error: Connection reset by peer)
2024-03-06 08:03:39 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-06 08:03:44 +0100Eoco(~ian@128.101.131.218)
2024-03-06 08:05:20 +0100igemnace(~ian@user/igemnace)
2024-03-06 08:06:38 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-06 08:07:39 +0100rancidcake(~rancidcak@136.226.252.206)
2024-03-06 08:07:51 +0100 <rancidcake> Got it. Thanks monochrom and c_wraith
2024-03-06 08:09:20 +0100danza_(~francesco@151.43.144.117)
2024-03-06 08:10:15 +0100euphores(~SASL_euph@user/euphores) (Remote host closed the connection)
2024-03-06 08:10:33 +0100 <redmp> https://hackage.haskell.org/package/Boolean-0.2.4/docs/Data-Boolean.html#t:Boolean
2024-03-06 08:10:46 +0100euphores(~SASL_euph@user/euphores)
2024-03-06 08:11:35 +0100 <redmp> generalized booleans, just like mauke described :)
2024-03-06 08:18:09 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-03-06 08:20:41 +0100redmp(~redmp@mobile-166-171-251-145.mycingular.net) (Ping timeout: 272 seconds)
2024-03-06 08:25:32 +0100rancidcake(~rancidcak@136.226.252.206) (Quit: Client closed)
2024-03-06 08:26:18 +0100 <jackdk> Just use `instance Monoid m => Monoid (a -> m)` with `Any` or `All`
2024-03-06 08:27:19 +0100julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds)
2024-03-06 08:32:51 +0100marinelli(~weechat@gateway/tor-sasl/marinelli)
2024-03-06 08:36:07 +0100julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-03-06 08:37:05 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-03-06 08:37:56 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2024-03-06 08:39:25 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-03-06 08:40:27 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-03-06 08:43:57 +0100jle`(~jle`@2603-8001-3b02-84d4-9b67-becf-c72f-15e3.res6.spectrum.com) (Ping timeout: 255 seconds)
2024-03-06 08:44:57 +0100jle`(~jle`@2603-8001-3b02-84d4-8918-88b4-4576-a17c.res6.spectrum.com)
2024-03-06 08:48:15 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-06 08:50:24 +0100srk_(~sorki@user/srk)
2024-03-06 08:53:26 +0100srk(~sorki@user/srk) (Ping timeout: 252 seconds)
2024-03-06 08:53:27 +0100srk_srk
2024-03-06 09:03:13 +0100bilegeek(~bilegeek@2600:1008:b04e:aa70:a7c4:3b99:2cf2:4bc) (Quit: Leaving)
2024-03-06 09:05:23 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds)
2024-03-06 09:07:21 +0100random-jellyfish(~developer@user/random-jellyfish) (Quit: Leaving)
2024-03-06 09:08:15 +0100euleritian(~euleritia@dynamic-176-006-204-213.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-06 09:08:32 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-06 09:11:57 +0100oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-03-06 09:18:04 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-03-06 09:19:04 +0100notzmv(~daniel@user/notzmv) (Ping timeout: 255 seconds)
2024-03-06 09:20:25 +0100derpyxdhs(~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs)
2024-03-06 09:22:22 +0100CiaoSen(~Jura@2a05:5800:2d9:ae00:e6b9:7aff:fe80:3d03)
2024-03-06 09:23:02 +0100misterfish(~misterfis@g250100.upc-g.chello.nl)
2024-03-06 09:31:47 +0100danza_(~francesco@151.43.144.117) (Ping timeout: 264 seconds)
2024-03-06 09:38:49 +0100Square2(~Square4@user/square) (Ping timeout: 264 seconds)
2024-03-06 09:47:11 +0100harveypwca(~harveypwc@2601:246:c200:2740:15b6:f225:14ff:9821) (Quit: Leaving)
2024-03-06 09:54:36 +0100danse-nr3(~danse@185.211.81.183)
2024-03-06 09:54:58 +0100danse-nr3(~danse@185.211.81.183) (Remote host closed the connection)
2024-03-06 09:55:20 +0100danse-nr3(~danse@185.211.81.183)
2024-03-06 10:02:25 +0100down200(~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in)
2024-03-06 10:03:16 +0100ft(~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving)
2024-03-06 10:03:37 +0100julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-03-06 10:04:37 +0100versatile(~versatile@176.254.244.83) (Ping timeout: 264 seconds)
2024-03-06 10:08:17 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-03-06 10:11:15 +0100misterfish(~misterfis@g250100.upc-g.chello.nl) (Ping timeout: 255 seconds)
2024-03-06 10:12:38 +0100down200(~down200@shell.lug.mtu.edu)
2024-03-06 10:13:03 +0100julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-03-06 10:13:04 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 255 seconds)
2024-03-06 10:13:46 +0100versatile(~versatile@176.254.244.83)
2024-03-06 10:14:31 +0100misterfish(~misterfis@87.215.131.102)
2024-03-06 10:15:45 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-03-06 10:17:24 +0100julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-03-06 10:24:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-06 10:26:55 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-03-06 10:26:58 +0100cfricke(~cfricke@user/cfricke)
2024-03-06 10:27:14 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2024-03-06 10:30:18 +0100down200(~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in)
2024-03-06 10:36:16 +0100danse-nr3(~danse@185.211.81.183) (Ping timeout: 260 seconds)
2024-03-06 10:39:24 +0100danse-nr3(~danse@151.57.141.137)
2024-03-06 10:39:34 +0100yoneda(~mike@193.206.102.122)
2024-03-06 10:43:31 +0100down200(~down200@shell.lug.mtu.edu)
2024-03-06 10:46:52 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:f00e:a21c:b8c6:8c07)
2024-03-06 10:54:11 +0100notzmv(~daniel@user/notzmv)
2024-03-06 11:06:23 +0100fun-safe-math(~fun-safe-@c-24-21-106-247.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2024-03-06 11:06:56 +0100qqq(~qqq@92.43.167.61)
2024-03-06 11:08:33 +0100travgm(~travgm@238.sub-97-138-17.myvzw.com) (Remote host closed the connection)
2024-03-06 11:08:49 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds)
2024-03-06 11:08:52 +0100travgm(~travgm@2600:100e:a121:ef84:ee5d:18ef:c92e:7dca)
2024-03-06 11:15:12 +0100tau_(~user@2a04:4540:7203:f00:2167:39c9:6bc9:2a73)
2024-03-06 11:16:22 +0100tau_(~user@2a04:4540:7203:f00:2167:39c9:6bc9:2a73) (Client Quit)
2024-03-06 11:16:23 +0100jau(~user@2a04:4540:7203:f00:2167:39c9:6bc9:2a73)
2024-03-06 11:21:55 +0100zer0bitz_(~zer0bitz@user/zer0bitz)
2024-03-06 11:25:10 +0100kuribas(~user@2a02:1808:4:fcae:871c:8a8b:83c9:df0a)
2024-03-06 11:25:44 +0100zer0bitz(~zer0bitz@user/zer0bitz) (Ping timeout: 260 seconds)
2024-03-06 11:35:33 +0100tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
2024-03-06 11:43:48 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-06 11:47:37 +0100zer0bitz_zer0bitz
2024-03-06 11:47:53 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-03-06 11:49:24 +0100pyooque(~puke@user/puke)
2024-03-06 11:49:24 +0100pukeGuest2177
2024-03-06 11:49:24 +0100pyooquepuke
2024-03-06 11:49:28 +0100gehmehgeh(~user@user/gehmehgeh)
2024-03-06 11:50:51 +0100gehmehgehgmg
2024-03-06 11:51:57 +0100Guest2177(~puke@user/puke) (Ping timeout: 268 seconds)
2024-03-06 11:56:23 +0100kuribas`(~user@ip-188-118-57-242.reverse.destiny.be)
2024-03-06 11:58:37 +0100kuribas(~user@2a02:1808:4:fcae:871c:8a8b:83c9:df0a) (Ping timeout: 264 seconds)
2024-03-06 12:06:32 +0100chele(~chele@user/chele)
2024-03-06 12:07:48 +0100CiaoSen(~Jura@2a05:5800:2d9:ae00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds)
2024-03-06 12:11:19 +0100xff0x(~xff0x@2405:6580:b080:900:4382:9a13:8c84:8575)
2024-03-06 12:12:23 +0100marinelli(~weechat@gateway/tor-sasl/marinelli)
2024-03-06 12:14:28 +0100[Leary](~Leary]@user/Leary/x-0910699) (Ping timeout: 246 seconds)
2024-03-06 12:14:44 +0100ski(~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds)
2024-03-06 12:15:16 +0100[Leary](~Leary]@user/Leary/x-0910699)
2024-03-06 12:16:05 +0100ski(~ski@ext-1-033.eduroam.chalmers.se)
2024-03-06 12:30:53 +0100jinsun_(~jinsun@user/jinsun)
2024-03-06 12:30:53 +0100jinsunGuest943
2024-03-06 12:30:53 +0100Guest943(~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services)))
2024-03-06 12:30:53 +0100jinsun_jinsun
2024-03-06 12:32:59 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-03-06 12:33:56 +0100phma(phma@2001:5b0:211b:d448:4014:b5f0:331f:c237) (Read error: Connection reset by peer)
2024-03-06 12:34:23 +0100sroso(~sroso@user/SrOso) (Quit: Leaving :))
2024-03-06 12:35:26 +0100phma(phma@2001:5b0:2172:f378:1118:b917:8d78:aa40)
2024-03-06 12:43:05 +0100vektor(~vektor@IP-149249153083.pools.medianet-world.de)
2024-03-06 12:43:40 +0100vektor(~vektor@IP-149249153083.pools.medianet-world.de) (Client Quit)
2024-03-06 12:50:26 +0100igemnace(~ian@user/igemnace)
2024-03-06 12:53:42 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-03-06 12:59:15 +0100Nixkernal_(~Nixkernal@243.212.61.188.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-03-06 13:00:06 +0100ski(~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds)
2024-03-06 13:03:24 +0100jinsun_(~jinsun@user/jinsun)
2024-03-06 13:03:24 +0100jinsun(~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services)))
2024-03-06 13:03:24 +0100jinsun_jinsun
2024-03-06 13:07:13 +0100ski(~ski@ext-1-033.eduroam.chalmers.se)
2024-03-06 13:16:15 +0100ski(~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection)
2024-03-06 13:21:23 +0100ski(~ski@ext-1-033.eduroam.chalmers.se)
2024-03-06 13:22:43 +0100ph88(~ph88@2a02:8109:9e26:c800:5ab5:db14:e57d:d013)
2024-03-06 13:25:49 +0100 <ph88> c_wraith, thanks for the tip about the database migration it worked well (functionally) to put another version in another module. The only thing is that because so many types depend on each other i have to copy large swats of code, a big drag on productivity writing those migrations. I was considering using type parameters so i could pass in another version to types on higher levels, but decided against it because i don't want
2024-03-06 13:25:49 +0100 <ph88> migration specific code to be part of the main code. Still most of the migration stuff is solving type errors where things are not pointing to the correct version and then copying over relevant data types and functions
2024-03-06 13:26:55 +0100 <ph88> Which the language had something build in to version data types so that i don't have to do this boring copy pasting
2024-03-06 13:26:58 +0100 <ph88> Wish *
2024-03-06 13:36:21 +0100 <ski> ("considering using type parameters so i could pass in another version to types on higher levels" -- reminded me of backpack, parameterized modules)
2024-03-06 13:38:46 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Read error: Connection reset by peer)
2024-03-06 13:40:49 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-06 13:41:02 +0100noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-03-06 13:42:12 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-03-06 13:42:35 +0100rainbyte(~rainbyte@186.22.19.215)
2024-03-06 13:51:01 +0100AlexZenon(~alzenon@5.139.232.115) (Quit: ;-)
2024-03-06 13:51:23 +0100AlexNoo(~AlexNoo@5.139.232.115) (Quit: Leaving)
2024-03-06 13:53:35 +0100 <ph88> ski, ye just that i like to stay with stack for the moment and there is no backpack support there
2024-03-06 13:53:37 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-06 13:54:31 +0100 <ph88> How can i pass in a flag (Boolean) to my program with the build tools? I like to enable/disable some code depending whether it's a development or release build
2024-03-06 13:55:08 +0100CiaoSen(~Jura@2a05:5800:2d9:ae00:e6b9:7aff:fe80:3d03)
2024-03-06 14:10:28 +0100danse-nr3(~danse@151.57.141.137) (Ping timeout: 260 seconds)
2024-03-06 14:14:34 +0100bontaq(~user@ool-45779c03.dyn.optonline.net)
2024-03-06 14:19:12 +0100 <dmj`> ph88: cabal flags are good for that, combined w/ cpp-options you can enable / disable code within a module (using the c preprocessor), or w/ exposed-modules to swap out module implementations
2024-03-06 14:19:38 +0100 <dmj`> ph88: see how text does it https://hackage.haskell.org/package/text-2.1.1/text.cabal
2024-03-06 14:21:20 +0100 <ph88> can i use cabal flags with stack ?
2024-03-06 14:21:46 +0100infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2024-03-06 14:22:25 +0100AlexZenon(~alzenon@5.139.232.115)
2024-03-06 14:22:27 +0100 <dmj`> ph88: yea, stack still uses the Cabal library, which is where those get handled
2024-03-06 14:22:33 +0100AlexNoo(~AlexNoo@5.139.232.115)
2024-03-06 14:23:52 +0100infinity0(~infinity0@pwned.gg)
2024-03-06 14:24:42 +0100xstill_(xstill@fimu/xstill) (Quit: Ping timeout (120 seconds))
2024-03-06 14:25:31 +0100xsarnik(xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds))
2024-03-06 14:31:00 +0100destituion(~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) (Ping timeout: 260 seconds)
2024-03-06 14:31:13 +0100destituion(~destituio@85.221.111.174)
2024-03-06 14:32:26 +0100xsarnik(xsarnik@lounge.fi.muni.cz)
2024-03-06 14:38:47 +0100xstill_(xstill@fimu/xstill)
2024-03-06 14:40:26 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-03-06 14:44:07 +0100danse-nr3(~danse@151.57.166.196)
2024-03-06 15:08:19 +0100Fischmiep(~Fischmiep@user/Fischmiep)
2024-03-06 15:14:29 +0100thegeekinside(~thegeekin@189.217.83.221)
2024-03-06 15:20:44 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection)
2024-03-06 15:21:07 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-03-06 15:31:03 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.1.2)
2024-03-06 15:40:26 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-03-06 15:40:56 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-06 15:41:07 +0100euleritian(~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de)
2024-03-06 15:41:56 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-03-06 15:49:05 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds)
2024-03-06 15:51:18 +0100AlexNoo_(~AlexNoo@94.233.241.172)
2024-03-06 15:53:23 +0100AlexZenon(~alzenon@5.139.232.115) (Ping timeout: 260 seconds)
2024-03-06 15:54:47 +0100AlexNoo(~AlexNoo@5.139.232.115) (Ping timeout: 260 seconds)
2024-03-06 15:55:35 +0100justache(~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in)
2024-03-06 15:56:48 +0100justache(~justache@user/justache)
2024-03-06 15:57:19 +0100AlexZenon(~alzenon@94.233.241.172)
2024-03-06 15:58:51 +0100AlexZenon_2(~alzenon@94.233.241.172)
2024-03-06 15:59:13 +0100raym(~ray@user/raym) (Ping timeout: 264 seconds)
2024-03-06 15:59:56 +0100raym(~ray@user/raym)
2024-03-06 16:02:37 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-06 16:04:19 +0100justache(~justache@user/justache) (Remote host closed the connection)
2024-03-06 16:05:07 +0100justache(~justache@user/justache)
2024-03-06 16:05:28 +0100lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap2371)
2024-03-06 16:05:55 +0100lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de)
2024-03-06 16:10:58 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-03-06 16:11:01 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2024-03-06 16:12:47 +0100AlexZenon_2(~alzenon@94.233.241.172) (Quit: ;-)
2024-03-06 16:14:08 +0100chele(~chele@user/chele) (Remote host closed the connection)
2024-03-06 16:14:48 +0100AlexNoo_AlexNoo
2024-03-06 16:17:58 +0100justache(~justache@user/justache) (Remote host closed the connection)
2024-03-06 16:19:09 +0100justache(~justache@user/justache)
2024-03-06 16:28:13 +0100Lycurgus(~georg@user/Lycurgus)
2024-03-06 16:36:31 +0100andreas303(andreas303@is.drunk.and.ready-to.party) (Quit: fBNC - https://bnc4free.com)
2024-03-06 16:37:25 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds)
2024-03-06 16:40:12 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2024-03-06 16:41:37 +0100 <raehik> hi folks. I'm writing some C-ish code and want a low-level u32 array. I originally went to the array package, but it feels weird, particularly immutable arrays. is primitive the "better" choice?
2024-03-06 16:43:27 +0100 <raehik> array 's unsafe interface is lacking and immutable bytearrays are wonky:there's an open issue complaining about inefficient construction, and they seem not to provide any non-copying freeze/thaw (which I think can be useful, safely?)
2024-03-06 16:44:01 +0100Feuermagier(~Feuermagi@user/feuermagier)
2024-03-06 16:44:33 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-03-06 16:47:21 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-03-06 16:49:03 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds)
2024-03-06 16:49:32 +0100 <dmj`> raehik: do you want to mutate the array or just construct and read from it? If you want to mutate I'd check out vector, specifically unboxed mutable vectors, it can also work with the PrimState type family to let you choose mutability in IO or ST.
2024-03-06 16:50:10 +0100justache(~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in)
2024-03-06 16:51:01 +0100Fischmiep(~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in)
2024-03-06 16:51:03 +0100 <raehik> dmj`: primarily mutation, but I was looking immutable too for better safety (I used too much IO in my first draft and it's nice to provide a pure ver)
2024-03-06 16:51:22 +0100Fischmiep(~Fischmiep@user/Fischmiep)
2024-03-06 16:51:32 +0100 <raehik> I'm a vector enjoyer but, isn't it for resizeable arrays? My array doesn't change shape or size.
2024-03-06 16:52:09 +0100 <raehik> (and I have assumed there's some perf overhead lost for supporting that)
2024-03-06 16:53:00 +0100euleritian(~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-06 16:53:38 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-06 16:54:05 +0100andreas303(andreas303@is.drunk.and.ready-to.party)
2024-03-06 16:54:13 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-03-06 16:56:31 +0100 <raehik> hrm no perhaps not, underlying Vector stores a plain ByteArray. perhaps vector is the choice!
2024-03-06 16:56:51 +0100 <dmj`> raehik: if your vector is mutable you can resize it, if its immutable you can only update it in place w/ freeze + thaw. There's a nice modify function helper for that.
2024-03-06 16:56:59 +0100Vq(~vq@81-231-76-8-no600.tbcn.telia.com) (Ping timeout: 264 seconds)
2024-03-06 16:57:36 +0100 <raehik> ahhh vector uses the primitive pkg for a handful of things
2024-03-06 16:57:45 +0100Vq(~vq@81-231-76-8-no600.tbcn.telia.com)
2024-03-06 16:58:23 +0100 <raehik> dmj`: great, that's what I was looking for! array does not have that
2024-03-06 17:01:09 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-03-06 17:01:37 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-06 17:02:17 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:f00e:a21c:b8c6:8c07) (Read error: Connection reset by peer)
2024-03-06 17:02:21 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds)
2024-03-06 17:06:43 +0100 <ph88> suffering with llvm compile times, but worth it :>
2024-03-06 17:07:01 +0100Inst(~Inst@120.244.192.75) (Read error: Connection reset by peer)
2024-03-06 17:08:31 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-03-06 17:09:04 +0100euleritian(~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de)
2024-03-06 17:09:18 +0100MasseR46(thelounge@51.15.143.128) (Quit: The Lounge - https://thelounge.chat)
2024-03-06 17:09:49 +0100 <dmj`> raehik: fair warning though, modify does copy the entire array into a new array, so if you're doing that a lot, a mutable vector might be more performant
2024-03-06 17:10:09 +0100misterfish(~misterfis@87.215.131.102) (Ping timeout: 272 seconds)
2024-03-06 17:10:38 +0100 <raehik> no yeah I know there's some copying involved. array pkg was too weird and seemed overeager to copy
2024-03-06 17:11:27 +0100 <raehik> I wrote a mutable version with array which is certainly more efficient but it's stuck in IO land. nice to have a pure ver too
2024-03-06 17:13:05 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2024-03-06 17:13:17 +0100bontaq(~user@ool-45779c03.dyn.optonline.net) (Remote host closed the connection)
2024-03-06 17:13:35 +0100ec(~ec@gateway/tor-sasl/ec)
2024-03-06 17:14:16 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-03-06 17:15:17 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-03-06 17:15:33 +0100 <c_wraith> raehik: fwiw, Array's unsafeFreeze/unsafeThaw are non-copying, assuming the representations are equivalent. But note the name. Both of those operations tend to be intensely unsafe. (freezing is easier to get right than thawing, but both can really go wrong)
2024-03-06 17:16:49 +0100 <raehik> c_wraith: right. in my head I should be able to thaw array A to array B, process array B, then (unsafe)freeze B and wrap it up behind an unsafePerformIO
2024-03-06 17:17:15 +0100 <c_wraith> yeah, that's a pattern begging to result in undefined behavior.
2024-03-06 17:17:26 +0100 <raehik> oh, where have I gone wrong
2024-03-06 17:17:50 +0100 <raehik> do you have to copy twice in this situation in general, rather than just once? :(
2024-03-06 17:18:03 +0100 <c_wraith> Oh. If the thaw is safe, then that works.
2024-03-06 17:18:12 +0100 <c_wraith> but don't unsafePerformIO, it's unnecessary
2024-03-06 17:18:16 +0100 <c_wraith> you can just use ST
2024-03-06 17:18:47 +0100 <raehik> ...I've never really understood the difference lol
2024-03-06 17:19:04 +0100 <raehik> IO is just a ST wrapper in my head
2024-03-06 17:19:13 +0100 <c_wraith> well, runST is safe (assuming there's no use of unsafeInterleaveST)
2024-03-06 17:19:20 +0100 <c_wraith> that's a pretty big difference!
2024-03-06 17:19:44 +0100 <raehik> OH! interesting god I have never paid attention to that type sig
2024-03-06 17:20:45 +0100 <c_wraith> runST ensures that unless you're using unsafe ST operations, you're not running general IO and that references don't leak between contexts.
2024-03-06 17:20:57 +0100danse-nr3(~danse@151.57.166.196) (Ping timeout: 268 seconds)
2024-03-06 17:21:19 +0100 <raehik> c_wraith: would you use the array pkg or vector pkg for something like this / what have you used before
2024-03-06 17:21:51 +0100 <c_wraith> So it's a handy way to say "this block of code is more efficient if it uses mutation internally, but it doesn't need to be externally visible"
2024-03-06 17:22:00 +0100 <c_wraith> I've used both.
2024-03-06 17:23:11 +0100 <c_wraith> The only real differences I see that is the use of Ix to support more interesting bounds than [0, n) and that vector tries to do fusion magic that sometimes works.
2024-03-06 17:25:39 +0100euleritian(~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-06 17:26:03 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-06 17:27:32 +0100danse-nr3(~danse@151.57.166.196)
2024-03-06 17:29:16 +0100destituion(~destituio@85.221.111.174) (Ping timeout: 260 seconds)
2024-03-06 17:30:34 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-03-06 17:31:11 +0100euleritian(~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de)
2024-03-06 17:37:20 +0100destituion(~destituio@2a02:2121:34a:61a6:afbf:6cfe:62a6:9770)
2024-03-06 17:41:27 +0100euleritian(~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-06 17:43:21 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-06 17:47:17 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2024-03-06 17:48:10 +0100euleritian(~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de)
2024-03-06 17:59:09 +0100justache(~justache@user/justache)
2024-03-06 17:59:30 +0100Nikopol(nikopol@user/astrorigin) (Leaving)
2024-03-06 18:02:44 +0100kuribas`(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-03-06 18:07:55 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-03-06 18:09:16 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2024-03-06 18:09:45 +0100ec(~ec@gateway/tor-sasl/ec)
2024-03-06 18:10:20 +0100mei(~mei@user/mei)
2024-03-06 18:16:21 +0100Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 255 seconds)
2024-03-06 18:19:11 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds)
2024-03-06 18:22:00 +0100Feuermagier(~Feuermagi@user/feuermagier)
2024-03-06 18:29:52 +0100danse-nr3(~danse@151.57.166.196) (Read error: Connection reset by peer)
2024-03-06 18:30:03 +0100danse-nr3(~danse@151.43.150.238)
2024-03-06 18:34:23 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 272 seconds)
2024-03-06 18:38:18 +0100srk_(~sorki@user/srk)
2024-03-06 18:39:49 +0100rvalue(~rvalue@user/rvalue)
2024-03-06 18:40:27 +0100srk(~sorki@user/srk) (Ping timeout: 260 seconds)
2024-03-06 18:41:02 +0100srk_srk
2024-03-06 18:46:19 +0100Square2(~Square4@user/square)
2024-03-06 18:46:49 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2024-03-06 18:47:35 +0100bontaq(~user@ool-45779c03.dyn.optonline.net)
2024-03-06 18:47:35 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-03-06 18:47:57 +0100gentauro(~gentauro@user/gentauro)
2024-03-06 18:50:57 +0100euleritian(~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-06 18:51:15 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-06 18:52:54 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-06 18:53:27 +0100srz(~srz@181.228.49.93)
2024-03-06 18:55:52 +0100 <raehik> c_wraith: thanks for the tips earlier, with vector I now have a much more sensible implementation that's hardly slower and much more useful. and hardly touch unsafe* funcs :)
2024-03-06 18:59:33 +0100CiaoSen(~Jura@2a05:5800:2d9:ae00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds)
2024-03-06 18:59:53 +0100Square(~Square@user/square)
2024-03-06 19:01:25 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-06 19:02:15 +0100Square2(~Square4@user/square) (Ping timeout: 272 seconds)
2024-03-06 19:04:00 +0100igemnace(~ian@user/igemnace) (Quit: WeeChat 4.2.1)
2024-03-06 19:04:37 +0100zetef(~quassel@95.77.17.251)
2024-03-06 19:06:18 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-06 19:06:18 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-03-06 19:07:47 +0100danse-nr3(~danse@151.43.150.238) (Ping timeout: 264 seconds)
2024-03-06 19:16:03 +0100target_i(~target_i@user/target-i/x-6023099)
2024-03-06 19:22:10 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection)
2024-03-06 19:25:39 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-03-06 19:28:05 +0100mei(~mei@user/mei)
2024-03-06 19:38:46 +0100redmp(~redmp@eduroam-169-233-149-113.ucsc.edu)
2024-03-06 19:39:24 +0100tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-03-06 19:41:43 +0100pavonia(~user@user/siracusa)
2024-03-06 19:43:08 +0100phma(phma@2001:5b0:2172:f378:1118:b917:8d78:aa40) (Read error: Connection reset by peer)
2024-03-06 19:44:03 +0100phma(~phma@host-67-44-208-140.hnremote.net)
2024-03-06 19:45:09 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-03-06 19:46:34 +0100bontaq`(~user@165.1.205.230)
2024-03-06 19:48:20 +0100bontaq(~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-03-06 19:51:35 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-06 19:52:16 +0100ski(~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 246 seconds)
2024-03-06 19:53:35 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-06 19:53:57 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-03-06 19:54:16 +0100ski(~ski@ext-1-033.eduroam.chalmers.se)
2024-03-06 19:59:52 +0100redmp(~redmp@eduroam-169-233-149-113.ucsc.edu) (Ping timeout: 255 seconds)
2024-03-06 20:00:05 +0100redmp(~redmp@eduroam-169-233-149-113.ucsc.edu)
2024-03-06 20:00:35 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-03-06 20:01:16 +0100bontaq``(~user@ool-45779c03.dyn.optonline.net)
2024-03-06 20:03:00 +0100bontaq`(~user@165.1.205.230) (Ping timeout: 255 seconds)
2024-03-06 20:03:09 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-03-06 20:04:28 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-03-06 20:07:57 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-03-06 20:08:29 +0100zetef(~quassel@95.77.17.251) (Remote host closed the connection)
2024-03-06 20:10:16 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
2024-03-06 20:13:33 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-03-06 20:14:43 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-03-06 20:14:51 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-03-06 20:17:49 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2024-03-06 20:19:02 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds)
2024-03-06 20:20:15 +0100bontaq``(~user@ool-45779c03.dyn.optonline.net) (Remote host closed the connection)
2024-03-06 20:20:28 +0100bontaq``(~user@ool-45779c03.dyn.optonline.net)
2024-03-06 20:25:04 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2024-03-06 20:30:58 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-06 20:34:30 +0100ft(~ft@p508db2e6.dip0.t-ipconnect.de)
2024-03-06 20:38:38 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-06 20:39:15 +0100jau(~user@2a04:4540:7203:f00:2167:39c9:6bc9:2a73) (Quit: Leaving)
2024-03-06 20:44:02 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-03-06 20:44:39 +0100euleritian(~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de)
2024-03-06 20:45:24 +0100travgm_(~travgm@2600:100e:a121:ef84:212e:f7c5:fded:46ea)
2024-03-06 20:49:04 +0100travgm(~travgm@2600:100e:a121:ef84:ee5d:18ef:c92e:7dca) (Ping timeout: 268 seconds)
2024-03-06 20:50:00 +0100redmp(~redmp@eduroam-169-233-149-113.ucsc.edu) (Ping timeout: 268 seconds)
2024-03-06 20:50:07 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-03-06 20:52:31 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2024-03-06 20:52:34 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.2.1)
2024-03-06 20:53:11 +0100jargon(~jargon@154.sub-174-205-226.myvzw.com)
2024-03-06 20:53:49 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
2024-03-06 20:58:23 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2024-03-06 20:59:50 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds)
2024-03-06 21:00:50 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-03-06 21:06:42 +0100euleritian(~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-06 21:07:00 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-06 21:14:49 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-03-06 21:19:14 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds)
2024-03-06 21:24:25 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-03-06 21:25:25 +0100euleritian(~euleritia@77.22.252.56)
2024-03-06 21:28:38 +0100caubert(~caubert@user/caubert) (Quit: WeeChat 4.0.4)
2024-03-06 21:35:59 +0100caubert(~caubert@user/caubert)
2024-03-06 21:38:13 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2024-03-06 21:42:35 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-03-06 21:43:46 +0100phma(~phma@host-67-44-208-140.hnremote.net) (Read error: Connection reset by peer)
2024-03-06 21:44:39 +0100phma(~phma@2001:5b0:212a:dbd8:9225:61ca:7b7d:b499)
2024-03-06 21:45:09 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-06 21:48:08 +0100misterfish(~misterfis@84.53.85.146)
2024-03-06 21:56:02 +0100thegeekinside(~thegeekin@189.217.83.221) (Read error: Connection reset by peer)
2024-03-06 21:57:04 +0100caubert(~caubert@user/caubert) (Quit: WeeChat 4.0.4)
2024-03-06 21:57:11 +0100teqwve(teqwve@2a01:4f8:c2c:e5b0::1) (Quit: cya)
2024-03-06 21:58:08 +0100teqwve(teqwve@static.141.38.201.195.clients.your-server.de)
2024-03-06 21:58:20 +0100thegeekinside(~thegeekin@189.217.83.221)
2024-03-06 21:58:21 +0100thegeekinside(~thegeekin@189.217.83.221) (Read error: Connection reset by peer)
2024-03-06 21:59:11 +0100pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2024-03-06 21:59:57 +0100caubert(~caubert@user/caubert)
2024-03-06 22:01:56 +0100pavonia(~user@user/siracusa)
2024-03-06 22:02:45 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2024-03-06 22:13:14 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-03-06 22:13:28 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2024-03-06 22:17:34 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds)
2024-03-06 22:39:10 +0100turlando(~turlando@user/turlando) (Remote host closed the connection)
2024-03-06 22:40:25 +0100turlando(~turlando@user/turlando)
2024-03-06 22:40:53 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-03-06 22:45:11 +0100srz(~srz@181.228.49.93) (Ping timeout: 272 seconds)
2024-03-06 22:45:49 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds)
2024-03-06 22:52:52 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-03-06 23:00:13 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-03-06 23:02:14 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds)
2024-03-06 23:02:41 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-03-06 23:04:49 +0100tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds)
2024-03-06 23:07:42 +0100thegeekinside(~thegeekin@189.217.83.221)
2024-03-06 23:13:10 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 246 seconds)
2024-03-06 23:15:13 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-03-06 23:17:06 +0100alexherbo2(~alexherbo@2a02-8440-3240-b056-3594-8200-bad6-a60a.rev.sfr.net)
2024-03-06 23:18:33 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-06 23:18:35 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2024-03-06 23:25:33 +0100bontaq``(~user@ool-45779c03.dyn.optonline.net) (Remote host closed the connection)
2024-03-06 23:25:46 +0100bontaq``(~user@ool-45779c03.dyn.optonline.net)
2024-03-06 23:27:28 +0100TonyStone(~TonyStone@074-076-057-186.res.spectrum.com) (Remote host closed the connection)
2024-03-06 23:27:38 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-06 23:29:23 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-03-06 23:41:41 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds)
2024-03-06 23:42:30 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-03-06 23:44:38 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-03-06 23:48:03 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-03-06 23:51:48 +0100redmp(~redmp@eduroam-169-233-149-113.ucsc.edu)
2024-03-06 23:56:35 +0100oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds)