Skip Navigation

Programming @programming.dev

abobla @lemm.ee

2y ago

Java 21 makes me actually like Java again

Java 21 makes me actually like Java again

Java @programming.dev

Andy Costanza @programming.dev

2y ago

#Java 21's pattern matching could actually convince me to touch Java again

wscp.dev /posts/tech/java-pattern-matching/

10 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.
- They allude to this later, acknowledging that it's sort of a cross between unit and bottom.
  
  No 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)
It's nice that Java has gotten those features but the article is pretty confused about type theory.
It'll probably take Valhalla for me, personally.
When did you start liking it?

10 comments