Logs: freenode/#haskell
| 2020-09-23 11:04:45 | × | DustyDingo quits (~nonamen@v2202001112302107134.ultrasrv.de) (Ping timeout: 240 seconds) |
| 2020-09-23 11:04:45 | × | mupf quits (~micha@v22017094964653601.ultrasrv.de) (Ping timeout: 240 seconds) |
| 2020-09-23 11:04:47 | × | debugloop quits (~danieln@unaffiliated/debugloop) (Ping timeout: 260 seconds) |
| 2020-09-23 11:05:38 | → | debugloop joins (~danieln@unaffiliated/debugloop) |
| 2020-09-23 11:05:40 | → | DustyDingo joins (~nonamen@v2202001112302107134.ultrasrv.de) |
| 2020-09-23 11:06:10 | → | holo1 joins (~holo@nikky.moe) |
| 2020-09-23 11:06:14 | × | rprije quits (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) (Ping timeout: 256 seconds) |
| 2020-09-23 11:06:31 | → | farn__ joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2020-09-23 11:06:36 | → | bahamas joins (~lucian@188.24.181.166) |
| 2020-09-23 11:06:37 | × | bahamas quits (~lucian@188.24.181.166) (Changing host) |
| 2020-09-23 11:06:37 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-09-23 11:07:18 | → | dhil joins (~dhil@11.29.39.217.dyn.plus.net) |
| 2020-09-23 11:08:01 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-23 11:09:28 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 272 seconds) |
| 2020-09-23 11:12:38 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-09-23 11:14:56 | × | aljce quits (617326cd@97-115-38-205.ptld.qwest.net) (Remote host closed the connection) |
| 2020-09-23 11:15:06 | → | sleblanc joins (~sleblanc@unaffiliated/sebleblanc) |
| 2020-09-23 11:16:29 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2020-09-23 11:17:43 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 2020-09-23 11:18:08 | → | mupf joins (~micha@v22017094964653601.ultrasrv.de) |
| 2020-09-23 11:18:13 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-23 11:18:26 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2020-09-23 11:22:05 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds) |
| 2020-09-23 11:22:53 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-23 11:24:42 | × | sleblanc quits (~sleblanc@unaffiliated/sebleblanc) (Quit: Leaving) |
| 2020-09-23 11:28:24 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-23 11:28:49 | → | tchouri joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-09-23 11:29:39 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-09-23 11:29:46 | → | glguy_ joins (x@freenode/staff/haskell.developer.glguy) |
| 2020-09-23 11:29:46 | glguy | is now known as Guest56101 |
| 2020-09-23 11:29:46 | glguy_ | is now known as glguy |
| 2020-09-23 11:30:15 | × | Guest56101 quits (x@freenode/staff/haskell.developer.glguy) (Read error: Connection reset by peer) |
| 2020-09-23 11:31:23 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-09-23 11:32:48 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-23 11:33:45 | <sshine> | hi siraben :) |
| 2020-09-23 11:34:06 | maralorn1 | is now known as maralorn |
| 2020-09-23 11:34:45 | → | mmohammadi9812 joins (~mmohammad@2.178.152.109) |
| 2020-09-23 11:36:11 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 2020-09-23 11:39:50 | × | jchia_ quits (~jchia@58.32.37.220) (Quit: Leaving.) |
| 2020-09-23 11:40:15 | → | Ariakenom joins (~Ariakenom@h-98-128-229-34.NA.cust.bahnhof.se) |
| 2020-09-23 11:42:27 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:45cf:ef77:5ff9:2b5) (Ping timeout: 260 seconds) |
| 2020-09-23 11:42:53 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 2020-09-23 11:44:10 | → | AlexM84 joins (a108e98a@161.8.233.138) |
| 2020-09-23 11:44:16 | → | cerditofaldero joins (~cerditofa@10.85-87-120.dynamic.clientes.euskaltel.es) |
| 2020-09-23 11:45:01 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2020-09-23 11:46:04 | <siraben> | edwardk: thanks, i'll look into fromScope/toScope |
| 2020-09-23 11:46:14 | <siraben> | hi sshine , what are you working on? |
| 2020-09-23 11:46:31 | → | Saukk joins (~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4) |
| 2020-09-23 11:48:13 | → | heatsink joins (~heatsink@107.136.5.69) |
| 2020-09-23 11:48:27 | × | chaosmasttter quits (~chaosmast@p200300c4a714f1015045819720a2acdb.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-09-23 11:50:50 | × | Colpop4323 quits (~logstash@host81-133-0-90.in-addr.btopenworld.com) (Ping timeout: 256 seconds) |
| 2020-09-23 11:52:07 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-09-23 11:52:22 | <AlexM84> | greetings, a noob haskell question here. Doing some haskell learning for fun (cis194 course), building a binary search tree that is somewhat balanced and it turns out that it appears slower than not balanced one (which becomes a linked list really) when I'm trying to get an element by index. Obviously for balanced tree it is O(logN) and for not |
| 2020-09-23 11:52:23 | <AlexM84> | balanced it's O(n) but because haskell rebuilds the tree every time the index function is applied it appears to be slower, cause building of that balanced tree is slower. Can someone explain how to force haskell not to rebuild a data structure every time it is accessed or maybe I'm doing something wrong here? |
| 2020-09-23 11:52:50 | <dminuoso> | AlexM84: It's best to share your code for starters. |
| 2020-09-23 11:53:13 | → | whald joins (~trem@2a02:810a:8100:11a6:230:93ff:fe14:8b3) |
| 2020-09-23 11:53:13 | × | heatsink quits (~heatsink@107.136.5.69) (Ping timeout: 260 seconds) |
| 2020-09-23 11:53:20 | <AlexM84> | (+++) :: (Sized m, Monoid m) => JoinList m a -> JoinList m a -> JoinList m a(+++) Empty x = x(+++) x Empty = x (+++) l@(Single _ _) r@(Single _ _) = Append (tag l <> tag r) l r(+++) l r@Append{} = r +++ l(+++) l@(Append s xs ys) r | isPowerOf2 . getSize . size $ s = Append (tag l <> tag r) l r | otherwise = Append (tag xs <> tag subAppend) xs |
| 2020-09-23 11:53:21 | <AlexM84> | subAppend where subAppend = ys +++ r |
| 2020-09-23 11:53:32 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.) |
| 2020-09-23 11:53:32 | <dminuoso> | Can you share it on a pasting website perhaps like gist? |
| 2020-09-23 11:53:45 | <dminuoso> | Also, be sure to share your data definitions |
| 2020-09-23 11:53:45 | <AlexM84> | oops, sure, sorry folks, give me a sec |
| 2020-09-23 11:53:49 | <AlexM84> | yep |
| 2020-09-23 11:54:21 | → | bahamas joins (~lucian@188.24.181.166) |
| 2020-09-23 11:54:21 | × | bahamas quits (~lucian@188.24.181.166) (Changing host) |
| 2020-09-23 11:54:21 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-09-23 11:54:37 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:d002:d3e9:83c8:991e) |
| 2020-09-23 11:55:53 | → | knupfer joins (~Thunderbi@200116b824c6e600c88103fffe02b6e4.dip.versatel-1u1.de) |
| 2020-09-23 11:55:57 | × | knupfer quits (~Thunderbi@200116b824c6e600c88103fffe02b6e4.dip.versatel-1u1.de) (Client Quit) |
| 2020-09-23 11:56:07 | → | knupfer joins (~Thunderbi@i5E86B476.versanet.de) |
| 2020-09-23 11:59:03 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 2020-09-23 11:59:05 | <AlexM84> | here you go https://gist.github.com/alexmilshtein/9618faa55821a1beb46498b92d3b1c29 |
| 2020-09-23 11:59:06 | → | Colpop4323 joins (~logstash@host81-133-0-90.in-addr.btopenworld.com) |
| 2020-09-23 12:00:01 | × | PjotrOrial1 quits (~PjotrOria@195.140.213.38) () |
| 2020-09-23 12:01:21 | <AlexM84> | if I create a list like so: let lst = L.foldl (+++) Empty $ map (Single (Size 1)) $ [1..100000] and let lstu = L.foldl (++++) Empty $ map (Single (Size 1)) $ [1..100000] |
| 2020-09-23 12:01:43 | <AlexM84> | the second one is a lot faster when indexJ function is applied |
| 2020-09-23 12:02:17 | × | toorevitimirp quits (~tooreviti@117.182.182.201) (Ping timeout: 260 seconds) |
| 2020-09-23 12:03:20 | <AlexM84> | update the gist with Sized module |
| 2020-09-23 12:04:28 | → | mmohammadi98126 joins (~mmohammad@46.100.1.161) |
| 2020-09-23 12:04:44 | × | mmohammadi9812 quits (~mmohammad@2.178.152.109) (Ping timeout: 258 seconds) |
| 2020-09-23 12:04:44 | mmohammadi98126 | is now known as mmohammadi9812 |
| 2020-09-23 12:05:15 | × | Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection) |
| 2020-09-23 12:05:48 | → | chaosmasttter joins (~chaosmast@p200300c4a714f1015045819720a2acdb.dip0.t-ipconnect.de) |
| 2020-09-23 12:06:08 | → | Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no) |
| 2020-09-23 12:07:30 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2020-09-23 12:08:11 | × | John20 quits (~John@82.46.59.122) (Ping timeout: 258 seconds) |
| 2020-09-23 12:08:11 | × | raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Read error: Connection reset by peer) |
| 2020-09-23 12:08:38 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 2020-09-23 12:08:49 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-23 12:08:59 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-09-23 12:11:31 | × | Saukk quits (~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 2020-09-23 12:13:04 | → | berndl joins (d45beb02@212.91.235.2) |
| 2020-09-23 12:13:33 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-09-23 12:13:47 | → | fendor_ joins (~fendor@91.141.3.57.wireless.dyn.drei.com) |
| 2020-09-23 12:15:46 | × | mmohammadi9812 quits (~mmohammad@46.100.1.161) (Ping timeout: 246 seconds) |
| 2020-09-23 12:16:16 | → | eric_ joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) |
| 2020-09-23 12:18:55 | × | fendor_ quits (~fendor@91.141.3.57.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2020-09-23 12:20:03 | → | mmohammadi9812 joins (~mmohammad@5.238.181.150) |
| 2020-09-23 12:20:08 | <lyxia> | if you apply indexJ just once that makes sense since the first one does a lot of work to rebalance the tree. It only pays off once you use indexing a lot |
All times are in UTC.