Conversation

Notices

1. T man :sex: :puffgiga: :puffpowerroll: (epic music enjoyer) (theorytoe@ak.kyaruc.moe)'s status on Saturday, 11-Feb-2023 13:05:26 JST T man :sex: :puffgiga: :puffpowerroll: (epic music enjoyer)

   • 🌲Number 1 Pleroma Criminal on XBL 🇵🇱|🇺🇸
   Aight, Im gonna learn Ada
   
   @PhenomX6 has convinced me well enough
   • T man :sex: :puffgiga: :puffpowerroll: (epic music enjoyer) (theorytoe@ak.kyaruc.moe)'s status on Saturday, 11-Feb-2023 13:05:25 JST T man :sex: :puffgiga: :puffpowerroll: (epic music enjoyer)

     in reply to

     • 🌲Number 1 Pleroma Criminal on XBL 🇵🇱|🇺🇸
     • hazlin
     @hazlin @PhenomX6
     
     from the analysis ive done:
     - exterme levels of compiler checks
     it has a very rigorous set of checks for locating runtime/compiletime issues that rivals rust imo (since its more rigorous than just checking for memory-related issues)
     
     - type system
     ada doesnt really have a "traditional" type system, that is you dont have primitive types that you base other types off of. Instead you define type you need in code, then the compiler does the heavy lifting of doing the actual computations of memory requirements and whatnot
     
     you can also extend your types with subtypes, allowing an "inheritance (sortof)" model with type definitions
     
     - no oop (a big one in my mind)
     - nice concurrency system
     - nice range iteration structures
     🌲Number 1 Pleroma Criminal on XBL 🇵🇱|🇺🇸 likes this.
   • hazlin (hazlin@poa.st)'s status on Saturday, 11-Feb-2023 13:05:26 JST hazlin

     in reply to

     • 🌲Number 1 Pleroma Criminal on XBL 🇵🇱|🇺🇸
     @theorytoe @PhenomX6 What are the key points that won you over?