Yet some languages are extremely helpful in this regard: see for instance F* and the HACL* library.