You might be correct. There have been attempts to have types outside the main source or in comments for many dynamically typed languages. They seem to fail due

You might be correct. There have been attempts to have types outside the main source or in comments for many dynamically typed languages. They seem to fail due bad programming ergonomics, as maintaining separate "header" files is cumbersome (hello C my old friend).