Rich Hickey's view on static types as a modeling language (similar to UML):

youtu.be/2V1FtfBDsLU?t=3965

#clojure