Type annotations and runtime checking for shape and dtype | Heykuki News