OCaml. For example here are some types I wrote that exactly describe an HTTP cache-control response header in a way that makes it impossible to create incorrect values of the header: https://yawaramin.github.io/re-web/re-web/ReWeb/Header/Cache...