Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4764 4765 4766 4767 4768 4769 4770 4771 4772 4773 4774 .. 5022
— 502,152 events total
2021-05-06 17:46:22 <boxscape> yeah that would get you to pointfree-ness too, in the end
2021-05-06 17:47:39 <boxscape> oh, perhaps less confusingly,
2021-05-06 17:47:46 <boxscape> % or . sequence [(>10), (<0), (>1000)]
2021-05-06 17:47:46 <yahb> boxscape: ; <interactive>:57:1: error:; * No instance for (Show (Integer -> Bool)) arising from a use of `print'; (maybe you haven't applied a function to enough arguments?); * In a stmt of an interactive GHCi command: print it
2021-05-06 17:47:48 → cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net)
2021-05-06 17:47:49 <boxscape> % :t or . sequence [(>10), (<0), (>1000)]
2021-05-06 17:47:49 <yahb> boxscape: (Ord a, Num a) => a -> Bool
2021-05-06 17:48:16 <tomsmeding> "... by fmapping (||) onto a composition of the predicates ..." -- that's basically this, isn't it? :p
2021-05-06 17:49:02 <boxscape> hm, seems similar yes
2021-05-06 17:49:07 <frdg> Im glad I had somewhat the right idea!
2021-05-06 17:50:01 × cub3s_ quits (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving)
2021-05-06 17:50:50 <cdsmith> Just sharing because I'm excited.  I've been working on a new mock framework for Haskell, and I've just managed the first successful unit test of the framework's own TH code, by using the framework itself to mock the methods of Quasi that don't work in IO. :)
2021-05-06 17:50:58 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-06 17:51:16 <boxscape> nice
2021-05-06 17:51:46 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-05-06 17:52:44 <cdsmith> I guess it's sort of circular, in that if I don't trust the TH generator, then I shouldn't trust the mock of Quasi that I built with the generated code... but I'm not that picky!
2021-05-06 17:53:09 → mathlover2 joins (~mathlover@cpe-67-248-97-14.nycap.res.rr.com)
2021-05-06 17:53:35 <boxscape> I think Goedel once said that no testing framework can establish its own soundness
2021-05-06 17:55:00 × mathlover2 quits (~mathlover@cpe-67-248-97-14.nycap.res.rr.com) (Client Quit)
2021-05-06 17:55:24 → mathlover2 joins (~mathlover@cpe-67-248-97-14.nycap.res.rr.com)
2021-05-06 17:55:38 ← frdg parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)")
2021-05-06 17:56:46 → shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:9c28:d6f1:420e:a485)
2021-05-06 18:00:24 <boxscape> hm, weird, if there was a function of type `foo :: f (t a) -> (f a -> b) -> t b` you could just write `foo [(<10), (<0), (>1000)] or`, but the type of foo is pretty much the reverse of traverse
2021-05-06 18:00:29 <boxscape> % :t traverse
2021-05-06 18:00:29 <yahb> boxscape: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
2021-05-06 18:03:41 <boxscape> Cotraversable looks promising
2021-05-06 18:03:49 <boxscape> cotraverse :: Functor g => (g a -> b) -> g (f a) -> f b
2021-05-06 18:04:48 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-06 18:05:02 <boxscape> (Or Distributive in the kmettiverse)
2021-05-06 18:05:16 × elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-05-06 18:05:42 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-06 18:09:58 <edwardk> i try to avoid saying cotraversable because its not really dual to traversable
2021-05-06 18:10:11 <boxscape> I see
2021-05-06 18:10:31 <edwardk> in the new distributive package its being renamed to Representable (and taking on all the powers of Representable from adjunctions)
2021-05-06 18:10:58 <boxscape> edwardk it looks like I'd need a List instance here - is there none in the Distributive library because it's impossible or for other reasons?
2021-05-06 18:10:58 × carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Ping timeout: 252 seconds)
2021-05-06 18:11:00 <edwardk> mainly because by using the hkd-based encoding of distributive it becomes powerful enough to implement all the representable bits
2021-05-06 18:11:06 <edwardk> impossible
2021-05-06 18:11:12 <boxscape> I see
2021-05-06 18:11:16 → Guest97962 joins (~zmv@unaffiliated/zmv)
2021-05-06 18:11:35 <edwardk> Representable f is saying that there exists some x (or Rep f). such that f a is isomorphic to Rep f -> a
2021-05-06 18:12:03 <edwardk> [a] isn't isomorphic to a function from Natural, it contains extra information about the length of the list
2021-05-06 18:12:34 <boxscape> hm, okay
2021-05-06 18:12:34 <edwardk> so its morally something like (exists n : Nat. Fin n -> a) -- but that existential takes it to 'not representable'
2021-05-06 18:13:09 <boxscape> I see...
2021-05-06 18:13:21 <edwardk> you have to be able to perfectly zip an unknown number of copies or zero copies of the thing, there can be no choice of shape whatsoever, just one shape with different data in it
2021-05-06 18:13:47 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-06 18:13:58 <boxscape> ok, makes sense
2021-05-06 18:14:07 <boxscape> thanks for the explanation
2021-05-06 18:15:26 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-05-06 18:17:41 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-06 18:18:52 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-06 18:19:46 → bitmagie joins (~Thunderbi@200116b8068ddd008475b3532e7961e6.dip.versatel-1u1.de)
2021-05-06 18:22:58 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
2021-05-06 18:24:06 × toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer)
2021-05-06 18:24:14 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-06 18:24:21 → toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io)
2021-05-06 18:24:34 × eacameron quits (uid256985@gateway/web/irccloud.com/x-ddrdfsfxoylsjvjk) (Quit: Connection closed for inactivity)
2021-05-06 18:24:40 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-06 18:24:42 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-06 18:24:54 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-05-06 18:25:05 × thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202)
2021-05-06 18:30:38 → nrdmn98 joins (~nrdmn@95.129.53.118)
2021-05-06 18:32:10 → yangby joins (~secret@122.234.8.238)
2021-05-06 18:32:29 × bitmagie quits (~Thunderbi@200116b8068ddd008475b3532e7961e6.dip.versatel-1u1.de) (Quit: bitmagie)
2021-05-06 18:32:59 × yangby quits (~secret@122.234.8.238) (Client Quit)
2021-05-06 18:33:48 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2021-05-06 18:34:10 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2021-05-06 18:37:00 → carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com)
2021-05-06 18:37:04 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2021-05-06 18:37:07 × kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-05-06 18:37:28 → seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-06 18:37:38 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-06 18:37:49 × xelxebar_ quits (~xelxebar@gateway/tor-sasl/xelxebar) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-05-06 18:37:57 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-06 18:38:26 × carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer)
2021-05-06 18:39:17 → carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com)
2021-05-06 18:43:21 → Pickchea joins (~private@unaffiliated/pickchea)
2021-05-06 18:44:52 × nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-06 18:45:27 <boxscape> so it turns out I must have misread the types because I don't need a list instance after all
2021-05-06 18:45:43 <boxscape> `cotraverse or [(<0), (>10), (>1000)]` works just fine
2021-05-06 18:47:34 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-06 18:47:54 <boxscape> I like it :)
2021-05-06 18:49:26 → chimera joins (~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-06 18:50:32 × stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-05-06 18:55:53 → Guest87676 joins (~laudiacay@67.176.215.84)
2021-05-06 19:00:06 × Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds)
2021-05-06 19:02:19 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2021-05-06 19:02:42 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2021-05-06 19:03:48 → stree joins (~stree@68.36.8.116)
2021-05-06 19:03:50 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-05-06 19:07:24 × Guest97962 quits (~zmv@unaffiliated/zmv) (Remote host closed the connection)
2021-05-06 19:08:08 × rajivr quits (uid269651@gateway/web/irccloud.com/x-wpklepfaafxblxec) (Quit: Connection closed for inactivity)
2021-05-06 19:08:28 → notzmv- joins (~zmv@unaffiliated/zmv)
2021-05-06 19:10:03 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-06 19:10:50 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-06 19:12:07 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-05-06 19:13:03 → ukari joins (~ukari@unaffiliated/ukari)
2021-05-06 19:14:32 × mathlover2 quits (~mathlover@cpe-67-248-97-14.nycap.res.rr.com) (Quit: Leaving)
2021-05-06 19:14:46 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
←Prev  Next→
Page 1 .. 4764 4765 4766 4767 4768 4769 4770 4771 4772 4773 4774 .. 5022

All times are in UTC.