Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 .. 5022
— 502,152 events total
2020-11-09 21:10:52 × bennofs1 quits (~benno@dslb-188-106-224-177.188.106.pools.vodafone-ip.de) (Quit: WeeChat 2.9)
2020-11-09 21:11:26 <hekkaidekapus> yesterday
2020-11-09 21:11:53 <merijn> That's about 12 hours outside my short term memory storage :p
2020-11-09 21:12:10 <hekkaidekapus> L4 anyone?
2020-11-09 21:12:46 → gtk` joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-11-09 21:13:06 <gtk`> Is the Rio library still being actively developed?
2020-11-09 21:13:31 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-09 21:14:30 × bitmagie quits (~Thunderbi@200116b8068e9d000cdbc28af571c7f9.dip.versatel-1u1.de) (Quit: bitmagie)
2020-11-09 21:14:33 <hekkaidekapus> merijn: <https://ircbrowse.tomsmeding.com/browse/haskell?id=113736&timestamp=1604876499#t1604876499>
2020-11-09 21:16:09 → conal joins (~conal@64.71.133.70)
2020-11-09 21:16:25 <tomsmeding> can't have an infinite Seq?
2020-11-09 21:16:34 <hekkaidekapus> Nope.
2020-11-09 21:16:41 <bqv> if i have a Getter
2020-11-09 21:16:44 <tomsmeding> so then you can't do the same trick anyhow
2020-11-09 21:16:44 <bqv> and i have a Setter
2020-11-09 21:16:51 <bqv> can I make a Lens'
2020-11-09 21:17:02 <bqv> without going the roundabout route
2020-11-09 21:17:15 × nuncanada quits (~dude@179.235.160.168) (Read error: Connection reset by peer)
2020-11-09 21:17:29 <bqv> i can't quite decipher the types enough to work out if that's possible
2020-11-09 21:17:50 → nuncanada joins (~dude@179.235.160.168)
2020-11-09 21:17:56 <hekkaidekapus> tomsmeding: In the grand scheme of things, yes. But I doubt the code involved in that convo wouldn’t fare well with a takeWhileR.
2020-11-09 21:18:25 → aarvar joins (~foewfoiew@c.24.56.239.179.static.broadstripe.net)
2020-11-09 21:22:18 × knupfer quits (~Thunderbi@200116b82c4b6a002515619359a4e7a1.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2020-11-09 21:23:21 <gtk`> cabal install Quickcheck give this error: fdTryLock: invalid argument (Invalid argument)
2020-11-09 21:23:30 <gtk`> any hint?
2020-11-09 21:24:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-09 21:24:49 × jathan quits (~jathan@69.61.93.38) (Quit: WeeChat 2.3)
2020-11-09 21:25:29 <merijn> hekkaidekapus: I don't really see how Seq fits there, tbh?
2020-11-09 21:26:34 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ...zzzZZZ)
2020-11-09 21:26:55 → jathan joins (~jathan@69.61.93.38)
2020-11-09 21:28:23 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov)
2020-11-09 21:29:04 × johnw__ quits (~textual@2600:1700:cf00:db0:5550:6a3c:f0cd:2841) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-09 21:29:08 → lawr3nce joins (~lawr3nce@gateway/tor-sasl/lawr3nce)
2020-11-09 21:31:27 × gtk` quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2020-11-09 21:31:43 × gtk quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2020-11-09 21:31:55 <hekkaidekapus> gtk`: Are you on Windows?
2020-11-09 21:32:52 <hekkaidekapus> merijn: I’m suggesting Seq in case the real use case was to view a list in the right-left direction.
2020-11-09 21:33:04 × lawr3nce quits (~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection)
2020-11-09 21:33:06 → borne joins (~fritjof@200116b864d35e0021c47849b07375d7.dip.versatel-1u1.de)
2020-11-09 21:33:15 <merijn> The question was how to pad to a fixed length, though?
2020-11-09 21:33:17 × ulidtko quits (~ulidtko@193.111.48.79) (Remote host closed the connection)
2020-11-09 21:33:49 × avdb quits (~avdb@ip-83-134-109-5.dsl.scarlet.be) (Ping timeout: 264 seconds)
2020-11-09 21:34:27 <hekkaidekapus> Yeah, so if the list is built right-leftly, I can pad at the front with Seq.
2020-11-09 21:35:07 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-09 21:35:40 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 21:36:14 <tomsmeding> but then you still have to compute (desired length) - (current length) to determine the amount of padding, right?
2020-11-09 21:36:53 <tomsmeding> in which case you could just as well have used `take desired (replicate (desired - length my_list) ++ my_list)`
2020-11-09 21:37:42 <tomsmeding> hm, except if it can happen that the list is _longer_ than the desired length and you want to truncate
2020-11-09 21:38:09 <hekkaidekapus> How are the asymptotics of that? (Haven’t checked, have just a hunch)
2020-11-09 21:38:23 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds)
2020-11-09 21:38:24 <tomsmeding> linear? :p
2020-11-09 21:38:38 <bqv> dminuoso?
2020-11-09 21:38:46 <tomsmeding> whereas using Seq would even be n log n
2020-11-09 21:38:51 <bqv> Resident lens expert...
2020-11-09 21:39:00 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-09 21:39:25 <merijn> I know the asymptotics of thinking about complicated alternatives and their complexity are higher than my simple O(1) reflex reaction :p
2020-11-09 21:40:25 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 264 seconds)
2020-11-09 21:41:11 <hekkaidekapus> Empty |> 0 |> 0 |> 0 |> 5 |> 4 |> 3 |> 2 |> 1 -- Is that so bad?
2020-11-09 21:41:25 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer)
2020-11-09 21:42:20 → Guest41 joins (50a46f47@gateway/web/cgi-irc/kiwiirc.com/ip.80.164.111.71)
2020-11-09 21:42:22 <bqv> Yikes
2020-11-09 21:43:17 <tomsmeding> talking about aesthetics, performance, or time spent typing? :p
2020-11-09 21:43:43 <hekkaidekapus> All of them :)
2020-11-09 21:44:37 <tomsmeding> looks nice, is probably slower than `reverse (take 8 ([1..5] ++ repeat 0))`, and takes longer to type except if you use editor macros
2020-11-09 21:44:50 → Lord_of_Life joins (~Lord@46.217.220.150)
2020-11-09 21:44:50 × Lord_of_Life quits (~Lord@46.217.220.150) (Changing host)
2020-11-09 21:44:50 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-11-09 21:45:00 hackage hls-plugin-api 0.5.0.0 - Haskell Language Server API for plugin communication https://hackage.haskell.org/package/hls-plugin-api-0.5.0.0 (jneira)
2020-11-09 21:45:06 <tomsmeding> ("slower" -> assuming you convert to a list again afterwards)
2020-11-09 21:45:41 <hekkaidekapus> #haskell, where typing happens :P
2020-11-09 21:47:23 <invaser> Hi, it seems that I've found a bug in syntax highlighter for vscode
2020-11-09 21:48:13 <invaser> if you write this code `t = [f| f <-""]` (without space between `f` and `|`) everything that comes after the list comprehension isn't highlighted
2020-11-09 21:48:19 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-09 21:48:59 <[exa]> invaser: sounds like it's mistaking it for some kind of template haskell construct?
2020-11-09 21:48:59 <invaser> should I report it in Haskell externsion repo or in syntax highlighter one?
2020-11-09 21:49:29 × mbomba quits (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Quit: WeeChat 2.9)
2020-11-09 21:49:31 <invaser> [exa]: yes, it seems like it, though the code runs perfectly ok
2020-11-09 21:50:06 <invaser> I'm new to the bug reporting, so I thought I should ask here first where should I report this :)
2020-11-09 21:50:31 <[exa]> invaser: I'd start with syntax highlighter, at worst they tell you that the problem is not at their side (maybe the compiler flags get reported wrong)
2020-11-09 21:50:56 <[exa]> if you want to be triple sure, try to run the syntax highlighter standalone on the problematic snippet
2020-11-09 21:52:18 <[exa]> btw if you're new, it's good to follow a "template", like say this one https://github.com/JustusAdam/language-haskell/issues/176
2020-11-09 21:52:30 hackage j 0.2.0.0 - J in Haskell https://hackage.haskell.org/package/j-0.2.0.0 (vmchale)
2020-11-09 21:53:00 <[exa]> (uh wait that actually looks like the same issue :D )
2020-11-09 21:53:41 → armin76 joins (~armin76@s91904426.blix.com)
2020-11-09 21:53:49 <invaser> [exa]: haha yeah, just saw it myself
2020-11-09 21:54:43 <[exa]> the 'wontfix' label is sad, obviously there's no way to tell the highlighter if the file should have +TemplateHaskell or not
2020-11-09 21:55:06 × chaosmasttter quits (~chaosmast@p200300c4a7087201c8e962581689150e.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-09 21:55:29 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-09 21:56:10 <[exa]> (grumpy voice:) what would we expect from an IDE anyway
2020-11-09 21:56:23 <jackdk> Does this have a well-known name? `data FooBar a b = Foo a (Maybe b) | Bar b`? i.e., you might have `a`, you might have `b`, but you definitely don't have neither
2020-11-09 21:56:41 → nuruuu joins (6dced5cb@109.206.213.203)
2020-11-09 21:57:00 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 256 seconds)
2020-11-09 21:58:35 <monochrom> "inclusive or" is close, but no one really say that.
2020-11-09 21:58:47 <[exa]> jackdk: why not make the type symmetric, like JustA a | JustB b | Both a b ?
2020-11-09 21:58:47 × ski quits (~ski@remote11.chalmers.se) (Remote host closed the connection)
2020-11-09 21:59:22 <monochrom> And yeah it is usually nicer to make it symmetry like that.
2020-11-09 21:59:25 <nshepperd2> isn't that called These
2020-11-09 21:59:46 <jackdk> haha yes it is These. thanks nshepperd2
2020-11-09 22:01:05 <monochrom> I am beginning to suspect that "These" is a poorly chosen name.
2020-11-09 22:01:21 <[exa]> monochrom: I just rediscovered what it does for the 3rd time
←Prev  Next→
Page 1 .. 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 .. 5022

All times are in UTC.