OCaml กับ Crystal เป็นภาษาแบบ static typing แต่เราไม่ต้องใส่ type ก็ได้เดี๋ยว compiler ใส่ให้