Logs: freenode/#haskell
| 2020-09-25 08:33:24 | × | Volt_ quits (~Volt_@c-73-145-164-70.hsd1.mi.comcast.net) (Quit: ) |
| 2020-09-25 08:33:49 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 08:33:59 | × | ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds)) |
| 2020-09-25 08:34:17 | → | asan joins (~yan4138@124.78.124.81) |
| 2020-09-25 08:34:34 | → | ahri joins (~ahri@178.209.40.84) |
| 2020-09-25 08:38:42 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-09-25 08:39:44 | → | esp32_prog joins (yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) |
| 2020-09-25 08:41:13 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 2020-09-25 08:42:17 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-cqejdnrmfbrsuxpt) (Quit: Connection closed for inactivity) |
| 2020-09-25 08:44:04 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 08:45:53 | × | sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:6623:d71f:7a29:28d2) (Quit: WeeChat 2.9) |
| 2020-09-25 08:48:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-25 08:48:19 | → | wonko7 joins (~wonko7@2a01:e35:2ffb:7040:8c5f:831a:4acc:45dd) |
| 2020-09-25 08:49:16 | × | drbean quits (~drbean@TC210-63-209-146.static.apol.com.tw) (Ping timeout: 272 seconds) |
| 2020-09-25 08:50:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-09-25 08:54:07 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 08:54:33 | → | Saten-san joins (~Saten-san@ip-213-49-123-127.dsl.scarlet.be) |
| 2020-09-25 08:55:23 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2020-09-25 08:55:30 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) |
| 2020-09-25 08:55:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-09-25 08:57:19 | × | Sgeo_ quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-09-25 08:58:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-25 09:00:02 | × | kermit1 quits (~kermit@178.162.209.171) () |
| 2020-09-25 09:03:21 | → | Guest_73 joins (968f72e6@230.114.143.150.dyn.plus.net) |
| 2020-09-25 09:03:47 | × | aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 258 seconds) |
| 2020-09-25 09:04:11 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 09:04:33 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 260 seconds) |
| 2020-09-25 09:04:35 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 2020-09-25 09:06:08 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 2020-09-25 09:06:19 | → | mounty joins (~mounty@n49-198-160-249.mrk1.qld.optusnet.com.au) |
| 2020-09-25 09:07:32 | × | Zeb1 quits (3ed8d095@aftr-62-216-208-149.dynamic.mnet-online.de) (Remote host closed the connection) |
| 2020-09-25 09:07:37 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds) |
| 2020-09-25 09:08:40 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-09-25 09:11:17 | → | cpressey joins (~cpressey@79-72-202-6.dynamic.dsl.as9105.com) |
| 2020-09-25 09:13:28 | → | carlomagno joins (~cararell@inet-hqmc02-o.oracle.com) |
| 2020-09-25 09:13:55 | × | asan quits (~yan4138@124.78.124.81) (Remote host closed the connection) |
| 2020-09-25 09:13:55 | × | mounty quits (~mounty@n49-198-160-249.mrk1.qld.optusnet.com.au) (Ping timeout: 246 seconds) |
| 2020-09-25 09:14:24 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 09:14:27 | × | Saten-san quits (~Saten-san@ip-213-49-123-127.dsl.scarlet.be) (Quit: WeeChat 2.8) |
| 2020-09-25 09:14:35 | → | mounty joins (~mounty@mail.nextgenerationvoice.com.au) |
| 2020-09-25 09:15:14 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 2020-09-25 09:16:07 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Read error: Connection reset by peer) |
| 2020-09-25 09:16:48 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2020-09-25 09:16:50 | → | cosimone joins (~cosimone@93-47-228-249.ip115.fastwebnet.it) |
| 2020-09-25 09:17:08 | × | carlomagno1 quits (~cararell@inet-hqmc01-o.oracle.com) (Ping timeout: 272 seconds) |
| 2020-09-25 09:19:02 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2020-09-25 09:19:35 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 2020-09-25 09:21:47 | × | TooDifficult quits (~TooDiffic@139.59.59.230) (Quit: TooDifficult) |
| 2020-09-25 09:21:55 | → | sw1nn joins (~sw1nn@host86-157-211-183.range86-157.btcentralplus.com) |
| 2020-09-25 09:22:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-09-25 09:24:16 | → | asan joins (~yan4138@58.37.8.8) |
| 2020-09-25 09:24:30 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 09:26:54 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 2020-09-25 09:27:55 | → | shad0w_ joins (~shad0w_@160.202.37.157) |
| 2020-09-25 09:28:45 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-25 09:29:28 | → | acidjnk_new2 joins (~acidjnk@p200300d0c723780230ffb87e65cc7e0f.dip0.t-ipconnect.de) |
| 2020-09-25 09:30:45 | × | asan quits (~yan4138@58.37.8.8) (Ping timeout: 240 seconds) |
| 2020-09-25 09:32:43 | → | asan joins (~yan4138@124.78.5.33) |
| 2020-09-25 09:33:45 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-09-25 09:34:08 | <justsomeguy> | Is there a function like (!!) that also works for negative indices? |
| 2020-09-25 09:37:24 | <Rembane> | justsomeguy: When you do let xs = [1,2,3,4] in xs !! (-2), what result do you expect? |
| 2020-09-25 09:37:34 | <justsomeguy> | 3 |
| 2020-09-25 09:37:41 | × | Guest_73 quits (968f72e6@230.114.143.150.dyn.plus.net) (Remote host closed the connection) |
| 2020-09-25 09:38:17 | <solonarv> | ah, indexing from the other end like python does? |
| 2020-09-25 09:38:24 | → | breezykermo joins (~breezyker@p200300ed5f114200c95d7bbe0250101c.dip0.t-ipconnect.de) |
| 2020-09-25 09:38:50 | <Rembane> | justsomeguy: You can do let f i xs = xs !! (length xs + i) |
| 2020-09-25 09:38:56 | <Rembane> | justsomeguy: But it's incredibly expensive. |
| 2020-09-25 09:38:58 | <Jajik> | then reverse it and use (!!) . abs, but the list is not the best structure for that |
| 2020-09-25 09:39:28 | <justsomeguy> | Should I be using Data.Array, instead? (...and does it support negative indices?) |
| 2020-09-25 09:39:56 | <justsomeguy> | solonarv: Exactly. I had pythons subscript notation in mind. |
| 2020-09-25 09:39:56 | <solonarv> | if you want to index to arbitrary positions (especially near the end), you probably shouldn't be using lists, yes |
| 2020-09-25 09:40:06 | <MarcelineVQ> | if you need arbitrary indexing vector or array will serve you better, on a list of 4 items I wouldn't sweat the small stuff |
| 2020-09-25 09:40:11 | <Rembane> | justsomeguy: Use Data.Vector, it has a nicer API |
| 2020-09-25 09:40:33 | <solonarv> | array or vector have efficient indexing (I recommend vector due to the nicer API, especially if you only care about Int indexes) |
| 2020-09-25 09:40:52 | <solonarv> | it doesn't have this "wraparound" indexing but you can easily build it |
| 2020-09-25 09:41:02 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:bc6f:f4f1:b8da:13b1) (Ping timeout: 260 seconds) |
| 2020-09-25 09:41:57 | <solonarv> | xs !* n | n < 0 = xs ! (n + length xs) ; otherwise = xs ! n |
| 2020-09-25 09:43:03 | × | plutoniix quits (~q@175.176.222.7) (Ping timeout: 260 seconds) |
| 2020-09-25 09:44:56 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-25 09:49:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-25 09:49:30 | → | graf_blutwurst joins (~user@2a02:168:49bc:0:c5c0:f87b:998c:4a07) |
| 2020-09-25 09:50:42 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 272 seconds) |
| 2020-09-25 09:50:54 | <phadej> | what [1,2,3,4] !! -10 would do? |
| 2020-09-25 09:51:24 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 2020-09-25 09:51:27 | <phadej> | generally, I consider !! a smell in Haskell. |
| 2020-09-25 09:53:17 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:572:c294:99c1:7d20) |
| 2020-09-25 09:54:17 | × | Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection) |
| 2020-09-25 09:54:23 | <MarcelineVQ> | that's the entire definition, modulo modulo |
| 2020-09-25 09:55:47 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 2020-09-25 09:55:49 | → | plutoniix joins (~q@175.176.222.7) |
| 2020-09-25 09:55:52 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-09-25 09:56:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-09-25 09:57:16 | × | juuandyy quits (~juuandyy@90.166.144.65) (Client Quit) |
| 2020-09-25 09:59:12 | → | mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) |
| 2020-09-25 10:00:02 | → | Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no) |
| 2020-09-25 10:00:46 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-09-25 10:02:33 | × | graf_blutwurst quits (~user@2a02:168:49bc:0:c5c0:f87b:998c:4a07) (Remote host closed the connection) |
| 2020-09-25 10:02:36 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2020-09-25 10:03:26 | × | plutoniix quits (~q@175.176.222.7) (Quit: Leaving) |
| 2020-09-25 10:03:33 | → | graf_blutwurst joins (~user@2a02:168:49bc:0:c5c0:f87b:998c:4a07) |
All times are in UTC.