News for hackers. Stuff that matters.
Re:Java record pattern matching in JDK 19 by SemanticStrengh on Saturday May 14, 2022 @03:04PM (#31381230)
yes or flow typing https://en.wikipedia.org/wiki/Flow-sensitive_typing It probably overlap with the research on gradual typing too

There are no comments on this comment yet.