If we were to create a Rust version of this page for Haskell, what cool programming techniques would you add to it?

  • Ephera@lemmy.ml
    link
    fedilink
    arrow-up
    12
    ·
    5 hours ago

    A cool thing you can do, is to store values of all kinds of types in a big HashMap, basically by storing their TypeId and casting them to Box<dyn Any> (see std::any).
    Then you can later retrieve those values by specifying the type (and optionally another ID for storing multiple values of the same type).

    So, you can create an API which is used like this:

    let value = MyType::new();
    storage.insert(value);
    let retrieved = storage.get::<MyType>();
    assert_eq!(retrieved, value);
    

    There’s various ECS storage libraries which also implement such an API. Depending on what you’re doing, you might prefer to use those rather than implementing it yourself, but it’s not too difficult to implement yourself.

    • Buttons
      link
      fedilink
      English
      arrow-up
      1
      ·
      3 hours ago

      What if I specify the wrong type? let retrieved = storage.get::<SomeOtherType>();?

      Is it a runtime error or a compile time error?

        • Ephera@lemmy.ml
          link
          fedilink
          arrow-up
          1
          ·
          edit-2
          3 hours ago

          Well, you would determine the TypeId of SomeOtherType, then search for that as the key in your HashMap and get back a None, because no entry exists and then you’d hand that back to the user.
          I guess, my little usage example should’ve included handling of an Option value…

          So, it’s only a runtime error, if you decide to .unwrap() or similar.