3 ms·
You don't have to add types to things, but you can via typespecs. The type analyzer then attempts to discover the types of things and can type check the program
by saurik 2y ago
You don't have to add types to things, but you can via typespecs. The type analyzer then attempts to discover the types of things and can type check the program as well as it can based on what you give it. Some people use more explicit type signatures, others less.
- behnamoh 2y agoI can't believe it's THE saurik I'm responding to! Thanks for all your work on iOS jailbreaking and Cydia (had a lot of memories with it).