Do you need it at this level? At some point everything is a bit-field. We impose typing to aid our mental models and build useful abstractions.
When interacting with the kernel we can let go, then reclaim, our types
Do you need it at this level? At some point everything is a bit-field. We impose typing to aid our mental models and build useful abstractions.
When interacting with the kernel we can let go, then reclaim, our types