Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 678 679 680 681 682 683 684 685 686 687 688 .. 5022
— 502,152 events total
2020-10-16 16:42:43 → trevorriles joins (uid469656@gateway/web/irccloud.com/x-ruimatphqohrzmib)
2020-10-16 16:42:48 × LKoen quits (~LKoen@81.255.219.130) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-16 16:43:02 <blip> I actually love servant, and think it's relatively non-ad-hoc for what it's doing.
2020-10-16 16:43:31 <blip> that's a lot more ad-hoc: https://github.com/knupfer/type-of-html
2020-10-16 16:44:25 <blip> considering that we've got Type :: Type, I think we've lost on the well kinded front
2020-10-16 16:44:54 → karanlikmadde joins (~karanlikm@2a01:c23:6037:1800:e990:a27c:f553:f1d1)
2020-10-16 16:45:17 → aenesidemus joins (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net)
2020-10-16 16:45:28 × xff0x quits (~fox@217.110.198.158) (Ping timeout: 256 seconds)
2020-10-16 16:46:11 <dolio> I don't think that really follows.
2020-10-16 16:46:38 → lnlsn joins (~lnlsn@189.100.212.150)
2020-10-16 16:47:02 → lnlsn- joins (~lnlsn@189.100.212.150)
2020-10-16 16:47:06 trevorriles is now known as visi0n
2020-10-16 16:47:19 visi0n is now known as trevorriles
2020-10-16 16:47:22 → kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-10-16 16:47:38 × addcninblue quits (~addison@c-73-158-198-149.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2020-10-16 16:48:31 → addcninblue joins (~addison@c-73-158-198-149.hsd1.ca.comcast.net)
2020-10-16 16:48:44 → mmohammadi981266 joins (~mmohammad@2.178.247.129)
2020-10-16 16:48:53 × plast1k_ quits (~plast1k_@196.207.181.246) (Quit: Leaving)
2020-10-16 16:49:52 → avdb joins (~avdb@ip-213-49-124-15.dsl.scarlet.be)
2020-10-16 16:50:28 hackage Z-Data 0.1.7.1 - Array, vector and text https://hackage.haskell.org/package/Z-Data-0.1.7.1 (winterland)
2020-10-16 16:50:38 → pera joins (~pera@unaffiliated/pera)
2020-10-16 16:50:38 × tv quits (~tv@unaffiliated/tv) (Ping timeout: 260 seconds)
2020-10-16 16:51:20 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-16 16:51:27 hackage subG 0.1.1.1 - Some extension to the Foldable and Monoid classes. https://hackage.haskell.org/package/subG-0.1.1.1 (OleksandrZhabenko)
2020-10-16 16:52:25 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 246 seconds)
2020-10-16 16:54:19 × Guest68069 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-16 16:58:00 <nerdypepper> hiya, is there a shorter way to do this: https://pastebin.com/0XBjebVt ?
2020-10-16 16:58:23 <davean> sure
2020-10-16 16:58:27 <nerdypepper> there is no particular reason i want to shorten it however, just trying to scratch an itch
2020-10-16 16:58:32 × lnlsn- quits (~lnlsn@189.100.212.150) (Read error: Connection reset by peer)
2020-10-16 16:58:32 × lnlsn quits (~lnlsn@189.100.212.150) (Write error: Connection reset by peer)
2020-10-16 16:59:17 → lnlsn joins (~lnlsn@189.100.212.150)
2020-10-16 16:59:27 → multichill joins (~multichil@84.39.116.180)
2020-10-16 16:59:52 <lyxia> It looks good already to me.
2020-10-16 17:00:36 <solonarv> I agree. There is no immediately obvious way to shorten it, which to me means I should leave it alone
2020-10-16 17:00:49 <solonarv> (well, you save two characters with s/return/pure/ :p )
2020-10-16 17:01:17 <siraben> `(some_computation val >>= another_computation) >> pure result`
2020-10-16 17:01:31 <fryguybob> carbolymer: stm-container is based on the Hashed Array-Mapped Trie data structure and has internal TVar's.
2020-10-16 17:01:33 <geekosaur> there's a way to shorten it but it's not obvious
2020-10-16 17:01:43 × mmohammadi981266 quits (~mmohammad@2.178.247.129) (Ping timeout: 260 seconds)
2020-10-16 17:01:55 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-10-16 17:01:59 <blip> siraben: wrong
2020-10-16 17:02:14 <siraben> blip: interesting, which part?
2020-10-16 17:02:35 <blip> your `result` doesn't exist
2020-10-16 17:02:35 <siraben> Oh oops
2020-10-16 17:02:36 <siraben> missed the result
2020-10-16 17:02:37 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-10-16 17:02:38 <siraben> lol
2020-10-16 17:02:48 <siraben> then it's fine as is
2020-10-16 17:03:02 <nerdypepper> lyxia, solonarv : fair enough, thanks
2020-10-16 17:03:13 <blip> `f val >>= \r -> g f >> pure r`
2020-10-16 17:03:33 <blip> `f val >>= \r -> g r >> pure r`
2020-10-16 17:03:47 → Mathnerd314 joins (uid442749@supertux/Mathnerd314)
2020-10-16 17:04:43 <carbolymer> fryguybob, thanks for the info, I think I've overlooked that
2020-10-16 17:05:27 <carbolymer> EvanR, I just need a bit finer locking than on a whole Map level
2020-10-16 17:05:28 <nerdypepper> blip: nice!
2020-10-16 17:05:38 <blip> `f val >>= uncurry (>>) . (g &&& pure)` ??
2020-10-16 17:06:26 → tv joins (~tv@unaffiliated/tv)
2020-10-16 17:07:42 <blip> actually `*>` is nicer than `>>`
2020-10-16 17:07:50 <nerdypepper> blip: sweet, i was looking to do this somehow using arrow combinators, thanks a lot
2020-10-16 17:07:52 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-16 17:07:58 <nerdypepper> blip: any reason *> is better than >> ?
2020-10-16 17:08:07 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-16 17:08:08 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-16 17:08:08 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-16 17:08:12 <blip> it's usable in more cases
2020-10-16 17:08:27 <blip> it's more honest
2020-10-16 17:08:37 <blip> it's like using `pure` and not `return`
2020-10-16 17:09:00 <nerdypepper> gotcha
2020-10-16 17:09:11 <blip> and it's combinable with applicative do
2020-10-16 17:09:44 hekkaidekapus_ is now known as hekkaidekapus
2020-10-16 17:10:36 <fryguybob> carbolymer: A non-STM, concurrent version of the HAMT is in the ctrie package.
2020-10-16 17:11:57 <fryguybob> That one can have non-blocking snapshots, but I don't think the ctrie package implementes it.
2020-10-16 17:12:04 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-16 17:12:07 <blip> proposal: let's deprecate mapM
2020-10-16 17:12:17 <hekkaidekapus> dminuoso, tomjaguarpaw: Actionable input is required at <https://gitlab.haskell.org/ghc/ghc/-/issues/18836#note_307788>. After all, you’ll started it :) So, ”would you care to […] propose a paragraph or two that would have cleared it up for you?”
2020-10-16 17:13:03 × lnlsn quits (~lnlsn@189.100.212.150) (Read error: Connection reset by peer)
2020-10-16 17:13:42 <hekkaidekapus> *you all
2020-10-16 17:16:11 × raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-10-16 17:17:11 × bitmagie quits (~Thunderbi@200116b8068ac700b1ff22a8b63421be.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-16 17:18:25 → juuandyy joins (~juuandyy@90.166.144.65)
2020-10-16 17:18:53 → plast1k_ joins (~plast1k_@196.207.181.246)
2020-10-16 17:18:56 × juuandyy quits (~juuandyy@90.166.144.65) (Client Quit)
2020-10-16 17:19:14 → mmohammadi981266 joins (~mmohammad@5.106.141.98)
2020-10-16 17:23:24 → Buntspecht joins (~user@unaffiliated/siracusa)
2020-10-16 17:24:07 → thir joins (~thir@p200300f27f02580074cf2a3fa9ab5ee7.dip0.t-ipconnect.de)
2020-10-16 17:26:46 × karanlikmadde quits (~karanlikm@2a01:c23:6037:1800:e990:a27c:f553:f1d1) (Quit: karanlikmadde)
2020-10-16 17:27:59 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Quit: Curry, you fools!)
2020-10-16 17:28:22 → xff0x joins (~fox@2001:1a81:5391:7900:f127:8532:42d4:579b)
2020-10-16 17:29:56 → frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-16 17:30:22 × Tops2 quits (~Tobias@dyndsl-091-249-082-055.ewe-ip-backbone.de) (Quit: Leaving.)
2020-10-16 17:31:56 × mmohammadi981266 quits (~mmohammad@5.106.141.98) (Ping timeout: 256 seconds)
2020-10-16 17:32:29 → mmohammadi981266 joins (~mmohammad@2.178.247.129)
2020-10-16 17:38:00 × nyd quits (~lpy@unaffiliated/elysian) (Quit: nyd)
2020-10-16 17:38:23 × AWizzArd quits (~code@gehrels.uberspace.de) (Changing host)
2020-10-16 17:38:23 → AWizzArd joins (~code@unaffiliated/awizzard)
2020-10-16 17:39:59 × mmohammadi981266 quits (~mmohammad@2.178.247.129) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-10-16 17:40:50 → amosbird joins (~amosbird@13.75.119.182)
2020-10-16 17:41:14 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-16 17:42:11 → howdoi joins (uid224@gateway/web/irccloud.com/x-vzqpthvuyxsqigap)
←Prev  Next→
Page 1 .. 678 679 680 681 682 683 684 685 686 687 688 .. 5022

All times are in UTC.