5 ms·

This talk – "Programming without pointers" – by Andrew Kelley may be interesting to you. https://www.hytradboi.com/2025/05c72e39-c07e-41bc-ac40-85e8308f2917-pr

• throwaway27448 4mo ago
  Learning to program with pointers is enormously useful. It's simply bad software engineering to not use typing to enforce constraints on access to pointers (or addresses, or however you'd like to term them)
  • doyougnu 4mo ago
    IIRC that talk of about using indices (u32) to represent data in an array. That is orthogonal to representing that information in the type system since you can just type the index
    • deleted 4mo ago
      [deleted]
    • throwaway27448 4mo ago
      How do you distinguish the array from the index? Is an array not just a pointer and index description?
• codethief 4mo ago
  Interesting talk, thanks for sharing!