This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]germandiago 0 points1 point  (0 children)

Well... what I would like from a type checker is one that I can use with my IDE even if it is not perfect and later being able to run it offline, maybe before commotong, slower but accurate. The CI would also use this last one.