Sure. Hardware is inherently not safe; the key is to build up safe abstractions around it by using the type system.