I have some confusion how a dynamically typed interpreted language that allows nulls interfaces with something that expects types, null safety, and ultimately is compiled.