If we unify everything into a function call ast node then type checking will just be checking calls.
We can define everything in these functions since we have a Hydro macro.
Should we have default packages imported in every program? I am not sure honestly I may try without a default and then just have no default operators (except "." since I think that would be necessary).
If we unify everything into a function call ast node then type checking will just be checking calls.
We can define everything in these functions since we have a Hydro macro.
Should we have default packages imported in every program? I am not sure honestly I may try without a default and then just have no default operators (except "." since I think that would be necessary).