| 2020-10-20 00:00:27 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2020-10-20 00:00:43 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-20 00:01:37 +0200 | thir | (~thir@pd9e1b1d6.dip0.t-ipconnect.de) |
| 2020-10-20 00:02:05 +0200 | stree | (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 2020-10-20 00:02:22 +0200 | stree | (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) |
| 2020-10-20 00:02:40 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2020-10-20 00:03:08 +0200 | <phadej> | https://hackage.haskell.org/package/overloaded-0.2.1/docs/Overloaded-Plugin.html Idiom brackets from TemplateHaskellQuotes |
| 2020-10-20 00:03:12 +0200 | <phadej> | (at the bottom) |
| 2020-10-20 00:03:13 +0200 | jsynacek | (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 264 seconds) |
| 2020-10-20 00:03:21 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:ec5c:488a:e80a:142b) |
| 2020-10-20 00:03:23 +0200 | <phadej> | Use at your own risk! |
| 2020-10-20 00:04:11 +0200 | <dolio> | Nah, I'm not going to do that. :) |
| 2020-10-20 00:04:38 +0200 | <phadej> | wise choice! |
| 2020-10-20 00:05:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-10-20 00:05:28 +0200 | <dolio> | I'm just surprised at how fragile the desugaring is. I saw Marlow suggesting that it needed to be beefed up, but now I see why. |
| 2020-10-20 00:06:07 +0200 | alp | (~alp@2a01:e0a:58b:4920:1551:e4d4:fd40:f1a2) |
| 2020-10-20 00:06:11 +0200 | <dminuoso> | I've heard Simon say a few times that ApplicativeDo has many corner cases where it fails to desugar into Applicative. |
| 2020-10-20 00:06:20 +0200 | thir | (~thir@pd9e1b1d6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 00:06:47 +0200 | <dolio> | Like, not allowing `let (x, y) = ...` where something in the `...` was bound earlier is a bit much. |
| 2020-10-20 00:06:55 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2020-10-20 00:06:58 +0200 | hackage | churros 0.1.4.1 - Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.4.1 (LyndonMaydwell) |
| 2020-10-20 00:08:07 +0200 | <dolio> | Actually, the match doesn't even matter, I guess. Just no lets. |
| 2020-10-20 00:08:17 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2020-10-20 00:09:10 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2020-10-20 00:11:12 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 00:11:56 +0200 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 00:13:07 +0200 | <phadej> | will (x,y) <- pure ... work? |
| 2020-10-20 00:13:43 +0200 | karanlikmadde | (~karanlikm@2a01:c22:a46a:b400:3c0d:995b:be0c:192) (Quit: karanlikmadde) |
| 2020-10-20 00:13:55 +0200 | <dolio> | Oh, maybe. |
| 2020-10-20 00:14:11 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2020-10-20 00:15:41 +0200 | <dolio> | Oh, no, it doesn't, because that's not applicative if it's using something in a previous bind. |
| 2020-10-20 00:15:59 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 00:16:50 +0200 | <dolio> | I'd have to inline the expression into the original binding. |
| 2020-10-20 00:16:52 +0200 | <phadej> | then `let` wouldn't work either. Would it? |
| 2020-10-20 00:17:14 +0200 | <phadej> | I see. If it's used once, then it's safe |
| 2020-10-20 00:17:26 +0200 | <dolio> | It should. Let just defines some expressions. It could be moved into the final expression. |
| 2020-10-20 00:17:29 +0200 | <phadej> | but I guess ApplicativeDo wouldn't want to reason on that level |
| 2020-10-20 00:18:06 +0200 | <phadej> | or hmm, the pure (\.... -> let (x,y) in ...) could still work |
| 2020-10-20 00:18:06 +0200 | <dolio> | Yeah, it might be a little complicated to keep track of. |
| 2020-10-20 00:18:20 +0200 | <phadej> | but specifyingthat might be tricky |
| 2020-10-20 00:19:00 +0200 | <phadej> | IIRC when the result isn't forced to be Applicative, the rewriting is somewhat ad-hoc |
| 2020-10-20 00:19:26 +0200 | <phadej> | (i.e. where binds happen) |
| 2020-10-20 00:20:15 +0200 | <dolio> | The desugaring doesn't seem to be type-directed. The reason I noticed this is that it's failing to work. |
| 2020-10-20 00:22:40 +0200 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-20 00:23:21 +0200 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-10-20 00:23:33 +0200 | ixlun | (~matthew@213.205.241.94) |
| 2020-10-20 00:24:14 +0200 | <ixlun> | Hi all, I've got a template Haskell question. Is there a way I can splice a name within a [d| .. |]? |
| 2020-10-20 00:24:54 +0200 | <ixlun> | for example [d| $(name) (Just x) = x |] |
| 2020-10-20 00:25:01 +0200 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) |
| 2020-10-20 00:25:15 +0200 | <ixlun> | I get a syntax error when I do |
| 2020-10-20 00:25:52 +0200 | systemhalted | (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) |
| 2020-10-20 00:27:49 +0200 | <phadej> | I don't think you can splice Names. That would be handy indeed |
| 2020-10-20 00:27:55 +0200 | MaC83 | (557f5ce5@85-127-92-229.dsl.dynamic.surfer.at) |
| 2020-10-20 00:28:03 +0200 | <ixlun> | :-( |
| 2020-10-20 00:29:14 +0200 | <phadej> | I think you can use `syb` to replace your dummy name, but I'm not sure if the cure is worse than a problem |
| 2020-10-20 00:29:35 +0200 | fendor | (~fendor@178.115.131.152.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2020-10-20 00:30:32 +0200 | systemhalted | (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-20 00:31:15 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-20 00:31:23 +0200 | <ixlun> | :t syb |
| 2020-10-20 00:31:24 +0200 | <lambdabot> | error: Variable not in scope: syb |
| 2020-10-20 00:31:38 +0200 | <phadej> | https://hackage.haskell.org/package/syb |
| 2020-10-20 00:31:51 +0200 | reppertj | (~textual@pool-96-246-209-59.nycmny.fios.verizon.net) |
| 2020-10-20 00:31:57 +0200 | <phadej> | a package which allows you to traverse types which has `Data` instance |
| 2020-10-20 00:32:02 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 00:32:54 +0200 | <phadej> | e.g. https://hackage.haskell.org/package/syb-0.7.1/docs/Data-Generics-Schemes.html#v:everywhere would allow you transform all `Name`s inside `Dec` |
| 2020-10-20 00:36:30 +0200 | Sgeo | (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-10-20 00:36:48 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 00:38:22 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 00:40:26 +0200 | Sgeo | (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-20 00:42:26 +0200 | <dminuoso> | Mmm, Lift only provides `lift :: t -> Q Exp` and that's the only typeclass in TH I think? |
| 2020-10-20 00:42:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-10-20 00:42:36 +0200 | mirrorbird | (~psutcliff@m83-187-163-53.cust.tele2.se) (Ping timeout: 265 seconds) |
| 2020-10-20 00:43:49 +0200 | <dminuoso> | At that point the question is, why doesn't lift also let you `liftPat :: Lift t => t -> Q Pat` and `liftType :: Lift t => t -> Q Type` as well |
| 2020-10-20 00:45:17 +0200 | MaC83 | (557f5ce5@85-127-92-229.dsl.dynamic.surfer.at) (Remote host closed the connection) |
| 2020-10-20 00:45:26 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-10-20 00:45:37 +0200 | <ixlun> | Actually, it looks like even replacing all the names won't work... |
| 2020-10-20 00:46:01 +0200 | <ixlun> | I'm trying to do multiple pattern matches in a top-level fn decl |
| 2020-10-20 00:46:02 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 00:46:04 +0200 | mrchampion | (~mrchampio@216-211-57-41.dynamic.tbaytel.net) (Ping timeout: 260 seconds) |
| 2020-10-20 00:46:16 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:ec5c:488a:e80a:142b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 00:46:32 +0200 | <ixlun> | I think I need just one FunD with multiple claues |
| 2020-10-20 00:46:47 +0200 | <ixlun> | since the error I'm getting is: Multiple declarations of ‘psqt’ |
| 2020-10-20 00:46:49 +0200 | <dminuoso> | ixlun: You can also use Language.Haskell.TH.Lib |
| 2020-10-20 00:46:53 +0200 | <dminuoso> | That could be a middleground |
| 2020-10-20 00:47:22 +0200 | <dminuoso> | Since that's filled with FooQ things instead of Foo, so you can lift/splice in between more liberally |
| 2020-10-20 00:47:54 +0200 | <dminuoso> | So rather than splicing inside a quoter, you could do the opposide and lift inside a splice. |
| 2020-10-20 00:48:49 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:ec5c:488a:e80a:142b) |
| 2020-10-20 00:51:11 +0200 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-20 00:51:24 +0200 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-10-20 00:51:55 +0200 | <koz_> | OK, am I patently insane? I'm getting an error message which says 'Expected a type, but 'a' has kind 'Type''. This is in something like 'newtype Foo (a :: Type) = Foo (State (HashMap Bar Baz) a)'. |
| 2020-10-20 00:54:32 +0200 | <koz_> | Apparently removing the :: Type part makes it OK? |
| 2020-10-20 00:55:01 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 00:55:19 +0200 | <koz_> | What am I missing here? |
| 2020-10-20 00:56:47 +0200 | <MarcelineVQ> | is that extra ' in 'Type'' intentional? |
| 2020-10-20 00:57:06 +0200 | <koz_> | MarcelineVQ: That's me quoting the error message. |
| 2020-10-20 00:57:13 +0200 | <koz_> | I shoudl really use double-quotes when quoting. |
| 2020-10-20 00:57:38 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 00:58:11 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 00:59:16 +0200 | <MarcelineVQ> | Where are you importing Type from? |
| 2020-10-20 01:00:06 +0200 | <koz_> | OH FFS |
| 2020-10-20 01:00:11 +0200 | <MarcelineVQ> | :>> |
| 2020-10-20 01:00:11 +0200 | <koz_> | That was it, thanks! |
| 2020-10-20 01:00:23 +0200 | <koz_> | Shows how much TH I've written. |
| 2020-10-20 01:00:30 +0200 | <koz_> | Both currently and up-to-now. |
| 2020-10-20 01:00:47 +0200 | dcoutts_ | (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 258 seconds) |
| 2020-10-20 01:00:50 +0200 | <koz_> | import qualified Data.Kind as Actual |
| 2020-10-20 01:01:02 +0200 | <koz_> | newtype Foo (a :: Actual.Type) = ... |
| 2020-10-20 01:01:04 +0200 | <MarcelineVQ> | When you see a ' it means promotion of a value constructor is occuring, afaik |
| 2020-10-20 01:02:06 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:ec5c:488a:e80a:142b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 01:02:07 +0200 | ixlun | (~matthew@213.205.241.94) (Read error: Connection reset by peer) |
| 2020-10-20 01:02:11 +0200 | <MarcelineVQ> | It might occur for type constructors too, I'm not sure, but it's your hint that a datatype is being promoted and Data.Kind.Type isn't a datatype, I think |
| 2020-10-20 01:02:43 +0200 | <gnumonik> | ixlun, Why do you wanna splice a name? I thought I wanted to do that when figuring out TH but it wasn't really what I needed every time I thought it was |
| 2020-10-20 01:04:15 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 01:04:35 +0200 | dcoutts_ | (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-10-20 01:05:39 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 01:05:49 +0200 | <hpc> | there's a weird sort of humor to it being Data.Kind.Type and not Data.Type.Kind |
| 2020-10-20 01:06:14 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 01:06:18 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:ec5c:488a:e80a:142b) |
| 2020-10-20 01:06:31 +0200 | <koz_> | hpc: Lol. |
| 2020-10-20 01:06:36 +0200 | <MarcelineVQ> | Type.Type.Kind.Type.Kind |
| 2020-10-20 01:06:44 +0200 | <koz_> | If we're going for humour, we shoudl have Data.Type.Type. |
| 2020-10-20 01:06:48 +0200 | mrchampion | (~mrchampio@216-211-57-41.dynamic.tbaytel.net) |
| 2020-10-20 01:06:49 +0200 | refried_ | (~textual@209.6.41.245) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2020-10-20 01:07:51 +0200 | p8m_ | (p8m@gateway/vpn/protonvpn/p8m) |
| 2020-10-20 01:07:51 +0200 | <hpc> | ("sort of humor" was an unintentional bonus pun) |
| 2020-10-20 01:08:02 +0200 | <MarcelineVQ> | You've gone too far. |
| 2020-10-20 01:08:15 +0200 | <koz_> | hpc: That was worthy of the 80s. |
| 2020-10-20 01:08:22 +0200 | <MarcelineVQ> | Rewease the secwet weapon! |
| 2020-10-20 01:08:24 +0200 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds) |
| 2020-10-20 01:08:55 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9) |
| 2020-10-20 01:09:04 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 272 seconds) |
| 2020-10-20 01:10:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 01:10:45 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2020-10-20 01:12:02 +0200 | <nshepperd> | The Haskell type system is a kind sort |
| 2020-10-20 01:15:17 +0200 | Lycurgus | (~niemand@98.4.96.235) (Quit: Exeunt) |
| 2020-10-20 01:17:44 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 01:18:11 +0200 | jedws | (~jedws@121.209.161.98) |
| 2020-10-20 01:18:43 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 2020-10-20 01:21:58 +0200 | hackage | churros 0.1.5.0 - Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.5.0 (LyndonMaydwell) |
| 2020-10-20 01:24:31 +0200 | ph88 | (~ph88@ip5f5af0cc.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2020-10-20 01:25:01 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2020-10-20 01:25:23 +0200 | rdivacky | (~rdivacky@212.96.173.4) (Ping timeout: 240 seconds) |
| 2020-10-20 01:25:40 +0200 | rdivacky | (~rdivacky@212.96.173.4) |
| 2020-10-20 01:25:40 +0200 | taurux | (~taurux@net-188-152-1-136.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2020-10-20 01:25:41 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2020-10-20 01:27:40 +0200 | taurux | (~taurux@net-188-152-143-32.cust.dsl.teletu.it) |
| 2020-10-20 01:28:02 +0200 | dhil | (~dhil@195.213.192.122) (Ping timeout: 265 seconds) |
| 2020-10-20 01:29:13 +0200 | bairyn | ByronJohnson |
| 2020-10-20 01:29:56 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 01:35:07 +0200 | <monochrom> | I love puns. Keep them coming! |
| 2020-10-20 01:36:35 +0200 | klixto | (~klixto@130.220.8.137) |
| 2020-10-20 01:38:30 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 01:39:07 +0200 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 258 seconds) |
| 2020-10-20 01:40:32 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2020-10-20 01:41:34 +0200 | sfvm | (~sfvm@37.228.215.148) |
| 2020-10-20 01:41:36 +0200 | xerox_ | (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds) |
| 2020-10-20 01:41:40 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2020-10-20 01:43:18 +0200 | StoneToad_ | (~StoneToad@199-167-119-214.ppp.storm.ca) (Ping timeout: 256 seconds) |
| 2020-10-20 01:43:25 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2020-10-20 01:44:24 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 01:44:48 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-10-20 01:44:59 +0200 | codygman | (~codygman@2600:380:f914:a1ca:eb25:85ee:c4a3:cd2e) |
| 2020-10-20 01:46:24 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 265 seconds) |
| 2020-10-20 01:47:58 +0200 | StoneToad | (~StoneToad@199-167-119-239.ppp.storm.ca) |
| 2020-10-20 01:51:15 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-20 01:56:28 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 260 seconds) |
| 2020-10-20 01:57:37 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 01:59:01 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2020-10-20 02:00:02 +0200 | Wolfy87 | (~Wolfy87@89.47.234.28) () |
| 2020-10-20 02:05:44 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2020-10-20 02:05:55 +0200 | stree | (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 2020-10-20 02:06:13 +0200 | stree | (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) |
| 2020-10-20 02:09:55 +0200 | AlterEgo- | (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 2020-10-20 02:13:19 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2020-10-20 02:13:27 +0200 | codygman | (~codygman@2600:380:f914:a1ca:eb25:85ee:c4a3:cd2e) (Read error: Connection reset by peer) |
| 2020-10-20 02:13:49 +0200 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-10-20 02:13:57 +0200 | da39a3ee5e6b4b0d | (~textual@n11211935170.netvigator.com) |
| 2020-10-20 02:14:17 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 02:14:49 +0200 | alp | (~alp@2a01:e0a:58b:4920:1551:e4d4:fd40:f1a2) (Ping timeout: 272 seconds) |
| 2020-10-20 02:15:17 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 02:15:52 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 02:16:20 +0200 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer) |
| 2020-10-20 02:18:01 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 02:18:30 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 256 seconds) |
| 2020-10-20 02:20:05 +0200 | christo | (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2020-10-20 02:21:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 02:21:54 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) |
| 2020-10-20 02:22:16 +0200 | bitprophet1 | (~bitprophe@178.239.168.171) |
| 2020-10-20 02:23:43 +0200 | renzhi | (~renzhi@modemcable070.17-177-173.mc.videotron.ca) |
| 2020-10-20 02:25:01 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 246 seconds) |
| 2020-10-20 02:25:58 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 02:26:37 +0200 | nineonine | (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2020-10-20 02:26:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-10-20 02:27:43 +0200 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 02:29:14 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 02:29:38 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 02:35:45 +0200 | Xnuk | (~xnuk@vultr.xnu.kr) (Remote host closed the connection) |
| 2020-10-20 02:36:03 +0200 | Xnuk | (~xnuk@vultr.xnu.kr) |
| 2020-10-20 02:39:45 +0200 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-10-20 02:42:31 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2020-10-20 02:42:52 +0200 | da39a3ee5e6b4b0d | (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 02:44:50 +0200 | refried_ | (~textual@209.6.41.245) |
| 2020-10-20 02:45:25 +0200 | jchia | (~jchia@58.32.66.236) (Ping timeout: 240 seconds) |
| 2020-10-20 02:47:25 +0200 | dcoutts_ | (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 246 seconds) |
| 2020-10-20 02:50:50 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 02:51:27 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:8da6:35f3:7a65:db08) (Ping timeout: 244 seconds) |
| 2020-10-20 02:51:59 +0200 | jchia | (~jchia@58.32.71.108) |
| 2020-10-20 02:53:02 +0200 | <koz_> | @hoogle ($>) |
| 2020-10-20 02:53:03 +0200 | <lambdabot> | Data.Functor ($>) :: Functor f => f a -> b -> f b |
| 2020-10-20 02:53:03 +0200 | <lambdabot> | Data.Functor.Compat ($>) :: Functor f => f a -> b -> f b |
| 2020-10-20 02:53:03 +0200 | <lambdabot> | Data.Functor.Apply ($>) :: Functor f => f a -> b -> f b |
| 2020-10-20 02:53:55 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 02:56:42 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2020-10-20 02:58:13 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 02:58:32 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 02:58:32 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 02:58:32 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 03:00:28 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 03:02:54 +0200 | mirrorbird | (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) |
| 2020-10-20 03:02:55 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 03:04:08 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:e909:6f47:2e73:7e15) |
| 2020-10-20 03:09:48 +0200 | klixto | (~klixto@130.220.8.137) (Quit: WeeChat 2.9) |
| 2020-10-20 03:09:58 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2020-10-20 03:14:37 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2020-10-20 03:15:52 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 03:16:09 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 03:19:04 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 03:20:25 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-20 03:21:42 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 2020-10-20 03:22:13 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 03:22:55 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 03:26:05 +0200 | eruditass | (uid248673@gateway/web/irccloud.com/x-upuflkjgqfommgrg) |
| 2020-10-20 03:28:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-10-20 03:28:34 +0200 | <remexre> | how does one write a (Free f a -> Free f a) effect? having a (a -> a) field on the functor would make it a non-functor... |
| 2020-10-20 03:29:25 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds) |
| 2020-10-20 03:31:12 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 2020-10-20 03:31:27 +0200 | Amras | (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 2020-10-20 03:31:39 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 03:35:47 +0200 | borne | (~fritjof@200116b864f0110043d332954cf9072f.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2020-10-20 03:39:00 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 03:40:06 +0200 | bliminse | (~bliminse@host217-42-95-37.range217-42.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2020-10-20 03:40:43 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 03:41:40 +0200 | jespada | (~jespada@90.254.245.15) (Ping timeout: 246 seconds) |
| 2020-10-20 03:42:06 +0200 | bliminse | (~bliminse@host109-158-54-87.range109-158.btcentralplus.com) |
| 2020-10-20 03:43:22 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 265 seconds) |
| 2020-10-20 03:44:09 +0200 | jespada | (~jespada@90.254.245.15) |
| 2020-10-20 03:46:57 +0200 | sagax | (~sagax_nb@213.138.71.146) (Quit: Konversation terminated!) |
| 2020-10-20 03:52:07 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-20 03:56:01 +0200 | m0rphism | (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 264 seconds) |
| 2020-10-20 03:57:02 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2020-10-20 03:57:04 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 246 seconds) |
| 2020-10-20 03:59:19 +0200 | xff0x | (~fox@2001:1a81:522e:d900:f83c:af94:c3a5:2d3f) (Ping timeout: 272 seconds) |
| 2020-10-20 03:59:33 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 03:59:56 +0200 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 04:00:19 +0200 | plutoniix | (~q@175.176.222.7) |
| 2020-10-20 04:00:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 04:00:44 +0200 | xff0x | (~fox@2001:1a81:5267:b200:26b7:665c:9537:d5b8) |
| 2020-10-20 04:01:00 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 04:05:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-10-20 04:06:13 +0200 | isovector1 | (~isovector@172.103.216.166) (Ping timeout: 264 seconds) |
| 2020-10-20 04:09:13 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 04:09:48 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 04:12:12 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2020-10-20 04:18:01 +0200 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Read error: Connection reset by peer) |
| 2020-10-20 04:18:50 +0200 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-10-20 04:19:25 +0200 | theDon | (~td@muedsl-82-207-238-239.citykom.de) (Ping timeout: 240 seconds) |
| 2020-10-20 04:20:15 +0200 | texasmynsted | (~texasmyns@104.140.53.131) (Remote host closed the connection) |
| 2020-10-20 04:20:42 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 04:21:01 +0200 | texasmynsted | (~texasmyns@104.140.53.131) |
| 2020-10-20 04:21:25 +0200 | theDon | (~td@94.134.91.48) |
| 2020-10-20 04:21:57 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2020-10-20 04:25:54 +0200 | texasmynsted | (~texasmyns@104.140.53.131) (Ping timeout: 265 seconds) |
| 2020-10-20 04:25:59 +0200 | nek0 | (~nek0@mail.nek0.eu) |
| 2020-10-20 04:26:08 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2020-10-20 04:27:25 +0200 | lagothrix | (~lagothrix@unaffiliated/lagothrix) (Killed (beckett.freenode.net (Nickname regained by services))) |
| 2020-10-20 04:27:33 +0200 | lagothrix | (~lagothrix@unaffiliated/lagothrix) |
| 2020-10-20 04:27:52 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 04:28:06 +0200 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-20 04:28:14 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 04:28:50 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 04:29:02 +0200 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-10-20 04:29:46 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 04:30:02 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 04:31:58 +0200 | nek0 | (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2020-10-20 04:33:58 +0200 | lnlsn | (~lnlsn@2804:14c:2b:891d::1008) |
| 2020-10-20 04:35:55 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2020-10-20 04:36:27 +0200 | lnlsn | (~lnlsn@2804:14c:2b:891d::1008) (Remote host closed the connection) |
| 2020-10-20 04:37:37 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:e909:6f47:2e73:7e15) (Ping timeout: 260 seconds) |
| 2020-10-20 04:40:04 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 04:42:14 +0200 | Hatsue[m] | (berbermanm@gateway/shell/matrix.org/x-nbhjcatgxbfovdna) |
| 2020-10-20 04:42:28 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2020-10-20 04:44:27 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 04:44:55 +0200 | drbean | (~drbean@TC210-63-209-209.static.apol.com.tw) |
| 2020-10-20 04:48:14 +0200 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) |
| 2020-10-20 04:49:25 +0200 | acidjnk_new | (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-20 04:49:57 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:1565:fd9f:5ba9:4bbe) |
| 2020-10-20 04:50:34 +0200 | isovector1 | (~isovector@172.103.216.166) |
| 2020-10-20 04:52:03 +0200 | fremandn | (~fremandn@c-24-5-242-54.hsd1.ca.comcast.net) |
| 2020-10-20 04:53:14 +0200 | fremandn | (~fremandn@c-24-5-242-54.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2020-10-20 04:53:28 +0200 | fremandn | (fremandn@c-24-5-242-54.hsd1.ca.comcast.net) |
| 2020-10-20 04:54:11 +0200 | drbean | (~drbean@TC210-63-209-209.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in) |
| 2020-10-20 04:56:00 +0200 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Quit: leaving) |
| 2020-10-20 04:56:19 +0200 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) |
| 2020-10-20 04:58:18 +0200 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit) |
| 2020-10-20 04:58:34 +0200 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) |
| 2020-10-20 04:59:25 +0200 | renzhi | (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2020-10-20 05:00:02 +0200 | bitprophet1 | (~bitprophe@178.239.168.171) () |
| 2020-10-20 05:04:37 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) |
| 2020-10-20 05:07:50 +0200 | drbean | (~drbean@TC210-63-209-149.static.apol.com.tw) |
| 2020-10-20 05:07:58 +0200 | crestfallen | (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Quit: leaving) |
| 2020-10-20 05:09:35 +0200 | <koz_> | remexre: What do you mean by a (Free f a -> Free f a) effect? |
| 2020-10-20 05:10:10 +0200 | <remexre> | how would I write an effect like local (from Reader), for example |
| 2020-10-20 05:10:35 +0200 | <koz_> | :t local |
| 2020-10-20 05:10:37 +0200 | <lambdabot> | MonadReader r m => (r -> r) -> m a -> m a |
| 2020-10-20 05:11:10 +0200 | <koz_> | You don't need Free in your functor definition - that's what defines the effect. |
| 2020-10-20 05:11:15 +0200 | <koz_> | let me just sketch it for you quickly. |
| 2020-10-20 05:14:10 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2020-10-20 05:16:09 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds) |
| 2020-10-20 05:18:29 +0200 | <koz_> | remexre: Something like this I think. https://gist.github.com/kozross/a90e4554562d2f056d3c4c3c20da0545 |
| 2020-10-20 05:20:05 +0200 | koz_ | actually had to refresh his memory even though he worked on free monads like, a week ago. |
| 2020-10-20 05:21:59 +0200 | wilkie | (~wilkie@185.244.214.216) |
| 2020-10-20 05:22:15 +0200 | <koz_> | I think that's incorrect though. I figured out computation nesting once, and then promptly forgot about it. |
| 2020-10-20 05:28:26 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 05:28:44 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 05:28:44 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 05:28:44 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 05:33:13 +0200 | <remexre> | koz_: I think we might be using different definitions of Free or something; I don't think that definition of Ask works for me either |
| 2020-10-20 05:33:21 +0200 | vacwm | (~user@70.23.92.191) |
| 2020-10-20 05:33:59 +0200 | <remexre> | mine would be Ask :: (r -> a) -> Reader r a |
| 2020-10-20 05:35:52 +0200 | reppertj | (~textual@pool-96-246-209-59.nycmny.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2020-10-20 05:39:52 +0200 | <ghoulguy> | The question is: How do I define Reader in terms of Free, and then write ask and local on top of that? |
| 2020-10-20 05:40:19 +0200 | jedws | (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 05:42:03 +0200 | <siraben> | Ah, I think I've had that problem before when working with free monads, heh. |
| 2020-10-20 05:42:10 +0200 | <siraben> | Didn't get local to work |
| 2020-10-20 05:43:44 +0200 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2020-10-20 05:43:49 +0200 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 2020-10-20 05:45:16 +0200 | refried_ | (~textual@209.6.41.245) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2020-10-20 05:48:41 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 05:49:03 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 05:53:02 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-20 05:54:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-10-20 05:57:05 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:ec5c:488a:e80a:142b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 05:57:15 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 05:58:13 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 265 seconds) |
| 2020-10-20 05:59:51 +0200 | djellemah | (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 244 seconds) |
| 2020-10-20 06:00:28 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 06:01:26 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 06:01:41 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 06:01:45 +0200 | vacwm | (~user@70.23.92.191) (Ping timeout: 240 seconds) |
| 2020-10-20 06:05:01 +0200 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) |
| 2020-10-20 06:05:15 +0200 | bartemius | (~bartemius@109.252.19.142) |
| 2020-10-20 06:07:24 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 265 seconds) |
| 2020-10-20 06:07:48 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 06:08:00 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2020-10-20 06:10:00 +0200 | <koz_> | remexre: That doesn't make a lot of sense though, since the point of ask is 'retrieve the environment'. That looks like Asks. |
| 2020-10-20 06:11:34 +0200 | refried_ | (~textual@209.6.41.245) |
| 2020-10-20 06:12:29 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2020-10-20 06:13:45 +0200 | <koz_> | But yeah, I guess I have no idea what I'm doing. |
| 2020-10-20 06:14:22 +0200 | <koz_> | Essentially, this is me: https://i.kym-cdn.com/photos/images/newsfeed/000/234/765/b7e.jpg |
| 2020-10-20 06:16:04 +0200 | mbomba | (~mbomba@174.91.94.53) |
| 2020-10-20 06:16:31 +0200 | mbomba | (~mbomba@174.91.94.53) ("WeeChat 2.9") |
| 2020-10-20 06:18:04 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 06:18:21 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 06:20:28 +0200 | mbomba | (~mbomba@174.91.94.53) |
| 2020-10-20 06:20:44 +0200 | mbomba | (~mbomba@174.91.94.53) ("WeeChat 2.9") |
| 2020-10-20 06:21:03 +0200 | <ghoulguy> | remexre: How about this? https://gist.github.com/glguy/a8be2d28c212c116a76035401710c4ad |
| 2020-10-20 06:21:45 +0200 | <koz_> | ghoulguy: Wait, are you going with a spooky season nick or something? |
| 2020-10-20 06:22:03 +0200 | mbomba | (~mbomba@174.91.94.53) |
| 2020-10-20 06:22:04 +0200 | jchia | (~jchia@58.32.71.108) (Remote host closed the connection) |
| 2020-10-20 06:22:17 +0200 | <ghoulguy> | Yeah, it's the thing to do in #freenode |
| 2020-10-20 06:22:22 +0200 | <koz_> | TIL. |
| 2020-10-20 06:22:44 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 06:22:44 +0200 | <koz_> | I didn't realize who you were until just now. |
| 2020-10-20 06:22:56 +0200 | <ghoulguy> | In particular the freenode staff collectively think it's the thing to do :3 |
| 2020-10-20 06:24:03 +0200 | jedws | (~jedws@121.209.161.98) |
| 2020-10-20 06:24:56 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 06:24:56 +0200 | taurux | (~taurux@net-188-152-143-32.cust.dsl.teletu.it) (Ping timeout: 256 seconds) |
| 2020-10-20 06:26:06 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 06:27:13 +0200 | taurux | (~taurux@net-93-144-31-149.cust.dsl.teletu.it) |
| 2020-10-20 06:27:44 +0200 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 06:29:03 +0200 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 2020-10-20 06:32:40 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Read error: Connection reset by peer) |
| 2020-10-20 06:32:57 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2020-10-20 06:35:04 +0200 | mbomba | (~mbomba@174.91.94.53) (Quit: WeeChat 2.9) |
| 2020-10-20 06:39:59 +0200 | jb55 | (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 2020-10-20 06:40:14 +0200 | ddellacosta | (~dd@86.106.121.168) (Ping timeout: 256 seconds) |
| 2020-10-20 06:40:23 +0200 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
| 2020-10-20 06:42:19 +0200 | whatisRT | (~whatisRT@2002:5b41:6a33:0:85b0:5e47:1897:223c) |
| 2020-10-20 06:43:59 +0200 | day_ | (~Unknown@unaffiliated/day) |
| 2020-10-20 06:44:01 +0200 | ByronJohnson | (~bairyn@unaffiliated/bob0) (Ping timeout: 246 seconds) |
| 2020-10-20 06:44:44 +0200 | Tene | (~tene@poipu/supporter/slacker/tene) (Ping timeout: 272 seconds) |
| 2020-10-20 06:47:54 +0200 | day | (~Unknown@unaffiliated/day) (Ping timeout: 272 seconds) |
| 2020-10-20 06:47:54 +0200 | day_ | day |
| 2020-10-20 06:50:01 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 06:51:01 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 06:52:12 +0200 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) (Quit: djcaston) |
| 2020-10-20 06:53:35 +0200 | bairyn | (~bairyn@unaffiliated/bob0) |
| 2020-10-20 06:54:25 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-20 06:56:29 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-20 06:57:06 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 06:57:14 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 06:57:25 +0200 | jsynacek | (~jsynacek@ip-185-149-130-112.kmenet.cz) |
| 2020-10-20 06:58:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2020-10-20 07:00:41 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2020-10-20 07:02:31 +0200 | jchia | (~jchia@45.32.62.73) |
| 2020-10-20 07:03:12 +0200 | coot | (~coot@37.30.52.239) |
| 2020-10-20 07:03:47 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-ejhfdvhwhujhpzoz) |
| 2020-10-20 07:05:21 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 07:06:02 +0200 | xerox_ | (~xerox@unaffiliated/xerox) |
| 2020-10-20 07:07:22 +0200 | jchia | (~jchia@45.32.62.73) (Remote host closed the connection) |
| 2020-10-20 07:07:58 +0200 | jchia | (~jchia@58.32.71.108) |
| 2020-10-20 07:08:58 +0200 | Sanchayan | (~Sanchayan@106.200.207.22) |
| 2020-10-20 07:11:34 +0200 | Foritus | (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2020-10-20 07:16:28 +0200 | Foritus | (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) |
| 2020-10-20 07:16:53 +0200 | Sanchayan | (~Sanchayan@106.200.207.22) (Quit: leaving) |
| 2020-10-20 07:16:53 +0200 | da39a3ee5e6b4b0d | (~textual@n11211935170.netvigator.com) |
| 2020-10-20 07:17:54 +0200 | Guest88073 | lep-delete |
| 2020-10-20 07:17:54 +0200 | lep-delete | Guest88073 |
| 2020-10-20 07:17:55 +0200 | Guest88073 | lep-delete |
| 2020-10-20 07:17:58 +0200 | lep-delete | Guest88073 |
| 2020-10-20 07:18:04 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 260 seconds) |
| 2020-10-20 07:18:50 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) |
| 2020-10-20 07:19:09 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 07:19:35 +0200 | ishutin_ | (~Ishutin@80-95-94-59.pool.digikabel.hu) |
| 2020-10-20 07:22:44 +0200 | ishutin | (~Ishutin@178-164-207-98.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2020-10-20 07:24:29 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 2020-10-20 07:24:58 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 07:25:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 07:28:55 +0200 | Sanchayan | (~Sanchayan@106.200.207.22) |
| 2020-10-20 07:30:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-10-20 07:34:22 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 07:35:56 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 07:39:06 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 07:39:22 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 07:39:22 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 07:39:22 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 07:39:43 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) |
| 2020-10-20 07:41:32 +0200 | <hololeap> | is there a library that simplifies outputting some strings into columns/rows? |
| 2020-10-20 07:44:44 +0200 | whald | (~trem@2a02:810a:8100:11a6:2147:d5b1:8d50:8e3) (Remote host closed the connection) |
| 2020-10-20 07:45:06 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 07:47:59 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 07:49:42 +0200 | nineonin_ | (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-10-20 07:50:25 +0200 | nineonin_ | (~nineonine@216-19-190-182.dyn.novuscom.net) (Client Quit) |
| 2020-10-20 07:52:07 +0200 | <hololeap> | for instance outputting something like [(String,String)] as a table in stdout |
| 2020-10-20 07:53:00 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-10-20 07:53:04 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 260 seconds) |
| 2020-10-20 07:53:53 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-20 07:55:01 +0200 | <hololeap> | i just found 'boxes' which looks promising |
| 2020-10-20 07:55:01 +0200 | chele | (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 2020-10-20 07:58:09 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 07:58:55 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 246 seconds) |
| 2020-10-20 07:58:57 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 08:00:02 +0200 | wilkie | (~wilkie@185.244.214.216) () |
| 2020-10-20 08:01:58 +0200 | hackage | ptr-poker 0.1.1.2 - Pointer poking action construction and composition toolkit https://hackage.haskell.org/package/ptr-poker-0.1.1.2 (NikitaVolkov) |
| 2020-10-20 08:03:31 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 08:03:43 +0200 | refried_ | (~textual@209.6.41.245) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2020-10-20 08:08:12 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 08:08:52 +0200 | whatisRT | (~whatisRT@2002:5b41:6a33:0:85b0:5e47:1897:223c) (Read error: Connection reset by peer) |
| 2020-10-20 08:11:09 +0200 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2020-10-20 08:17:52 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 08:18:56 +0200 | <koz_> | hololeap: I think most prettyprinter libraries offer something like this? |
| 2020-10-20 08:19:20 +0200 | nados | (~dan@69-165-210-185.cable.teksavvy.com) (Quit: Leaving) |
| 2020-10-20 08:22:04 +0200 | alp | (~alp@2a01:e0a:58b:4920:a506:4337:34d1:c04e) |
| 2020-10-20 08:26:36 +0200 | sfvm | (~sfvm@37.228.215.148) (Remote host closed the connection) |
| 2020-10-20 08:26:52 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 08:28:34 +0200 | kini | (~kini@unaffiliated/kini) (Quit: No Ping reply in 210 seconds.) |
| 2020-10-20 08:29:40 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 256 seconds) |
| 2020-10-20 08:30:30 +0200 | hiroaki | (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2020-10-20 08:32:48 +0200 | hiroaki | (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) |
| 2020-10-20 08:34:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-10-20 08:36:27 +0200 | husixu | (~husixu@137.132.116.42) |
| 2020-10-20 08:36:58 +0200 | kini | (~kini@unaffiliated/kini) |
| 2020-10-20 08:37:31 +0200 | Franciman | (~francesco@host-82-48-166-25.retail.telecomitalia.it) |
| 2020-10-20 08:38:22 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 08:39:22 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2020-10-20 08:40:59 +0200 | dhouthoo | (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
| 2020-10-20 08:42:20 +0200 | noecho | (~noecho@static.143.42.203.116.clients.your-server.de) (Quit: ZNC - http://znc.in) |
| 2020-10-20 08:42:31 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 08:42:47 +0200 | noecho | (~noecho@2a01:4f8:1c0c:80ee::4223) |
| 2020-10-20 08:43:32 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 08:44:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 08:46:55 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 244 seconds) |
| 2020-10-20 08:47:29 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 08:51:16 +0200 | jedws | (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 08:52:13 +0200 | danso | (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9) |
| 2020-10-20 08:52:39 +0200 | nineonine | (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-10-20 08:53:35 +0200 | danvet_ | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2020-10-20 08:54:26 +0200 | danvet | (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) |
| 2020-10-20 08:54:45 +0200 | isovector1 | (~isovector@172.103.216.166) (Ping timeout: 240 seconds) |
| 2020-10-20 08:54:51 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 08:55:09 +0200 | jedws | (~jedws@121.209.161.98) |
| 2020-10-20 08:56:36 +0200 | mananamenos | (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 2020-10-20 08:57:49 +0200 | asheshambasta | (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) |
| 2020-10-20 08:58:12 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 08:58:28 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 08:58:28 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 08:58:28 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 08:59:18 +0200 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 256 seconds) |
| 2020-10-20 08:59:31 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2020-10-20 08:59:33 +0200 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2020-10-20 08:59:33 +0200 | <asheshambasta> | Hi everyone, reflex-platform (?) related question. How does one override packages when using reflex-platform.project? I so far have: https://gist.github.com/asheshambasta/b18f21bc0bdf78b33b02cb846f4b83fe (based off https://github.com/srid/reflex-stone) where I'm trying to add the bulmex package. |
| 2020-10-20 08:59:39 +0200 | <asheshambasta> | (I'm also using niv here) |
| 2020-10-20 09:00:37 +0200 | <asheshambasta> | I can enter a nix-shell; but I get a "called without default argument "bulmex-custom"" error. |
| 2020-10-20 09:01:48 +0200 | <asheshambasta> | (when firing up cabal; which has bulmex-custom as one of its dependencies.) |
| 2020-10-20 09:03:17 +0200 | Echosolace | (~Echosolac@p790105-ipngn4101hiraide.tochigi.ocn.ne.jp) |
| 2020-10-20 09:03:48 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-20 09:04:50 +0200 | <Echosolace> | Hey, newb here looking at sum . replicate 5 . max 6.7 $ 8.9 |
| 2020-10-20 09:05:00 +0200 | <Echosolace> | Can someone tell me if my understanding is correct? |
| 2020-10-20 09:05:05 +0200 | <Echosolace> | It goes like this - |
| 2020-10-20 09:05:07 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 09:05:23 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-20 09:07:33 +0200 | <Echosolace> | max calls two parameters, so we are left with max 6.7 and a variable, let's call it a. It's a partial function, which is then called by replicate, which leaves us with a list that looks like this: [max 6.7 a, max 6.7 a, max 6.7 a, max 6.7 a, max 6.7 a]. Sum is called on that list, but now since a is undefined, it finally reaches out and replaces a with 8.9 and sums 5 x 8.9. |
| 2020-10-20 09:08:47 +0200 | jedws | (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 09:10:05 +0200 | <merijn> | Echosolace: Not really |
| 2020-10-20 09:10:12 +0200 | <Echosolace> | Sigh* |
| 2020-10-20 09:10:13 +0200 | <suzu_> | you have it backwards |
| 2020-10-20 09:10:14 +0200 | Sgeo | (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-10-20 09:10:22 +0200 | <merijn> | Echosolace: You are overthinking the partial application thing |
| 2020-10-20 09:10:49 +0200 | <merijn> | Echosolace: Let's work backwards rewriting things |
| 2020-10-20 09:10:54 +0200 | <Echosolace> | Ok |
| 2020-10-20 09:11:00 +0200 | <merijn> | $ has the lowest precedence, so we start there |
| 2020-10-20 09:11:08 +0200 | <merijn> | f $ x = f x |
| 2020-10-20 09:11:09 +0200 | <Echosolace> | Yep. Everything to the left first. |
| 2020-10-20 09:11:10 +0200 | <merijn> | So |
| 2020-10-20 09:11:26 +0200 | <merijn> | (sum . replicate 5 . max 6.7) 8.9 |
| 2020-10-20 09:11:39 +0200 | <Echosolace> | Yes. |
| 2020-10-20 09:11:40 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 272 seconds) |
| 2020-10-20 09:11:51 +0200 | <merijn> | f . g = \x -> f (g x) |
| 2020-10-20 09:12:15 +0200 | <suzu_> | the stuff in the braces is a function that gets called with 8.9 |
| 2020-10-20 09:12:19 +0200 | <Echosolace> | f of g |
| 2020-10-20 09:12:23 +0200 | <merijn> | SO you get ((\x -> sum (replicate 5 x)) . max 6.7) 8.9 |
| 2020-10-20 09:13:07 +0200 | <merijn> | (\y -> (\x -> sum (replicate 5 x)) (max 6.7 y)) 8.9 |
| 2020-10-20 09:13:21 +0200 | <merijn> | Then we can simplify |
| 2020-10-20 09:13:26 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 09:13:43 +0200 | <merijn> | (\y -> sum (replicate 5 (max 6.7 y))) 8.9 |
| 2020-10-20 09:13:46 +0200 | <merijn> | And finally |
| 2020-10-20 09:13:59 +0200 | <merijn> | sum (replicate 5 (max 6.7 8.9)) |
| 2020-10-20 09:15:17 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 09:15:18 +0200 | <Echosolace> | Ok ok I think that helped... The stuff in the braces is a function that gets called with the outside parameter... got it. |
| 2020-10-20 09:15:31 +0200 | <merijn> | Although in practice you normally read "f . g . h" sorta like a pipeline where a values goes into 'h', it's result goes into 'g', and that result goes into 'f' (which, as you can see is exactly what happens in the elaborate version I wrote out |
| 2020-10-20 09:16:08 +0200 | <merijn> | Without constructing all the lambda's in your head, because that's a load of bookkeeping |
| 2020-10-20 09:16:15 +0200 | <ghoulguy> | I think it might help to rewrite (f.g.h) to (f.(g.h)) as an explicit step |
| 2020-10-20 09:17:03 +0200 | <merijn> | Possibly, but I had was too lazy to figure out the brace and (fortunately) "f.(g.h)" and "(f.g).h" are the same ;) |
| 2020-10-20 09:18:09 +0200 | <ghoulguy> | They end up being the same. I suppose it's convenient to collapse that all at once to \x->f(g(h x)) |
| 2020-10-20 09:18:48 +0200 | raichoo | (~raichoo@213.240.178.58) |
| 2020-10-20 09:18:58 +0200 | <dminuoso> | Mmm, can a generic function to provide isomorphisms between arbitrary tuples (that is `f :: (S,T,U) -> ((S,T),U)`, `f :: (S,T,U) -> (S,(T,U))`, `f :: ((S,T),U) -> (S,T,U)` exist at all? |
| 2020-10-20 09:18:59 +0200 | <merijn> | Yeah, that's what my brain does, but that feels too much like "voodoo" for beginners, I think :) |
| 2020-10-20 09:19:19 +0200 | <merijn> | I like dumb, mechanical rewrite rules, because anyone get understand them and they work really well in Haskell :) |
| 2020-10-20 09:19:45 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-20 09:19:54 +0200 | lpsmith | (~lpsmith@unaffiliated/lpsmith) (Quit: ZNC 1.6.5 - http://znc.in) |
| 2020-10-20 09:21:13 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 265 seconds) |
| 2020-10-20 09:21:37 +0200 | lpsmith | (~lpsmith@unaffiliated/lpsmith) |
| 2020-10-20 09:22:15 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 09:23:33 +0200 | tzh | (~tzh@2601:448:c500:5300::e74c) (Quit: zzz) |
| 2020-10-20 09:24:38 +0200 | SanchayanM | (~Sanchayan@122.167.98.111) |
| 2020-10-20 09:25:27 +0200 | <Echosolace> | Ok this one has been doing my head in for a couple of days. It seems so similiar to the previous one - replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5] $ [4,5,6,7,8] |
| 2020-10-20 09:25:49 +0200 | Sanchayan | (~Sanchayan@106.200.207.22) (Ping timeout: 260 seconds) |
| 2020-10-20 09:25:54 +0200 | <Echosolace> | So a lengthy function is being called on 4,5..8 |
| 2020-10-20 09:25:57 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 09:26:10 +0200 | <Echosolace> | max determines that 4,5..8 is bigger. |
| 2020-10-20 09:26:20 +0200 | <Echosolace> | it's the zipWith that has me confused. |
| 2020-10-20 09:26:27 +0200 | <Echosolace> | There's nothing to zipWith... |
| 2020-10-20 09:26:42 +0200 | <merijn> | :t zipWith |
| 2020-10-20 09:26:43 +0200 | <lambdabot> | (a -> b -> c) -> [a] -> [b] -> [c] |
| 2020-10-20 09:26:53 +0200 | <Echosolace> | What... |
| 2020-10-20 09:26:57 +0200 | <Echosolace> | :t zipWith |
| 2020-10-20 09:26:57 +0200 | <opqdonut> | Echosolace: zipWith max [1,2,3,4] [4,5,6,7] ==> [max 1 4, max 2 5, max 3 6, max 4 7] |
| 2020-10-20 09:26:59 +0200 | <lambdabot> | (a -> b -> c) -> [a] -> [b] -> [c] |
| 2020-10-20 09:27:04 +0200 | <Echosolace> | Holy shit you can do that here? |
| 2020-10-20 09:27:11 +0200 | <merijn> | Yes? :p |
| 2020-10-20 09:27:17 +0200 | <merijn> | :t zipWith max |
| 2020-10-20 09:27:18 +0200 | <lambdabot> | Ord c => [c] -> [c] -> [c] |
| 2020-10-20 09:27:24 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 09:27:26 +0200 | <Echosolace> | wtf you can type multiples? |
| 2020-10-20 09:27:36 +0200 | <Echosolace> | Yo. |
| 2020-10-20 09:27:39 +0200 | <merijn> | Echosolace: The flaw in your reasoning is that max isn't being applied to those lists |
| 2020-10-20 09:27:47 +0200 | <merijn> | zipWith is being applied to max |
| 2020-10-20 09:28:14 +0200 | <merijn> | And then "zipWith max" is applied first to one list and then "zipWith max [1,2,3,4]" is applied to the final list |
| 2020-10-20 09:29:02 +0200 | <merijn> | Echosolace: In general "foo bar baz quux" is parenthesised as "(((foo bar) baz) quux)" |
| 2020-10-20 09:29:16 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-ejhfdvhwhujhpzoz) (Quit: Connection closed for inactivity) |
| 2020-10-20 09:29:26 +0200 | <merijn> | The exception is operator which are binary and *always* have lower precedence then function application |
| 2020-10-20 09:30:12 +0200 | <merijn> | So "replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5]" is "(replicate 100) . product . (map (*3)) . (zipWith max [1,2,3,4,5])" |
| 2020-10-20 09:30:27 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 09:30:34 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-20 09:31:16 +0200 | <merijn> | > zipWith f [1,2,3,4] [5,6,7,8] |
| 2020-10-20 09:31:18 +0200 | <lambdabot> | error: |
| 2020-10-20 09:31:19 +0200 | <lambdabot> | • Ambiguous type variable ‘c0’ arising from a use of ‘show_M201622632345... |
| 2020-10-20 09:31:19 +0200 | <lambdabot> | prevents the constraint ‘(Show c0)’ from being solved. |
| 2020-10-20 09:31:28 +0200 | <merijn> | > zipWith f [1,2,3,4] [5,6,7,8] :: [Expr] |
| 2020-10-20 09:31:30 +0200 | <lambdabot> | [f 1 5,f 2 6,f 3 7,f 4 8] |
| 2020-10-20 09:31:48 +0200 | <merijn> | opqdonut: ^^ lazily not writing things out like a pro ;) |
| 2020-10-20 09:31:49 +0200 | <Echosolace> | Thanks, it's all still processing... |
| 2020-10-20 09:32:09 +0200 | <opqdonut> | merijn: heh, I can never trust myself to get the expr stuff to work "live" |
| 2020-10-20 09:32:41 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2020-10-20 09:34:08 +0200 | <Echosolace> | > max 4 5 |
| 2020-10-20 09:34:10 +0200 | <lambdabot> | 5 |
| 2020-10-20 09:34:14 +0200 | <Echosolace> | So cool. |
| 2020-10-20 09:34:21 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:9049:722b:5333:309e) (Ping timeout: 272 seconds) |
| 2020-10-20 09:34:40 +0200 | <Echosolace> | > max [1,2,3,4] [4,5,6,7] |
| 2020-10-20 09:34:40 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Client Quit) |
| 2020-10-20 09:34:42 +0200 | <lambdabot> | [4,5,6,7] |
| 2020-10-20 09:34:44 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 09:34:58 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-20 09:37:03 +0200 | mud | (~mud@unaffiliated/kadoban) (Remote host closed the connection) |
| 2020-10-20 09:37:58 +0200 | mud | (~mud@unaffiliated/kadoban) |
| 2020-10-20 09:38:46 +0200 | borne | (~fritjof@200116b8645a730043d332954cf9072f.dip.versatel-1u1.de) |
| 2020-10-20 09:39:09 +0200 | bitmagie | (~Thunderbi@200116b80684bf00347699f0d62b2dcb.dip.versatel-1u1.de) |
| 2020-10-20 09:39:26 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 244 seconds) |
| 2020-10-20 09:40:31 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 256 seconds) |
| 2020-10-20 09:40:52 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:dc3b:a165:56fa:c9b) |
| 2020-10-20 09:42:44 +0200 | p8m_ | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds) |
| 2020-10-20 09:42:57 +0200 | <Echosolace> | This stuff is beautiful... |
| 2020-10-20 09:43:11 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
| 2020-10-20 09:43:16 +0200 | <Echosolace> | So, maybe someone can hear out my understanding. |
| 2020-10-20 09:43:18 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 09:43:58 +0200 | <Echosolace> | zipWith uses the function max to tie the two lists together... a la [max 1 4, max 2 5, max 3 6, max 4 7] |
| 2020-10-20 09:44:22 +0200 | <Echosolace> | map then ties *3 to each list element. |
| 2020-10-20 09:44:55 +0200 | xff0x | (~fox@2001:1a81:5267:b200:26b7:665c:9537:d5b8) (Ping timeout: 240 seconds) |
| 2020-10-20 09:45:10 +0200 | <Echosolace> | so now we have [ (max 1 4) * 3, (max 2 5) * 3, (max 3 6) * 3, (max 4 7) *3] |
| 2020-10-20 09:45:14 +0200 | fremandn | (fremandn@c-24-5-242-54.hsd1.ca.comcast.net) () |
| 2020-10-20 09:45:50 +0200 | <Echosolace> | replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5]" is "(replicate 100) . product . (map (*3)) . (zipWith max [1,2,3,4,5])" |
| 2020-10-20 09:45:53 +0200 | xff0x | (~fox@2001:1a81:5267:b200:a7b8:5cc7:42d6:262e) |
| 2020-10-20 09:46:09 +0200 | <Echosolace> | Then that gets evaluated, then each element is multiplied together... |
| 2020-10-20 09:46:24 +0200 | <Echosolace> | and then repeated into a list 100 times? |
| 2020-10-20 09:47:12 +0200 | <Echosolace> | Original reference - replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5] $ [4,5,6,7,8] |
| 2020-10-20 09:47:25 +0200 | <Echosolace> | > replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5] $ [4,5,6,7,8] |
| 2020-10-20 09:47:27 +0200 | <lambdabot> | [1632960,1632960,1632960,1632960,1632960,1632960,1632960,1632960,1632960,163... |
| 2020-10-20 09:47:37 +0200 | <Echosolace> | Sure looks like it... |
| 2020-10-20 09:48:14 +0200 | <Echosolace> | > 12 x 15 x 18 x 21 |
| 2020-10-20 09:48:16 +0200 | <lambdabot> | error: |
| 2020-10-20 09:48:16 +0200 | <lambdabot> | • Could not deduce (Num t0) |
| 2020-10-20 09:48:16 +0200 | <lambdabot> | from the context: (Num t, Num t3, Num t4, |
| 2020-10-20 09:48:30 +0200 | <Echosolace> | > 12 * 15 * 18 * 21 |
| 2020-10-20 09:48:32 +0200 | <lambdabot> | 68040 |
| 2020-10-20 09:48:57 +0200 | <Echosolace> | > 12 * 15 * 18 * 21 * 24 |
| 2020-10-20 09:48:59 +0200 | <lambdabot> | 1632960 |
| 2020-10-20 09:49:17 +0200 | <Echosolace> | Thanks for the help! |
| 2020-10-20 09:52:05 +0200 | mirrorbird | (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds) |
| 2020-10-20 09:54:09 +0200 | coot | (~coot@37.30.52.239) () |
| 2020-10-20 09:54:47 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-20 09:56:00 +0200 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-chlrdvhuygbnoesm) (Quit: Connection closed for inactivity) |
| 2020-10-20 09:56:06 +0200 | <Echosolace> | Just finished the higher order functions chapter on learn you a haskell. It was daunting but ya'll helped a bunch, thanks! Woot! |
| 2020-10-20 09:57:16 +0200 | kuribas | (~user@ptr-25vy0iajfrrz51ad66r.18120a2.ip6.access.telenet.be) |
| 2020-10-20 09:57:32 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 09:57:58 +0200 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) |
| 2020-10-20 09:59:25 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 240 seconds) |
| 2020-10-20 09:59:28 +0200 | hackage | jsonifier 0.1.0.4 - Fast and simple JSON encoding toolkit https://hackage.haskell.org/package/jsonifier-0.1.0.4 (NikitaVolkov) |
| 2020-10-20 09:59:58 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 2020-10-20 10:00:33 +0200 | irc_user | (uid423822@gateway/web/irccloud.com/x-eatidcztrwplllyi) (Quit: Connection closed for inactivity) |
| 2020-10-20 10:01:25 +0200 | tty11 | (~tty1@178.162.209.171) |
| 2020-10-20 10:04:06 +0200 | gioyik | (~gioyik@190.67.155.46) (Quit: WeeChat 2.9) |
| 2020-10-20 10:05:01 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 10:07:54 +0200 | <merijn> | Echosolace: One side note about your use of "and then" is that the evaluation order of Haskell isn't defined (well, that's a bit of an oversimplification, but it will do for now) so there's no real notion of "and then", they key is that in a pure setting the order becomes irrelevant |
| 2020-10-20 10:07:55 +0200 | xff0x | (~fox@2001:1a81:5267:b200:a7b8:5cc7:42d6:262e) (Ping timeout: 272 seconds) |
| 2020-10-20 10:08:04 +0200 | xff0x | (~fox@2001:1a81:5267:b200:703a:2918:9e39:c085) |
| 2020-10-20 10:09:20 +0200 | danvet | (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving) |
| 2020-10-20 10:10:31 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 265 seconds) |
| 2020-10-20 10:11:15 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2020-10-20 10:12:13 +0200 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) |
| 2020-10-20 10:12:28 +0200 | worc3131 | (~quassel@2a02:c7f:c026:9500:7d0b:65d0:38a4:4786) (Remote host closed the connection) |
| 2020-10-20 10:13:46 +0200 | worc3131 | (~quassel@2a02:c7f:c026:9500:a0d2:b9d1:42a4:69b4) |
| 2020-10-20 10:14:26 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2020-10-20 10:15:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2020-10-20 10:17:53 +0200 | kritzefitz | (~kritzefit@p2e5a5f99.dip0.t-ipconnect.de) |
| 2020-10-20 10:20:11 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 265 seconds) |
| 2020-10-20 10:21:02 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-10-20 10:21:52 +0200 | cosimone | (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-10-20 10:22:14 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 10:25:49 +0200 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:71b7:b2a8:812f:be64) |
| 2020-10-20 10:26:28 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2020-10-20 10:26:48 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 10:26:50 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 10:27:58 +0200 | sqrt2 | (~ben@unaffiliated/sqrt2) (Ping timeout: 260 seconds) |
| 2020-10-20 10:28:44 +0200 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:71b7:b2a8:812f:be64) (Client Quit) |
| 2020-10-20 10:31:15 +0200 | cosimone | (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 2020-10-20 10:31:25 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-10-20 10:35:10 +0200 | GoatyMcGoatface | shadowdao |
| 2020-10-20 10:36:05 +0200 | kritzefitz | (~kritzefit@p2e5a5f99.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-20 10:36:23 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2020-10-20 10:36:54 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 10:37:25 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 10:38:01 +0200 | Kebab | (257a7135@h37-122-113-53.dyn.bashtel.ru) |
| 2020-10-20 10:38:54 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 10:39:14 +0200 | drbean | (~drbean@TC210-63-209-149.static.apol.com.tw) (Ping timeout: 258 seconds) |
| 2020-10-20 10:39:51 +0200 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-10-20 10:41:01 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 264 seconds) |
| 2020-10-20 10:41:20 +0200 | bitmagie | (~Thunderbi@200116b80684bf00347699f0d62b2dcb.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-10-20 10:41:23 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2020-10-20 10:41:26 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 10:41:38 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-20 10:41:40 +0200 | sqrt2 | (~ben@unaffiliated/sqrt2) |
| 2020-10-20 10:42:04 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 10:43:21 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 246 seconds) |
| 2020-10-20 10:45:48 +0200 | Tario | (~Tario@201.192.165.173) (Remote host closed the connection) |
| 2020-10-20 10:46:59 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 10:48:37 +0200 | supercoven | (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 2020-10-20 10:51:16 +0200 | plutoniix | (~q@175.176.222.7) (Quit: Leaving) |
| 2020-10-20 10:52:48 +0200 | borne | (~fritjof@200116b8645a730043d332954cf9072f.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2020-10-20 10:52:49 +0200 | <dminuoso> | ito :: (s -> (i, a)) -> IndexedGetter i s a |
| 2020-10-20 10:52:52 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 10:53:04 +0200 | <dminuoso> | Im looking for a variant of `to` that gets access to the current index. Is there such a thing? |
| 2020-10-20 10:53:31 +0200 | borne | (~fritjof@200116b8645a73005f17201290692466.dip.versatel-1u1.de) |
| 2020-10-20 10:53:54 +0200 | <dminuoso> | That is, some `((i, s) -> a) -> IndexedGetter i s a` maybe? |
| 2020-10-20 10:55:26 +0200 | supercoven | (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded) |
| 2020-10-20 10:55:43 +0200 | supercoven | (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 2020-10-20 10:56:24 +0200 | plutoniix | (~q@175.176.222.7) |
| 2020-10-20 10:56:45 +0200 | britva | (~britva@51.154.14.117) |
| 2020-10-20 10:57:05 +0200 | christo | (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2020-10-20 10:58:22 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:7c30:8fc3:728d:9763) |
| 2020-10-20 10:58:27 +0200 | <edwardk> | :t withIndex |
| 2020-10-20 10:58:28 +0200 | <lambdabot> | (Indexable i p, Functor f) => p (i, s) (f (j, t)) -> Indexed i s (f t) |
| 2020-10-20 10:59:33 +0200 | <edwardk> | :t withIndex.to _foo |
| 2020-10-20 10:59:39 +0200 | <lambdabot> | error: |
| 2020-10-20 10:59:39 +0200 | <lambdabot> | • Found hole: _foo :: (j, t) -> a |
| 2020-10-20 10:59:39 +0200 | <lambdabot> | Where: ‘j’, ‘t’, ‘a’ are rigid type variables bound by |
| 2020-10-20 10:59:45 +0200 | <edwardk> | like that? |
| 2020-10-20 11:00:02 +0200 | tty11 | (~tty1@178.162.209.171) () |
| 2020-10-20 11:00:37 +0200 | <edwardk> | you need to use it inside of some context where you have an index, of course |
| 2020-10-20 11:00:55 +0200 | <edwardk> | :t itraversed.withIndex |
| 2020-10-20 11:00:57 +0200 | <lambdabot> | (TraversableWithIndex i t, Indexable i p, Applicative f) => p (i, a) (f (j, b)) -> t a -> f (t b) |
| 2020-10-20 11:01:07 +0200 | <edwardk> | :t itraversed.withIndex.to id |
| 2020-10-20 11:01:08 +0200 | hiroaki | (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2020-10-20 11:01:09 +0200 | <lambdabot> | (TraversableWithIndex j t, Indexable j p, Contravariant f, Applicative f) => p (j, b) (f (j, b)) -> t b -> f (t b) |
| 2020-10-20 11:02:15 +0200 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-10-20 11:02:46 +0200 | <dminuoso> | % toListOf (itraversed . withIndex) ([1,2,3] :: [Int]) |
| 2020-10-20 11:02:47 +0200 | <yahb> | dminuoso: [(0,1),(1,2),(2,3)] |
| 2020-10-20 11:02:50 +0200 | <dminuoso> | edwardk: Looks about right, cheers! |
| 2020-10-20 11:03:18 +0200 | <edwardk> | :t asIndex |
| 2020-10-20 11:03:19 +0200 | <lambdabot> | (Indexable i p, Contravariant f, Functor f) => p i (f i) -> Indexed i s (f s) |
| 2020-10-20 11:03:32 +0200 | <edwardk> | also exists and might be useful in some situations |
| 2020-10-20 11:04:13 +0200 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) |
| 2020-10-20 11:05:23 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 11:05:28 +0200 | <dminuoso> | edwardk: I guess `asIndex = withIndex . to fst` roughly? |
| 2020-10-20 11:05:32 +0200 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) (Read error: Connection reset by peer) |
| 2020-10-20 11:05:37 +0200 | <edwardk> | yeah |
| 2020-10-20 11:05:51 +0200 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) |
| 2020-10-20 11:05:54 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:7c30:8fc3:728d:9763) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 11:08:09 +0200 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) |
| 2020-10-20 11:09:54 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-10-20 11:10:50 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2020-10-20 11:11:54 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 11:12:41 +0200 | leah2 | (~leah@vuxu.org) |
| 2020-10-20 11:14:58 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2020-10-20 11:15:17 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 11:15:25 +0200 | nineonin_ | (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-10-20 11:16:14 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 244 seconds) |
| 2020-10-20 11:18:40 +0200 | nineonine | (~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 265 seconds) |
| 2020-10-20 11:19:40 +0200 | wei | (~wei@66.42.41.89) (Read error: Connection reset by peer) |
| 2020-10-20 11:19:52 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-10-20 11:20:33 +0200 | havenwood1 | (~havenwood@185.163.110.116) |
| 2020-10-20 11:20:37 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 264 seconds) |
| 2020-10-20 11:20:48 +0200 | polyrain | (~polyrain@58.161.83.164) |
| 2020-10-20 11:20:59 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 11:23:52 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
| 2020-10-20 11:24:52 +0200 | johnnyboy[m] | (gifumatrix@gateway/shell/matrix.org/x-gbyrgzvhkjxxusae) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | lnxw37d4 | (lnxw37d4ma@gateway/shell/matrix.org/x-ptvuhwxuhfxasuxj) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | SlackIntegration | (slackbotma@gateway/shell/matrix.org/x-gsmubjcfwartpuyv) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | fgaz | (fgazmatrix@gateway/shell/matrix.org/x-sccsqjcyzbrdqsny) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | ThaEwat | (thaewraptm@gateway/shell/matrix.org/x-agqptcwygxrodhxb) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-nbsqkvyjxpcolcjf) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | psydruid | (psydruidma@gateway/shell/matrix.org/x-oprbmexkbiobupsb) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | Ericson2314 | (ericson231@gateway/shell/matrix.org/x-wjxgdezrhvtzaogq) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | michaelpj | (michaelpjm@gateway/shell/matrix.org/x-eajfsrqdggsxtjvo) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | hnOsmium0001[m] | (hnosmium00@gateway/shell/matrix.org/x-gyngapiijxrddvgg) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | domenkozar[m] | (domenkozar@NixOS/user/domenkozar) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | themsay[m] | (themsaymat@gateway/shell/matrix.org/x-zjmsdphtuogbzdnl) (Quit: killed) |
| 2020-10-20 11:24:52 +0200 | hsiktas[m] | (hsiktasmat@gateway/shell/matrix.org/x-icdlnorsjqgkpxaw) (Quit: killed) |
| 2020-10-20 11:24:53 +0200 | kadoban | (kadobanmat@gateway/shell/matrix.org/x-koqtjvguqdzqkcxh) (Quit: killed) |
| 2020-10-20 11:24:53 +0200 | chreekat[m] | (chreekatma@gateway/shell/matrix.org/x-xbcxbptrlxxpfxsr) (Quit: killed) |
| 2020-10-20 11:24:53 +0200 | sureyeaah | (shauryab98@gateway/shell/matrix.org/x-cwwiukanmlcbaqdo) (Quit: killed) |
| 2020-10-20 11:24:53 +0200 | maralorn | (maralornma@gateway/shell/matrix.org/x-zkyzkncpuafqbgyu) (Quit: killed) |
| 2020-10-20 11:24:53 +0200 | JoelMcCracken[m] | (joelmccrac@gateway/shell/matrix.org/x-koqjdeyeiyqanqia) (Quit: killed) |
| 2020-10-20 11:24:53 +0200 | alvinsj[m] | (alvinsjmat@gateway/shell/matrix.org/x-jkdshcytuttkbfpt) (Quit: killed) |
| 2020-10-20 11:24:54 +0200 | jtojnar | (jtojnarmat@gateway/shell/matrix.org/x-clashmxqyivyyrpr) (Quit: killed) |
| 2020-10-20 11:24:55 +0200 | steve[m] | (stevetrout@gateway/shell/matrix.org/x-rtatbjmnbxiznpmg) (Quit: killed) |
| 2020-10-20 11:24:57 +0200 | zerstroyer[m] | (zerstroyer@gateway/shell/matrix.org/x-odscjndwbucnjdke) (Quit: killed) |
| 2020-10-20 11:24:57 +0200 | sm[m] | (simonmicma@gateway/shell/matrix.org/x-lsmbcsozkdzcnpwu) (Quit: killed) |
| 2020-10-20 11:24:59 +0200 | ttc | (tomtauma1@gateway/shell/matrix.org/x-haadxrqzgtcsrdca) (Quit: killed) |
| 2020-10-20 11:24:59 +0200 | unclechu | (unclechuma@gateway/shell/matrix.org/x-zgeyqatdetfrsgfy) (Quit: killed) |
| 2020-10-20 11:24:59 +0200 | gmind[m] | (gmindmatri@gateway/shell/matrix.org/x-dtqofmafghxzbxls) (Quit: killed) |
| 2020-10-20 11:24:59 +0200 | siraben | (sirabenmat@gateway/shell/matrix.org/x-ltzmckarrmguosgk) (Quit: killed) |
| 2020-10-20 11:25:00 +0200 | texasmynsted[m]1 | (mmynstedko@gateway/shell/matrix.org/x-jzvbrkpfvqeicyva) (Quit: killed) |
| 2020-10-20 11:25:02 +0200 | betrion[m] | (betrionmat@gateway/shell/matrix.org/x-tvrpywqkiskftcqo) (Quit: killed) |
| 2020-10-20 11:25:04 +0200 | jlv | (jlvjustinl@gateway/shell/matrix.org/x-iwakkkxhzkvqgocd) (Quit: killed) |
| 2020-10-20 11:25:05 +0200 | DeadComaGrayce[m | (commagra1@gateway/shell/matrix.org/x-mbzrorwyrzsyvzxq) (Quit: killed) |
| 2020-10-20 11:25:05 +0200 | rednaZ[m] | (r3dnazmatr@gateway/shell/matrix.org/x-hmsbyitwctjrefyg) (Quit: killed) |
| 2020-10-20 11:25:06 +0200 | iinuwa | (iinuwamatr@gateway/shell/matrix.org/x-nfkeciehgetsazih) (Quit: killed) |
| 2020-10-20 11:25:06 +0200 | jeffcasavant[m]1 | (jeffcasava@gateway/shell/matrix.org/x-eehnfkgrainilxie) (Quit: killed) |
| 2020-10-20 11:25:07 +0200 | materialfuture[m | (materialfu@gateway/shell/matrix.org/x-oqqgzyvgqemxlxor) (Quit: killed) |
| 2020-10-20 11:25:10 +0200 | Hatsue[m] | (berbermanm@gateway/shell/matrix.org/x-nbhjcatgxbfovdna) (Quit: killed) |
| 2020-10-20 11:25:10 +0200 | srid | (sridmatrix@gateway/shell/matrix.org/x-qzwenlzhtlhlcace) (Quit: killed) |
| 2020-10-20 11:25:11 +0200 | dyniec[m] | (dyniecmatr@gateway/shell/matrix.org/x-vcivbailtuqowgfi) (Quit: killed) |
| 2020-10-20 11:25:12 +0200 | wrunt[m] | (wruntmatri@gateway/shell/matrix.org/x-lgxhuyewbpjmhgno) (Quit: killed) |
| 2020-10-20 11:25:12 +0200 | tersetears[m] | (tersetears@gateway/shell/matrix.org/x-pldppmjclmpzqaog) (Quit: killed) |
| 2020-10-20 11:25:12 +0200 | bonvoyage[m] | (bonvoyageu@gateway/shell/matrix.org/x-netifemzzfxlmlap) (Quit: killed) |
| 2020-10-20 11:25:12 +0200 | drozdziak1 | (drozdziak1@gateway/shell/matrix.org/x-qsrzjrmwedxwifhe) (Quit: killed) |
| 2020-10-20 11:25:12 +0200 | Fernando-Basso[m | (fernando-b@gateway/shell/matrix.org/x-ggwqzbckrjzoebqm) (Quit: killed) |
| 2020-10-20 11:25:12 +0200 | micahsovereign[m | (micahsover@gateway/shell/matrix.org/x-fdcktwkiurzttdbm) (Quit: killed) |
| 2020-10-20 11:25:13 +0200 | mmynsted[m] | (mmynstedtc@gateway/shell/matrix.org/x-niyifdmgamjmeagm) (Quit: killed) |
| 2020-10-20 11:25:13 +0200 | tttom[m] | (tttommatri@gateway/shell/matrix.org/x-soasxrnveoheosxm) (Quit: killed) |
| 2020-10-20 11:25:13 +0200 | GuillaumeChrel[m | (guillaumec@gateway/shell/matrix.org/x-gnseeldmgheyniaq) (Quit: killed) |
| 2020-10-20 11:25:13 +0200 | sepp2k | (sepp2kmatr@gateway/shell/matrix.org/x-kjjsajpvynbjxyjt) (Quit: killed) |
| 2020-10-20 11:25:14 +0200 | ComaGrayce[m] | (commagrays@gateway/shell/matrix.org/x-judmpjaakotiswoi) (Quit: killed) |
| 2020-10-20 11:25:14 +0200 | theduke | (thedukem1@gateway/shell/matrix.org/x-tfitaspyhmnjubsl) (Quit: killed) |
| 2020-10-20 11:25:15 +0200 | wi[m] | (w1gzmatrix@gateway/shell/matrix.org/x-ymbhwxurjlfoxjnq) (Quit: killed) |
| 2020-10-20 11:25:15 +0200 | io_r_us[m] | (commandlin@gateway/shell/matrix.org/x-ooxzqxwxkykjcelk) (Quit: killed) |
| 2020-10-20 11:25:16 +0200 | ethercrow[m] | (ethercrowm@gateway/shell/matrix.org/x-mhxrudfakkaxubql) (Quit: killed) |
| 2020-10-20 11:25:16 +0200 | jkaye[m] | (jkayematri@gateway/shell/matrix.org/x-titsgoawtmwelkxy) (Quit: killed) |
| 2020-10-20 11:25:16 +0200 | albestro[m] | (albestroma@gateway/shell/matrix.org/x-pjjqsudezxydksrs) (Quit: killed) |
| 2020-10-20 11:25:18 +0200 | Noughtmare[m] | (naughtmare@gateway/shell/matrix.org/x-pcihubjetuqwkhon) (Quit: killed) |
| 2020-10-20 11:25:18 +0200 | lambdaclan | (lambdaclan@gateway/shell/matrix.org/x-sdymrxybgjfdnoyu) (Quit: killed) |
| 2020-10-20 11:25:18 +0200 | nihilazo | (nihilazoma@gateway/shell/matrix.org/x-oybdwgyjgiaqufzl) (Quit: killed) |
| 2020-10-20 11:25:18 +0200 | pqwy[m] | (pqwymatrix@gateway/shell/matrix.org/x-bitadduvtvbneaeb) (Quit: killed) |
| 2020-10-20 11:25:18 +0200 | CaptainFox[m] | (onianimatr@gateway/shell/matrix.org/x-drbxwvoncpbckyzk) (Quit: killed) |
| 2020-10-20 11:25:18 +0200 | mikr[m] | (mikrdavral@gateway/shell/matrix.org/x-hacnsmsjuxjtzoxd) (Quit: killed) |
| 2020-10-20 11:25:18 +0200 | alexfmpe | (alexfmpema@gateway/shell/matrix.org/x-fxxfrxcrsgikwrue) (Quit: killed) |
| 2020-10-20 11:25:18 +0200 | jiribenes1 | (jbjiribene@gateway/shell/matrix.org/x-depxshgmerhghelp) (Quit: killed) |
| 2020-10-20 11:28:13 +0200 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:4c42:fac3:eff4:bce3) |
| 2020-10-20 11:28:25 +0200 | Foritus | (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2020-10-20 11:29:10 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 11:29:43 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 11:29:46 +0200 | Foritus | (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) |
| 2020-10-20 11:30:07 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-10-20 11:31:01 +0200 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds) |
| 2020-10-20 11:31:45 +0200 | xerox__ | (~xerox@unaffiliated/xerox) |
| 2020-10-20 11:32:15 +0200 | jiribenes1 | (jbjiribene@gateway/shell/matrix.org/x-ywtaulhgwnhnsvxt) |
| 2020-10-20 11:33:03 +0200 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 2020-10-20 11:34:14 +0200 | xerox_ | (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds) |
| 2020-10-20 11:34:14 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2020-10-20 11:34:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-20 11:35:48 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 11:35:54 +0200 | xerox__ | xerox_ |
| 2020-10-20 11:37:13 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2020-10-20 11:39:12 +0200 | sagax | (~sagax_nb@213.138.71.146) |
| 2020-10-20 11:39:55 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-20 11:39:59 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 260 seconds) |
| 2020-10-20 11:40:25 +0200 | Echosolace | (~Echosolac@p790105-ipngn4101hiraide.tochigi.ocn.ne.jp) (Ping timeout: 264 seconds) |
| 2020-10-20 11:40:26 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 11:43:31 +0200 | Kebab | (257a7135@h37-122-113-53.dyn.bashtel.ru) (Remote host closed the connection) |
| 2020-10-20 11:43:36 +0200 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-20 11:43:52 +0200 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-10-20 11:45:45 +0200 | hsiktas[m] | (hsiktasmat@gateway/shell/matrix.org/x-kxldbtoxiyqqqedi) |
| 2020-10-20 11:45:45 +0200 | johnnyboy[m] | (gifumatrix@gateway/shell/matrix.org/x-nltixegvkavzyoul) |
| 2020-10-20 11:45:45 +0200 | sm[m] | (simonmicma@gateway/shell/matrix.org/x-kjzdaftnxeysexza) |
| 2020-10-20 11:45:45 +0200 | ttc | (tomtauma1@gateway/shell/matrix.org/x-mcwzexsnwpdfymag) |
| 2020-10-20 11:45:46 +0200 | nihilazo | (nihilazoma@gateway/shell/matrix.org/x-sbjmjryxjhfbwlul) |
| 2020-10-20 11:45:46 +0200 | alvinsj[m] | (alvinsjmat@gateway/shell/matrix.org/x-futysjdhnnxsbkpw) |
| 2020-10-20 11:45:46 +0200 | Hatsue[m] | (berbermanm@gateway/shell/matrix.org/x-wwzwaupbtfkoadjy) |
| 2020-10-20 11:45:46 +0200 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-ewmkzhxvdotuajer) |
| 2020-10-20 11:45:46 +0200 | tersetears[m] | (tersetears@gateway/shell/matrix.org/x-nyaxdrvmpvslsqtu) |
| 2020-10-20 11:45:46 +0200 | Ericson2314 | (ericson231@gateway/shell/matrix.org/x-tjofikpsndtqqoip) |
| 2020-10-20 11:45:46 +0200 | SlackIntegration | (slackbotma@gateway/shell/matrix.org/x-ukccuigjmsjfrngr) |
| 2020-10-20 11:45:46 +0200 | boistordu | (boistordum@gateway/shell/matrix.org/x-xgghootbaqsnhxfp) |
| 2020-10-20 11:45:47 +0200 | iinuwa | (iinuwamatr@gateway/shell/matrix.org/x-jyhekixvpktslcoc) |
| 2020-10-20 11:45:47 +0200 | fgaz | (fgazmatrix@gateway/shell/matrix.org/x-nojviefmaelofmtu) |
| 2020-10-20 11:45:47 +0200 | hnOsmium0001[m] | (hnosmium00@gateway/shell/matrix.org/x-fvmtmiqtqsjbazqg) |
| 2020-10-20 11:45:47 +0200 | lambdaclan | (lambdaclan@gateway/shell/matrix.org/x-kfsqukvjenobsiyf) |
| 2020-10-20 11:45:47 +0200 | io_r_us[m] | (commandlin@gateway/shell/matrix.org/x-drnpoxjvaxdwwqgi) |
| 2020-10-20 11:45:47 +0200 | sepp2k | (sepp2kmatr@gateway/shell/matrix.org/x-uvhosqtcrbesnxty) |
| 2020-10-20 11:45:47 +0200 | texasmynsted[m] | (mmynstedko@gateway/shell/matrix.org/x-dzaunedvswenjriu) |
| 2020-10-20 11:45:47 +0200 | chreekat[m] | (chreekatma@gateway/shell/matrix.org/x-gieddtjtrbfhzuob) |
| 2020-10-20 11:45:47 +0200 | siraben | (sirabenmat@gateway/shell/matrix.org/x-zfgbuyuodlcnmskq) |
| 2020-10-20 11:45:47 +0200 | jeffcasavant[m] | (jeffcasava@gateway/shell/matrix.org/x-rlgfpzrggighdhrb) |
| 2020-10-20 11:45:47 +0200 | theduke | (thedukem1@gateway/shell/matrix.org/x-wpftwdkxgzvghvvl) |
| 2020-10-20 11:45:48 +0200 | rednaZ[m] | (r3dnazmatr@gateway/shell/matrix.org/x-tkusjxcwwbivwlkm) |
| 2020-10-20 11:45:48 +0200 | micahsovereign[m | (micahsover@gateway/shell/matrix.org/x-gjrcbpecsppcokwm) |
| 2020-10-20 11:45:48 +0200 | Fernando-Basso[m | (fernando-b@gateway/shell/matrix.org/x-effarlclrewjufqv) |
| 2020-10-20 11:45:48 +0200 | pqwy[m] | (pqwymatrix@gateway/shell/matrix.org/x-fxzcljgcghrdenen) |
| 2020-10-20 11:45:48 +0200 | srid | (sridmatrix@gateway/shell/matrix.org/x-hviraidnojgflwps) |
| 2020-10-20 11:45:48 +0200 | lnxw37d4 | (lnxw37d4ma@gateway/shell/matrix.org/x-crwphkmgvfrosaji) |
| 2020-10-20 11:45:48 +0200 | drozdziak1 | (drozdziak1@gateway/shell/matrix.org/x-gidmfcvagtajvhhw) |
| 2020-10-20 11:45:48 +0200 | psydruid | (psydruidma@gateway/shell/matrix.org/x-pvfpsaadgrgcnmsj) |
| 2020-10-20 11:45:49 +0200 | bonvoyage[m] | (bonvoyageu@gateway/shell/matrix.org/x-rwrgsqnfczgpcfzg) |
| 2020-10-20 11:45:49 +0200 | zerstroyer[m] | (zerstroyer@gateway/shell/matrix.org/x-abrqfdkucphandbz) |
| 2020-10-20 11:45:49 +0200 | domenkozar[m] | (domenkozar@NixOS/user/domenkozar) |
| 2020-10-20 11:45:49 +0200 | jtojnar | (jtojnarmat@gateway/shell/matrix.org/x-oldcfzkhkovghpdz) |
| 2020-10-20 11:45:49 +0200 | unclechu | (unclechuma@gateway/shell/matrix.org/x-rpzcmsnopbhgclgj) |
| 2020-10-20 11:45:49 +0200 | kadoban | (kadobanmat@gateway/shell/matrix.org/x-krghsdaqvpzvmoqq) |
| 2020-10-20 11:45:49 +0200 | JoelMcCracken[m] | (joelmccrac@gateway/shell/matrix.org/x-knmshmpivzxzsdhs) |
| 2020-10-20 11:45:49 +0200 | michaelpj | (michaelpjm@gateway/shell/matrix.org/x-bdiuggqbskrlwvgh) |
| 2020-10-20 11:45:50 +0200 | ethercrow[m] | (ethercrowm@gateway/shell/matrix.org/x-kbjvkxqwgnsppadv) |
| 2020-10-20 11:45:50 +0200 | themsay[m] | (themsaymat@gateway/shell/matrix.org/x-uotbvuvhvtbhjjxf) |
| 2020-10-20 11:45:50 +0200 | ThaEwat | (thaewraptm@gateway/shell/matrix.org/x-tborxvojsdhzkgkh) |
| 2020-10-20 11:45:50 +0200 | maralorn | (maralornma@gateway/shell/matrix.org/x-vqhpwortgcdenadb) |
| 2020-10-20 11:45:50 +0200 | sureyeaah | (shauryab98@gateway/shell/matrix.org/x-avtqnyzbzcxsvcva) |
| 2020-10-20 11:45:52 +0200 | CaptainFox[m] | (onianimatr@gateway/shell/matrix.org/x-miahmjdoquzpwvgq) |
| 2020-10-20 11:45:52 +0200 | betrion[m] | (betrionmat@gateway/shell/matrix.org/x-qpffcnlgtzskewhs) |
| 2020-10-20 11:45:52 +0200 | wrunt[m] | (wruntmatri@gateway/shell/matrix.org/x-bxtindmfgzagxold) |
| 2020-10-20 11:45:52 +0200 | Noughtmare[m] | (naughtmare@gateway/shell/matrix.org/x-xudbhqjcpbntxwlf) |
| 2020-10-20 11:45:52 +0200 | dyniec[m] | (dyniecmatr@gateway/shell/matrix.org/x-gjzsseikahzwfhmv) |
| 2020-10-20 11:45:53 +0200 | vaibhavsagar | (vaibhavsag@gateway/shell/matrix.org/x-ynipythrsvdyajlm) |
| 2020-10-20 11:45:53 +0200 | jlv | (jlvjustinl@gateway/shell/matrix.org/x-mghywjuolvedlyvk) |
| 2020-10-20 11:45:53 +0200 | DeadComaGrayce[m | (commagra1@gateway/shell/matrix.org/x-zzpvpjjstynkgden) |
| 2020-10-20 11:45:53 +0200 | alexfmpe | (alexfmpema@gateway/shell/matrix.org/x-rumnfgeqditogrbg) |
| 2020-10-20 11:45:54 +0200 | jkaye[m] | (jkayematri@gateway/shell/matrix.org/x-clfxuprobknvrhns) |
| 2020-10-20 11:45:54 +0200 | wi[m] | (w1gzmatrix@gateway/shell/matrix.org/x-gjveedxyacwaljmc) |
| 2020-10-20 11:45:54 +0200 | mmynsted[m] | (mmynstedtc@gateway/shell/matrix.org/x-gyrlgvekdzamsbsy) |
| 2020-10-20 11:45:55 +0200 | steve[m] | (stevetrout@gateway/shell/matrix.org/x-iohkoyrfjoxaewzg) |
| 2020-10-20 11:45:55 +0200 | ComaGrayce[m] | (commagrays@gateway/shell/matrix.org/x-aumhvlswnppphkfk) |
| 2020-10-20 11:45:55 +0200 | materialfuture[m | (materialfu@gateway/shell/matrix.org/x-aciobbtkqskwpjdk) |
| 2020-10-20 11:45:55 +0200 | mikr[m] | (mikrdavral@gateway/shell/matrix.org/x-tnooaimoadfhoktw) |
| 2020-10-20 11:45:55 +0200 | GuillaumeChrel[m | (guillaumec@gateway/shell/matrix.org/x-dyhwbypfoivqrqzy) |
| 2020-10-20 11:45:56 +0200 | tttom[m] | (tttommatri@gateway/shell/matrix.org/x-hkvnfzzlaaxtbpto) |
| 2020-10-20 11:45:56 +0200 | albestro[m] | (albestroma@gateway/shell/matrix.org/x-inujpqvfiidxrghs) |
| 2020-10-20 11:45:57 +0200 | gmind[m] | (gmindmatri@gateway/shell/matrix.org/x-ytyzdnndqsmeegde) |
| 2020-10-20 11:46:05 +0200 | Tario | (~Tario@201.192.165.173) |
| 2020-10-20 11:47:25 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) (Ping timeout: 240 seconds) |
| 2020-10-20 11:48:53 +0200 | darjeeli1 | (~darjeelin@122.245.211.155) |
| 2020-10-20 11:52:13 +0200 | <siraben> | Anyone know what I should do if I want to install the latest haskell-language-server from https://github.com/haskell/haskell-language-server ? Here's what the derivation looks like, http://ix.io/2BlI |
| 2020-10-20 11:52:14 +0200 | <siraben> | But it's missing an argument hls-tactics-plugin, which is not in haskellPackages yet |
| 2020-10-20 11:52:24 +0200 | xff0x | (~fox@2001:1a81:5267:b200:703a:2918:9e39:c085) (Ping timeout: 244 seconds) |
| 2020-10-20 11:52:31 +0200 | <siraben> | edwardk: saw that your recursive PR got merged to master |
| 2020-10-20 11:53:15 +0200 | xff0x | (~fox@2001:1a81:5267:b200:9f10:7d31:322:f836) |
| 2020-10-20 11:58:14 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2020-10-20 11:58:33 +0200 | vacwm | (~user@70.23.92.191) |
| 2020-10-20 11:59:24 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2020-10-20 12:00:27 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2020-10-20 12:00:57 +0200 | hackage | attoparsec-data 1.0.5.1 - Parsers for the standard Haskell data types https://hackage.haskell.org/package/attoparsec-data-1.0.5.1 (NikitaVolkov) |
| 2020-10-20 12:01:40 +0200 | Lord_of_Life_ | (~Lord@46.217.197.229) |
| 2020-10-20 12:03:02 +0200 | vacwm | (~user@70.23.92.191) (Ping timeout: 260 seconds) |
| 2020-10-20 12:03:54 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2020-10-20 12:04:01 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2020-10-20 12:04:25 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 12:06:05 +0200 | kenran | (~maier@b2b-37-24-119-190.unitymedia.biz) (Quit: leaving) |
| 2020-10-20 12:06:26 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds) |
| 2020-10-20 12:08:55 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 240 seconds) |
| 2020-10-20 12:09:29 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 12:09:38 +0200 | gnumonik | (~gnumonik@c-73-170-91-210.hsd1.ca.comcast.net) (Quit: Leaving) |
| 2020-10-20 12:10:17 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-10-20 12:11:22 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
| 2020-10-20 12:12:46 +0200 | husixu | (~husixu@137.132.116.42) (Remote host closed the connection) |
| 2020-10-20 12:16:08 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 12:16:29 +0200 | alp | (~alp@2a01:e0a:58b:4920:a506:4337:34d1:c04e) (Ping timeout: 272 seconds) |
| 2020-10-20 12:17:52 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 12:18:55 +0200 | m0rphism | (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) |
| 2020-10-20 12:19:30 +0200 | Gerula | (~Gerula@unaffiliated/gerula) (Quit: Leaving) |
| 2020-10-20 12:19:58 +0200 | raichoo | (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 2020-10-20 12:20:54 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-20 12:21:18 +0200 | Gerula | (~Gerula@unaffiliated/gerula) |
| 2020-10-20 12:24:20 +0200 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:4c42:fac3:eff4:bce3) (Quit: karanlikmadde) |
| 2020-10-20 12:24:40 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 12:25:02 +0200 | bitmagie | (~Thunderbi@200116b80684bf00347699f0d62b2dcb.dip.versatel-1u1.de) |
| 2020-10-20 12:27:01 +0200 | mirrorbird | (~psutcliff@m83-187-163-53.cust.tele2.se) |
| 2020-10-20 12:28:31 +0200 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:4c42:fac3:eff4:bce3) |
| 2020-10-20 12:30:41 +0200 | alp | (~alp@2a01:e0a:58b:4920:71d3:32b4:9121:96ef) |
| 2020-10-20 12:30:47 +0200 | bliminse | (~bliminse@host109-158-54-87.range109-158.btcentralplus.com) (Ping timeout: 258 seconds) |
| 2020-10-20 12:31:32 +0200 | bliminse | (~bliminse@host109-158-54-87.range109-158.btcentralplus.com) |
| 2020-10-20 12:32:19 +0200 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 258 seconds) |
| 2020-10-20 12:33:33 +0200 | ukari | (~ukari@unaffiliated/ukari) (Ping timeout: 244 seconds) |
| 2020-10-20 12:36:40 +0200 | jedws | (~jedws@121.209.161.98) |
| 2020-10-20 12:38:06 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) () |
| 2020-10-20 12:39:49 +0200 | ggole | (~ggole@2001:8003:8119:7200:9458:d2e2:e6f8:6e99) |
| 2020-10-20 12:48:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2020-10-20 12:48:24 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 12:49:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 12:50:07 +0200 | Gerula | (~Gerula@unaffiliated/gerula) (Remote host closed the connection) |
| 2020-10-20 12:50:20 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 258 seconds) |
| 2020-10-20 12:54:57 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2020-10-20 12:54:57 +0200 | polyrain | (~polyrain@58.161.83.164) (Read error: Connection reset by peer) |
| 2020-10-20 12:55:25 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:14f1:da8f:9790:497b) |
| 2020-10-20 12:57:06 +0200 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2020-10-20 12:58:17 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2020-10-20 12:59:29 +0200 | Iwawa | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 13:00:39 +0200 | taurux | (~taurux@net-93-144-31-149.cust.dsl.teletu.it) (Ping timeout: 265 seconds) |
| 2020-10-20 13:00:59 +0200 | raichoo | (~raichoo@213.240.178.58) |
| 2020-10-20 13:01:03 +0200 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) |
| 2020-10-20 13:01:08 +0200 | refried_ | (~textual@209.6.41.245) |
| 2020-10-20 13:01:44 +0200 | taurux | (~taurux@net-188-152-14-24.cust.vodafonedsl.it) |
| 2020-10-20 13:03:04 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 265 seconds) |
| 2020-10-20 13:04:46 +0200 | pjb | (~t@2a01cb04063ec50021ccf25e922e3d24.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2020-10-20 13:05:25 +0200 | boistordu | (boistordum@gateway/shell/matrix.org/x-xgghootbaqsnhxfp) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days") |
| 2020-10-20 13:05:42 +0200 | refried_ | (~textual@209.6.41.245) (Ping timeout: 260 seconds) |
| 2020-10-20 13:06:35 +0200 | sepp2k | (sepp2kmatr@gateway/shell/matrix.org/x-uvhosqtcrbesnxty) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days") |
| 2020-10-20 13:07:44 +0200 | pjb | (~t@2a01cb04063ec50021ccf25e922e3d24.ipv6.abo.wanadoo.fr) |
| 2020-10-20 13:07:57 +0200 | Gerula | (~Gerula@unaffiliated/gerula) |
| 2020-10-20 13:10:14 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2020-10-20 13:14:59 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2020-10-20 13:17:06 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 13:19:01 +0200 | rprije | (~rprije@110-175-117-18.tpgi.com.au) (Ping timeout: 265 seconds) |
| 2020-10-20 13:20:27 +0200 | alp | (~alp@2a01:e0a:58b:4920:71d3:32b4:9121:96ef) (Ping timeout: 272 seconds) |
| 2020-10-20 13:21:29 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-20 13:23:01 +0200 | Buntspecht | (~user@unaffiliated/siracusa) (Read error: Connection reset by peer) |
| 2020-10-20 13:23:25 +0200 | Buntspecht | (~user@unaffiliated/siracusa) |
| 2020-10-20 13:24:57 +0200 | plutoniix | (~q@175.176.222.7) (Quit: Leaving) |
| 2020-10-20 13:27:12 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 13:31:42 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Ping timeout: 246 seconds) |
| 2020-10-20 13:32:01 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-10-20 13:32:02 +0200 | berberman | (~berberman@unaffiliated/berberman) |
| 2020-10-20 13:32:34 +0200 | acidjnk_new | (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de) |
| 2020-10-20 13:33:00 +0200 | dhil | (~dhil@195.213.192.122) |
| 2020-10-20 13:33:07 +0200 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 2020-10-20 13:33:43 +0200 | alp | (~alp@2a01:e0a:58b:4920:3cec:cc43:6a50:5c5c) |
| 2020-10-20 13:35:11 +0200 | Buntspecht | (~user@unaffiliated/siracusa) (Ping timeout: 258 seconds) |
| 2020-10-20 13:35:13 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 13:35:21 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-jhjfudcxbbzyovpj) |
| 2020-10-20 13:35:30 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:14f1:da8f:9790:497b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 13:36:27 +0200 | Buntspecht | (~user@unaffiliated/siracusa) |
| 2020-10-20 13:36:28 +0200 | hackage | phonetic-languages-rhythmicity 0.1.2.0 - Allows to estimate the rhythmicity metrices for the text (usually, the Ukrainian poetic one) https://hackage.haskell.org/package/phonetic-languages-rhythmicity-0.1.2.0 (OleksandrZhabenko) |
| 2020-10-20 13:36:34 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:14f1:da8f:9790:497b) |
| 2020-10-20 13:37:23 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 13:40:05 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 272 seconds) |
| 2020-10-20 13:40:08 +0200 | lawr3nce | (~lawr3nce@gateway/tor-sasl/lawr3nce) |
| 2020-10-20 13:40:56 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 258 seconds) |
| 2020-10-20 13:41:34 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-10-20 13:42:36 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) |
| 2020-10-20 13:44:10 +0200 | Benzi-Junior | (~BenziJuni@88-149-67-198.du.xdsl.is) (Ping timeout: 256 seconds) |
| 2020-10-20 13:44:51 +0200 | bitmagie | (~Thunderbi@200116b80684bf00347699f0d62b2dcb.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-10-20 13:45:02 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:1565:fd9f:5ba9:4bbe) (Ping timeout: 244 seconds) |
| 2020-10-20 13:45:48 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 13:48:34 +0200 | Iwawa | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 246 seconds) |
| 2020-10-20 13:48:42 +0200 | dcoutts_ | (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-10-20 13:52:43 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:c431:b9e9:64f3:556) |
| 2020-10-20 13:53:10 +0200 | Buntspecht_ | (~user@unaffiliated/siracusa) |
| 2020-10-20 13:53:23 +0200 | Benzi-Junior | (~BenziJuni@88-149-67-198.du.xdsl.is) |
| 2020-10-20 13:54:44 +0200 | alx741 | (~alx741@186.178.110.100) (Ping timeout: 260 seconds) |
| 2020-10-20 13:57:02 +0200 | Buntspecht | (~user@unaffiliated/siracusa) (Ping timeout: 260 seconds) |
| 2020-10-20 13:57:05 +0200 | Buntspecht_ | Buntspecht |
| 2020-10-20 13:57:36 +0200 | jonatanb | (~jonatanb@83.24.185.240.ipv4.supernova.orange.pl) |
| 2020-10-20 13:58:21 +0200 | whatisRT | (~whatisRT@2002:5b41:6a33:0:85b0:5e47:1897:223c) |
| 2020-10-20 14:00:01 +0200 | havenwood1 | (~havenwood@185.163.110.116) () |
| 2020-10-20 14:04:49 +0200 | dmiles | (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 2020-10-20 14:05:54 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 265 seconds) |
| 2020-10-20 14:06:45 +0200 | Hatsue[m] | PotatoHatsue[Q] |
| 2020-10-20 14:07:20 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-10-20 14:07:40 +0200 | djellemah | (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) |
| 2020-10-20 14:07:47 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 14:07:51 +0200 | alx741 | (~alx741@186.178.110.244) |
| 2020-10-20 14:08:05 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 14:08:16 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-20 14:08:16 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-20 14:08:16 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 14:08:34 +0200 | lawr3nce | (~lawr3nce@gateway/tor-sasl/lawr3nce) (Quit: Leaving) |
| 2020-10-20 14:12:27 +0200 | hackage | sweet-egison 0.1.1.3 - Shallow embedding implementation of non-linear pattern matching https://hackage.haskell.org/package/sweet-egison-0.1.1.3 (SatoshiEgi) |
| 2020-10-20 14:12:30 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-10-20 14:12:57 +0200 | drbean | (~drbean@TC210-63-209-185.static.apol.com.tw) |
| 2020-10-20 14:13:20 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
| 2020-10-20 14:17:25 +0200 | <dminuoso> | Mmm, Im generating a lot of boiler plate code using haskell-src-exts, suddenly I realized I might want to generate a few bits of haddock as well, but haskell-src-exts seems to not know about comments at all. |
| 2020-10-20 14:17:27 +0200 | <dminuoso> | What are my options here? |
| 2020-10-20 14:19:04 +0200 | jonatanb | (~jonatanb@83.24.185.240.ipv4.supernova.orange.pl) (Quit: Leaving...) |
| 2020-10-20 14:19:28 +0200 | <dminuoso> | Oh.. turns out I wasn't reading the haddock clearly. |
| 2020-10-20 14:19:30 +0200 | <dminuoso> | http://hackage.haskell.org/package/haskell-src-exts-1.18.2/docs/Language-Haskell-Exts-Comments.html |
| 2020-10-20 14:22:25 +0200 | xff0x | (~fox@2001:1a81:5267:b200:9f10:7d31:322:f836) (Ping timeout: 240 seconds) |
| 2020-10-20 14:23:27 +0200 | xff0x | (~fox@2001:1a81:5267:b200:bab1:2e74:50b1:426) |
| 2020-10-20 14:24:08 +0200 | texasmynsted | (~texasmyns@104.140.53.123) |
| 2020-10-20 14:25:03 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) |
| 2020-10-20 14:26:58 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 14:28:50 +0200 | knupfer | (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) |
| 2020-10-20 14:28:52 +0200 | knupfer | (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) (Client Quit) |
| 2020-10-20 14:29:08 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) (Client Quit) |
| 2020-10-20 14:29:10 +0200 | knupfer | (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) |
| 2020-10-20 14:29:43 +0200 | Plantain | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 260 seconds) |
| 2020-10-20 14:29:53 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2020-10-20 14:32:19 +0200 | Amras | (~Amras@unaffiliated/amras0000) |
| 2020-10-20 14:33:23 +0200 | <tomjaguarpaw> | What's the standard idiom for zipping more than three lists together? |
| 2020-10-20 14:33:27 +0200 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) (Ping timeout: 258 seconds) |
| 2020-10-20 14:33:39 +0200 | <merijn> | tomjaguarpaw: Applicative |
| 2020-10-20 14:33:48 +0200 | <merijn> | tomjaguarpaw: Lemme introduce you to your saviour |
| 2020-10-20 14:34:05 +0200 | <merijn> | > (+) <$> ZipList [1..5] <*> ZipList [6..10] |
| 2020-10-20 14:34:08 +0200 | <lambdabot> | ZipList {getZipList = [7,9,11,13,15]} |
| 2020-10-20 14:34:20 +0200 | haasn | (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2020-10-20 14:34:37 +0200 | <merijn> | tomjaguarpaw: Turns out n-wise zipping is a lawful Applicative ;) |
| 2020-10-20 14:35:26 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 14:36:16 +0200 | haasn | (~nand@mpv/developer/haasn) |
| 2020-10-20 14:37:14 +0200 | texasmynsted | (~texasmyns@104.140.53.123) (Remote host closed the connection) |
| 2020-10-20 14:37:22 +0200 | earldouglas | (~james@unaffiliated/jamestastic) () |
| 2020-10-20 14:38:08 +0200 | texasmynsted | (~texasmyns@104.140.53.123) |
| 2020-10-20 14:39:19 +0200 | <ski> | > [x + y | x <- [1 .. 5] | y <- [6 .. 10]] |
| 2020-10-20 14:39:22 +0200 | <lambdabot> | [7,9,11,13,15] |
| 2020-10-20 14:39:57 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 246 seconds) |
| 2020-10-20 14:40:45 +0200 | <merijn> | ski: That one requires an extension, though :p |
| 2020-10-20 14:42:27 +0200 | texasmynsted | (~texasmyns@104.140.53.123) (Read error: Connection reset by peer) |
| 2020-10-20 14:43:17 +0200 | <tomjaguarpaw> | Thanks, I think I will use zipWith ($) |
| 2020-10-20 14:45:09 +0200 | cristi_ | (~cristi@82.76.158.82) |
| 2020-10-20 14:45:22 +0200 | <merijn> | That doesn't work for more than 3, though :p |
| 2020-10-20 14:45:58 +0200 | unlink2 | (~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-20 14:47:26 +0200 | unlink2 | (~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de) |
| 2020-10-20 14:52:53 +0200 | jedws | (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 14:53:19 +0200 | aGHz_nfb | (~aGHz_nfb@185.163.110.116) |
| 2020-10-20 14:53:39 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 14:56:29 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2020-10-20 14:56:42 +0200 | fendor | (~fendor@212095005156.public.telering.at) |
| 2020-10-20 14:57:38 +0200 | <dminuoso> | ski: ParallelListComp is an extension I've never seen in use anywhere. |
| 2020-10-20 14:58:11 +0200 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-20 14:58:43 +0200 | <Taneb> | > (,,,,) <$> ZipList "hello" <*> ZipList [1..5] <*> ZipList "world" <*> ZipList [6..10] |
| 2020-10-20 14:58:45 +0200 | <lambdabot> | error: |
| 2020-10-20 14:58:45 +0200 | <lambdabot> | • No instance for (Typeable e0) |
| 2020-10-20 14:58:45 +0200 | <lambdabot> | arising from a use of ‘show_M2158027891849958446363’ |
| 2020-10-20 14:58:52 +0200 | <Taneb> | > (,,,) <$> ZipList "hello" <*> ZipList [1..5] <*> ZipList "world" <*> ZipList [6..10] |
| 2020-10-20 14:58:54 +0200 | <lambdabot> | ZipList {getZipList = [('h',1,'w',6),('e',2,'o',7),('l',3,'r',8),('l',4,'l',... |
| 2020-10-20 14:59:02 +0200 | <Taneb> | I can definitely count commas no problem |
| 2020-10-20 15:00:05 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2020-10-20 15:00:42 +0200 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-10-20 15:01:50 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-20 15:06:16 +0200 | dhil | (~dhil@195.213.192.122) (Ping timeout: 246 seconds) |
| 2020-10-20 15:06:40 +0200 | Lord_of_Life | (~Lord@46.217.197.229) (Changing host) |
| 2020-10-20 15:06:40 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2020-10-20 15:08:23 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 15:09:24 +0200 | CUR53 | (~CUR53@196.245.9.37) |
| 2020-10-20 15:11:12 +0200 | <ski> | > zipWith ($) (zipWith ($) (zipWith (,,,) "hello" [0 .. 4]) "world") [5 .. 9] |
| 2020-10-20 15:11:15 +0200 | <lambdabot> | [('h',0,'w',5),('e',1,'o',6),('l',2,'r',7),('l',3,'l',8),('o',4,'d',9)] |
| 2020-10-20 15:11:48 +0200 | <ski> | > let with = zipWith ($) in repeat (,,,) `with` "hello" `with` [0 .. 4] `with` "world" `with` [5 .. 9] |
| 2020-10-20 15:11:51 +0200 | <lambdabot> | [('h',0,'w',5),('e',1,'o',6),('l',2,'r',7),('l',3,'l',8),('o',4,'d',9)] |
| 2020-10-20 15:12:11 +0200 | texasmyn_ | (~texasmyns@104.140.53.123) |
| 2020-10-20 15:12:35 +0200 | solonarv | (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) |
| 2020-10-20 15:12:44 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-10-20 15:12:51 +0200 | whatisRT | (~whatisRT@2002:5b41:6a33:0:85b0:5e47:1897:223c) (Ping timeout: 246 seconds) |
| 2020-10-20 15:14:03 +0200 | <dminuoso> | Pattern match checker exceeded (2000000) iterations in a case alternative. (Use -fmax-pmcheck-iterations=n to set the maximun number of iterations to n) |
| 2020-10-20 15:14:06 +0200 | <dminuoso> | I should feel bad |
| 2020-10-20 15:14:16 +0200 | <dminuoso> | Also, that typo in maximun :> |
| 2020-10-20 15:14:16 +0200 | texasmyn_ | (~texasmyns@104.140.53.123) (Read error: Connection reset by peer) |
| 2020-10-20 15:15:04 +0200 | <dminuoso> | Perhaps I should stop doing case-of here, and just use non-inlined top level maps.. |
| 2020-10-20 15:15:33 +0200 | <ski> | is it checking exhaustiveness and non-overlap ? |
| 2020-10-20 15:15:49 +0200 | <dminuoso> | Probably, yes. |
| 2020-10-20 15:16:24 +0200 | ildar_ | (~ildar@broadband-46-242-15-177.ip.moscow.rt.ru) |
| 2020-10-20 15:16:30 +0200 | <dminuoso> | I mean this is a 2,000 constructor coproduct type. |
| 2020-10-20 15:16:40 +0200 | <dminuoso> | It's reasonable that GHC has some limits. |
| 2020-10-20 15:17:45 +0200 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) |
| 2020-10-20 15:18:55 +0200 | carlomagno1 | (~cararell@148.87.23.6) |
| 2020-10-20 15:18:55 +0200 | carlomagno | (~cararell@inet-hqmc01-o.oracle.com) (Remote host closed the connection) |
| 2020-10-20 15:18:55 +0200 | <ski> | yea |
| 2020-10-20 15:19:29 +0200 | octavius | (6ee39366@gateway/web/cgi-irc/kiwiirc.com/ip.110.227.147.102) |
| 2020-10-20 15:20:15 +0200 | <phadej> | if the code is generated, you can (and maybe even should) disable pattern-match checks |
| 2020-10-20 15:20:41 +0200 | <phadej> | you should rathere test that codegenerator makes sensible code on smaller examples :) |
| 2020-10-20 15:20:58 +0200 | <phadej> | i.e. "if you generate code, generate code which is fast to compile" |
| 2020-10-20 15:21:23 +0200 | <dminuoso> | phadej: Honestly, had I done that, I wouldn't have discovered a nasty bug that only occured in one of those large data types. :) |
| 2020-10-20 15:21:32 +0200 | <dminuoso> | So Im keeping this on. |
| 2020-10-20 15:21:40 +0200 | <merijn> | dminuoso: pfft, amateur |
| 2020-10-20 15:21:43 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
| 2020-10-20 15:21:45 +0200 | <merijn> | dminuoso: Just don't write bugs |
| 2020-10-20 15:21:54 +0200 | <dminuoso> | I didn't write a bug. My code generator did! |
| 2020-10-20 15:22:03 +0200 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2020-10-20 15:22:05 +0200 | <phadej> | what kind of bug, why only in larger datatypes? |
| 2020-10-20 15:22:28 +0200 | <dminuoso> | Oh, it wasn't even the size. The problem only manifested with a particular data type that also happened to be very large. |
| 2020-10-20 15:22:51 +0200 | <phadej> | then you didn't test your codegen properly |
| 2020-10-20 15:22:55 +0200 | <dminuoso> | heh |
| 2020-10-20 15:23:05 +0200 | <dminuoso> | Yeah this is all very adhoc |
| 2020-10-20 15:23:12 +0200 | <dminuoso> | And Im being punished badly for it |
| 2020-10-20 15:23:48 +0200 | <dminuoso> | to be fair, ghc diagnostics *are* tests for my codegen |
| 2020-10-20 15:24:34 +0200 | shafox | (~shafox@106.51.234.111) (Ping timeout: 260 seconds) |
| 2020-10-20 15:25:24 +0200 | <phadej> | yes, but they run faster on the smaller datatypes :) |
| 2020-10-20 15:25:48 +0200 | SanchayanM | (~Sanchayan@122.167.98.111) (Quit: leaving) |
| 2020-10-20 15:26:56 +0200 | <dminuoso> | phadej: Very roughly, I was building up a `Map String Int` where strings correspond to constructors, and the Map represents an Enum instance. I failed to check whether this was injective or not. |
| 2020-10-20 15:27:14 +0200 | <dminuoso> | And in some particular degenerate case, the source data had duplicate data. |
| 2020-10-20 15:27:55 +0200 | <phadej> | heh. something similar happend with tzdata just recently |
| 2020-10-20 15:28:02 +0200 | <phadej> | they mangle timezonenames into constructor names |
| 2020-10-20 15:28:23 +0200 | <phadej> | and that mangling failed to be injective with recent additions of timezones in IANA db |
| 2020-10-20 15:28:27 +0200 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) |
| 2020-10-20 15:29:58 +0200 | CUR53 | (~CUR53@196.245.9.37) () |
| 2020-10-20 15:30:47 +0200 | cristi_ | (~cristi@82.76.158.82) (Quit: cristi_) |
| 2020-10-20 15:31:02 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-10-20 15:33:46 +0200 | texasmynsted | (~texasmyns@104.140.53.123) |
| 2020-10-20 15:34:46 +0200 | raichoo_ | (~raichoo@213.240.178.58) |
| 2020-10-20 15:34:46 +0200 | knupfer | (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2020-10-20 15:34:48 +0200 | raichoo | (~raichoo@213.240.178.58) (Read error: Connection reset by peer) |
| 2020-10-20 15:34:49 +0200 | Buntspecht | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2020-10-20 15:35:05 +0200 | texasmynsted | (~texasmyns@104.140.53.123) (Read error: Connection reset by peer) |
| 2020-10-20 15:36:00 +0200 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 15:41:36 +0200 | <remexre> | ghoulguy: yeah, looks like that works; I'll try and see if hoistFree will work for my case too |
| 2020-10-20 15:43:25 +0200 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) (Ping timeout: 264 seconds) |
| 2020-10-20 15:45:14 +0200 | whald | (~trem@2a02:810a:8100:11a6:a51d:28a2:1c9:853d) |
| 2020-10-20 15:45:34 +0200 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:4c42:fac3:eff4:bce3) (Quit: karanlikmadde) |
| 2020-10-20 15:46:13 +0200 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2020-10-20 15:47:05 +0200 | ystael | (~ystael@209.6.50.55) |
| 2020-10-20 15:48:13 +0200 | drbean | (~drbean@TC210-63-209-185.static.apol.com.tw) (Ping timeout: 264 seconds) |
| 2020-10-20 15:51:59 +0200 | Sgeo | (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-20 15:54:49 +0200 | mirrorbird | (~psutcliff@m83-187-163-53.cust.tele2.se) (Ping timeout: 264 seconds) |
| 2020-10-20 15:55:48 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds) |
| 2020-10-20 15:55:50 +0200 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 15:55:50 +0200 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 15:55:50 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 15:57:25 +0200 | fendor | (~fendor@212095005156.public.telering.at) (Read error: Connection reset by peer) |
| 2020-10-20 15:58:55 +0200 | octavius | (6ee39366@gateway/web/cgi-irc/kiwiirc.com/ip.110.227.147.102) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) |
| 2020-10-20 15:59:00 +0200 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 265 seconds) |
| 2020-10-20 15:59:18 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 16:00:11 +0200 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) |
| 2020-10-20 16:00:34 +0200 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) (Quit: djcaston) |
| 2020-10-20 16:00:46 +0200 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) (Read error: Connection reset by peer) |
| 2020-10-20 16:01:06 +0200 | texasmyn_ | (~texasmyns@104.140.53.123) |
| 2020-10-20 16:01:10 +0200 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) |
| 2020-10-20 16:03:38 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-20 16:03:44 +0200 | Gerula | (~Gerula@unaffiliated/gerula) (Quit: Leaving) |
| 2020-10-20 16:06:51 +0200 | <DigitalKiwi> | what's injective mean |
| 2020-10-20 16:07:06 +0200 | <Uniaika> | like for sets |
| 2020-10-20 16:08:19 +0200 | lagothrix | (~lagothrix@unaffiliated/lagothrix) (Ping timeout: 260 seconds) |
| 2020-10-20 16:08:47 +0200 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) |
| 2020-10-20 16:09:21 +0200 | JetNoBrains | (bc12e18b@188.18.225.139) |
| 2020-10-20 16:09:39 +0200 | <Cheery> | DigitalKiwi: it means that you can figure from the output what the input was. |
| 2020-10-20 16:09:58 +0200 | zoran119 | (~zoran119@124-169-31-193.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 2020-10-20 16:10:34 +0200 | JetNoBrains | (bc12e18b@188.18.225.139) (Remote host closed the connection) |
| 2020-10-20 16:11:09 +0200 | JetNoBrains | (bc12e18b@188.18.225.139) |
| 2020-10-20 16:12:41 +0200 | <Cheery> | Eg. (/2) is not injective, because 1/2 and 2/2 produce same result. |
| 2020-10-20 16:12:48 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-10-20 16:13:02 +0200 | <Cheery> | > (1/2, 2/2) :: (Int, Int) |
| 2020-10-20 16:13:05 +0200 | <lambdabot> | error: |
| 2020-10-20 16:13:05 +0200 | <lambdabot> | • No instance for (Fractional Int) arising from a use of ‘/’ |
| 2020-10-20 16:13:05 +0200 | <lambdabot> | • In the expression: 1 / 2 |
| 2020-10-20 16:13:16 +0200 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) (Read error: Connection reset by peer) |
| 2020-10-20 16:13:16 +0200 | Gerula | (~Gerula@unaffiliated/gerula) |
| 2020-10-20 16:13:32 +0200 | kish | (~oracle@unaffiliated/oracle) |
| 2020-10-20 16:13:36 +0200 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-10-20 16:13:47 +0200 | <Cheery> | haskell has no floordiv? |
| 2020-10-20 16:14:08 +0200 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 16:14:35 +0200 | <Cheery> | ah it has better. |
| 2020-10-20 16:14:54 +0200 | <Cheery> | > (quot 2 2, quot 3 2) |
| 2020-10-20 16:14:58 +0200 | <lambdabot> | (1,1) |
| 2020-10-20 16:15:22 +0200 | <Cheery> | Ug good at math. |
| 2020-10-20 16:15:28 +0200 | zoran119 | (~zoran119@124-169-22-28.dyn.iinet.net.au) |
| 2020-10-20 16:15:43 +0200 | <opqdonut> | see also: div |
| 2020-10-20 16:16:03 +0200 | <opqdonut> | > (div 3 2, quot 3 2, div (-3) 2, quot (-3) 2) |
| 2020-10-20 16:16:05 +0200 | <lambdabot> | (1,1,-2,-1) |
| 2020-10-20 16:16:44 +0200 | <opqdonut> | and divMod and quotRem |
| 2020-10-20 16:16:47 +0200 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 16:18:13 +0200 | <JetNoBrains> | Why `r` parameter in `ContT` transformer isn't universally quantified inside constructor? |
| 2020-10-20 16:18:41 +0200 | <Taneb> | JetNoBrains: because that would be a different, less powerful |
| 2020-10-20 16:18:43 +0200 | <Taneb> | type |
| 2020-10-20 16:18:46 +0200 | <DigitalKiwi> | thanks |
| 2020-10-20 16:19:48 +0200 | <Taneb> | JetNoBrains: having it outside lets us reset :: Cont r r -> Cont r' r |
| 2020-10-20 16:20:32 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 16:20:42 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-20 16:20:42 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-20 16:20:42 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 16:22:09 +0200 | <JetNoBrains> | Taneb interesting, but I can't find such function in mtl - where it is located? |
| 2020-10-20 16:22:44 +0200 | <Taneb> | It's in Control.Monad.Trans.Cont in transformers |
| 2020-10-20 16:23:17 +0200 | <Taneb> | I'm a little surprised that mtl doesn't reexport it |
| 2020-10-20 16:23:24 +0200 | <JetNoBrains> | Thanks, will take a look! |
| 2020-10-20 16:23:34 +0200 | hololeap | (~hololeap@unaffiliated/hololeap) (Ping timeout: 260 seconds) |
| 2020-10-20 16:23:49 +0200 | polyrain_ | (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5) |
| 2020-10-20 16:24:05 +0200 | <Taneb> | JetNoBrains: the type you described, with the r parameter quantified on the inside of the constructor, is Control.Monad.Codensity in the kan-extensions package |
| 2020-10-20 16:25:21 +0200 | nados | (~dan@69-165-210-185.cable.teksavvy.com) |
| 2020-10-20 16:26:42 +0200 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 2020-10-20 16:26:57 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:14f1:da8f:9790:497b) (Ping timeout: 260 seconds) |
| 2020-10-20 16:27:22 +0200 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) |
| 2020-10-20 16:27:46 +0200 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 2020-10-20 16:29:34 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 16:29:44 +0200 | Philonous | (~Philonous@unaffiliated/philonous) (Quit: ZNC - http://znc.in) |
| 2020-10-20 16:30:08 +0200 | Philonous | (~Philonous@unaffiliated/philonous) |
| 2020-10-20 16:31:33 +0200 | <JetNoBrains> | I'm reading an article https://ro-che.info/articles/2019-06-07-why-use-contt where author uses ContT to manage resources, here "universality" of `r` is moved to function level |
| 2020-10-20 16:31:36 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 16:32:03 +0200 | <JetNoBrains> | But it seems that building intuition for ContT as "lifetime management" is not complete |
| 2020-10-20 16:34:25 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-10-20 16:35:57 +0200 | ddellacosta | (~dd@86.106.121.168) |
| 2020-10-20 16:38:10 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 272 seconds) |
| 2020-10-20 16:38:18 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2020-10-20 16:39:45 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 16:41:09 +0200 | zoran119_ | (~zoran119@124-169-22-52.dyn.iinet.net.au) |
| 2020-10-20 16:41:42 +0200 | zoran119 | (~zoran119@124-169-22-28.dyn.iinet.net.au) (Ping timeout: 256 seconds) |
| 2020-10-20 16:42:09 +0200 | <maerwald> | with 3 words, do you do `foo $ bar baz` or `foo . bar $ baz`? :D |
| 2020-10-20 16:43:10 +0200 | <ski> | either the latter, or `(foo . bar) baz' or `foo (bar baz)' |
| 2020-10-20 16:43:11 +0200 | son0p | (~son0p@181.136.122.143) |
| 2020-10-20 16:43:55 +0200 | <JetNoBrains> | `foo (bar baz)` anyone? :) |
| 2020-10-20 16:44:18 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-10-20 16:44:25 +0200 | <ski> | DigitalKiwi : two different timezones had the same name, apparently |
| 2020-10-20 16:44:34 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2020-10-20 16:45:37 +0200 | <ski> | `f :: T -> U' being injective means that given different `T' inputs, it produces different `U' outputs. in a formula, one can say it like `forall (x0 :: T) (x1 :: T). f x0 = f x1 => x0 = x1' (if the outputs are the same, then the inputs must also have been the same) |
| 2020-10-20 16:45:54 +0200 | MindlessDrone | (~MindlessD@unaffiliated/mindlessdrone) |
| 2020-10-20 16:46:48 +0200 | irc_user | (uid423822@gateway/web/irccloud.com/x-dfebbsighvffakyp) |
| 2020-10-20 16:47:14 +0200 | <ski> | data constructors are injective in Haskell. this means that you can pattern-match uniquely. if a value matches `Just x0' and also matches `Just x1', then `x0' is the same as `x1'. so in the pattern `Just x', there's no ambiguity about what `x' would be. the only question is whether there exists such an `x' at all (if the input is `Nothing', then there is no `x' such that the input is equal to `Just x') |
| 2020-10-20 16:47:14 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-ccvftmqgiojwtxir) (Quit: Connection closed for inactivity) |
| 2020-10-20 16:47:36 +0200 | Iwawa | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) |
| 2020-10-20 16:47:59 +0200 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 2020-10-20 16:48:31 +0200 | knupfer | (~Thunderbi@i59F7FF6F.versanet.de) |
| 2020-10-20 16:48:34 +0200 | knupfer | (~Thunderbi@i59F7FF6F.versanet.de) (Client Quit) |
| 2020-10-20 16:48:45 +0200 | knupfer | (~Thunderbi@200116b82c27b200ad7c9ffd9ebcfe8b.dip.versatel-1u1.de) |
| 2020-10-20 16:48:57 +0200 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2020-10-20 16:49:13 +0200 | <ski> | however, if you're doing an abstract data type, often you want to simulate a "quotient type", and then, conceptually, the data constructor (which should not be exported) is not injective. e.g. the same `Set' (or `Map') can potentially be represented internally as different (balanced) trees |
| 2020-10-20 16:49:39 +0200 | <fresheyeball> | I got a hardish one |
| 2020-10-20 16:49:47 +0200 | <fresheyeball> | https://hackage.haskell.org/package/servant-server-0.14.1/docs/Servant-Server-StaticFiles.html#v:s… |
| 2020-10-20 16:50:00 +0200 | <fresheyeball> | I need to replicate the behavior of this function but for a new Servant combinator |
| 2020-10-20 16:50:25 +0200 | Pitaya | (~mdomin45@cpe-24-211-129-187.nc.res.rr.com) (Ping timeout: 240 seconds) |
| 2020-10-20 16:50:25 +0200 | JetNoBrains | (bc12e18b@188.18.225.139) (Remote host closed the connection) |
| 2020-10-20 16:50:28 +0200 | britva | (~britva@51.154.14.117) (Quit: This computer has gone to sleep) |
| 2020-10-20 16:50:29 +0200 | <fresheyeball> | and I just cannot get the types to unify |
| 2020-10-20 16:50:54 +0200 | <fresheyeball> | I don't totally understand what is going on in Servant but I can get my custom version to compile |
| 2020-10-20 16:50:59 +0200 | <fresheyeball> | with the correct implimentation |
| 2020-10-20 16:51:02 +0200 | <fresheyeball> | but with the following type |
| 2020-10-20 16:51:07 +0200 | <ski> | another example would be doing rational numbers. we could have `data Ratio a = a :% a', where `1 :% 2' is supposed to represent the same rational number as `2 :% 4'. so, conceptually, if you match on `n :% d', uniqueness of `n' and `d' isn't given. meaning, you have to make sure that the result is the same (or behaves the same), if the input had instead been another representation of the same rational number |
| 2020-10-20 16:51:22 +0200 | <fresheyeball> | StaticSettings -> Tagged (Get '[HTML] (Html m a)) Application |
| 2020-10-20 16:51:32 +0200 | <fresheyeball> | that type works for the implimentation |
| 2020-10-20 16:51:38 +0200 | <fresheyeball> | but I need it to be this |
| 2020-10-20 16:51:46 +0200 | <fresheyeball> | StaticSettings -> ServerT (Get ' |
| 2020-10-20 16:51:57 +0200 | raichoo_ | raichoo |
| 2020-10-20 16:52:08 +0200 | <fresheyeball> | StaticSettings -> ServerT (Get '[HTML] (Html m a)) Handler |
| 2020-10-20 16:52:12 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2020-10-20 16:52:27 +0200 | <fresheyeball> | the same exact implimentation is what is used for the library version, I don't get what is wrong |
| 2020-10-20 16:52:35 +0200 | <fresheyeball> | and the library version has this type |
| 2020-10-20 16:52:45 +0200 | <fresheyeball> | StaticSettings -> ServerT Raw Handler |
| 2020-10-20 16:53:09 +0200 | <fresheyeball> | Tagged is kind polymorphic in a way I don't understand, and I could use help |
| 2020-10-20 16:55:47 +0200 | alp | (~alp@2a01:e0a:58b:4920:3cec:cc43:6a50:5c5c) (Ping timeout: 272 seconds) |
| 2020-10-20 17:00:02 +0200 | aGHz_nfb | (~aGHz_nfb@185.163.110.116) () |
| 2020-10-20 17:01:05 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 17:01:19 +0200 | da39a3ee5e6b4b0d | (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 17:02:08 +0200 | kish | (~oracle@unaffiliated/oracle) (Remote host closed the connection) |
| 2020-10-20 17:02:09 +0200 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-10-20 17:02:11 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) |
| 2020-10-20 17:02:45 +0200 | m4lvin | (~m4lvin@w4eg.de) (Quit: m4lvin) |
| 2020-10-20 17:02:57 +0200 | alp | (~alp@2a01:e0a:58b:4920:5d64:e98e:4abc:72e2) |
| 2020-10-20 17:03:06 +0200 | conal_ | (~conal@107.181.166.208) |
| 2020-10-20 17:03:06 +0200 | m4lvin | (~m4lvin@w4eg.de) |
| 2020-10-20 17:03:21 +0200 | kish | (~oracle@unaffiliated/oracle) |
| 2020-10-20 17:03:46 +0200 | lagothrix | (~lagothrix@unaffiliated/lagothrix) |
| 2020-10-20 17:04:19 +0200 | <hyperisco> | renamePath on my system (Windows) seems to truncate the file |
| 2020-10-20 17:04:46 +0200 | ixian | (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Quit: leaving) |
| 2020-10-20 17:05:42 +0200 | conal | (~conal@64.71.133.70) (Ping timeout: 265 seconds) |
| 2020-10-20 17:06:29 +0200 | <hyperisco> | as does copyFile oO |
| 2020-10-20 17:06:30 +0200 | dhil | (~dhil@195.213.192.122) |
| 2020-10-20 17:06:47 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Quit: Leaving.) |
| 2020-10-20 17:07:36 +0200 | st8less | (~st8less@2603:a060:11fd:0:149e:8518:62e1:ca1b) |
| 2020-10-20 17:08:18 +0200 | jonathanx | (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 2020-10-20 17:09:57 +0200 | <phadej> | hyperisco: is the file over 2GB in size? |
| 2020-10-20 17:10:42 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 17:10:44 +0200 | tzh | (~tzh@2601:448:c500:5300::19b0) |
| 2020-10-20 17:10:44 +0200 | <hyperisco> | actually seemed to be a bug or something in vscode and it wasn't reading the current version of the file |
| 2020-10-20 17:11:33 +0200 | <phadej> | it would much nicer if random int32 bug still happened in 2020 |
| 2020-10-20 17:11:40 +0200 | <phadej> | s/nicer/more interesting/ |
| 2020-10-20 17:12:28 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) |
| 2020-10-20 17:13:55 +0200 | AlterEgo- | (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 2020-10-20 17:13:59 +0200 | ixian | (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2020-10-20 17:14:23 +0200 | babygnu | (~robert@gateway/tor-sasl/babygnu) |
| 2020-10-20 17:15:06 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2020-10-20 17:16:43 +0200 | p-core | (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 2020-10-20 17:16:53 +0200 | Narinas | (~Narinas@189.223.113.190.dsl.dyn.telnor.net) |
| 2020-10-20 17:17:33 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 17:19:27 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 17:19:44 +0200 | Narinas | (~Narinas@189.223.113.190.dsl.dyn.telnor.net) (Client Quit) |
| 2020-10-20 17:21:27 +0200 | grafa | (~grafa@185.163.110.116) |
| 2020-10-20 17:22:59 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2020-10-20 17:24:57 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-20 17:25:06 +0200 | revprez_anzio | (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2020-10-20 17:25:43 +0200 | revprez_anzio | (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 2020-10-20 17:25:52 +0200 | bairyn | ByronJohnson |
| 2020-10-20 17:27:05 +0200 | test_2348134234 | (~u@2607:5300:60:1d::1) |
| 2020-10-20 17:27:08 +0200 | test_2348134234 | (~u@2607:5300:60:1d::1) () |
| 2020-10-20 17:28:47 +0200 | oisdk | (~oisdk@2001:bb6:3329:d100:5538:baf2:3212:5e91) (Ping timeout: 260 seconds) |
| 2020-10-20 17:29:22 +0200 | raichoo | (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 2020-10-20 17:29:53 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 17:30:33 +0200 | oisdk | (~oisdk@2001:bb6:3329:d100:c8f6:1bbe:8153:581f) |
| 2020-10-20 17:30:56 +0200 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-10-20 17:32:36 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) |
| 2020-10-20 17:34:22 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-10-20 17:34:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2020-10-20 17:37:56 +0200 | whez | (uid470288@gateway/web/irccloud.com/x-malcqwiljeridksp) |
| 2020-10-20 17:40:07 +0200 | ezzieyguywuf | (~Unknown@unaffiliated/ezzieyguywuf) (Quit: leaving) |
| 2020-10-20 17:40:24 +0200 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 17:40:59 +0200 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) (Ping timeout: 265 seconds) |
| 2020-10-20 17:41:40 +0200 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 17:42:06 +0200 | jespada | (~jespada@90.254.245.15) (Ping timeout: 256 seconds) |
| 2020-10-20 17:42:37 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-20 17:43:36 +0200 | jespada | (~jespada@90.254.245.15) |
| 2020-10-20 17:44:20 +0200 | rx862 | (~rx862@2607:fea8:2c5f:faea:25e4:ac44:be42:6e35) |
| 2020-10-20 17:44:33 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 17:46:06 +0200 | rx862 | (~rx862@2607:fea8:2c5f:faea:25e4:ac44:be42:6e35) (Quit: Konversation terminated!) |
| 2020-10-20 17:48:02 +0200 | acidjnk_new | (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 17:48:22 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-20 17:49:01 +0200 | isovector1 | (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 2020-10-20 17:50:14 +0200 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-uufhwubdezwfmvks) |
| 2020-10-20 17:51:33 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-10-20 17:53:04 +0200 | xacktm | (xacktm@gateway/shell/panicbnc/x-pzwqpatxpatbafhr) (Quit: PanicBNC - http://PanicBNC.net) |
| 2020-10-20 17:54:16 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2020-10-20 17:56:40 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 17:56:41 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-10-20 17:56:42 +0200 | geekosaur | (ac3a3e99@172.58.62.153) |
| 2020-10-20 17:56:57 +0200 | polyrain_ | (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 17:57:13 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:c431:b9e9:64f3:556) (Ping timeout: 272 seconds) |
| 2020-10-20 17:58:49 +0200 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2020-10-20 18:00:37 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5) |
| 2020-10-20 18:01:52 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 18:02:48 +0200 | ezzieyguywuf | (~Unknown@unaffiliated/ezzieyguywuf) |
| 2020-10-20 18:03:07 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 18:03:38 +0200 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
| 2020-10-20 18:05:11 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:6cd0:22a:1738:5d24) |
| 2020-10-20 18:07:25 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 18:07:27 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-vawwmlggjqdnzjxh) |
| 2020-10-20 18:07:48 +0200 | GyroW_ | (~GyroW@d54c03e98.access.telenet.be) |
| 2020-10-20 18:07:48 +0200 | GyroW_ | (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
| 2020-10-20 18:07:48 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 18:07:59 +0200 | xff0x | (~fox@2001:1a81:5267:b200:bab1:2e74:50b1:426) (Ping timeout: 272 seconds) |
| 2020-10-20 18:08:06 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds) |
| 2020-10-20 18:08:27 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 18:08:39 +0200 | xff0x | (~fox@port-92-195-83-98.dynamic.as20676.net) |
| 2020-10-20 18:09:27 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:5513:d68a:c93e:4e27) |
| 2020-10-20 18:11:11 +0200 | karanlikmadde | (~karanlikm@2a01:c23:5c46:6a00:1cbf:1cb4:cff6:749e) |
| 2020-10-20 18:11:17 +0200 | fendor | (~fendor@e237-037.eduroam.tuwien.ac.at) (Remote host closed the connection) |
| 2020-10-20 18:12:53 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-10-20 18:14:12 +0200 | GyroW | (~GyroW@d54c03e98.access.telenet.be) |
| 2020-10-20 18:14:12 +0200 | GyroW | (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
| 2020-10-20 18:14:12 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 18:15:17 +0200 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1) |
| 2020-10-20 18:15:47 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) (Ping timeout: 265 seconds) |
| 2020-10-20 18:17:52 +0200 | GyroW_ | (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-20 18:17:52 +0200 | GyroW_ | (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-20 18:17:52 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 18:18:30 +0200 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-10-20 18:19:10 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Ping timeout: 265 seconds) |
| 2020-10-20 18:21:00 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2020-10-20 18:21:49 +0200 | xacktm | (xacktm@gateway/shell/panicbnc/x-rthkywgvxahgrnnf) |
| 2020-10-20 18:24:54 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-20 18:26:59 +0200 | alp | (~alp@2a01:e0a:58b:4920:5d64:e98e:4abc:72e2) (Ping timeout: 272 seconds) |
| 2020-10-20 18:27:33 +0200 | ildar_ | (~ildar@broadband-46-242-15-177.ip.moscow.rt.ru) (Quit: leaving) |
| 2020-10-20 18:29:37 +0200 | polyrain | (~polyrain@2001:8003:e501:6901:d502:fff6:715b:77f5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-20 18:30:00 +0200 | evade | (~evade@2001:b07:a15:ec0c:91a9:d55f:dffd:96e) |
| 2020-10-20 18:30:58 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-20 18:31:22 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 18:33:23 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 18:36:06 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 18:36:25 +0200 | EyalSK | (~EyalSK@bzq-84-109-128-227.cablep.bezeqint.net) |
| 2020-10-20 18:38:59 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 18:39:11 +0200 | LKoen | (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) |
| 2020-10-20 18:39:21 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-20 18:40:32 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 18:40:51 +0200 | p-core | (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 2020-10-20 18:46:31 +0200 | conal_ | (~conal@107.181.166.208) (Quit: Computer has gone to sleep.) |
| 2020-10-20 18:48:05 +0200 | nineonin_ | (~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection) |
| 2020-10-20 18:48:13 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds) |
| 2020-10-20 18:48:36 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
| 2020-10-20 18:49:07 +0200 | alp | (~alp@2a01:e0a:58b:4920:edab:649b:afee:c6b9) |
| 2020-10-20 18:50:41 +0200 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) (Quit: djcaston) |
| 2020-10-20 18:53:03 +0200 | Deide | (~Deide@217.155.19.23) |
| 2020-10-20 18:53:35 +0200 | asheshambasta | (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 2020-10-20 18:53:59 +0200 | texasmyn_ | (~texasmyns@104.140.53.123) () |
| 2020-10-20 18:54:26 +0200 | texasmynsted | (~texasmyns@104.140.53.123) |
| 2020-10-20 18:57:16 +0200 | nineonine | (~nineonine@216.81.48.202) |
| 2020-10-20 18:59:29 +0200 | nineonine | (~nineonine@216.81.48.202) (Remote host closed the connection) |
| 2020-10-20 18:59:45 +0200 | nineonine | (~nineonine@216.81.48.202) |
| 2020-10-20 19:04:05 +0200 | hololeap | (~hololeap@unaffiliated/hololeap) |
| 2020-10-20 19:06:35 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 19:09:37 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-ftxlshtfjorkikim) |
| 2020-10-20 19:11:06 +0200 | elosant | (~elosant@gateway/tor-sasl/elosant) |
| 2020-10-20 19:11:31 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 19:11:34 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-20 19:13:15 +0200 | <yushyin> | hackage returns 503 for a lot of urls :/ https://hackage.haskell.org/package/system-filepath-0.4.14/docs/Filesystem-Path-CurrentOS.html |
| 2020-10-20 19:13:55 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 19:14:00 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2020-10-20 19:14:45 +0200 | elosant | (~elosant@gateway/tor-sasl/elosant) (Client Quit) |
| 2020-10-20 19:16:08 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 19:16:24 +0200 | fendor | (~fendor@91.141.2.147.wireless.dyn.drei.com) |
| 2020-10-20 19:17:10 +0200 | texasmynsted | (~texasmyns@104.140.53.123) (Read error: Connection reset by peer) |
| 2020-10-20 19:17:25 +0200 | texasmynsted | (~texasmyns@62.182.99.148) |
| 2020-10-20 19:17:51 +0200 | elosant | (~elosant@gateway/tor-sasl/elosant) |
| 2020-10-20 19:17:58 +0200 | <statusbot> | Status update: The host is fixing the switch, hopefully resolved shortly. -- http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/5f8f1bc50f323c04c157dbeb |
| 2020-10-20 19:18:06 +0200 | elosant | (~elosant@gateway/tor-sasl/elosant) (Client Quit) |
| 2020-10-20 19:18:32 +0200 | <yushyin> | oh |
| 2020-10-20 19:19:55 +0200 | <geekosaur> | #haskell-infrastructure is where to ask about these things, by the way |
| 2020-10-20 19:20:04 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 19:20:07 +0200 | <yushyin> | that explains it |
| 2020-10-20 19:20:16 +0200 | elosant | (~elosant@gateway/tor-sasl/elosant) |
| 2020-10-20 19:21:25 +0200 | brettgilio_ | (~brettgili@brettgilio.com) |
| 2020-10-20 19:21:30 +0200 | brettgilio | (~brettgili@brettgilio.com) (Ping timeout: 256 seconds) |
| 2020-10-20 19:23:59 +0200 | alp | (~alp@2a01:e0a:58b:4920:edab:649b:afee:c6b9) (Ping timeout: 272 seconds) |
| 2020-10-20 19:24:12 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 19:24:12 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 19:24:12 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 19:24:30 +0200 | acidjnk_new | (~acidjnk@p200300d0c723787960581240d4a66b7e.dip0.t-ipconnect.de) |
| 2020-10-20 19:25:15 +0200 | borne | (~fritjof@200116b8645a73005f17201290692466.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2020-10-20 19:25:29 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds) |
| 2020-10-20 19:26:31 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 19:31:09 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-10-20 19:31:18 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 19:31:28 +0200 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) |
| 2020-10-20 19:33:00 +0200 | geekosaur | (ac3a3e99@172.58.62.153) (Ping timeout: 245 seconds) |
| 2020-10-20 19:35:57 +0200 | hackage | prolude 0.0.0.3 - ITProTV's custom prelude https://hackage.haskell.org/package/prolude-0.0.0.3 (saramuse) |
| 2020-10-20 19:36:56 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 19:38:43 +0200 | ech | (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 2020-10-20 19:42:35 +0200 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 2020-10-20 19:44:15 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 19:45:34 +0200 | ech | (~user@gateway/tor-sasl/ech) |
| 2020-10-20 19:46:21 +0200 | irc_user | (uid423822@gateway/web/irccloud.com/x-dfebbsighvffakyp) (Quit: Connection closed for inactivity) |
| 2020-10-20 19:47:45 +0200 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2020-10-20 19:48:17 +0200 | <statusbot> | Status update: connectivity fixed. -- http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/5f8f1bc50f323c04c157dbeb |
| 2020-10-20 19:48:39 +0200 | <Athas> | I'm mystified that haskell-mode's built-in "autocompletion" is about showing me the grammar for syntactic constructs. |
| 2020-10-20 19:49:05 +0200 | elosant | (~elosant@gateway/tor-sasl/elosant) (Quit: WeeChat 2.9) |
| 2020-10-20 19:49:11 +0200 | <Athas> | Showing me the type of the term would be more useful. Especially since Haskell's syntax is so flexible that just listing the grammar is hardly useful. |
| 2020-10-20 19:49:17 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 19:49:22 +0200 | p-core | (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 2020-10-20 19:49:29 +0200 | texasmynsted | (~texasmyns@62.182.99.148) () |
| 2020-10-20 19:50:24 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2020-10-20 19:51:48 +0200 | djcaston | (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) (Quit: djcaston) |
| 2020-10-20 19:52:10 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-20 19:52:32 +0200 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2020-10-20 19:55:30 +0200 | <tomsmeding> | Athas: does haskell-mode use a ghc under the hood? I think showing syntactic grammar is all you can do without getting into the weeds of all that haskell-ide-engine, ghcide, etc are doing |
| 2020-10-20 19:56:07 +0200 | <tomsmeding> | which involves building IDE-like functionality against the API of the ghc your project is using, etc |
| 2020-10-20 19:56:15 +0200 | <Athas> | It does not. And I guess what I'm really sad about is that such a significant technical infrastructure is needed to do things that ought not be very difficult. |
| 2020-10-20 19:56:37 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2020-10-20 19:56:38 +0200 | <tomsmeding> | perhaps it ought not to be very difficult in a language that is not as complicated as Haskell :p |
| 2020-10-20 19:56:48 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-20 19:57:30 +0200 | <tomsmeding> | or do you mean that harnessing ghc should not be as difficult? |
| 2020-10-20 19:57:46 +0200 | <Athas> | I do wonder what motivated this grammar hinting, though. I cannot think of what would have motivated its inclusion. |
| 2020-10-20 19:58:01 +0200 | Buntspecht | (~user@unaffiliated/siracusa) |
| 2020-10-20 19:58:16 +0200 | tomsmeding | neither |
| 2020-10-20 19:58:18 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 2020-10-20 19:58:35 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 19:58:35 +0200 | GyroW | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 19:58:35 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 20:00:01 +0200 | grafa | (~grafa@185.163.110.116) () |
| 2020-10-20 20:02:01 +0200 | geekosaur | (ac3a3b11@172.58.59.17) |
| 2020-10-20 20:04:42 +0200 | brettgilio_ | (~brettgili@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com>) |
| 2020-10-20 20:04:44 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 20:08:49 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 20:09:52 +0200 | brettgilio | (~brettgili@brettgilio.com) |
| 2020-10-20 20:10:31 +0200 | ryjm_matrix | (~matrixirc@2600:4040:a009:6100:3adc:615b:70b5:b0c) |
| 2020-10-20 20:11:58 +0200 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-10-20 20:12:30 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-10-20 20:14:56 +0200 | evanjs | (~evanjs@075-129-188-019.res.spectrum.com) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2020-10-20 20:15:23 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 20:16:09 +0200 | evanjs | (~evanjs@075-129-188-019.res.spectrum.com) |
| 2020-10-20 20:16:18 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 256 seconds) |
| 2020-10-20 20:18:10 +0200 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 20:18:23 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 20:20:28 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 20:20:51 +0200 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 20:20:55 +0200 | frdg | (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) |
| 2020-10-20 20:21:24 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 20:21:39 +0200 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 20:21:43 +0200 | chaosmasttter | (~chaosmast@p200300c4a70942019022135e51598bcd.dip0.t-ipconnect.de) |
| 2020-10-20 20:21:54 +0200 | <frdg> | is `monotonicity` a relevant concept in Haskell? |
| 2020-10-20 20:22:25 +0200 | <monochrom> | Depends on context. But probably yes. |
| 2020-10-20 20:23:05 +0200 | <monochrom> | Depends on context, but monotonicity could be relevant to all computing. All computable functions are monotonic. |
| 2020-10-20 20:23:28 +0200 | hackage | versions 4.0.0 - Types and parsers for software version numbers. https://hackage.haskell.org/package/versions-4.0.0 (fosskers) |
| 2020-10-20 20:23:31 +0200 | <frdg> | The context I am thinking of is if I can benefit by ensuring all of my functions are monotonic. |
| 2020-10-20 20:23:56 +0200 | <frdg> | or does Haskell ensure that implicitly? |
| 2020-10-20 20:23:58 +0200 | <koz_> | frdg: mapMonotonic et al in Data.Map maybe? |
| 2020-10-20 20:24:06 +0200 | <monochrom> | The context determines which "monotonic" we're talking about. |
| 2020-10-20 20:24:11 +0200 | <koz_> | I don't think Haskell can ensure something like monotonicity. |
| 2020-10-20 20:24:19 +0200 | <koz_> | (of any stripe) |
| 2020-10-20 20:24:41 +0200 | <monochrom> | In other words, which partial order you have in mind. |
| 2020-10-20 20:24:58 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2020-10-20 20:25:05 +0200 | <frdg> | I know of monotonicity through learning Prolog |
| 2020-10-20 20:25:11 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-20 20:25:24 +0200 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 20:25:26 +0200 | <frdg> | so whatever the context is in Prolog I guess. |
| 2020-10-20 20:25:26 +0200 | <koz_> | Wait, are we talking about monotonicity of entailment? |
| 2020-10-20 20:25:49 +0200 | <frdg> | koz_: yes just found that |
| 2020-10-20 20:25:50 +0200 | <monochrom> | https://en.wikibooks.org/wiki/Haskell/Denotational_semantics |
| 2020-10-20 20:26:13 +0200 | geekosaur | (ac3a3b11@172.58.59.17) (Remote host closed the connection) |
| 2020-10-20 20:26:14 +0200 | <frdg> | Ill read this |
| 2020-10-20 20:26:36 +0200 | <monochrom> | I don't know Prolog's monotonicity of entailment. |
| 2020-10-20 20:27:00 +0200 | <monochrom> | TLDR ctrl-f for "semantic approximation order" |
| 2020-10-20 20:27:00 +0200 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 20:27:00 +0200 | <koz_> | monochrom: It's a property of some logics. |
| 2020-10-20 20:27:18 +0200 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 20:27:24 +0200 | <dolio> | Naturally computable functions are monotone with respect to a specific partial order, not every possible partial order. |
| 2020-10-20 20:27:28 +0200 | hackage | lp-diagrams 2.1.3 - An EDSL for diagrams based based on linear constraints https://hackage.haskell.org/package/lp-diagrams-2.1.3 (JeanPhilippeBernardy) |
| 2020-10-20 20:27:30 +0200 | <frdg> | This post has a nice answer: https://stackoverflow.com/questions/43314658/what-are-the-requirements-a-computer-function-must-me… |
| 2020-10-20 20:27:37 +0200 | <dolio> | Some of which may disagree with each other. :) |
| 2020-10-20 20:28:24 +0200 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 20:28:36 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 20:29:25 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2020-10-20 20:29:54 +0200 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-10-20 20:29:54 +0200 | elliott__ | (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-20 20:30:13 +0200 | taurux | (~taurux@net-188-152-14-24.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2020-10-20 20:30:27 +0200 | <tomsmeding> | frdg: the monotonicity of entailment as described in that SO answer is specific to logical derivation; what would you then mean with "ensuring all of my functions are monotonic" in haskell? |
| 2020-10-20 20:30:28 +0200 | hackage | gasp 1.3.0.0 - A framework of algebraic classes https://hackage.haskell.org/package/gasp-1.3.0.0 (JeanPhilippeBernardy) |
| 2020-10-20 20:30:51 +0200 | taurux | (~taurux@net-109-115-33-227.cust.vodafonedsl.it) |
| 2020-10-20 20:31:06 +0200 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 20:31:36 +0200 | <frdg> | tomsmeding: that question doesn't make sense does it? |
| 2020-10-20 20:31:38 +0200 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 20:31:54 +0200 | <monochrom> | It makes sense iff you can give examples and counterexamples. |
| 2020-10-20 20:32:32 +0200 | <tomsmeding> | in other words: strictly that definition of monotonicity doesn't really apply, but that doesn't mean there is not another definition that you have in mind that _is_ relevant :) |
| 2020-10-20 20:34:47 +0200 | <frdg> | say you had a pipeline of composed functions. A function could be "monotonic" if it's addition to the pipeline restricts the size of the codomain. If it enlarges the size then it is not monotonic. |
| 2020-10-20 20:35:05 +0200 | taurux | (~taurux@net-109-115-33-227.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2020-10-20 20:36:02 +0200 | alp | (~alp@2a01:e0a:58b:4920:b909:f1ee:7d69:ad6b) |
| 2020-10-20 20:36:09 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-20 20:36:37 +0200 | <frdg> | though I cannot think of any pure function that would be "non-monotonic" in this definition. |
| 2020-10-20 20:37:07 +0200 | taurux | (~taurux@net-188-152-111-146.cust.dsl.teletu.it) |
| 2020-10-20 20:37:17 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 20:38:28 +0200 | <ski> | what about `(>= 0) . abs' vs. `(>= 0) . subtract 1 . abs' ? |
| 2020-10-20 20:38:30 +0200 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2020-10-20 20:38:45 +0200 | <frdg> | restricts the size of the range not codomain. |
| 2020-10-20 20:39:00 +0200 | <ski> | what does "restricts the size of the codomain" mean ? |
| 2020-10-20 20:39:01 +0200 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 2020-10-20 20:40:10 +0200 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) |
| 2020-10-20 20:40:11 +0200 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) (Max SendQ exceeded) |
| 2020-10-20 20:40:20 +0200 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) |
| 2020-10-20 20:41:25 +0200 | taurux | (~taurux@net-188-152-111-146.cust.dsl.teletu.it) (Ping timeout: 240 seconds) |
| 2020-10-20 20:41:38 +0200 | taurux | (~taurux@net-130-25-120-210.cust.vodafonedsl.it) |
| 2020-10-20 20:41:42 +0200 | conal_ | (~conal@66.115.157.40) |
| 2020-10-20 20:42:41 +0200 | <frdg> | ski: I believe that both these function would fit this definition of monotonic if we added a rule that the function could at most preserve the size of the functions range. |
| 2020-10-20 20:43:03 +0200 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) (Read error: Connection reset by peer) |
| 2020-10-20 20:44:32 +0200 | conal | (~conal@64.71.133.70) (Ping timeout: 272 seconds) |
| 2020-10-20 20:44:56 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2020-10-20 20:45:13 +0200 | Tene | (~tene@poipu/supporter/slacker/tene) |
| 2020-10-20 20:45:36 +0200 | <ski> | "monotonic" usually refers to some partial order. what is the partial order, in your case ? |
| 2020-10-20 20:46:27 +0200 | hackage | lp-diagrams 2.1.4 - An EDSL for diagrams based based on linear constraints https://hackage.haskell.org/package/lp-diagrams-2.1.4 (JeanPhilippeBernardy) |
| 2020-10-20 20:47:12 +0200 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) |
| 2020-10-20 20:47:28 +0200 | hackage | beam-postgres 0.5.0.0 - Connection layer between beam and postgres https://hackage.haskell.org/package/beam-postgres-0.5.0.0 (TravisAthougies) |
| 2020-10-20 20:47:40 +0200 | <frdg> | skit: the size of the range. |
| 2020-10-20 20:47:57 +0200 | <frdg> | ski |
| 2020-10-20 20:48:20 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-20 20:48:30 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-20 20:48:30 +0200 | GyroW | (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-20 20:48:30 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 20:49:35 +0200 | <ski> | so you define `f =< g' to mean `forall y. (exists x. f x = y) => (exists x. g x = y)' ? |
| 2020-10-20 20:52:25 +0200 | djellemah | (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Quit: Leaving) |
| 2020-10-20 20:53:17 +0200 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 20:55:16 +0200 | <frdg> | ski: You mean `=<` as less or equal right? |
| 2020-10-20 20:55:41 +0200 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-20 20:56:34 +0200 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 272 seconds) |
| 2020-10-20 20:56:45 +0200 | GyroW | (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds) |
| 2020-10-20 20:56:54 +0200 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-20 20:56:54 +0200 | GyroW_ | (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-20 20:56:54 +0200 | GyroW_ | (~GyroW@unaffiliated/gyrow) |
| 2020-10-20 20:58:28 +0200 | hackage | parsek 1.0.3.0 - Parallel Parsing Processes https://hackage.haskell.org/package/parsek-1.0.3.0 (JeanPhilippeBernardy) |
| 2020-10-20 20:58:34 +0200 | <frdg> | ski: to me this definition would be for equality of functions. |
| 2020-10-20 20:59:50 +0200 | <merijn> | hmm |
| 2020-10-20 20:59:59 +0200 | <merijn> | Why is there no foldMapM? :\ |
| 2020-10-20 21:01:30 +0200 | <kuribas> | foldTraverse? |
| 2020-10-20 21:01:41 +0200 | <monochrom> | Since M is involved, order matters now. Should foldMapM mean left to right? right to left? top down? bottom up? |
| 2020-10-20 21:01:56 +0200 | <merijn> | monochrom: eh |
| 2020-10-20 21:02:07 +0200 | <merijn> | monochrom: That matters for monoids too |
| 2020-10-20 21:02:17 +0200 | <merijn> | monochrom: So that's a bit of a non argument |
| 2020-10-20 21:02:28 +0200 | babygnu | (~robert@gateway/tor-sasl/babygnu) (Remote host closed the connection) |
| 2020-10-20 21:02:40 +0200 | <kuribas> | left to right |
| 2020-10-20 21:02:55 +0200 | babygnu | (~robert@gateway/tor-sasl/babygnu) |
| 2020-10-20 21:03:03 +0200 | <merijn> | monochrom: Exhibit A: Alt |
| 2020-10-20 21:03:31 +0200 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2020-10-20 21:04:00 +0200 | <phadej> | :t Control.MOnad.foldM |
| 2020-10-20 21:04:02 +0200 | <lambdabot> | error: |
| 2020-10-20 21:04:02 +0200 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2020-10-20 21:04:03 +0200 | <lambdabot> | Not in scope: ‘Control.MOnad.foldM’ |
| 2020-10-20 21:04:03 +0200 | <lambdabot> | Perhaps you meant one of these: |
| 2020-10-20 21:04:05 +0200 | <phadej> | :t Control.Monad.foldM |
| 2020-10-20 21:04:07 +0200 | <lambdabot> | (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b |
| 2020-10-20 21:04:19 +0200 | <merijn> | monochrom: Perhaps you were thinking of commutative monoids? :p |
| 2020-10-20 21:04:27 +0200 | <monochrom> | No. |
| 2020-10-20 21:04:27 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-10-20 21:04:38 +0200 | <merijn> | phadej: Yeah, but then I need to write an awkward wrapper :\ |
| 2020-10-20 21:04:45 +0200 | <phadej> | (a <> b) <> c = a <> (b <> c) |
| 2020-10-20 21:04:59 +0200 | <phadej> | if <> would "print" something, these will sequence effects in different order |
| 2020-10-20 21:05:27 +0200 | hackage | parsek 1.0.4.0 - Parallel Parsing Processes https://hackage.haskell.org/package/parsek-1.0.4.0 (JeanPhilippeBernardy) |
| 2020-10-20 21:05:29 +0200 | <phadej> | but if you don't care, then foldMapM would just work |
| 2020-10-20 21:05:55 +0200 | taurux | (~taurux@net-130-25-120-210.cust.vodafonedsl.it) (Ping timeout: 265 seconds) |
| 2020-10-20 21:06:12 +0200 | <phadej> | looks like rio and relude define foldMapM |
| 2020-10-20 21:06:16 +0200 | <merijn> | phadej: But that doesn't hold for "(Monad m, Monoid r) => (a -> m r) -> [a] -> m r" |
| 2020-10-20 21:06:26 +0200 | <merijn> | phadej: <> can't have an effect there |
| 2020-10-20 21:06:40 +0200 | <merijn> | phadej: That's just Alt/liftA2 (<>) |
| 2020-10-20 21:06:41 +0200 | <monochrom> | Data.Foldable.foldlM and foldrM |
| 2020-10-20 21:06:47 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 244 seconds) |
| 2020-10-20 21:06:47 +0200 | taurux | (~taurux@net-93-146-7-193.cust.vodafonedsl.it) |
| 2020-10-20 21:06:53 +0200 | <phadej> | merijn: there you can still can traverse in arbitrary order |
| 2020-10-20 21:06:55 +0200 | <merijn> | both of which have perfectly well defined semantics |
| 2020-10-20 21:06:55 +0200 | tnm | (~tnm@dslb-084-056-234-071.084.056.pools.vodafone-ip.de) |
| 2020-10-20 21:06:59 +0200 | <phadej> | but I guess you'd expect `traverse` order |
| 2020-10-20 21:07:05 +0200 | <merijn> | phadej: Yes, but the traversal order also impacts the monoid |
| 2020-10-20 21:07:20 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 21:07:31 +0200 | <merijn> | The order of traversal matters for foldMap *anyway* |
| 2020-10-20 21:07:41 +0200 | <phadej> | :t \f -> fmap fold . traverse f |
| 2020-10-20 21:07:43 +0200 | <lambdabot> | (Monoid b, Traversable t, Applicative f) => (a -> f b) -> t a -> f b |
| 2020-10-20 21:07:44 +0200 | <merijn> | So the fact that it matters for foldMapM is trivial |
| 2020-10-20 21:07:50 +0200 | <merijn> | Of course it does |
| 2020-10-20 21:07:50 +0200 | <monochrom> | Not that order. The other order. |
| 2020-10-20 21:08:16 +0200 | <phadej> | fmapTraverse should be a member of `Traversable` |
| 2020-10-20 21:08:25 +0200 | <phadej> | \f g -> fmap f . traverse g |
| 2020-10-20 21:08:26 +0200 | <phadej> | :t \f g -> fmap f . traverse g |
| 2020-10-20 21:08:27 +0200 | hackage | flashblast 0.0.4.0 - Generate language learning flashcards from video. https://hackage.haskell.org/package/flashblast-0.0.4.0 (locallycompact) |
| 2020-10-20 21:08:28 +0200 | <lambdabot> | (Traversable t, Applicative f) => (t b1 -> b2) -> (a -> f b1) -> t a -> f b2 |
| 2020-10-20 21:08:37 +0200 | elliott__ | (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2020-10-20 21:09:17 +0200 | knupfer | (~Thunderbi@200116b82c27b200ad7c9ffd9ebcfe8b.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2020-10-20 21:09:18 +0200 | <merijn> | monochrom: Please show me how the traversal order "doesn't matter" for "Just . First" :) |
| 2020-10-20 21:10:04 +0200 | <phadej> | it doesn't matter, Maybe is commutative effect |
| 2020-10-20 21:10:22 +0200 | <merijn> | phadej: eh, it does... |
| 2020-10-20 21:10:28 +0200 | <merijn> | phadej: You get a different value |
| 2020-10-20 21:10:42 +0200 | <phadej> | you don't |
| 2020-10-20 21:11:10 +0200 | <monochrom> | evaluation order and confluence, vs execution order and effects? |
| 2020-10-20 21:11:13 +0200 | <phadej> | yes |
| 2020-10-20 21:11:19 +0200 | <monochrom> | Must I spell it out? |
| 2020-10-20 21:11:29 +0200 | <phadej> | no, let's just stop |
| 2020-10-20 21:11:41 +0200 | <phadej> | \f -> fmap fold . traverse f -- is what merijn wants |
| 2020-10-20 21:11:56 +0200 | <merijn> | Given a datatype "Foo a" the result of both foldMap and hypothetical foldMapM is dependent on the traversal order of Foo, yes or no? |
| 2020-10-20 21:12:12 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 21:12:25 +0200 | <phadej> | https://gitlab.haskell.org/ghc/ghc/-/issues/13153 looks like I'm not the only one who wants mapTraverse |
| 2020-10-20 21:13:06 +0200 | <phadej> | merijn: ... |
| 2020-10-20 21:13:41 +0200 | conal_ | (~conal@66.115.157.40) (Quit: Computer has gone to sleep.) |
| 2020-10-20 21:14:15 +0200 | tnm | (~tnm@dslb-084-056-234-071.084.056.pools.vodafone-ip.de) (Quit: leaving) |
| 2020-10-20 21:14:17 +0200 | <phadej> | monochrom meant that if "Foo" is a tree, foldMap can reassosiate the <>, and that shouldn't matter for the end result |
| 2020-10-20 21:14:40 +0200 | <phadej> | as in, foldMap implementation may use associativity of <> to its advantage |
| 2020-10-20 21:14:44 +0200 | <merijn> | phadej: Well my type only admits the Alt monoid in which case it *doesn't* matter |
| 2020-10-20 21:15:00 +0200 | <phadej> | but that's different "order" then traverse-ing |
| 2020-10-20 21:15:21 +0200 | tnm | (~tnm@dslb-084-056-234-071.084.056.pools.vodafone-ip.de) |
| 2020-10-20 21:15:34 +0200 | bartemius | (~bartemius@109.252.19.142) (Remote host closed the connection) |
| 2020-10-20 21:15:39 +0200 | <merijn> | phadej: I'm trying to determine where the asssumptions diverge that leads to monochrom disagreeing. |
| 2020-10-20 21:15:55 +0200 | <merijn> | afaict the type I want only admits the Alt implementation in which case reassociating <> is irrelevant |
| 2020-10-20 21:15:59 +0200 | <phadej> | internet, where people disagree just because |
| 2020-10-20 21:16:19 +0200 | <merijn> | (well, that's a lie I guess it also admits the dual of Alt) |
| 2020-10-20 21:16:40 +0200 | <merijn> | Either way, reassociating of <> doesn't affect the result, effects or no |
| 2020-10-20 21:16:57 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-20 21:17:38 +0200 | <monochrom> | So you don't need a general polymorphic function that covers all Foldable instances. |
| 2020-10-20 21:17:40 +0200 | <merijn> | So only the traversal order has an impact on the behaviour of effects, but that has effect on <> anyway |
| 2020-10-20 21:18:28 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 21:19:16 +0200 | <merijn> | monochrom: Ok, so the disagreement (seems?) to be whether "foldMapM :: (Foldable t, Applicative f, Monoid r) => (a -> f r) -> t a -> f r" admits an implementation other than "\f -> getAlt . foldMap (Alt . f)" |
| 2020-10-20 21:19:24 +0200 | ggole | (~ggole@2001:8003:8119:7200:9458:d2e2:e6f8:6e99) (Quit: Leaving) |
| 2020-10-20 21:19:40 +0200 | <phadej> | :t \f -> fmap fold . traverse f . toList |
| 2020-10-20 21:19:41 +0200 | <monochrom> | s/implementation/expectation/ |
| 2020-10-20 21:19:42 +0200 | <lambdabot> | error: |
| 2020-10-20 21:19:42 +0200 | <lambdabot> | Ambiguous occurrence ‘toList’ |
| 2020-10-20 21:19:42 +0200 | <lambdabot> | It could refer to |
| 2020-10-20 21:19:46 +0200 | <phadej> | :t \f -> fmap fold . traverse f . Data.Foldable.toList |
| 2020-10-20 21:19:48 +0200 | <lambdabot> | (Monoid b, Applicative f, Foldable t) => (a -> f b) -> t a -> f b |
| 2020-10-20 21:20:33 +0200 | <phadej> | I guess that's the same |
| 2020-10-20 21:20:41 +0200 | <merijn> | monochrom: Do you agree that "\f -> getAlt . foldMap (Alt . f)" always has the same result, regardless of any reassociating that foldMap happens to do? |
| 2020-10-20 21:21:55 +0200 | <phadej> | no that's different. Alt would have Alternative somewhere |
| 2020-10-20 21:22:03 +0200 | <phadej> | :t \f -> getAlt . foldMap (Alt . f) |
| 2020-10-20 21:22:05 +0200 | <lambdabot> | forall k (t :: * -> *) (f :: k -> *) (a1 :: k) a2. (Foldable t, Monoid (Alt f a1)) => (a2 -> f a1) -> t a2 -> f a1 |
| 2020-10-20 21:22:06 +0200 | <merijn> | oh, wait |
| 2020-10-20 21:22:08 +0200 | <merijn> | I mean Ap |
| 2020-10-20 21:22:16 +0200 | <merijn> | my bad |
| 2020-10-20 21:22:23 +0200 | <merijn> | That's what I get for writing form memory |
| 2020-10-20 21:22:23 +0200 | <phadej> | :t \f -> getAp . foldMap (Ap . f) |
| 2020-10-20 21:22:24 +0200 | <lambdabot> | forall k (t :: * -> *) (f :: k -> *) (a1 :: k) a2. (Foldable t, Monoid (Ap f a1)) => (a2 -> f a1) -> t a2 -> f a1 |
| 2020-10-20 21:22:49 +0200 | <phadej> | :t \f xs -> getAp (foldMap (Ap . f) xs) |
| 2020-10-20 21:22:50 +0200 | <lambdabot> | forall k (t :: * -> *) (f :: k -> *) (a1 :: k) a2. (Foldable t, Monoid (Ap f a1)) => (a2 -> f a1) -> t a2 -> f a1 |
| 2020-10-20 21:23:04 +0200 | <phadej> | silly lambdabot, can you disable PolyKinds |
| 2020-10-20 21:23:20 +0200 | <merijn> | % :t \f -> getAp . foldMap (Ap . f) |
| 2020-10-20 21:23:20 +0200 | <yahb> | merijn: ; <interactive>:1:2: warning: [-Wname-shadowing] This binding for `f' shadows the existing binding defined at <interactive>:91:1; forall k (t :: * -> *) (f :: k -> *) (a1 :: k) a2. (Foldable t, Monoid (Ap f a1)) => (a2 -> f a1) -> t a2 -> f a1 |
| 2020-10-20 21:23:25 +0200 | <merijn> | bah |
| 2020-10-20 21:23:37 +0200 | <merijn> | % :seti -XNoPolyKinds |
| 2020-10-20 21:23:37 +0200 | <yahb> | merijn: |
| 2020-10-20 21:23:39 +0200 | <merijn> | % :t \f -> getAp . foldMap (Ap . f) |
| 2020-10-20 21:23:40 +0200 | <yahb> | merijn: ; <interactive>:1:2: warning: [-Wname-shadowing] This binding for `f' shadows the existing binding defined at <interactive>:91:1; (Foldable t, Applicative f, Monoid a1) => (a2 -> f a1) -> t a2 -> f a1 |
| 2020-10-20 21:24:42 +0200 | kuribas | (~user@ptr-25vy0iajfrrz51ad66r.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2020-10-20 21:25:11 +0200 | tnm | (~tnm@dslb-084-056-234-071.084.056.pools.vodafone-ip.de) (Quit: leaving) |
| 2020-10-20 21:25:58 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 21:25:59 +0200 | Will36 | (56be05c9@host86-190-5-201.range86-190.btcentralplus.com) |
| 2020-10-20 21:27:52 +0200 | thrig1 | (~thrig@178.162.209.171) |
| 2020-10-20 21:28:09 +0200 | frdg | (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2020-10-20 21:28:26 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-10-20 21:33:50 +0200 | jkachmar | (uid226591@gateway/web/irccloud.com/x-zlznzlpgujapddpg) |
| 2020-10-20 21:35:25 +0200 | irc_user | (uid423822@gateway/web/irccloud.com/x-jjpkvgqppresuvbx) |
| 2020-10-20 21:35:55 +0200 | jkachmar | (uid226591@gateway/web/irccloud.com/x-zlznzlpgujapddpg) () |
| 2020-10-20 21:37:30 +0200 | knupfer | (~Thunderbi@i59F7FF6F.versanet.de) |
| 2020-10-20 21:37:36 +0200 | Franciman | (~francesco@host-82-48-166-25.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-10-20 21:38:21 +0200 | ph88 | (~ph88@ip5f5af0cc.dynamic.kabel-deutschland.de) |
| 2020-10-20 21:39:15 +0200 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-20 21:40:22 +0200 | Guest_85 | (bc4a58f5@188.74.88.245) |
| 2020-10-20 21:41:12 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-20 21:41:13 +0200 | <Guest_85> | can't install it on my ubuntu subsystem on my windows 10 machine |
| 2020-10-20 21:41:17 +0200 | <Guest_85> | bruh |
| 2020-10-20 21:41:40 +0200 | Guest_85 | (bc4a58f5@188.74.88.245) (Remote host closed the connection) |
| 2020-10-20 21:41:50 +0200 | shafox | (~shafox@106.51.234.111) |
| 2020-10-20 21:44:43 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 21:46:02 +0200 | <dsal> | Oh man. I hope whoever that is manages to get it installed. |
| 2020-10-20 21:46:27 +0200 | <koz_> | Whatever 'it' was. |
| 2020-10-20 21:47:16 +0200 | nineonin_ | (~textual@216.81.48.202) |
| 2020-10-20 21:47:19 +0200 | <monochrom> | People who only understand the simpleton boolean "it works / it doesn't work" shouldn't be in programming in the first place. |
| 2020-10-20 21:47:31 +0200 | mrbentarikau | caubert |
| 2020-10-20 21:47:44 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 2020-10-20 21:48:10 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 21:49:33 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 260 seconds) |
| 2020-10-20 21:54:24 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 21:54:44 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 2020-10-20 21:55:14 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 21:57:53 +0200 | <dminuoso> | monochrom: That sounds rather simpletony boolean. |
| 2020-10-20 21:58:02 +0200 | leah2 | (~leah@vuxu.org) |
| 2020-10-20 21:58:14 +0200 | <monochrom> | haha |
| 2020-10-20 22:01:28 +0200 | rprije | (~rprije@110-175-117-18.tpgi.com.au) |
| 2020-10-20 22:10:48 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 22:12:25 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 22:14:07 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-10-20 22:14:35 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 22:15:17 +0200 | <tomsmeding> | I have a function that, when I run it and measure its execution time using Criterion.Measurement.measure, alternatingly takes ~0.53 and ~0.62 seconds |
| 2020-10-20 22:15:31 +0200 | <tomsmeding> | seeing those timings made me do a double take |
| 2020-10-20 22:15:37 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 272 seconds) |
| 2020-10-20 22:16:18 +0200 | <tomsmeding> | fortunately I know the cause, and the cause is unsurprisingly GC; passing +RTS -c reduces the difference to ~0.60 vs ~0.61 (though it still oscillates!) |
| 2020-10-20 22:16:25 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 264 seconds) |
| 2020-10-20 22:17:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-10-20 22:17:27 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2020-10-20 22:17:40 +0200 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 258 seconds) |
| 2020-10-20 22:17:53 +0200 | <koz_> | Is there a pre-rolled instance of Arbitrary for Scientific out there? |
| 2020-10-20 22:19:52 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-20 22:20:25 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 22:20:58 +0200 | hackage | dsv 1.0.0.0 - DSV (delimiter-separated values) https://hackage.haskell.org/package/dsv-1.0.0.0 (chris_martin) |
| 2020-10-20 22:23:45 +0200 | <dminuoso> | tomsmeding: That difference seems well within margin of errors, induced by things like TLB flushes on preemption, cache evictions from other threads. |
| 2020-10-20 22:24:14 +0200 | <tomsmeding> | dminuoso: also if it's fully reproducible on an intel i7 laptop as well as an amd threadripper server? |
| 2020-10-20 22:24:25 +0200 | <dminuoso> | The difference between 0.60 and 0.61? |
| 2020-10-20 22:24:27 +0200 | <dminuoso> | Id say yes. |
| 2020-10-20 22:24:32 +0200 | <dminuoso> | Or is it still alternatingly? |
| 2020-10-20 22:24:33 +0200 | <tomsmeding> | oh that one, sure |
| 2020-10-20 22:24:37 +0200 | <tomsmeding> | still alternating |
| 2020-10-20 22:24:39 +0200 | <tomsmeding> | :p |
| 2020-10-20 22:24:43 +0200 | <tomsmeding> | that's what makes it interesting |
| 2020-10-20 22:24:54 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 22:25:16 +0200 | cyphase | (~cyphase@unaffiliated/cyphase) |
| 2020-10-20 22:25:36 +0200 | <dminuoso> | Curious though, in the degenerate case, the GC takes that much time? |
| 2020-10-20 22:25:42 +0200 | <tomsmeding> | oh correction: the +RTS -c doesn't help om the AMD, only on the intel |
| 2020-10-20 22:25:57 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-98-110.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2020-10-20 22:26:44 +0200 | <tomsmeding> | on intel, Criterion.Measurement.measure reports an 'measGcCpuSeconds' of alternatingly about 3.6e-2 and about 7.2e-2 |
| 2020-10-20 22:27:32 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2020-10-20 22:28:07 +0200 | <dminuoso> | tomsmeding: I wonder, could the alternating behavior happen because of some oscillating swapping? |
| 2020-10-20 22:28:22 +0200 | <dminuoso> | (swapping in the sense of swap memory) |
| 2020-10-20 22:28:42 +0200 | <dminuoso> | I admit, this is rather handwaving |
| 2020-10-20 22:28:57 +0200 | <dminuoso> | But this must clearly be something stateful |
| 2020-10-20 22:29:07 +0200 | <dminuoso> | Or.. |
| 2020-10-20 22:29:10 +0200 | <dminuoso> | Hold on. When you say alternatin |
| 2020-10-20 22:29:19 +0200 | <dminuoso> | Is that within the same program execution? |
| 2020-10-20 22:29:20 +0200 | <tomsmeding> | if you mean swapping as in memory full so swap to disk, no, because memory is far from full |
| 2020-10-20 22:30:08 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-98-110.w86-212.abo.wanadoo.fr) |
| 2020-10-20 22:30:31 +0200 | <tomsmeding> | yes one process that runs the same function a number of times, and the even cases (say) are 0.62 +- 0.3 seconds, and the odd cases (say) are 0.53 += 0.3 seconds |
| 2020-10-20 22:30:57 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 22:32:07 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:5513:d68a:c93e:4e27) (Ping timeout: 260 seconds) |
| 2020-10-20 22:34:54 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-10-20 22:39:42 +0200 | shafox | (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-20 22:40:34 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2020-10-20 22:41:53 +0200 | coot | (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-10-20 22:42:10 +0200 | Will36 | (56be05c9@host86-190-5-201.range86-190.btcentralplus.com) () |
| 2020-10-20 22:43:57 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:1c6c:f39a:cdd0:9852) |
| 2020-10-20 22:44:58 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds) |
| 2020-10-20 22:46:13 +0200 | <hololeap> | i don't understand constraints that don't take any type variables, like HasCallStack. what are these kinds of constraints acting on? |
| 2020-10-20 22:48:34 +0200 | borne | (~fritjof@200116b8645a73005f17201290692466.dip.versatel-1u1.de) |
| 2020-10-20 22:48:36 +0200 | <tomsmeding> | you can see constraints as kind of "inferred implicit parameters" |
| 2020-10-20 22:48:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 22:48:44 +0200 | totallynotnate | (~nate@110.138.18.157) |
| 2020-10-20 22:48:59 +0200 | <tomsmeding> | where the value being passed as that parameter is a record of the functions defined in the relevant class instance |
| 2020-10-20 22:50:03 +0200 | <tomsmeding> | e.g. for a function like nub :: Eq a => [a] -> [a], under the hood it really takes two arguments: a dictionary Eq { (==) :: a -> a -> Bool }, and a list [a] |
| 2020-10-20 22:50:09 +0200 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-20 22:51:09 +0200 | <tomsmeding> | hololeap: and the inference algorithm for those inferred parameters is the instance resolution algorithm :) |
| 2020-10-20 22:51:44 +0200 | <tomsmeding> | from that perspective, it makes sense to also allow classes that take zero parameters; their dictionary types just happen to have no type parameters |
| 2020-10-20 22:52:21 +0200 | fendor | (~fendor@91.141.2.147.wireless.dyn.drei.com) (Quit: Leaving) |
| 2020-10-20 22:52:37 +0200 | <tomsmeding> | now HasCallStack is a magical thing that uses the weird dynamic scoping functionality that GHC offers, so it's really a separate case :p |
| 2020-10-20 22:53:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2020-10-20 22:56:23 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) |
| 2020-10-20 22:57:49 +0200 | knupfer | (~Thunderbi@i59F7FF6F.versanet.de) (Ping timeout: 260 seconds) |
| 2020-10-20 22:58:21 +0200 | britva | (~britva@2a02:aa13:7240:2980:95f4:54f7:5f3d:8d9b) |
| 2020-10-20 22:58:21 +0200 | <tomsmeding> | hololeap: this "dictionary" idea is actually also how type classes are implemented in GHC; see e.g. the original paper (http://ropas.snu.ac.kr/lib/dock/HaHaJoWa1996.pdf (which I haven't actually read, sorry :D)) or other resources online |
| 2020-10-20 23:00:02 +0200 | thrig1 | (~thrig@178.162.209.171) () |
| 2020-10-20 23:00:51 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) |
| 2020-10-20 23:02:58 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2020-10-20 23:03:37 +0200 | wallacer3 | (~quassel@ns3134113.ip-37-187-4.eu) |
| 2020-10-20 23:04:55 +0200 | thir | (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-20 23:05:21 +0200 | ensyde | (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 246 seconds) |
| 2020-10-20 23:05:40 +0200 | avoandmayo | (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-20 23:05:45 +0200 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 240 seconds) |
| 2020-10-20 23:09:23 +0200 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2020-10-20 23:09:42 +0200 | hekkaidekapus{ | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-10-20 23:11:43 +0200 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-10-20 23:12:24 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds) |
| 2020-10-20 23:14:38 +0200 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 272 seconds) |
| 2020-10-20 23:15:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2020-10-20 23:15:52 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2020-10-20 23:18:05 +0200 | gxt | (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 2020-10-20 23:18:42 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) (Quit: Leaving) |
| 2020-10-20 23:18:51 +0200 | gxt | (~gxt@gateway/tor-sasl/gxt) |
| 2020-10-20 23:19:10 +0200 | falafel | (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-20 23:19:18 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2020-10-20 23:19:52 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-20 23:20:28 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-20 23:21:44 +0200 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 260 seconds) |
| 2020-10-20 23:21:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-20 23:22:05 +0200 | cassier | (~cassier@195.206.169.184) |
| 2020-10-20 23:22:34 +0200 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) |
| 2020-10-20 23:24:10 +0200 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) (Read error: Connection reset by peer) |
| 2020-10-20 23:24:19 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2020-10-20 23:24:32 +0200 | codygman | (~codygman@47.190.47.120) |
| 2020-10-20 23:25:33 +0200 | chele | (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2020-10-20 23:26:15 +0200 | conal | (~conal@64.71.133.70) |
| 2020-10-20 23:28:55 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2020-10-20 23:28:58 +0200 | codygman | (~codygman@47.190.47.120) (Ping timeout: 258 seconds) |
| 2020-10-20 23:29:10 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-10-20 23:30:08 +0200 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) |
| 2020-10-20 23:31:43 +0200 | nshepperd | . o 0 (hmm, what if defining all functions in a module in a zero parameter typeclass to resolve circular dependencies instead of using hs-boot) |
| 2020-10-20 23:32:26 +0200 | caubert | (~mrbentari@207.246.80.112) (Quit: WeeChat 2.8) |
| 2020-10-20 23:32:47 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2020-10-20 23:32:47 +0200 | evade | (~evade@2001:b07:a15:ec0c:91a9:d55f:dffd:96e) (Ping timeout: 260 seconds) |
| 2020-10-20 23:33:10 +0200 | mrbentarikau | (~mrbentari@207.246.80.112) |
| 2020-10-20 23:33:24 +0200 | mrbentarikau | caubert |
| 2020-10-20 23:33:25 +0200 | mananamenos | (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 240 seconds) |
| 2020-10-20 23:33:31 +0200 | arguapacha | (~arguapach@bras-base-mtrlpq02hsy-grc-04-174-93-252-133.dsl.bell.ca) |
| 2020-10-20 23:33:52 +0200 | conal_ | (~conal@ip-66-115-176-174.creativelink.net) |
| 2020-10-20 23:34:31 +0200 | totallynotnate | (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 2020-10-20 23:34:54 +0200 | totallynotnate | (~nate@110.138.18.157) |
| 2020-10-20 23:36:10 +0200 | conal | (~conal@64.71.133.70) (Ping timeout: 272 seconds) |
| 2020-10-20 23:36:31 +0200 | britva | (~britva@2a02:aa13:7240:2980:95f4:54f7:5f3d:8d9b) (Quit: This computer has gone to sleep) |
| 2020-10-20 23:42:39 +0200 | codygman | (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) (Read error: Connection reset by peer) |
| 2020-10-20 23:42:56 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2020-10-20 23:43:01 +0200 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-10-20 23:45:56 +0200 | chaosmasttter | (~chaosmast@p200300c4a70942019022135e51598bcd.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 2020-10-20 23:46:13 +0200 | christo | (~chris@81.96.113.213) |
| 2020-10-20 23:48:15 +0200 | conal_ | (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.) |
| 2020-10-20 23:48:23 +0200 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
| 2020-10-20 23:49:42 +0200 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-10-20 23:49:46 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 265 seconds) |
| 2020-10-20 23:51:03 +0200 | conal | (~conal@ip-66-115-176-174.creativelink.net) |
| 2020-10-20 23:53:38 +0200 | totallynotnate | (~nate@110.138.18.157) (Quit: WeeChat 2.9) |
| 2020-10-20 23:54:04 +0200 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds) |
| 2020-10-20 23:54:31 +0200 | totallynotnate | (~nate@110.138.18.157) |
| 2020-10-20 23:54:40 +0200 | EyalSK | (~EyalSK@bzq-84-109-128-227.cablep.bezeqint.net) (Quit: Leaving) |
| 2020-10-20 23:55:10 +0200 | totallynotnate | (~nate@110.138.18.157) (Client Quit) |
| 2020-10-20 23:55:38 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2020-10-20 23:56:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-10-20 23:57:04 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2020-10-20 23:57:26 +0200 | totallynotnate | (~nate@110.138.18.157) |
