Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 197 198 199 200 201 202 203 204 205 206 207 .. 5022
502,152 events total
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.