/public/post/2017-08-17-untyped-arithmetic-expressions/