Conversation

Notices

1. Embed this notice
   Ryan Castellucci :nonbinary_flag: (ryanc@infosec.exchange)'s status on Thursday, 25-Jan-2024 12:53:20 JST Ryan Castellucci :nonbinary_flag:

   My Rust code: compiles successfully
   Me: I have proved my code is correct, not that it works.

   • Embed this notice
     Ryan Castellucci :nonbinary_flag: (ryanc@infosec.exchange)'s status on Thursday, 25-Jan-2024 12:58:35 JST Ryan Castellucci :nonbinary_flag:

     in reply to

     Honestly though, I kinda like this?

     I really appreciated at my last job when we switched from CoffeeScript (which can output syntactically a invalid JavaScript without producing an error) to TypeScript, which would frequently catch mistakes.

   • Embed this notice
     Ryan Castellucci :nonbinary_flag: (ryanc@infosec.exchange)'s status on Thursday, 25-Jan-2024 14:19:24 JST Ryan Castellucci :nonbinary_flag:

     in reply to

     My biggest annoyance with Rust is that I can't subclass types. Yes, I know about the "Newtype" pattern, doesn't address cases where I need to add functionality requiring new fields.

   • Embed this notice
     Citty (citty@infosec.exchange)'s status on Thursday, 25-Jan-2024 14:34:27 JST Citty

     in reply to

     @ryanc Funnily enough, this is part of what I like about it. Subclassing quickly confuses (at least for me), and not having it helps avoid the gorilla problem.

   • Embed this notice
     Ryan Castellucci :nonbinary_flag: (ryanc@infosec.exchange)'s status on Thursday, 25-Jan-2024 22:40:28 JST Ryan Castellucci :nonbinary_flag:

     in reply to

     • Citty

     @citty it's painful when you want to do something like make a wrapper that transparently decompresses files that will work with things that specifically expect a particular stdlib type.

   • Embed this notice
     Ryan Castellucci :nonbinary_flag: (ryanc@infosec.exchange)'s status on Thursday, 25-Jan-2024 22:44:46 JST Ryan Castellucci :nonbinary_flag:

     in reply to

     • Citty

     @citty the other code should have probably specified what it wanted via traits but it didn't