Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 584 585 586 587 588 589 590 591 592 593 594 .. 5022
— 502,152 events total
2020-10-12 02:39:09 <Axman6> since [] doesn't need any Wombles
2020-10-12 02:39:22 <proofofme> handleMaybe x = case x of
2020-10-12 02:39:23 <proofofme> Just val -> val
2020-10-12 02:39:23 <proofofme> Nothing -> []
2020-10-12 02:39:27 <proofofme> like that, yeah?
2020-10-12 02:39:32 <Axman6> what's the type of that function?
2020-10-12 02:39:42 <Axman6> looks good, but it;s only half the story!
2020-10-12 02:40:40 <proofofme> handleMaybe :: Maybe [Div] -> [Div]
2020-10-12 02:41:36 <Axman6> looks good to me (though, that's a much more specific type that that function actually needs - do you know what its most general type is?)
2020-10-12 02:42:24 <proofofme> handleMaybe :: Maybe [a] -> [a]
2020-10-12 02:42:34 <Axman6> noice, nailed it
2020-10-12 02:42:40 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-10-12 02:42:42 <proofofme> why generalize it?
2020-10-12 02:42:53 <dsal> Why write special code for every special case? :)
2020-10-12 02:43:02 <proofofme> ha good point
2020-10-12 02:43:18 <dsal> @hoogle Maybe [a] -> [a]
2020-10-12 02:43:19 <lambdabot> Prelude concat :: Foldable t => t [a] -> [a]
2020-10-12 02:43:19 <lambdabot> Data.List concat :: Foldable t => t [a] -> [a]
2020-10-12 02:43:19 <lambdabot> Data.Foldable concat :: Foldable t => t [a] -> [a]
2020-10-12 02:43:22 <Axman6> it's more useful then, I can use it on my Maybe [Womble] without having to write it myself, thansk for the useful function!
2020-10-12 02:43:55 <proofofme> I contributed to the commons!
2020-10-12 02:43:56 <Axman6> % :t concat @Maybe
2020-10-12 02:43:57 <yahb> Axman6: Maybe [a] -> [a]
2020-10-12 02:43:58 hackage clckwrks-theme-bootstrap 0.4.2.4 - simple bootstrap based template for clckwrks https://hackage.haskell.org/package/clckwrks-theme-bootstrap-0.4.2.4 (JeremyShaw)
2020-10-12 02:44:11 <Axman6> damn, looks like someone beat you to it!
2020-10-12 02:44:44 <proofofme> XD
2020-10-12 02:44:53 <dsal> Notice that the same thing you'd use for `[[a]] -> [a]` also works for `Maybe [a] -> [a]` (and tons of other foldables)
2020-10-12 02:46:01 <Axman6> you mean, even my OWN foldables? :mindblown:
2020-10-12 02:46:27 <proofofme> guys brb. I must hunt for food. I will be back soon. thanks^1000000
2020-10-12 02:46:28 × nek0 quits (~nek0@mail.nek0.eu) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-12 02:46:44 <dsal> I caught a pomegranate today.
2020-10-12 02:46:50 <Axman6> > a^1000000
2020-10-12 02:46:52 <lambdabot> a * a * (a * a) * (a * a * (a * a)) * (a * a * (a * a) * (a * a * (a * a))) ...
2020-10-12 02:47:18 → nek0 joins (~nek0@mail.nek0.eu)
2020-10-12 02:47:24 <dsal> Is that a Gigafonzee?
2020-10-12 02:47:43 <Axman6> > let thanks = var "thanks" in thanks^1000000
2020-10-12 02:47:45 <lambdabot> thanks * thanks * (thanks * thanks) * (thanks * thanks * (thanks * thanks)) ...
2020-10-12 02:48:17 <dsal> That library is kind of magic.
2020-10-12 02:48:33 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-12 02:48:39 <Axman6> nah, it's simple... simple-reflect XD
2020-10-12 02:50:39 <monochrom> > 1^10 :: Expr
2020-10-12 02:50:42 <lambdabot> 1 * 1 * (1 * 1) * (1 * 1 * (1 * 1)) * (1 * 1)
2020-10-12 02:50:59 → drbean joins (~drbean@TC210-63-209-60.static.apol.com.tw)
2020-10-12 02:51:13 <Axman6> > reduction (1^10)
2020-10-12 02:51:16 <lambdabot> [1 * 1 * (1 * 1) * (1 * 1 * (1 * 1)) * (1 * 1),1 * (1 * 1) * (1 * 1 * (1 * 1...
2020-10-12 02:51:21 × mirrorbird quits (~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Quit: Leaving)
2020-10-12 02:51:22 <monochrom> It's very dumb, like some kind of FreeNum.
2020-10-12 02:51:48 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:994a:80db:3f3a:ee42) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 02:53:11 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-12 02:53:49 <monochrom> > (-0)^10 ::
2020-10-12 02:53:52 <lambdabot> <hint>:1:12: error:
2020-10-12 02:53:52 <lambdabot> <hint>:1:12: error:
2020-10-12 02:53:52 <lambdabot> parse error (possibly incorrect indentation or mismatched brackets)
2020-10-12 02:53:55 <monochrom> > (-0)^10 :: Expr
2020-10-12 02:53:57 <lambdabot> negate 0 * negate 0 * (negate 0 * negate 0) * (negate 0 * negate 0 * (negate...
2020-10-12 02:54:05 <monochrom> I didn't expect that to be that dumb. :)
2020-10-12 02:54:57 <monochrom> You could imagine that it merely uses an AST, and so the most sophisticated code is in the Show instance.
2020-10-12 02:56:03 × fraktor quits (~walt@193.32.127.227) (Ping timeout: 260 seconds)
2020-10-12 02:57:24 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 244 seconds)
2020-10-12 02:59:41 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-12 03:00:00 × Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.)
2020-10-12 03:00:02 × Guest92188 quits (~flo@178.162.204.214) ()
2020-10-12 03:00:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 03:00:36 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-10-12 03:01:21 → OmegaDoug joins (8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca)
2020-10-12 03:01:33 → Taneb joins (~Taneb@runciman.hacksoc.org)
2020-10-12 03:03:58 hackage longshot 0.1.0.4 - Fast Brute-force search using parallelism https://hackage.haskell.org/package/longshot-0.1.0.4 (thyeem)
2020-10-12 03:04:05 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Quit: geowiesnot)
2020-10-12 03:04:07 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 244 seconds)
2020-10-12 03:04:26 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-12 03:04:36 → pingiun joins (~pingiun@j63019.upc-j.chello.nl)
2020-10-12 03:08:14 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-12 03:10:27 × quazimodo quits (~quazimodo@27-33-123-50.tpgi.com.au) (Remote host closed the connection)
2020-10-12 03:13:15 → sword865 joins (uid208942@gateway/web/irccloud.com/x-dthyagnvtpyokqxb)
2020-10-12 03:13:33 × jchia quits (~jchia@58.32.32.136) (Remote host closed the connection)
2020-10-12 03:14:37 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2020-10-12 03:15:32 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-12 03:15:34 → jchia joins (~jchia@45.32.62.73)
2020-10-12 03:16:36 × jchia quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-12 03:16:47 → jchia joins (~jchia@45.32.62.73)
2020-10-12 03:17:08 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-10-12 03:18:08 × jchia quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-12 03:18:30 × drbean quits (~drbean@TC210-63-209-60.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-10-12 03:18:50 → jchia joins (~jchia@58.32.32.136)
2020-10-12 03:19:14 × OmegaDoug quits (8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca) (Ping timeout: 245 seconds)
2020-10-12 03:22:43 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 03:24:13 × solonarv quits (~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr) (Ping timeout: 264 seconds)
2020-10-12 03:27:58 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-12 03:28:55 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds)
2020-10-12 03:29:03 → drbean joins (~drbean@TC210-63-209-219.static.apol.com.tw)
2020-10-12 03:29:52 → sleepingisfun joins (~sleepingi@168.235.93.188)
2020-10-12 03:34:35 × kupi quits (uid212005@gateway/web/irccloud.com/x-qqaeittltyajhdin) (Quit: Connection closed for inactivity)
2020-10-12 03:34:36 × djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 244 seconds)
2020-10-12 03:35:33 × Saukk quits (~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) (Remote host closed the connection)
2020-10-12 03:35:37 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-12 03:38:34 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Quit: Lost terminal)
2020-10-12 03:40:52 ← macrover parts (~macrover@ip70-189-231-35.lv.lv.cox.net) ("Killed buffer")
2020-10-12 03:42:07 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 03:43:58 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-12 03:44:12 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
←Prev  Next→
Page 1 .. 584 585 586 587 588 589 590 591 592 593 594 .. 5022

All times are in UTC.