moodymudskipper/typed

Implicit types

moodymudskipper opened this issue · 2 comments

moodymudskipper commented

? x <- 1 should type x as a double.

Typeof should be used first and the atomic type is used if relevant, using our native type checkers, or using Any with typeof arg if we didn't define one.
If not atomic, we'll match the class, if it's a class we have in native types we use our native type, else we use Any with class arg.

It should support constants too.

github-actions commented

This old thread has been automatically locked. If you think you have found something related to this, please open a new issue and link to this old issue if necessary.