Notices

1. Devine Lu Ator (neauoire@merveilles.town)'s status on Friday, 27-May-2022 16:05:02 CEST Devine Lu Ator

   Wrote a quick linter for #uxn, that raises warning for common optimizations. I will add more recipes as we find them.

   Missing an optimization? Add it here: https://git.sr.ht/~rabbits/uxnlin/tree/main/item/src/uxnlin.tal#L178

   • Kartik Agaram (akkartik@merveilles.town)'s status on Friday, 27-May-2022 16:04:59 CEST Kartik Agaram

     in reply to

     • Andy Alderwick

     @neauoire @alderwick There's an interesting discussion about tail call elimination in Forth at https://wiki.c2.com/?TailCallOptimization. Neither it nor Scheme provide for pragmas to disable optimizations, I believe 🤔

   • Devine Lu Ator (neauoire@merveilles.town)'s status on Friday, 27-May-2022 16:04:59 CEST Devine Lu Ator

     in reply to

     • Kartik Agaram
     • Andy Alderwick

     @akkartik @alderwick this is the clearest definition of tail-call optimization that I have ever read 🙏

   • Devine Lu Ator (neauoire@merveilles.town)'s status on Friday, 27-May-2022 16:05:00 CEST Devine Lu Ator

     in reply to

     • Kartik Agaram
     • Andy Alderwick

     @akkartik @alderwick It won't be nagging anyone unless they, like me, go about to assemble the linter and run their code through it. I made this for myself to see if I had some blindspots, and it turns out I do, I'm not saying I will obey all suggestions, but I will try to make the applications as fast as I possibly can for the user, even if that means making the code more convoluted.

   • Kartik Agaram (akkartik@merveilles.town)'s status on Friday, 27-May-2022 16:05:00 CEST Kartik Agaram

     in reply to

     • Andy Alderwick

     @neauoire @alderwick That makes sense 👍 I just feel defensive with most linters 😄

   • Devine Lu Ator (neauoire@merveilles.town)'s status on Friday, 27-May-2022 16:05:00 CEST Devine Lu Ator

     in reply to

     • Kartik Agaram
     • Andy Alderwick

     @akkartik @alderwick I've given in 🤦♀️
     https://git.sr.ht/~rabbits/uxn/commit/5a0e0c56aab08388833892129eae25be8e9dd208

   • Andy Alderwick (alderwick@merveilles.town)'s status on Friday, 27-May-2022 16:05:00 CEST Andy Alderwick

     in reply to

     • Kartik Agaram

     @neauoire @akkartik I like it! I'm used to doing that optimisation manually, but now I can have

     ;do-something JSR2
     JMP2r

     not worry about writing that optimisation, and now when I add “;do-something-more JSR2” I can think less about changing the ending. 😊

     However, we also have folx in IRC unhappy already about LIT merging, so to help them out we could incorporate a setting to turn all optimisations off somehow. Something both uxnasm and asma need to recognise per source file? 🤔

     #uxn

   • Kartik Agaram (akkartik@merveilles.town)'s status on Friday, 27-May-2022 16:05:01 CEST Kartik Agaram

     in reply to

     @neauoire Turning "JSR2 JMP2r" into "JMP2" (tail call elimination) does feel like it makes the code a little harder to read. There's something reassuring about the way you have a function call per line at the moment.

   • Devine Lu Ator (neauoire@merveilles.town)'s status on Friday, 27-May-2022 16:05:01 CEST Devine Lu Ator

     in reply to

     • Kartik Agaram
     • Andy Alderwick

     @akkartik I know right, I haven't really found a good way to handle that yet, it might be that the assemblers should handle that, but I'm not sure if that's the best idea.

     @alderwick and a few others have, from the very beginning, closed their routines in the same indent level as the body of the routine, and I'm starting to regret not catching on that habit earlier.

   • Kartik Agaram (akkartik@merveilles.town)'s status on Friday, 27-May-2022 16:05:01 CEST Kartik Agaram

     in reply to

     • Andy Alderwick

     @neauoire @alderwick Can I ask what the motivation is for the optimizations?

     Idea: distinguish between optimizations and _idioms_. If someone's writing something in an unncessarily convoluted way, a linter is a good way to remind them of features.

     But programs are often fast enough. Nagging about optimizations might seem heavy handed. Show that sort of advice outside of build.sh, only when asked. "My app is slow, do you have any suggestions?" That way also lies a profiler.

   • Devine Lu Ator (neauoire@merveilles.town)'s status on Friday, 27-May-2022 16:05:01 CEST Devine Lu Ator

     in reply to

     • Kartik Agaram
     • Andy Alderwick

     @akkartik @alderwick this is not part of the assembler or anything, it's basically the tool you dig out when you're looking for optimizations.

   • Devine Lu Ator (neauoire@merveilles.town)'s status on Friday, 27-May-2022 16:05:02 CEST Devine Lu Ator

     in reply to

     "My text editor is as optimized as it can be.."

     arg fuck me

   • Ekaitz Zárraga 👹 (ekaitz_zarraga@mastodon.social)'s status on Friday, 27-May-2022 16:05:32 CEST Ekaitz Zárraga 👹

     in reply to

     • Kartik Agaram
     • Andy Alderwick

     @neauoire @akkartik @alderwick I wrote about it a while ago, if you want to take a look... https://ekaitz.elenq.tech/call-me-maybe.html

     🤓