Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 143 144 145 146 147 148 149 150 151 152 153 .. 5022
— 502,152 events total
2020-09-22 20:47:38 <z0> interesting
2020-09-22 20:47:40 <z0> thanks
2020-09-22 20:48:18 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-22 20:50:27 → acidjnk_new joins (~acidjnk@p200300d0c72378606823dd4b271c2000.dip0.t-ipconnect.de)
2020-09-22 20:51:05 → LKoen joins (~LKoen@81.255.219.130)
2020-09-22 20:51:11 × ubert quits (~Thunderbi@178.165.128.28.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2020-09-22 20:52:49 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 246 seconds)
2020-09-22 20:52:59 → ubert joins (~Thunderbi@178.165.128.28.wireless.dyn.drei.com)
2020-09-22 20:53:08 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-22 20:56:36 → acidjnk_new2 joins (~acidjnk@p200300d0c7237860d9dcd65723cec3bc.dip0.t-ipconnect.de)
2020-09-22 20:57:23 × z0 quits (~z0@bl15-163-199.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-09-22 20:57:41 × irreg quits (97f8d1fe@pub-151-248-209-254.dh-hfc.datazug.ch) (Remote host closed the connection)
2020-09-22 20:57:48 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-22 20:58:21 <dolio> There would be more details needed to be worked out for such a thing.
2020-09-22 21:00:01 × tummy quits (~tummy@84.39.117.57) ()
2020-09-22 21:00:02 → ixlun joins (~matthew@213.205.241.18)
2020-09-22 21:00:13 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 264 seconds)
2020-09-22 21:00:38 × acidjnk_new quits (~acidjnk@p200300d0c72378606823dd4b271c2000.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-09-22 21:00:52 × ubert quits (~Thunderbi@178.165.128.28.wireless.dyn.drei.com) (Ping timeout: 246 seconds)
2020-09-22 21:01:10 → jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de)
2020-09-22 21:01:28 <cr0ssw1nd> if I have only 1 library in my project, what is the difference between putting something into "dependencies" or into "library->dependencies" in my package.yaml ?
2020-09-22 21:02:58 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 246 seconds)
2020-09-22 21:03:47 × tzh quits (~tzh@2601:448:c500:5300::82b3) (Ping timeout: 240 seconds)
2020-09-22 21:05:34 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-22 21:07:32 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-22 21:07:43 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds)
2020-09-22 21:07:50 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-22 21:08:35 <maerwald> safe-money is awesome, yet I haven't seen it in use... I think ppl just go for Double and call it a day
2020-09-22 21:09:31 <Uniaika> smart people don't handle money ;)
2020-09-22 21:10:58 × knupfer quits (~Thunderbi@200116b82410ab0034e42a4fde443f6d.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-09-22 21:11:48 <cr0ssw1nd> :D
2020-09-22 21:11:49 → tzh joins (~tzh@2601:448:c500:5300::82b3)
2020-09-22 21:16:52 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-22 21:18:01 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection)
2020-09-22 21:18:25 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-22 21:19:14 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-22 21:22:37 → bahamas joins (~lucian@188.24.181.166)
2020-09-22 21:22:38 × bahamas quits (~lucian@188.24.181.166) (Changing host)
2020-09-22 21:22:38 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-22 21:24:38 <ixlun> If I have: a -> f a, and a -> b, how can I combine them to get a -> f b?
2020-09-22 21:25:22 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-09-22 21:26:01 <koz_> :t fmap
2020-09-22 21:26:04 <lambdabot> Functor f => (a -> b) -> f a -> f b
2020-09-22 21:26:08 <koz_> ixlun: ^
2020-09-22 21:26:22 <sshine> :t fmap . pure
2020-09-22 21:26:24 <lambdabot> Functor f => b -> f a -> f b
2020-09-22 21:27:23 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2020-09-22 21:28:36 <ixlun> so, say x :: a -> f a and y :: a -> b
2020-09-22 21:28:38 × jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 2.9)
2020-09-22 21:29:10 <ixlun> then, if I do, pure y <$> x, then I get: a -> a -> b
2020-09-22 21:29:24 <sshine> where'd the f go?
2020-09-22 21:29:47 × adamwespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection)
2020-09-22 21:29:57 → alp joins (~alp@2a01:e0a:58b:4920:ac64:cb7c:7fea:4133)
2020-09-22 21:30:09 <ixlun> I ain't got a clue but that's what haskell is telling me!
2020-09-22 21:30:17 <ixlun> let me post the code...
2020-09-22 21:30:56 <ixlun> http://ix.io/2yrC
2020-09-22 21:31:35 <ixlun> at the bottom: x :: GameState -> Tree GameState
2020-09-22 21:31:57 <ixlun> evaluate :: GameState -> Double
2020-09-22 21:32:28 <ixlun> tree :: GameState -> GameState -> Double
2020-09-22 21:32:37 <ixlun> ^ that I really don't understand
2020-09-22 21:32:55 <ixlun> `Tree` has disappeared?
2020-09-22 21:35:31 × ransom quits (~c4264035@2601:285:201:6720:28cb:f0d0:855:f556) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-22 21:35:34 × mmohammadi9812 quits (~mmohammad@2.178.152.109) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-09-22 21:38:01 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection)
2020-09-22 21:38:28 × jonatanb quits (~jonatanb@83.24.161.211.ipv4.supernova.orange.pl) (Quit: Leaving...)
2020-09-22 21:38:50 <dolio> `pure y :: f (a -> b)` but using it as the first argument to fmap/<$> means `f` is expected to unify with a function type.
2020-09-22 21:39:19 × mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Ping timeout: 272 seconds)
2020-09-22 21:39:31 <dolio> Also x has a function type, but the second argument of fmap/<$> is expected to be `f a`, which also leads to f being expected to be a function type.
2020-09-22 21:39:59 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-22 21:40:05 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-09-22 21:40:12 × Kaivo quits (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Quit: WeeChat 2.9)
2020-09-22 21:40:22 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-22 21:40:55 <dolio> Anyhow, `fmap y . x` is the desired composition.
2020-09-22 21:41:01 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection)
2020-09-22 21:41:26 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-22 21:43:32 → sleblanc joins (~sleblanc@unaffiliated/sebleblanc)
2020-09-22 21:44:19 <ixlun> Aha, that works. thanks@
2020-09-22 21:44:19 × chrisdotcode quits (~chrisdotc@unaffiliated/chrisdotcode) (Quit: Leaving)
2020-09-22 21:45:50 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds)
2020-09-22 21:47:23 × gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 240 seconds)
2020-09-22 21:50:43 × alp quits (~alp@2a01:e0a:58b:4920:ac64:cb7c:7fea:4133) (Ping timeout: 272 seconds)
2020-09-22 21:52:02 → alp joins (~alp@2a01:e0a:58b:4920:75e9:ae93:ceb:5e19)
2020-09-22 21:53:29 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:85b3:8a6c:1150:3477) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-22 21:55:19 → boily joins (~boily@185.204.1.185)
2020-09-22 21:55:56 → sMuNiX joins (~sMuNiX@142.119.32.174)
2020-09-22 21:58:58 × salumu quits (~sMuNiX@142.119.32.174) (Ping timeout: 246 seconds)
2020-09-22 22:00:07 × fendor quits (~fendor@77.119.129.26.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-22 22:00:20 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-09-22 22:02:37 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-22 22:03:14 × alp quits (~alp@2a01:e0a:58b:4920:75e9:ae93:ceb:5e19) (Remote host closed the connection)
2020-09-22 22:04:07 × irc_user quits (uid423822@gateway/web/irccloud.com/x-tpfipbfrsajxzuoj) (Ping timeout: 240 seconds)
2020-09-22 22:04:07 × amatecha__ quits (sid10006@gateway/web/irccloud.com/x-hewmqxcjaspzjnxl) (Ping timeout: 240 seconds)
2020-09-22 22:04:07 × gluegadget quits (sid22336@gateway/web/irccloud.com/x-klcsgfpriifgbwcb) (Ping timeout: 240 seconds)
2020-09-22 22:04:07 × cbarrett quits (sid192934@adium/cbarrett) (Ping timeout: 240 seconds)
2020-09-22 22:04:09 × AndreasK quits (sid320732@gateway/web/irccloud.com/x-ittbinoprhigtbnr) (Read error: Connection reset by peer)
2020-09-22 22:04:09 × kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-umexjnjqxisrtwcp) (Read error: Connection reset by peer)
2020-09-22 22:04:09 × rslima____ quits (sid26145@gateway/web/irccloud.com/x-gryhrrapzxqdvvte) (Read error: Connection reset by peer)
2020-09-22 22:04:10 × Firedancer quits (sid336191@gateway/web/irccloud.com/x-kktgdtdhdotnvoyf) (Read error: Connection reset by peer)
2020-09-22 22:04:10 × lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-khivaeoslmsawiap) (Read error: Connection reset by peer)
2020-09-22 22:04:10 × conjunctive quits (sid433686@gateway/web/irccloud.com/x-gxnhfydfxtuxvhrb) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 143 144 145 146 147 148 149 150 151 152 153 .. 5022

All times are in UTC.