Comment Comment by seanbax The Profiles authors are the ones claiming this uses local analysis only: https://news.ycombinator.com/item?id=41942126They are clear that Profiles infers everything from function types and not function bodies. Obviously that won't work, but that's what they say. parent seanbax 1 year ago
They are clear that Profiles infers everything from function types and not function bodies. Obviously that won't work, but that's what they say.