To me it's pretty clear that safety is a spectrum (e.g. we give cars safety rati...

		throwaway46281 on Sept 30, 2023 \| parent \| context \| favorite \| on: Compile-time safety for enumerations in Go To me it's pretty clear that safety is a spectrum (e.g. we give cars safety ratings), and therefore so is type safety. Is "type safety" something you saw defined in a PL book or something, which has a more rigid definition to you?