We are still in the mission to carry out several types of checks, and our plan is to allow writing let x: i32 = 3.0;Then produce a type of error because 3.0 not an integer that can be stored in i32. The last part of the puzzles is to be able to handle 3.0 Bit – IE to get Lex, Parse, and evaluate floating points numbers.
You can find the source code at codeberg.org/andybalaam/milk and more of my items in artificialworlds.net