Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3734 3735 3736 3737 3738 3739 3740 3741 3742 3743 3744 .. 5022
— 502,152 events total
2021-03-10 19:42:43 drewolson4 is now known as drewolson
2021-03-10 19:42:43 lazyshrk_ is now known as lazyshrk
2021-03-10 19:42:43 ralu7 is now known as ralu
2021-03-10 19:42:43 gothos_ is now known as gothos
2021-03-10 19:42:46 cocreature_ is now known as cocreature
2021-03-10 19:42:48 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 246 seconds)
2021-03-10 19:42:49 pharaun_ is now known as pharaun
2021-03-10 19:42:52 vnz_ is now known as vnz
2021-03-10 19:42:52 × vnz quits (~vnz@51.15.143.225) (Changing host)
2021-03-10 19:42:52 → vnz joins (~vnz@unaffiliated/vnz)
2021-03-10 19:43:00 <gentauro> maerwald: https://pastebin.ubuntu.com/p/bR9Jh3jG8b/
2021-03-10 19:43:06 ← carbolymer parts (~carbolyme@dropacid.net) ()
2021-03-10 19:43:14 <gentauro> maerwald: starts at line 74
2021-03-10 19:43:31 → dmwit joins (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net)
2021-03-10 19:43:36 <gentauro> my build on a `nixos` can be reproduced on an `ubuntu` or `debian` with the same resulting `bits`
2021-03-10 19:43:39 → heatsink joins (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-10 19:43:41 → sh9 joins (~sh9@softbank060116136158.bbtec.net)
2021-03-10 19:43:44 <gentauro> I find that kind of `nice` :)
2021-03-10 19:43:45 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 264 seconds)
2021-03-10 19:43:52 × rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving)
2021-03-10 19:43:54 → energizer joins (~energizer@unaffiliated/energizer)
2021-03-10 19:43:57 → Jello_Raptor joins (~Jello_Rap@li641-12.members.linode.com)
2021-03-10 19:44:17 × lawid_ quits (~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) (Max SendQ exceeded)
2021-03-10 19:44:25 → lawid joins (~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de)
2021-03-10 19:44:30 <superstar64> printing functions is neat, here's `(||)` for example
2021-03-10 19:44:30 <hseg> superstar64: cool
2021-03-10 19:44:32 <superstar64> `let {f x | x == False = let {f x | x == False = False;f x | x == True = True;} in f;f x | x == True = let {f x | x == False = True;f x | x == True = True;} in f;} in f`
2021-03-10 19:44:44 × petersen quits (~petersen@redhat/juhp) (Remote host closed the connection)
2021-03-10 19:44:46 <superstar64> here's flip
2021-03-10 19:44:48 <superstar64> `let {f x | x == let {f x | x == () = let {f x | x == () = ();} in f;} in f = let {f x | x == () = let {f x | x == () = ();} in f;} in f;} in f`
2021-03-10 19:45:15 <maerwald> gentauro: ah, so -dinitial-unique=0 -dunique-increment=1
2021-03-10 19:45:15 × jespada quits (~jespada@90.254.243.187) (Ping timeout: 246 seconds)
2021-03-10 19:45:16 → Ishutin joins (~ishutin@91-83-11-236.pool.digikabel.hu)
2021-03-10 19:45:19 <hseg> might want to replace 'all id' with 'and' there
2021-03-10 19:45:23 × DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection)
2021-03-10 19:45:25 <[exa]> superstar64: finitists rejoice
2021-03-10 19:45:26 × stree quits (~stree@68.36.8.116) (Excess Flood)
2021-03-10 19:45:54 → stree joins (~stree@68.36.8.116)
2021-03-10 19:46:05 <maerwald> gentauro: looking at the GHC ticket, that doesn't seem to be the only source though
2021-03-10 19:46:18 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 246 seconds)
2021-03-10 19:46:39 × Wuzzy quits (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2021-03-10 19:46:50 <gentauro> maerwald: those were the hints I got from Mathieu ;)
2021-03-10 19:47:01 <maerwald> this should be discussed in the ticket
2021-03-10 19:47:30 <gentauro> maerwald: agree. We should let Tweag I/O work on this.
2021-03-10 19:47:43 <gentauro> who will sponsor? M$? FB?
2021-03-10 19:47:44 <gentauro> :)
2021-03-10 19:47:58 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2021-03-10 19:48:10 → jespada joins (~jespada@90.254.243.187)
2021-03-10 19:48:30 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-10 19:48:33 → aidecoe joins (~aidecoe@unaffiliated/aidecoe)
2021-03-10 19:48:41 → davean joins (~davean@davean.sciesnet.net)
2021-03-10 19:49:08 inkbottle is now known as zebrag
2021-03-10 19:49:09 → puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-10 19:49:10 → _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net)
2021-03-10 19:49:17 → Guest41046 joins (~melkor@2a02:2b88:2:1::5b34:1)
2021-03-10 19:49:26 → motherfsck joins (~motherfsc@unaffiliated/motherfsck)
2021-03-10 19:49:31 → wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de)
2021-03-10 19:49:36 <maerwald> Do those flags have any side effects?
2021-03-10 19:49:51 <maerwald> Or can I just stomp them into all my cabal files
2021-03-10 19:49:57 <gentauro> maerwald: which flags?
2021-03-10 19:50:01 → sdrodge joins (~sdrodge@unaffiliated/sdrodge)
2021-03-10 19:50:07 <maerwald> -dinitial-unique=0 -dunique-increment=1
2021-03-10 19:50:23 <hseg> superstar64: note that the Enum instance blows the stack pretty quickly
2021-03-10 19:50:24 → jathan joins (~jathan@69.61.93.38)
2021-03-10 19:50:50 → apoc joins (~apoc@49.12.13.193)
2021-03-10 19:51:02 <gentauro> maerwald: they haven't for me, but my code is not running in `prod` (yet) so … I'm probably not the best to respond this :|
2021-03-10 19:51:03 → jluttine joins (~jluttine@85-23-95-149.bb.dnainternet.fi)
2021-03-10 19:51:23 <hseg> nm, if you keep the domain small enough it doesn't matter
2021-03-10 19:52:17 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2021-03-10 19:52:34 <superstar64> i'm fully aware my code is awful
2021-03-10 19:52:46 <hseg> nw
2021-03-10 19:52:56 <hseg> it works, it's cool
2021-03-10 19:54:44 → c-rog joins (~c-rog@traffic.simst.im)
2021-03-10 19:55:14 <hseg> just realized by staring at the free theorem for [a] -> [a] that the function I wanted is impossible to write in general
2021-03-10 19:55:36 <hseg> (basically, wanted to have a general `On` combinator
2021-03-10 19:56:24 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-10 19:56:35 <sclv> :t on
2021-03-10 19:56:36 <lambdabot> (b -> b -> c) -> (a -> b) -> a -> a -> c
2021-03-10 19:56:46 <hseg> no, as in
2021-03-10 19:56:48 <hseg> :t sort
2021-03-10 19:56:49 <lambdabot> Ord a => [a] -> [a]
2021-03-10 19:56:50 <hseg> :t sortOn
2021-03-10 19:56:51 <lambdabot> Ord b => (a -> b) -> [a] -> [a]
2021-03-10 19:57:17 <hseg> since morally speaking a function [a] -> [a] only rearranges its inputs
2021-03-10 19:57:31 → valdyn joins (valdyn@c6a7cb82.vpn.njalla.net)
2021-03-10 19:57:41 <sclv> right but sort isn't of that type, its got a typeclass constraint
2021-03-10 19:57:47 <sclv> which means it has different free theorems
2021-03-10 19:57:57 → monochrom joins (trebla@216.138.220.146)
2021-03-10 19:58:11 <hseg> y. wasn't referring to on that you mentioned
2021-03-10 19:58:13 × valdyn quits (valdyn@c6a7cb82.vpn.njalla.net) (Client Quit)
2021-03-10 19:58:20 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Remote host closed the connection)
2021-03-10 19:58:29 → valdyn joins (valdyn@c6a7cb82.vpn.njalla.net)
2021-03-10 19:58:53 <hseg> wanted sth like :: (a ->b) -> (c b => f b -> f b) -> (c a => f a -> f a)
2021-03-10 19:59:18 <hseg> except in that full generality, it probably is impossible
2021-03-10 19:59:26 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2021-03-10 19:59:44 <sclv> you can get close with coerce and newtypes
2021-03-10 19:59:53 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-10 20:00:24 <sclv> and like `reflection` type stuff
2021-03-10 20:00:32 <hseg> hrm. wrap/unwrap a newtype that uses the projection for the instances?
2021-03-10 20:01:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
←Prev  Next→
Page 1 .. 3734 3735 3736 3737 3738 3739 3740 3741 3742 3743 3744 .. 5022

All times are in UTC.