Java 21 makes me actually like Java again
Java 21 makes me actually like Java again
9
comments
I'm not sure I agree that Void is a bottom type. If so, void-functions would never be able to return/terminate. Java's void is probably more of a unit type.
10 0 ReplyThey allude to this later, acknowledging that it's sort of a cross between unit and bottom.
5 0 ReplyNo it's not, it is 100% a unit type (except it's not really a type, since you can only use it as return type and nowhere else)
4 0 Reply
It's nice that Java has gotten those features but the article is pretty confused about type theory.
7 0 ReplyIt'll probably take Valhalla for me, personally.
5 0 ReplyWhen did you start liking it?
2 0 Reply
9
comments
Scroll to top