Skip Navigation

Programming @programming.dev abobla @lemm.ee 11mo ago

Java 21 makes me actually like Java again

wscp.dev Java 21 makes me actually like Java again

Algebraic data types in Java.

Java @programming.dev Andy Costanza @programming.dev 10mo ago

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

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

6 0

Hacker News @lemmy.smeargle.fans bot @lemmy.smeargle.fans

11mo ago

Java 21 makes me like Java again

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

3 0

Hacker News @derp.foo haxor @derp.foo

11mo ago

Java 21 makes me like Java again

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

1 0

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.
- 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?

9 comments