Conversation

Notices

1. Embed this notice
   Lizzie (lizzie@brain.worm.pink)'s status on Friday, 30-Aug-2024 15:19:39 JST Lizzie

   i get why ocaml has those stupid integer sizes. it really is convenient for gc

   • Embed this notice
     iced depresso (icedquinn@blob.cat)'s status on Friday, 30-Aug-2024 15:19:37 JST iced depresso

     in reply to
     @lizzie they shave some of the bits for internal use yes. rather annoying.
   • Embed this notice
     iced depresso (icedquinn@blob.cat)'s status on Friday, 30-Aug-2024 15:22:21 JST iced depresso

     in reply to

     • iced depresso
     @lizzie it seems like borrow checking†, copy/move, and linear typing may remove the need to deal with GCs. though i guess that still puts some cognitive burden on programming and sometimes a language is just there to cram out a job and not be efficient.
     
     † not sure what rust is doing these days. their checker seems to use some huge semantic engine now.