Does this require that the file is available locally or does it do network io at compile time?
There is no magic here. No language can guess the type of anything without seeing what the thing is.
I think needing network access or file access at compile time is a semi-hard blocker for statically typed dataframes.