Logs: freenode/#haskell
| 2021-04-10 20:09:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-10 20:10:30 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 268 seconds) |
| 2021-04-10 20:11:28 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 2021-04-10 20:11:35 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 20:13:07 | → | sedeki joins (~textual@unaffiliated/sedeki) |
| 2021-04-10 20:16:13 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 252 seconds) |
| 2021-04-10 20:17:49 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 2021-04-10 20:19:03 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-10 20:19:56 | × | kaction quits (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-04-10 20:21:00 | × | geekosaur quits (42d52137@66.213.33.55) (Quit: Connection closed) |
| 2021-04-10 20:21:19 | → | Khisanth joins (~Khisanth@11.sub-174-244-147.myvzw.com) |
| 2021-04-10 20:23:22 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-10 20:28:26 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-10 20:29:19 | → | N3RGY joins (~N3RGY@65.141.87.122) |
| 2021-04-10 20:29:47 | × | N3RGY quits (~N3RGY@65.141.87.122) (Client Quit) |
| 2021-04-10 20:30:06 | → | mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
| 2021-04-10 20:30:27 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-04-10 20:31:26 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 20:32:41 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-10 20:32:50 | → | OscarZ joins (~oscarz@95.175.104.80) |
| 2021-04-10 20:33:23 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-10 20:34:44 | × | SIben quits (~siben@5.135.191.127) (Quit: leaving) |
| 2021-04-10 20:35:55 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-10 20:37:03 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 20:37:09 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-10 20:37:24 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 20:39:57 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-10 20:41:14 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-10 20:42:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-10 20:45:09 | → | SIben joins (~SIben@ns3106586.ip-5-135-191.eu) |
| 2021-04-10 20:45:37 | × | supercoven quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 260 seconds) |
| 2021-04-10 20:47:25 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 20:48:02 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Read error: No route to host) |
| 2021-04-10 20:48:54 | → | hamza joins (~hamza@109-93-62-203.dynamic.isp.telekom.rs) |
| 2021-04-10 20:49:17 | × | hamza quits (~hamza@109-93-62-203.dynamic.isp.telekom.rs) (Client Quit) |
| 2021-04-10 20:49:20 | × | mananamenos quits (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2021-04-10 20:49:34 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-10 20:49:38 | × | iMast777 quits (~iMast777@185.204.1.185) (Remote host closed the connection) |
| 2021-04-10 20:49:52 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 20:50:09 | <d34df00d> | Is there a library that provides unboxed multidimensional vectors? |
| 2021-04-10 20:51:24 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-04-10 20:51:24 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-04-10 20:51:24 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-04-10 20:52:04 | <d34df00d> | Suppose I want to work with a vector of n-tuples of 64 words. Right now, I have to either do V.Vector (V.Vector (VU.Vector Word)), where V = Data.Vector and VU = Data.Vector.Unboxed, giving me quite some extra indirections I don't need. |
| 2021-04-10 20:52:39 | <d34df00d> | I also know about repa, but I have to interface with some Vector-supporting code. |
| 2021-04-10 20:53:04 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 252 seconds) |
| 2021-04-10 20:55:38 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9512392c48d8e031de92.dip0.t-ipconnect.de) |
| 2021-04-10 20:56:07 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-10 20:57:27 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:1d08) (Client Quit) |
| 2021-04-10 20:58:10 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-10 20:59:08 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-jlhhtexfnehtahxg) (Quit: Connection closed for inactivity) |
| 2021-04-10 21:01:34 | <wz1000> | d34df00d: vector-sized |
| 2021-04-10 21:02:58 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-10 21:05:54 | → | kaction joins (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-10 21:07:45 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-10 21:17:17 | × | jacks2 quits (~bc8134e3@217.29.117.252) (Quit: quit) |
| 2021-04-10 21:18:43 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-10 21:19:58 | → | son0p joins (~ff@181.136.122.143) |
| 2021-04-10 21:23:00 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-04-10 21:23:36 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-10 21:23:57 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-04-10 21:24:02 | <d34df00d> | wz1000: hmm, not sure it enables the multidimensional unboxed vectors.s |
| 2021-04-10 21:24:24 | <d34df00d> | Although size in types is nice, I'll have a use for it in another part of my stuff. |
| 2021-04-10 21:24:53 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:1d08) (Client Quit) |
| 2021-04-10 21:26:19 | × | pengjiz quits (~user@2601:547:902:6d00::2) (Quit: ERC (IRC client for Emacs 27.2)) |
| 2021-04-10 21:26:34 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 21:26:36 | <wz1000> | d34df00d: it does, once you have known sizes you can define Storable and Unbox instances |
| 2021-04-10 21:26:36 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-10 21:26:48 | <wz1000> | that is exactly what is done in vector-sized |
| 2021-04-10 21:27:06 | <d34df00d> | Maybe I've missed it in the docs, let me take another look. |
| 2021-04-10 21:27:37 | <wz1000> | d34df00d: https://hackage.haskell.org/package/vector-sized-1.4.0.0/docs/src/Data.Vector.Generic.Sized.html#line-294 |
| 2021-04-10 21:27:53 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-10 21:27:59 | <d34df00d> | Ah right, (Unbox a, KnownNat n) => Unbox (Vector Vector n a) |
| 2021-04-10 21:28:02 | <d34df00d> | Missed that on the first reading. |
| 2021-04-10 21:28:11 | <d34df00d> | Yeah, that does the trick for me, thanks! |
| 2021-04-10 21:28:41 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-10 21:28:41 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-04-10 21:29:05 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-04-10 21:29:51 | <tomsmeding> | maerwald: "also: color vs colour" -- clearly the best answer |
| 2021-04-10 21:31:38 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 240 seconds) |
| 2021-04-10 21:31:41 | × | Nik05 quits (~Nik05@unaffiliated/nik05) (Quit: ZNC - https://znc.in) |
| 2021-04-10 21:32:34 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 21:32:36 | × | smctwo quits (~smctwo@bba597217.alshamil.net.ae) (Remote host closed the connection) |
| 2021-04-10 21:32:42 | → | Nik05 joins (~Nik05@unaffiliated/nik05) |
| 2021-04-10 21:36:50 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:cc24:be2b:516b:e61) |
| 2021-04-10 21:39:43 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-10 21:41:04 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-10 21:41:11 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-10 21:41:15 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:cc24:be2b:516b:e61) (Ping timeout: 258 seconds) |
| 2021-04-10 21:41:57 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 21:43:46 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-10 21:44:05 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-10 21:47:55 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 2021-04-10 21:48:28 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 3.0.1) |
| 2021-04-10 21:50:05 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-10 21:50:15 | <hololeap> | this is one of those silly questions of preference, but which is better: *> or >> |
| 2021-04-10 21:50:28 | <hololeap> | (when dealing with a Monad) |
| 2021-04-10 21:52:06 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-04-10 21:52:27 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2021-04-10 21:52:27 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
All times are in UTC.