Exploring typing #4
Description
Adding a type checker maybe with type inference looks fun. Maybe a goal after having a toy compiler outputing bytecode/exec simple lang.
{{ message }}
Adding a type checker maybe with type inference looks fun. Maybe a goal after having a toy compiler outputing bytecode/exec simple lang.