Zunel on Nostr: npub1vgs5r…suja8 Yeah, that's what gets me. Types imo are both a way of enforcing ...

npub1vgs5rx9km8njvq8e5fs7a2c2yzzmvuwfjpqwgxxlyqf6kmfeds0q7suja8 (npub1vgs…uja8) Yeah, that's what gets me. Types imo are both a way of enforcing particular relationships/expectations, and a way of describing a set of properties about an object, and yet it seems like languages prioritize one over the other in almost all cases (C might be the only exception, but it's, you know, C). Or prioritize neither, like python. I want both to be on equal footing!