Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 .. 5022
— 502,152 events total
2020-11-06 12:46:00 hackage compdoc-dhall-decoder 0.2.0.0 - Allows you to write FromDhall instances for Compdoc https://hackage.haskell.org/package/compdoc-dhall-decoder-0.2.0.0 (locallycompact)
2020-11-06 12:46:04 → LKoen joins (~LKoen@53.253.88.92.rev.sfr.net)
2020-11-06 12:47:47 → argent0 joins (~argent0@168.227.98.82)
2020-11-06 12:48:52 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-06 12:49:10 <Cheery> lortabac: now I have data Aux = DropLeft | DropRight | KeepBoth | Keep, and type family TrimAux a that maps inputs of Trim to Aux
2020-11-06 12:50:33 <lortabac> Cheery: I think you need to include the arguments as well
2020-11-06 12:50:50 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 260 seconds)
2020-11-06 12:51:05 <Cheery> you mean it needs to be a GADT?
2020-11-06 12:51:16 <lortabac> something like data Aux a b = Dropleft a | DropRight a etc.
2020-11-06 12:51:20 → mdunnio joins (~mdunnio@208.59.170.5)
2020-11-06 12:51:35 <lortabac> otherwise you would lose information
2020-11-06 12:51:42 → christo joins (~chris@81.96.113.213)
2020-11-06 12:52:23 → pera joins (~pera@unaffiliated/pera)
2020-11-06 12:52:54 → bqv joins (~bqv@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2020-11-06 12:53:37 <lortabac> TrimAux is identical to Trim on the LHS, but returns an Aux on the RHS
2020-11-06 12:53:46 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-06 12:53:51 <merijn> Cheery: Basically you can't pick "what function implementation to use" based on the type, so having a type family compute the right type doesn't let you magically specify the right logic to implement said function
2020-11-06 12:54:14 <merijn> (well, you can pick implementation based on types...when you use a typeclass)
2020-11-06 12:55:09 × watt570 quits (~watt570@124.123.105.19) (Ping timeout: 256 seconds)
2020-11-06 12:55:30 hackage HsOpenSSL 0.11.5.1 - Partial OpenSSL binding for Haskell https://hackage.haskell.org/package/HsOpenSSL-0.11.5.1 (VladimirShabanov)
2020-11-06 12:56:01 <lortabac> then each class instance matches one of Aux's constructors and mimic Trim's behavior at value level
2020-11-06 12:56:07 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 258 seconds)
2020-11-06 12:56:08 <merijn> Is there a way to make executables (of Haskell dependencies) available at runtime?
2020-11-06 12:56:10 <Cheery> lortabac: how about the typeclass? class Foo (a::Aux)
2020-11-06 12:56:29 <Cheery> hmm..
2020-11-06 12:56:32 → cinimod_ joins (uid93893@gateway/web/irccloud.com/x-iwnddlwwokzrvwhq)
2020-11-06 12:57:14 → brisbin joins (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net)
2020-11-06 12:57:53 × Sanchayan quits (~Sanchayan@223.226.118.59) (Ping timeout: 260 seconds)
2020-11-06 12:58:39 <lortabac> in general you need a very good reason to go through all this painful contorsion, I have only every needed this trick when implementing Servant extensions
2020-11-06 12:59:15 × cinimod_ quits (uid93893@gateway/web/irccloud.com/x-iwnddlwwokzrvwhq) (Client Quit)
2020-11-06 12:59:43 → cinimod_ joins (uid93893@gateway/web/irccloud.com/x-ohfubecfiwfffiip)
2020-11-06 13:00:51 × LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-06 13:01:24 → LKoen joins (~LKoen@53.253.88.92.rev.sfr.net)
2020-11-06 13:01:45 × brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 240 seconds)
2020-11-06 13:02:08 <tomsmeding> Cheery: not sure if it's relevant for you, but I was reading a paper and saw a reference, and recalled how you'd been talking here today about typed regular expressions
2020-11-06 13:02:12 <tomsmeding> https://github.com/sweirich/dth/tree/master/regexp exists
2020-11-06 13:02:44 <tomsmeding> note also the popl17 talk apparently
2020-11-06 13:04:04 → raichoo joins (~raichoo@213.240.178.58)
2020-11-06 13:04:26 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-11-06 13:05:12 × bqv quits (~bqv@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 2.9)
2020-11-06 13:05:18 <Cheery> tomsmeding: thanks. I will look in.
2020-11-06 13:05:26 <kuribastard> merijn: does haxl support mutating queries?
2020-11-06 13:06:13 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-06 13:06:26 <Cheery> lortabac: is there a text I can read about this one? I mean, it's data in a typeclass.
2020-11-06 13:06:48 <Cheery> Foo Nil, Foo (Cons x y) etc...
2020-11-06 13:06:55 <lortabac> the GHC user guide -- DataKinds chapter
2020-11-06 13:09:22 → bqv joins (~bqv@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2020-11-06 13:09:25 <jophish> merijn: using Nix?
2020-11-06 13:10:37 <bqv> ^
2020-11-06 13:10:57 → Sanchayan joins (~Sanchayan@223.226.118.59)
2020-11-06 13:11:05 × Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 240 seconds)
2020-11-06 13:11:30 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-06 13:11:54 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-06 13:12:37 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-11-06 13:12:46 <Cheery> lortabac: once I have what you proposed me to make, how would I use it?
2020-11-06 13:13:00 hackage discord-register 0.0.1 - Discord verification bot https://hackage.haskell.org/package/discord-register-0.0.1 (HughSipiere)
2020-11-06 13:13:03 × wwwww quits (~wwwww@unaffiliated/wwwww) (Ping timeout: 260 seconds)
2020-11-06 13:13:07 <Cheery> to implement trim :: a -> Trim a, and fill :: Trim a -> a.
2020-11-06 13:13:17 → christo joins (~chris@81.96.113.213)
2020-11-06 13:14:24 <jophish> Cheery: I haven't been paying attention, but is Trim a bijection?
2020-11-06 13:14:49 × LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-06 13:14:53 → wwwww joins (~wwwww@unaffiliated/wwwww)
2020-11-06 13:15:50 × Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
2020-11-06 13:15:52 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-11-06 13:16:18 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-06 13:16:28 <Cheery> jophish: nope. The idea is to take a type built from algebraic elements, and produce a corresponding type with no units in it.
2020-11-06 13:16:42 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-06 13:16:42 <lortabac> I don't know what 'fill' is supposed to do, but 'trim' should become a method of the class
2020-11-06 13:17:07 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-06 13:17:09 <Cheery> ok, lets forget about 'fill' for a moment then, and look at the trim.
2020-11-06 13:17:12 <jophish> Cheery: ok, so would fill be :: a -> ((), a) or :: a -> (a, ())
2020-11-06 13:17:18 <jophish> (or any other of the infinity options)
2020-11-06 13:17:36 <Cheery> jophish: yup.
2020-11-06 13:17:38 → LKoen joins (~LKoen@53.253.88.92.rev.sfr.net)
2020-11-06 13:17:39 <lortabac> instance Trim ('DropLeft a) where trim ((), a) = a
2020-11-06 13:17:44 <lortabac> etc.
2020-11-06 13:17:53 <jophish> Ah I see
2020-11-06 13:18:13 <lortabac> maybe I got some details wrong, but I hope you get the idea
2020-11-06 13:18:21 <jophish> Yeah, I get the gist of it
2020-11-06 13:18:28 <merijn> jophish: No, not using Nix, because the goal is have this be usable by actual mortals :)
2020-11-06 13:18:43 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-06 13:20:20 <jophish> merijn: perhaps then you could do some custom setup stuff to call cabal install to put the dependency binaries in some install location?
2020-11-06 13:20:23 <lortabac> Cheery: upon reflection, the arguments in Aux's constructors are probably useless, because 'trim' behaves the same whatever the type
2020-11-06 13:20:55 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-06 13:21:10 → urodna joins (~urodna@unaffiliated/urodna)
2020-11-06 13:21:15 → knupfer joins (~Thunderbi@200116b82c0fb10034b9f47ce3eda41d.dip.versatel-1u1.de)
2020-11-06 13:22:31 hackage patch 0.0.3.2 - Data structures for describing changes to other data structures. https://hackage.haskell.org/package/patch-0.0.3.2 (abrar)
2020-11-06 13:22:56 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-06 13:23:08 <lortabac> Cheery: which means you'll probably need AllowAmbiguousTypes and TypeApplications
2020-11-06 13:23:16 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-06 13:23:33 <lortabac> as I said, it requires a lot of boilerplate
2020-11-06 13:23:44 → fendor joins (~fendor@77.119.129.239.wireless.dyn.drei.com)
2020-11-06 13:24:21 → unfo- joins (~unfo-@162.219.176.3)
2020-11-06 13:24:28 × fendor quits (~fendor@77.119.129.239.wireless.dyn.drei.com) (Remote host closed the connection)
2020-11-06 13:24:37 × Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
2020-11-06 13:25:03 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-06 13:25:50 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-06 13:26:00 <Cheery> this looks fun.
2020-11-06 13:26:38 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-06 13:27:41 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:7cc2:21a2:16c3:f6f6)
←Prev  Next→
Page 1 .. 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 .. 5022

All times are in UTC.