Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4239 4240 4241 4242 4243 4244 4245 4246 4247 4248 4249 .. 5022
— 502,152 events total
2021-04-06 12:24:26 × Sorna quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds)
2021-04-06 12:24:34 <tdammers> and then build a custom pretty-printer for that, rather than trying to reverse-engineer the existing pretty-printing
2021-04-06 12:25:36 <olligobber> well, Type kinda captures that
2021-04-06 12:26:16 <tdammers> right, it's Type from TH, isn't it
2021-04-06 12:26:23 <olligobber> yeah
2021-04-06 12:26:47 <tdammers> so you'd have to bite the bullet and write a pretty-printer that covers all the constructors
2021-04-06 12:27:26 <olligobber> or I could make it fail on constructors I don't think it will actually encounter
2021-04-06 12:27:27 <tdammers> and then use https://hackage.haskell.org/package/template-haskell-2.17.0.0/docs/Language-Haskell-TH.html#g:16 these fellows to massage individual names into a format you like
2021-04-06 12:27:43 <tdammers> yeah, or that. or just print something useless for them
2021-04-06 12:27:57 <tdammers> depends how serious and reusable you want to make it
2021-04-06 12:28:14 <olligobber> I expect most of my types to be fairly normal
2021-04-06 12:28:24 × andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2021-04-06 12:28:35 <olligobber> huh, what does nameBase do to type variables I wonder
2021-04-06 12:29:00 → andreas303 joins (~andreas@gateway/tor-sasl/andreas303)
2021-04-06 12:29:08 <tdammers> same as term variables. report the local name without a module prefix.
2021-04-06 12:29:25 <tdammers> if there's an underscore at the end, it'll still havethat
2021-04-06 12:29:30 <olligobber> I see
2021-04-06 12:29:33 <tdammers> but just removing the underscore isn't difficult at all
2021-04-06 12:29:42 <olligobber> what if there is a_0 and a_1
2021-04-06 12:29:45 → solvr joins (57e3c46d@87.227.196.109)
2021-04-06 12:29:57 <tdammers> well, then you would normally want to retain the whole thing to distinguish them
2021-04-06 12:30:15 <olligobber> I'm gonna write a smart renamer instead that just uses ['a'..'z'] as type variable names
2021-04-06 12:30:33 <tdammers> depends on your use case, but yes, that you could do
2021-04-06 12:33:47 × mkDoku quits (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 246 seconds)
2021-04-06 12:34:22 → malumore joins (~malumore@151.62.116.133)
2021-04-06 12:34:36 <olligobber> yeah I can re-use something like `reLabelInt :: (Ord x, Traversable t) => t x -> t Integer' from https://github.com/olligobber/DirectProof/blob/master/ReLabel.hs
2021-04-06 12:36:39 × geekosaur quits (ac3a53f2@172.58.83.242) (Quit: Connection closed)
2021-04-06 12:39:35 → geekosaur joins (ac3a53f2@172.58.83.242)
2021-04-06 12:41:45 × mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-04-06 12:41:50 × CitizenSnips quits (~CitizenSn@irc.refl.club) (Remote host closed the connection)
2021-04-06 12:42:52 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-06 12:43:02 → CitizenSnips joins (~CitizenSn@irc.refl.club)
2021-04-06 12:43:40 → ukari joins (~ukari@unaffiliated/ukari)
2021-04-06 12:45:38 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-06 12:46:10 × CitizenSnips quits (~CitizenSn@irc.refl.club) (Client Quit)
2021-04-06 12:47:00 → waleee-cl joins (uid373333@gateway/web/irccloud.com/x-nfsshumoaduyxswb)
2021-04-06 12:50:01 → CitizenSnips joins (~CitizenSn@irc.refl.club)
2021-04-06 12:51:22 → mmmattyx joins (uid17782@gateway/web/irccloud.com/x-kuttqhjrmgrkynne)
2021-04-06 12:53:43 × shalokshalom quits (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Ping timeout: 246 seconds)
2021-04-06 12:54:58 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-06 12:55:32 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-06 12:56:59 × maroloccio quits (~marolocci@pousada3ja.mma.com.br) (Quit: WeeChat 2.3)
2021-04-06 12:59:41 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-06 13:00:14 → bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-04-06 13:02:11 → typetetris joins (uid275937@gateway/web/irccloud.com/x-ffiqklyrigbqxewu)
2021-04-06 13:02:47 → minoru_shiraeesh joins (~shiraeesh@109.166.56.223)
2021-04-06 13:04:42 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2021-04-06 13:08:57 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-04-06 13:09:06 → haskellstudent joins (~quassel@213-225-9-45.nat.highway.a1.net)
2021-04-06 13:10:15 × bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 268 seconds)
2021-04-06 13:10:58 × forell quits (~forell@unaffiliated/forell) (Quit: ZNC - https://znc.in)
2021-04-06 13:11:11 × deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1)
2021-04-06 13:11:51 → forell joins (~forell@unaffiliated/forell)
2021-04-06 13:13:05 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2021-04-06 13:13:08 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-06 13:13:29 × nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-06 13:15:16 → carlomagno joins (~cararell@148.87.23.11)
2021-04-06 13:17:04 × CaptainIRS quits (9d339880@157.51.152.128) (Quit: Connection closed)
2021-04-06 13:19:26 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds)
2021-04-06 13:19:33 → barthandelous joins (~calebbrze@2600:1007:b0a1:3aa7:b579:e4ea:b055:38a9)
2021-04-06 13:19:46 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-06 13:20:05 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-06 13:21:49 → xourt joins (d4c620ea@212-198-32-234.rev.numericable.fr)
2021-04-06 13:22:17 <olligobber> ok, my render function is slightly better
2021-04-06 13:22:26 <olligobber> `((->) a) a'
2021-04-06 13:22:32 <olligobber> `((->) Bool) ((->) Bool) Bool'
2021-04-06 13:22:46 <olligobber> could use some work though
2021-04-06 13:24:47 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-04-06 13:26:23 <olligobber> ah, missing brackets, yay
2021-04-06 13:30:00 × LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-04-06 13:31:57 → LKoen joins (~LKoen@65.250.88.92.rev.sfr.net)
2021-04-06 13:31:59 × LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2021-04-06 13:33:11 <olligobber> yay it worked!
2021-04-06 13:34:54 → kiweun joins (~kiweun@2607:fea8:2a62:9600:b11f:2c4a:f9e7:6e7d)
2021-04-06 13:37:08 <emmanuel_erc> So at my soon to be previous job, I had to maintain a Haskell codebase that is going to be rewritten (to Typescript)
2021-04-06 13:37:23 <emmanuel_erc> I think I've heard from people here before that Haskell codebase rewrites are common in the industry.
2021-04-06 13:37:43 <olligobber> why not purescript?
2021-04-06 13:37:57 <emmanuel_erc> I don't see the need to go into th reasons why it happened at my previous job, but I'd like to ask if it is common that Haskell codebases, what are some common reasons.
2021-04-06 13:38:53 <emmanuel_erc> olligobber: Because they think typescript is more popular and they'd like to open source the project (they really want PRs from other people not at the compnay)
2021-04-06 13:39:06 × cafce25 quits (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-04-06 13:39:11 × kiweun quits (~kiweun@2607:fea8:2a62:9600:b11f:2c4a:f9e7:6e7d) (Ping timeout: 250 seconds)
2021-04-06 13:39:17 <olligobber> hmm, as someone who hasn't used typescript I guess I can't judge yet
2021-04-06 13:39:41 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-04-06 13:39:45 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-06 13:40:24 <lortabac> emmanuel_erc: I don't know how common they are, it has happened to me and I've heard of at least 3 similar rewrite stories at big companies
2021-04-06 13:40:45 <olligobber> merijn, want to see the dark magic? https://github.com/olligobber/IotaBF/blob/70d04088bac1f56c4660be1f7ba6e16ef0403a01/src/PrintLambdasTemplate.hs#L34
2021-04-06 13:41:21 <olligobber> note I have no idea if it works properly, but it works on my test cases
2021-04-06 13:41:46 <lortabac> emmanuel_erc: the common theme seem to be an ambitious manager looking for an easy way of promoting themselves
2021-04-06 13:43:35 → cafce25 joins (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-04-06 13:44:07 × cafce25 quits (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Client Quit)
2021-04-06 13:44:18 → cafce25 joins (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-04-06 13:44:23 × geekosaur quits (ac3a53f2@172.58.83.242) (Quit: Connection closed)
2021-04-06 13:45:11 <emmanuel_erc> that seems to be the case here as well.
2021-04-06 13:45:18 × tetrahedron quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds)
2021-04-06 13:46:44 <emmanuel_erc> I mean they don't come right out and say that. How did everyone else come to the conclusion that there was some ambitious manager looking to promote themselves?
2021-04-06 13:47:12 <lortabac> that was my own conclusion
2021-04-06 13:47:23 <lortabac> based on the stories I have witnessed and heard
2021-04-06 13:47:39 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds)
2021-04-06 13:49:18 <lortabac> that said, I have also heard of rewrites for technical reasons -- there was a team migrating to Go because of the long GC pauses
2021-04-06 13:50:05 <lortabac> they wrote a blog post IIRC
←Prev  Next→
Page 1 .. 4239 4240 4241 4242 4243 4244 4245 4246 4247 4248 4249 .. 5022

All times are in UTC.