Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4711 4712 4713 4714 4715 4716 4717 4718 4719 4720 4721 .. 5022
— 502,152 events total
2021-05-03 13:57:22 <wz1000> timCF: there is also Proxy# if you are concerned about runtime cost
2021-05-03 13:57:31 × nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-03 13:57:34 → cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net)
2021-05-03 13:57:51 <merijn> timCF: Worse, since the order for implicit variables is determined by GHC's type inference algorithm, which means that it can change and break if GHC's type inference changes
2021-05-03 13:58:18 → tr26 joins (56025d38@cpc159263-nrth1-2-0-cust311.8-4.cable.virginm.net)
2021-05-03 13:58:22 <merijn> timCF: Which is not a hypothetical problem, as we've already had a GHC release that broke some uses of TypeApplications due to changes in inference
2021-05-03 13:58:53 <wz1000> merijn: I don't think you can use type applications on inferred types without explicit forall
2021-05-03 13:58:55 <maerwald> merijn: it might not even break your code, but just does something different :p
2021-05-03 13:59:06 <merijn> wz1000: You can
2021-05-03 13:59:44 <merijn> wz1000: Most of base doesn't have explicit forall and people use TypeApplications all the time
2021-05-03 13:59:57 <maerwald> I think I've hit one case so far where order of type applications was messed up (don't remeber why) and it still compiled
2021-05-03 14:00:07 <merijn> > read *Int "1"
2021-05-03 14:00:10 <lambdabot> error:
2021-05-03 14:00:10 <lambdabot> • Data constructor not in scope: Int :: [Char] -> String -> a
2021-05-03 14:00:10 <lambdabot> • Perhaps you meant variable ‘int’ (imported from Text.PrettyPrint.Hughe...
2021-05-03 14:00:10 <merijn> > read @Int "1"
2021-05-03 14:00:12 <lambdabot> error:
2021-05-03 14:00:12 <lambdabot> Pattern syntax in expression context: read@Int
2021-05-03 14:00:12 <lambdabot> Did you mean to enable TypeApplications?
2021-05-03 14:00:21 <merijn> % read @Int "1"
2021-05-03 14:00:21 <yahb> merijn: 1
2021-05-03 14:00:28 <maerwald> but I don't consider it a show stopper
2021-05-03 14:00:36 <merijn> wz1000: 'read' doesn't have an explicit forall in base, for example
2021-05-03 14:00:42 <maerwald> we have worse problem in haskell
2021-05-03 14:00:52 <wz1000> merijn: only works if there is a single variable I think
2021-05-03 14:01:02 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-05-03 14:01:25 <merijn> hmm
2021-05-03 14:01:37 <merijn> Now I need to find a class that has more than 1
2021-05-03 14:02:40 <merijn> % :t Control.Monad.Read.ask @((->) Int) @Int
2021-05-03 14:02:40 <yahb> merijn: ; <interactive>:1:1: error:; Not in scope: `Control.Monad.Read.ask'; Perhaps you meant one of these: `Control.Monad.Reader.ask' (imported from Control.Monad.Reader), `Control.Monad.RWS.ask' (imported from Control.Monad.RWS), `Control.Monad.Reader.asks' (imported from Control.Monad.Reader); No module named `Control.Monad.Read' is imported.
2021-05-03 14:02:48 <merijn> % :t Control.Monad.Reader.ask @((->) Int) @Int
2021-05-03 14:02:48 <yahb> merijn: ; <interactive>:1:28: error:; * Expecting one more argument to `(->) Int'; Expected a type, but `(->) Int' has kind `* -> *'; * In the type `((->) Int)'; In the expression: ask @((->) Int) @Int
2021-05-03 14:02:53 × cur8or quits (~cur8or@72canterbury.cybersmart.co.za) (Ping timeout: 268 seconds)
2021-05-03 14:03:14 <merijn> % :t Control.Monad.Reader.ask @(Reader Int) @Int
2021-05-03 14:03:14 <yahb> merijn: ; <interactive>:1:28: error:; * Expecting one more argument to `Reader Int'; Expected a type, but `Reader Int' has kind `* -> *'; * In the type `(Reader Int)'; In the expression: ask @(Reader Int) @Int
2021-05-03 14:03:20 <merijn> hmm
2021-05-03 14:03:28 <merijn> ok, I'm too lazy to figure this out
2021-05-03 14:04:04 <tr26> Hello, currently having trouble with installing packages with cabal. Everytime I attempt to run "cabal install tasty" I get "cannot build the executables in the package tasty because it does not contain any executables. Check the .cabal file for the package and make sure that it properly declares the components that you expect.". Running on the
2021-05-03 14:04:05 <tr26> newest cabal, haskell and ghc versions on Windows. The .cabal file is definitely correct and when I look at "cabal list tasty" etc, nothing is installed. Hoping someone has come across this before!
2021-05-03 14:04:33 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-03 14:04:49 <maerwald> merijn: order of arguments is wrong xD
2021-05-03 14:04:51 <maerwald> haha
2021-05-03 14:04:58 <maerwald> % :t Control.Monad.Reader.ask @Int @(Reader Int)
2021-05-03 14:04:58 <yahb> maerwald: Reader Int Int
2021-05-03 14:05:13 <maerwald> qed
2021-05-03 14:05:21 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-03 14:05:28 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-03 14:06:46 × horatiohb quits (~horatiohb@167.99.50.138) (Ping timeout: 265 seconds)
2021-05-03 14:08:41 → howdoi joins (uid224@gateway/web/irccloud.com/x-kpxmuqxybttglbrz)
2021-05-03 14:09:59 × tr26 quits (56025d38@cpc159263-nrth1-2-0-cust311.8-4.cable.virginm.net) (Quit: Connection closed)
2021-05-03 14:10:32 → nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-03 14:13:39 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-05-03 14:14:39 <merijn> hah
2021-05-03 14:16:18 → v01d4lph4 joins (~v01d4lph4@171.48.62.25)
2021-05-03 14:16:21 × rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-vsovwsermnfahdlr) (Quit: Connection closed for inactivity)
2021-05-03 14:16:26 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 265 seconds)
2021-05-03 14:16:56 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection)
2021-05-03 14:17:38 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880)
2021-05-03 14:18:35 × acidjnk_new2 quits (~acidjnk@p200300d0c72b95195d90edb8136a9109.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-03 14:20:24 → hyiltiz joins (~quassel@31.220.5.250)
2021-05-03 14:20:24 × hyiltiz quits (~quassel@31.220.5.250) (Changing host)
2021-05-03 14:20:24 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2021-05-03 14:20:59 × v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 246 seconds)
2021-05-03 14:21:02 → nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-03 14:22:03 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 250 seconds)
2021-05-03 14:22:39 → jao joins (~jao@pdpc/supporter/professional/jao)
2021-05-03 14:23:05 → ADG1089 joins (~aditya@223.236.186.113)
2021-05-03 14:24:57 → proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net)
2021-05-03 14:25:04 × Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection)
2021-05-03 14:26:24 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-03 14:27:54 × nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 245 seconds)
2021-05-03 14:30:23 → Natch joins (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-05-03 14:30:25 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-03 14:30:44 hackage tlex-core 0.3.0.0 - A lexer generator https://hackage.haskell.org/package/tlex-core-0.3.0.0 (mizunashi_mana)
2021-05-03 14:31:26 × pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-03 14:32:21 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-05-03 14:33:13 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-03 14:33:29 → ValeraRozuvan joins (~ValeraRoz@95.164.65.159)
2021-05-03 14:35:53 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2021-05-03 14:35:55 × renzhi quits (~renzhi@2607:fa49:6500:bc00::647c) (Ping timeout: 250 seconds)
2021-05-03 14:36:23 → Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-03 14:40:34 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880)
2021-05-03 14:42:33 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-03 14:43:11 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-03 14:45:52 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection)
2021-05-03 14:46:07 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880)
2021-05-03 14:46:17 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-03 14:48:27 → renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b)
2021-05-03 14:50:01 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-03 14:50:44 × nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-03 14:53:03 <timCF> Hello! Is there alternative of `.` for monads? To compose `=<<` in eta-reduced style?
2021-05-03 14:54:07 <timCF> At the moment I'm using `(foo =<<) . (bar x =<<) . buz` but it does not look very nice
2021-05-03 14:54:08 <geekosaur> there's `>=>` going the other direction
2021-05-03 14:54:56 <dolio> (<=<) also exists.
2021-05-03 14:55:14 <timCF> geekosaur: dolio: super cool!
2021-05-03 14:55:16 <timCF> thanks
2021-05-03 14:55:23 <timCF> :t (<=<)
2021-05-03 14:55:25 <lambdabot> Monad m => (b -> m c) -> (a -> m b) -> a -> m c
2021-05-03 14:55:27 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-03 14:56:44 → nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
←Prev  Next→
Page 1 .. 4711 4712 4713 4714 4715 4716 4717 4718 4719 4720 4721 .. 5022

All times are in UTC.