Logs: liberachat/#haskell
| 2021-05-25 06:54:30 | → | cheater joins (~Username@user/cheater) |
| 2021-05-25 06:54:39 | → | ixlun joins (~user@195.213.99.113) |
| 2021-05-25 06:54:41 | ← | Guest6067 parts (~Guest6067@mail.haasprofile.cz) () |
| 2021-05-25 06:56:33 | aforemny_ | is now known as aforemny |
| 2021-05-25 06:56:53 | → | m_shiraeeshi joins (~shiraeesh@46.34.207.100) |
| 2021-05-25 06:56:55 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-25 06:58:49 | → | chele joins (~chele@user/chele) |
| 2021-05-25 07:03:53 | <fabfianda> | well, type safety for sure (as web dev I was used to dynamically typed languages) but more importantly it changed my mindset about problem solving. OOP and imperative programming always felt kind of flawed, while functional programming is so natural to me. And, finally, easy refactoring Is Haskell killer feature, gives me literally peace of mind, something I had never felt before :) |
| 2021-05-25 07:04:18 | → | raym joins (~raym@user/raym) |
| 2021-05-25 07:04:56 | → | chele_ joins (~chele@user/chele) |
| 2021-05-25 07:05:06 | chele | is now known as Guest2488 |
| 2021-05-25 07:05:06 | × | Guest2488 quits (~chele@user/chele) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 2021-05-25 07:05:06 | chele_ | is now known as chele |
| 2021-05-25 07:05:44 | <Axman6> | The work I'm doing at the moment is mostly adding a field to a bunch of data types, and following the type errors until I've found everywhere I need to update it |
| 2021-05-25 07:10:37 | <dminuoso> | At times I wonder whether that kind of refactoring should receive more attention. |
| 2021-05-25 07:11:00 | <dminuoso> | Most of that work seems very repetitive, almost as if this could be automated a lot more easily. |
| 2021-05-25 07:11:36 | <dminuoso> | Didn't Sandy Maguire work on some tooling around graphical programming (with the intent to make programming on tablets a possibility)? |
| 2021-05-25 07:11:37 | <Axman6> | I really do want a tool to do it for me, 90% of this work is very mechanical, but it's syntactically not that easy to automate (if we had decent structural change tools it might be easier - I've wanted lenses over Haskell syntax for a long time) |
| 2021-05-25 07:12:13 | <dminuoso> | Ah, `wingman` is what I was thinking of |
| 2021-05-25 07:12:23 | <dminuoso> | https://haskellwingman.dev/ |
| 2021-05-25 07:13:53 | <Axman6> | that wouldn't help us much here sadly |
| 2021-05-25 07:14:12 | × | Techcable quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
| 2021-05-25 07:15:17 | <Axman6> | I want to be able to do things like: Given this list of fully wualified type names, add a field to these types with name foo and type Bar - then in the places where we create those types, (somehow) add a call to the function that gets a Bar and adds that field |
| 2021-05-25 07:16:09 | → | Techcable joins (~Techcable@168.235.93.147) |
| 2021-05-25 07:16:54 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-05-25 07:17:46 | <dminuoso> | On emacs at the very least, with ghcide+compilation-mode or lsp/lsp-haskell/lsp-treemacs you can navigate around all error points quickly |
| 2021-05-25 07:17:53 | wz1000_ | is now known as wz1000 |
| 2021-05-25 07:17:57 | <dminuoso> | So there's that |
| 2021-05-25 07:17:59 | <Axman6> | it's really mechanical if you have something type aware |
| 2021-05-25 07:18:08 | <Axman6> | yeah lsp has made this much more pleasant that's for sure |
| 2021-05-25 07:18:09 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Quit: WeeChat 2.8) |
| 2021-05-25 07:18:11 | <dminuoso> | Axman6: I think wingman is already on the right approach here. |
| 2021-05-25 07:18:15 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2021-05-25 07:18:24 | <dminuoso> | At least based on what I heard from Sandy about it on haskell weekly |
| 2021-05-25 07:18:28 | <Axman6> | HLS really, I guess |
| 2021-05-25 07:18:31 | <dminuoso> | yeah |
| 2021-05-25 07:18:42 | <dminuoso> | If only the resource requirements weren't as hefty |
| 2021-05-25 07:18:50 | → | kadoban joins (~mud@user/kadoban) |
| 2021-05-25 07:18:52 | <dminuoso> | It feels like I need to quadruple my memory this year. |
| 2021-05-25 07:18:59 | <Axman6> | Our dev machines have 64GB RAM for a reason :P |
| 2021-05-25 07:19:18 | <dminuoso> | Sitting on 16GiB here. |
| 2021-05-25 07:19:36 | <Axman6> | my personal machine is 32 and that seems to work well |
| 2021-05-25 07:19:58 | <dminuoso> | Yeah, my next laptop will have 48GiB soldered in probably |
| 2021-05-25 07:20:07 | × | Techcable quits (~Techcable@168.235.93.147) (Client Quit) |
| 2021-05-25 07:20:13 | <dminuoso> | But I need that much memory to run a fleet of cumulus linux VMs anyway |
| 2021-05-25 07:20:14 | <Axman6> | ... according to iStat Menues, VS Code is using 40GB at the moment, most of that will be the lsp for DAML though |
| 2021-05-25 07:20:26 | → | Techcable joins (~Techcable@168.235.93.147) |
| 2021-05-25 07:20:35 | <dminuoso> | Ouch |
| 2021-05-25 07:21:22 | × | ziman quits (~ziman@c25-5.condornet.sk) (Changing host) |
| 2021-05-25 07:21:22 | → | ziman joins (~ziman@user/ziman) |
| 2021-05-25 07:21:44 | <Axman6> | heh, yeah damlc is using 27GB - I should restart it... |
| 2021-05-25 07:22:25 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Client Quit) |
| 2021-05-25 07:22:40 | → | taeaad joins (~taeaad@user/taeaad) |
| 2021-05-25 07:24:14 | Axman6 | quits Docker out of spite too |
| 2021-05-25 07:24:54 | <Hecate> | swet hell |
| 2021-05-25 07:25:21 | → | bec joins (~bec@lfbn-idf1-1-2267-111.w92-151.abo.wanadoo.fr) |
| 2021-05-25 07:26:04 | × | bec quits (~bec@lfbn-idf1-1-2267-111.w92-151.abo.wanadoo.fr) (Changing host) |
| 2021-05-25 07:26:04 | → | bec joins (~bec@user/bec) |
| 2021-05-25 07:26:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-25 07:27:07 | → | wz1000 joins (~zubin@2a01:4f8:1c0c:40d9::1) |
| 2021-05-25 07:28:06 | × | wz1000 quits (~zubin@2a01:4f8:1c0c:40d9::1) (Client Quit) |
| 2021-05-25 07:28:13 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2021-05-25 07:32:34 | × | jco quits (~jco@c83-248-173-38.bredband.tele2.se) (Read error: Connection reset by peer) |
| 2021-05-25 07:37:58 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2021-05-25 07:39:16 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 2021-05-25 07:39:32 | → | cdsmithus joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-25 07:39:46 | × | raym quits (~raym@user/raym) (Ping timeout: 264 seconds) |
| 2021-05-25 07:40:22 | × | xff0x_ quits (~xff0x@2001:1a81:531f:9800:5685:5dfc:fd90:b20e) (Ping timeout: 264 seconds) |
| 2021-05-25 07:41:07 | → | xff0x_ joins (~xff0x@2001:1a81:531f:9800:4a5f:2bda:8693:c79e) |
| 2021-05-25 07:41:39 | × | kadoban quits (~mud@user/kadoban) (Ping timeout: 264 seconds) |
| 2021-05-25 07:42:10 | × | cdsmith quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-25 07:43:53 | → | Franciman joins (~francesco@host-80-180-196-134.retail.telecomitalia.it) |
| 2021-05-25 07:44:29 | → | tA joins (~thorn@121.220.36.168) |
| 2021-05-25 07:45:02 | × | novedevo quits (~novedevo@d154-5-30-77.bchsia.telus.net) (Read error: Connection reset by peer) |
| 2021-05-25 07:48:39 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 272 seconds) |
| 2021-05-25 07:51:04 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Remote host closed the connection) |
| 2021-05-25 07:51:06 | → | mud joins (~mud@ip68-3-82-79.ph.ph.cox.net) |
| 2021-05-25 07:51:20 | × | mud quits (~mud@ip68-3-82-79.ph.ph.cox.net) (Changing host) |
| 2021-05-25 07:51:20 | → | mud joins (~mud@user/kadoban) |
| 2021-05-25 07:57:10 | × | slice quits (~slice@user/slice) (Ping timeout: 264 seconds) |
| 2021-05-25 07:58:23 | → | FragByte joins (~christian@user/fragbyte) |
| 2021-05-25 08:02:08 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-25 08:04:39 | ozzymcdu1f | is now known as ozzymcduff |
| 2021-05-25 08:07:33 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2021-05-25 08:07:44 | → | fendor joins (~fendor@178.165.131.25.wireless.dyn.drei.com) |
| 2021-05-25 08:07:47 | × | S11001001 quits (sid42510@id-42510.charlton.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-05-25 08:08:11 | × | tapas quits (sid467876@charlton.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-05-25 08:10:43 | × | bw quits (sid2730@user/betawaffle) (Ping timeout: 272 seconds) |
| 2021-05-25 08:10:55 | × | angerman quits (sid209936@id-209936.charlton.irccloud.com) (Read error: Connection reset by peer) |
| 2021-05-25 08:11:42 | × | SethTisue__ quits (sid14912@id-14912.charlton.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-25 08:12:37 | × | jonrh quits (sid5185@id-5185.charlton.irccloud.com) (Ping timeout: 265 seconds) |
| 2021-05-25 08:12:55 | → | tapas joins (sid467876@id-467876.charlton.irccloud.com) |
| 2021-05-25 08:13:00 | → | hpc_ joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-05-25 08:13:15 | × | gmc quits (sid58314@charlton.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-05-25 08:13:20 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:1197:e208:ab4e:a6de) |
| 2021-05-25 08:13:25 | → | biberu\ joins (~biberu@user/biberu) |
| 2021-05-25 08:13:33 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 264 seconds) |
| 2021-05-25 08:13:33 | × | supersven quits (uid501114@id-501114.charlton.irccloud.com) (Read error: Connection reset by peer) |
| 2021-05-25 08:14:28 | → | supersven joins (uid501114@charlton.irccloud.com) |
| 2021-05-25 08:14:37 | × | ProofTechnique quits (sid79547@charlton.irccloud.com) (Ping timeout: 272 seconds) |
All times are in UTC.