Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 276 277 278 279 280 281 282 283 284 285 286 .. 5022
— 502,152 events total
2020-09-28 20:11:09 × javran quits (~javran@76.126.242.127) (Read error: Connection reset by peer)
2020-09-28 20:11:10 → rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-28 20:11:31 × Dolly quits (585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection)
2020-09-28 20:11:32 <monochrom> guards are the closest to what David Parnas promotes for "explicitly enumerate all cases and what to do respectively"
2020-09-28 20:12:02 <monochrom> (for example in his SCR)
2020-09-28 20:12:13 <koz_> monochrom: SCR?
2020-09-28 20:13:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-28 20:13:22 → remexre joins (~nathan@207-153-38-50.fttp.usinternet.com)
2020-09-28 20:13:23 × mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Remote host closed the connection)
2020-09-28 20:13:48 → mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-28 20:14:10 × evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-28 20:14:54 → evanjs joins (~evanjs@075-129-188-019.res.spectrum.com)
2020-09-28 20:14:57 <yushyin> maerwald: yeah or XML!
2020-09-28 20:15:14 <maerwald> loo
2020-09-28 20:15:58 <maerwald> <comment>I used openbox window manager once, which has XML config format </comment>
2020-09-28 20:16:03 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 20:16:46 <yushyin> wrong syntax for comments!
2020-09-28 20:18:01 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 20:18:07 → mu__ joins (~mu@unaffiliated/mu)
2020-09-28 20:20:45 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-09-28 20:22:02 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-09-28 20:22:03 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2020-09-28 20:23:03 → obihann joins (~jhann@156.34.160.69)
2020-09-28 20:23:59 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-09-28 20:24:51 → jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-mzqqgajmshcqybbf)
2020-09-28 20:25:42 <jtojnar> is it possible to have a function `Applicative f => f (a -> b -> c) -> f (a, b) -> f c`?
2020-09-28 20:25:55 <jtojnar> I can only come up with a definition using Monad
2020-09-28 20:25:58 <dolio> Yes.
2020-09-28 20:27:37 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 20:28:06 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 20:29:59 <jtojnar> oh, fmap uncurry
2020-09-28 20:31:20 → Amras joins (~Amras@unaffiliated/amras0000)
2020-09-28 20:35:24 × Rudd0^ quits (~Rudd0@185.189.115.98) (Ping timeout: 272 seconds)
2020-09-28 20:36:18 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 20:37:40 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 20:37:50 × lucid_0x80 quits (~lucid_0x8@188.253.237.9) (Ping timeout: 256 seconds)
2020-09-28 20:38:07 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 20:39:21 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 20:39:24 × obihann quits (~jhann@156.34.160.69) (Quit: Lost terminal)
2020-09-28 20:40:53 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-09-28 20:41:27 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 20:44:18 × coot quits (~coot@37.30.59.210.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-28 20:44:40 → alp joins (~alp@2a01:e0a:58b:4920:763f:d838:3a1b:fda)
2020-09-28 20:44:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-28 20:45:27 hackage uniqueness-periods-vector-common 0.4.0.0 - Generalization of the dobutokO-poetry-general package functionality https://hackage.haskell.org/package/uniqueness-periods-vector-common-0.4.0.0 (OleksandrZhabenko)
2020-09-28 20:45:55 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-09-28 20:46:05 × dnlkrgr quits (~dnlkrgr@HSI-KBW-046-005-005-226.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.7.1)
2020-09-28 20:47:43 → pepzi joins (~robert@h-4-217-30.A328.priv.bahnhof.se)
2020-09-28 20:47:43 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 20:48:07 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 20:48:18 pepzi is now known as pepzi__
2020-09-28 20:48:35 <ski> jtojnar : not `fmap'
2020-09-28 20:48:41 × isovector1 quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving)
2020-09-28 20:48:49 × ggole quits (~ggole@2001:8003:8119:7200:827:6ea2:4828:53c5) (Quit: Leaving)
2020-09-28 20:49:02 pepzi__ is now known as pepzi
2020-09-28 20:49:36 → rprije joins (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au)
2020-09-28 20:51:02 <hekkaidekapus> @type (<*>) -- jtojnar
2020-09-28 20:51:04 <lambdabot> Applicative f => f (a -> b) -> f a -> f b
2020-09-28 20:51:39 → totallynotnate joins (~nate@125.161.70.37)
2020-09-28 20:53:58 × Amras quits (~Amras@unaffiliated/amras0000) (Remote host closed the connection)
2020-09-28 20:55:28 <jtojnar> @type (<*>) . (fmap uncurry) -- I meant this, ski
2020-09-28 20:55:30 <lambdabot> Applicative f => f (a -> b1 -> b2) -> f (a, b1) -> f b2
2020-09-28 20:55:44 <ski> @type liftA2 uncurry
2020-09-28 20:55:45 <lambdabot> Applicative f => f (a -> b -> c) -> f (a, b) -> f c
2020-09-28 20:57:55 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 20:58:07 → mu__ joins (~mu@unaffiliated/mu)
2020-09-28 20:58:10 → Wuzzy joins (~Wuzzy@p5b0df9fe.dip0.t-ipconnect.de)
2020-09-28 20:58:25 → jwynn6 joins (~jwynn6@050-088-122-078.res.spectrum.com)
2020-09-28 20:59:42 <jtojnar> oh, that is even nicer, thanks. I misread liftA2 signature and prematurely discarded it
2020-09-28 21:00:01 × Andy2011Zoe quits (~Andy2011Z@185.204.1.185) ()
2020-09-28 21:00:03 <hekkaidekapus> @src liftA2
2020-09-28 21:00:03 <lambdabot> liftA2 f a b = f <$> a <*> b
2020-09-28 21:00:20 <ski> @src (<$>)
2020-09-28 21:00:21 <lambdabot> f <$> a = fmap f a
2020-09-28 21:00:44 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 272 seconds)
2020-09-28 21:01:02 × ech quits (~user@gateway/tor-sasl/ech) (Remote host closed the connection)
2020-09-28 21:01:10 <hekkaidekapus> jtojnar: As you see, you can define (<*>) using liftA2 and vice versa.
2020-09-28 21:01:22 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-09-28 21:02:45 <hekkaidekapus> That’s what `:info Applicative` is telling you when you see `{-# MINIMAL pure, ((<*>) | liftA2) #-}`.
2020-09-28 21:02:50 × mu__ quits (~mu@unaffiliated/mu) (Ping timeout: 256 seconds)
2020-09-28 21:02:57 <ddellacosta> this is still "state of the art" wrt Haskell's type system currently, right? I mean, leaving aside how extensions may affect it
2020-09-28 21:02:59 <ddellacosta> https://stackoverflow.com/a/25255551
2020-09-28 21:03:43 <jtojnar> yeah, I literally wrote the definition of liftA2 before transforming it to pointfree form
2020-09-28 21:04:27 → isovector1 joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2020-09-28 21:04:33 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds)
2020-09-28 21:05:56 <jtojnar> I love how rich the libraries are
2020-09-28 21:05:58 <ddellacosta> this is a nice pattern
2020-09-28 21:06:00 <ddellacosta> > (\a b -> if (a > b) then a else b) <$> Just 2 <*> Just 1
2020-09-28 21:06:03 <lambdabot> Just 2
2020-09-28 21:06:19 → ech joins (~user@gateway/tor-sasl/ech)
2020-09-28 21:06:37 <ddellacosta> stupid example but you get the drift
2020-09-28 21:06:57 hackage uniqueness-periods-vector-general 0.4.4.0 - Some kind of the optimization approach to data inner structure. https://hackage.haskell.org/package/uniqueness-periods-vector-general-0.4.4.0 (OleksandrZhabenko)
2020-09-28 21:08:17 × mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Remote host closed the connection)
2020-09-28 21:08:38 → mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-28 21:09:45 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 21:11:12 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-09-28 21:12:10 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 21:14:59 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-09-28 21:15:58 hackage uniqueness-periods-vector-examples 0.7.0.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.7.0.0 (OleksandrZhabenko)
2020-09-28 21:16:51 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 276 277 278 279 280 281 282 283 284 285 286 .. 5022

All times are in UTC.