Logs: freenode/#haskell
| 2021-04-18 02:22:53 | × | ddellacosta quits (~ddellacos@86.106.143.79) (Ping timeout: 246 seconds) |
| 2021-04-18 02:23:53 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Ping timeout: 240 seconds) |
| 2021-04-18 02:26:30 | <infinisil> | nicholasbulka: Can't think of a nice pattern. I think you'll have to extract the list lengths |
| 2021-04-18 02:26:55 | <nicholasbulka> | yeah |
| 2021-04-18 02:27:05 | <nicholasbulka> | I haven't been able to think of anything elegant either |
| 2021-04-18 02:27:35 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 2021-04-18 02:27:36 | <nicholasbulka> | generally seems hard to swap things arbitrarily across functors |
| 2021-04-18 02:27:45 | <nicholasbulka> | but I am new |
| 2021-04-18 02:28:30 | <infinisil> | I guess you want functions for `[[a]] -> ([Int], [a])` and the inverse |
| 2021-04-18 02:30:08 | <infinisil> | nicholasbulka: Is it a matrix? |
| 2021-04-18 02:30:18 | <infinisil> | Is the length of each sublist always the same? |
| 2021-04-18 02:30:47 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-18 02:30:49 | <nicholasbulka> | yes, it's always 2x3 to 2x3 or 4x1 to 4x1 etc. |
| 2021-04-18 02:31:09 | <sm[m]> | do pragmas like OPTIONS_GHC, NOINLINE need to immediately precede the type signature/function declaration ? Or can I add some ordinary comment lines in between ? |
| 2021-04-18 02:32:56 | <infinisil> | nicholasbulka: Ah then you only need `[[a]] -> (Int, [a])` and the inverse |
| 2021-04-18 02:33:05 | <infinisil> | Where the Int is the length of a sublist |
| 2021-04-18 02:33:07 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-18 02:33:25 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-18 02:33:52 | × | Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-1861-6f3f-b8b6-91aa.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-18 02:35:15 | <infinisil> | ,tias |
| 2021-04-18 02:35:25 | <infinisil> | sm[m]: Try it and see! (then tell us what you saw) |
| 2021-04-18 02:35:31 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-18 02:36:35 | <sm[m]> | alas my mental stack is full, I have lazily stuck those comments at the top |
| 2021-04-18 02:37:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-18 02:38:13 | <nicholasbulka> | that makes sense, thanks! |
| 2021-04-18 02:39:38 | × | spacebase quits (~spacebase@97-118-136-127.hlrn.qwest.net) (Ping timeout: 268 seconds) |
| 2021-04-18 02:40:15 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-04-18 02:40:47 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:ecc8:7d66:24f2:c0bf) |
| 2021-04-18 02:41:22 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-18 02:42:18 | × | theDon quits (~td@muedsl-82-207-238-217.citykom.de) (Ping timeout: 240 seconds) |
| 2021-04-18 02:44:17 | → | theDon joins (~td@94.134.91.146) |
| 2021-04-18 02:46:10 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 252 seconds) |
| 2021-04-18 02:46:18 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
| 2021-04-18 02:47:20 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-18 02:47:20 | finn_elija | is now known as Guest10534 |
| 2021-04-18 02:47:20 | FinnElija | is now known as finn_elija |
| 2021-04-18 02:48:54 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-18 02:49:15 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-18 02:49:16 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-18 02:50:44 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
| 2021-04-18 02:51:09 | × | Guest10534 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-18 02:51:18 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:ecc8:7d66:24f2:c0bf) () |
| 2021-04-18 02:56:06 | → | seven_three joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 2021-04-18 02:59:23 | → | ddellacosta joins (~ddellacos@86.106.143.40) |
| 2021-04-18 03:00:38 | → | Ishutin_ joins (~ishutin@94-21-174-90.pool.digikabel.hu) |
| 2021-04-18 03:01:26 | ← | seven_three parts (~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-04-18 03:01:42 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 2021-04-18 03:03:26 | × | ddellacosta quits (~ddellacos@86.106.143.40) (Ping timeout: 240 seconds) |
| 2021-04-18 03:03:53 | × | Ishutin quits (~ishutin@193-110-63-24.cable-modem.hdsnet.hu) (Ping timeout: 260 seconds) |
| 2021-04-18 03:05:33 | → | Feuermagier_ joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 2021-04-18 03:05:45 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Read error: Connection reset by peer) |
| 2021-04-18 03:05:57 | × | Feuermagier_ quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection) |
| 2021-04-18 03:11:55 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-18 03:12:19 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Ping timeout: 268 seconds) |
| 2021-04-18 03:12:56 | × | russruss40 quits (~russruss@my.russellmcc.com) (Ping timeout: 260 seconds) |
| 2021-04-18 03:13:53 | → | russruss40 joins (~russruss@my.russellmcc.com) |
| 2021-04-18 03:26:21 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-18 03:28:20 | → | plutoniix joins (~q@ppp-223-24-146-11.revip6.asianet.co.th) |
| 2021-04-18 03:30:27 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-18 03:35:31 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-18 03:42:33 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9) |
| 2021-04-18 03:45:15 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-18 03:49:48 | × | alx741 quits (~alx741@186.178.109.113) (Quit: alx741) |
| 2021-04-18 03:54:37 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-18 03:56:54 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-mkcsziznqohoylbr) (Quit: Connection closed for inactivity) |
| 2021-04-18 04:01:52 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-18 04:02:18 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2021-04-18 04:02:49 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-04-18 04:04:44 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-04-18 04:05:44 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-18 04:06:35 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-18 04:06:48 | → | elliott__ joins (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-18 04:07:00 | × | thunderrd quits (~thunderrd@183.182.111.104) (Ping timeout: 265 seconds) |
| 2021-04-18 04:10:40 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
| 2021-04-18 04:10:47 | → | conal joins (~conal@64.71.133.70) |
| 2021-04-18 04:11:32 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Remote host closed the connection) |
| 2021-04-18 04:15:45 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
| 2021-04-18 04:17:52 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-18 04:20:26 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
| 2021-04-18 04:25:50 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-18 04:26:17 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-18 04:26:56 | × | elliott__ quits (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-04-18 04:28:02 | → | __minoru__shirae joins (~shiraeesh@109.166.58.81) |
| 2021-04-18 04:31:35 | × | NGravity quits (csp@gateway/shell/xshellz/x-wehocrdvpegpsnls) (Ping timeout: 260 seconds) |
| 2021-04-18 04:33:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-18 04:36:34 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-04-18 04:36:36 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 2021-04-18 04:38:09 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-04-18 04:38:53 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-18 04:39:38 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-18 04:39:38 | × | zaquest quits (~notzaques@5.128.210.178) (Read error: Connection reset by peer) |
| 2021-04-18 04:40:03 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-04-18 04:41:21 | → | drbean_ joins (~drbean@TC210-63-209-220.static.apol.com.tw) |
| 2021-04-18 04:41:23 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2021-04-18 04:42:23 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-18 04:43:12 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-18 04:44:39 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-04-18 04:47:28 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
| 2021-04-18 04:48:05 | → | Patrick333 joins (0ecfcc5d@14.207.204.93) |
| 2021-04-18 04:50:24 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
All times are in UTC.