Formal specifications and static checking of interfaces in Julia | Heykuki News