Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 .. 5022
— 502,152 events total
2020-11-26 10:01:25 <merijn> dminuoso: packdeps only lists stuff on hackage, though
2020-11-26 10:01:34 <merijn> I use it in a bunch of code that's not on hackage
2020-11-26 10:01:59 → monochrom joins (trebla@216.138.220.146)
2020-11-26 10:02:32 <dminuoso> Sure, but it's not like there's gonna be incredible widespread usage of a package everywhere except hackage
2020-11-26 10:02:47 <dminuoso> Think it's a good indicator to answer "popularity"
2020-11-26 10:03:21 → Yumasi joins (~guillaume@2a01cb09b06b29ea391191835a81a7a2.ipv6.abo.wanadoo.fr)
2020-11-26 10:03:49 × Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving)
2020-11-26 10:06:06 → perry69420 joins (6ee39737@110.227.151.55)
2020-11-26 10:06:13 × ski quits (~ski@nc-2504-30.studat.chalmers.se) (Ping timeout: 264 seconds)
2020-11-26 10:07:51 × nopf quits (~frosch@static.179.17.76.144.clients.your-server.de) (Remote host closed the connection)
2020-11-26 10:08:44 × erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Remote host closed the connection)
2020-11-26 10:09:05 → ski joins (~ski@nc-2504-30.studat.chalmers.se)
2020-11-26 10:10:12 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-26 10:10:32 × guest1126 quits (~user@49.5.6.87) (Quit: ERC (IRC client for Emacs 27.1))
2020-11-26 10:15:06 → ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-11-26 10:15:09 → Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it)
2020-11-26 10:23:47 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-26 10:29:01 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2020-11-26 10:30:21 → michalz joins (~user@185.246.204.47)
2020-11-26 10:34:02 → Ariakenom_ joins (~Ariakenom@h-158-174-186-195.NA.cust.bahnhof.se)
2020-11-26 10:36:28 → subttle joins (~anonymous@unaffiliated/subttle)
2020-11-26 10:38:01 × Ariakenom__ quits (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2020-11-26 10:39:30 hackage hspec-slow 0.2.0.1 - Find slow test cases https://hackage.haskell.org/package/hspec-slow-0.2.0.1 (Jappie)
2020-11-26 10:43:12 → adm_ joins (~adm@43.229.89.234)
2020-11-26 10:44:08 → Ariakenom__ joins (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se)
2020-11-26 10:46:12 × Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving)
2020-11-26 10:47:02 → DavidEichmann joins (~david@62.110.198.146.dyn.plus.net)
2020-11-26 10:47:16 × Ariakenom_ quits (~Ariakenom@h-158-174-186-195.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2020-11-26 10:50:42 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2020-11-26 10:54:22 × danso quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9)
2020-11-26 11:00:01 × adm_ quits (~adm@43.229.89.234) (Remote host closed the connection)
2020-11-26 11:01:14 → boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-26 11:01:33 BugzOOO is now known as Neuromancer
2020-11-26 11:03:29 <boxscape> Hm, the `data X = forall a . MkX (Y a)` encoding is usually preferred for existentials over the `forall r . (forall a . Y a -> r) -> r` encoding, right? I'm asking because I just wrote something fairly simple where the first one seems more verbose, but I guess maybe it becomes easier to keep track of things with the first encoding as your what
2020-11-26 11:03:30 <boxscape> you're doing gets more complex?
2020-11-26 11:07:29 → Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it)
2020-11-26 11:08:13 × alp quits (~alp@2a01:e0a:58b:4920:9554:f534:a35:4872) (Ping timeout: 272 seconds)
2020-11-26 11:10:18 → adm_ joins (~adm@43.229.89.234)
2020-11-26 11:11:45 <merijn> boxscape: I usually prefer writing existentials as GADTs, because it looks cleaner
2020-11-26 11:12:17 <boxscape> merijn so that would be effectively the same as the first encoding but with GADT syntax?
2020-11-26 11:13:11 → Alleria_ joins (~AllahuAkb@2604:2000:1484:26:f085:e9f5:38cf:432d)
2020-11-26 11:14:58 × adm_ quits (~adm@43.229.89.234) (Ping timeout: 260 seconds)
2020-11-26 11:15:28 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-11-26 11:16:27 × _Alleria quits (~AllahuAkb@2604:2000:1484:26:b060:c081:3394:137) (Ping timeout: 260 seconds)
2020-11-26 11:17:18 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds)
2020-11-26 11:17:28 × fendor quits (~fendor@178.165.131.166.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2020-11-26 11:17:48 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-26 11:18:31 hackage phonetic-languages-constraints 0.4.0.0 - Constraints to filter the needed permutations https://hackage.haskell.org/package/phonetic-languages-constraints-0.4.0.0 (OleksandrZhabenko)
2020-11-26 11:19:31 hackage postgresql-binary 0.12.3.2 - Encoders and decoders for the PostgreSQL's binary format https://hackage.haskell.org/package/postgresql-binary-0.12.3.2 (NikitaVolkov)
2020-11-26 11:20:22 <tomsmeding> boxscape: you can convert the existentials method to the CPS method, but not the other way round
2020-11-26 11:20:48 × carlomagno1 quits (~cararell@148.87.23.6) (Remote host closed the connection)
2020-11-26 11:20:50 <tomsmeding> that is to say: given a function that returns an existential with the X method, you can use it in a context that uses the Y method for existentials
2020-11-26 11:21:01 hackage postgresql-binary 0.12.3.3 - Encoders and decoders for the PostgreSQL's binary format https://hackage.haskell.org/package/postgresql-binary-0.12.3.3 (NikitaVolkov)
2020-11-26 11:21:12 <tomsmeding> but if you have a function in CPS form using Y, then you can't use it in a function that wants to return an X-style existential
2020-11-26 11:21:19 <tomsmeding> at least, that's my experience :p
2020-11-26 11:21:29 <tomsmeding> which makes me prefer X, despite its additional verbosity
2020-11-26 11:21:43 <boxscape> hm, I see, interesting
2020-11-26 11:21:53 <dminuoso> I guess CPS style fuses better?
2020-11-26 11:22:39 <dminuoso> Also it's a little less annoying if you pass things around, since you dont need to constantly wrap/rewrap your thing
2020-11-26 11:23:29 <boxscape> yeah, that makes sense
2020-11-26 11:24:45 → adm_ joins (~adm@43.229.89.234)
2020-11-26 11:25:50 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2020-11-26 11:26:06 <dminuoso> 12:21:12 tomsmeding | but if you have a function in CPS form using Y, then you can't use it in a function that wants to return an X-style existential
2020-11-26 11:26:09 <dminuoso> Can you elaborate?
2020-11-26 11:26:23 → jpds joins (~jpds@gateway/tor-sasl/jpds)
2020-11-26 11:27:01 <tomsmeding> I haven't proven anything, just what I empirically found
2020-11-26 11:27:05 <dminuoso> If you have `f :: forall r. (forall a . Y a -> r) -> r; then you can just do `f MkX` to get back into the X representation
2020-11-26 11:27:07 <dminuoso> No?
2020-11-26 11:27:14 <tomsmeding> wait
2020-11-26 11:27:28 <tomsmeding> I'm dumb
2020-11-26 11:27:29 <tomsmeding> yes
2020-11-26 11:27:51 <tomsmeding> thank you
2020-11-26 11:27:55 <boxscape> oh yeah that does work
2020-11-26 11:28:49 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-26 11:29:36 × adm_ quits (~adm@43.229.89.234) (Ping timeout: 240 seconds)
2020-11-26 11:31:09 → carlomagno joins (~cararell@148.87.23.11)
2020-11-26 11:34:51 × domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × dominicusin[m] quits (dominicusi@gateway/shell/matrix.org/x-qzmdyqsqeazfuaho) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-libkhcmbrdqpqido) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × CRTified[m] quits (schnecfkru@gateway/shell/matrix.org/x-eenugdcfqkikhazz) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-gyetbkvikjbbsrrd) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × boistordu quits (boistordum@gateway/shell/matrix.org/x-mdyiyodwbwwmjcwq) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-ckdeidekxaxmbkrv) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × tersetears[m] quits (tersetears@gateway/shell/matrix.org/x-yuvadosdugsnqrxf) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × psydruid quits (psydruidma@gateway/shell/matrix.org/x-mpmiqxkbrlzaygik) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-ygesxqztjkwljyzz) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × sm[m] quits (simonmicma@gateway/shell/matrix.org/x-kwpeizyjcphohngd) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × SlackIntegration quits (slackbotma@gateway/shell/matrix.org/x-jwlsctxhtztxaioq) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-cunxvrjdwttunvim) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-grtayloopdscsgus) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × unclechu quits (unclechuma@gateway/shell/matrix.org/x-fmibtulmvlcrrtyt) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × themsay[m] quits (themsaymat@gateway/shell/matrix.org/x-ijyhmdsdchceasci) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × hsiktas[m] quits (hsiktasmat@gateway/shell/matrix.org/x-diupvlqwumdpqenf) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:51 × camlriot42 quits (camlriotma@gateway/shell/matrix.org/x-iykqiffyqrfswvid) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:52 × chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-qrurbafjmusxfuce) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:52 × psamim quits (samimpmatr@gateway/shell/matrix.org/x-tqcirtqddpnlomkh) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:52 × ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-eowhntdvamvdarxm) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:52 × ttc quits (tomtauma1@gateway/shell/matrix.org/x-lgjugwvkytxobgef) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:53 × rab24ack[m] quits (rab24ackma@gateway/shell/matrix.org/x-djastgiuyzrwwale) (Quit: Bridge terminating on SIGTERM)
2020-11-26 11:34:53 × loprakoa[m] quits (loprakoama@gateway/shell/matrix.org/x-jggrqgksdtnpxwbo) (Quit: Bridge terminating on SIGTERM)
←Prev  Next→
Page 1 .. 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 .. 5022

All times are in UTC.