Java Language Futures - Spring 2024 Edition

Поделиться
HTML-код
  • Опубликовано: 2 окт 2024
  • НаукаНаука

Комментарии • 70

  • @peacemakerle
    @peacemakerle 3 месяца назад +27

    Still crying for the Elvis operator. For business and database logic, this is the most missing Java feature. We don't want to wrap everything in Optional and lambdas.

    • @MrHamsterbacke756
      @MrHamsterbacke756 3 месяца назад +2

      Without null safety the elvis operator is just Syntax sugar wihthout much use.

    • @vinterskugge907
      @vinterskugge907 3 месяца назад +3

      They are instead going for nullness markers, so String! will be a String that cannot have null assigned to it.
      This is a better solution IMO. With the Elvis operator, you have to constantly remember to use it.

    • @peacemakerle
      @peacemakerle 3 месяца назад +3

      @@vinterskugge907 Well, this are two different things. We need both. The Elvis operator is for writing shorter code, especially when navigating through nested data structures.

    • @vinterskugge907
      @vinterskugge907 3 месяца назад

      @@peacemakerle Different but related: With nullness markers, the Elvis operator will be less useful, as many elements in those data structures will be marked non-null.
      So much less useful that it would not make sense to prioritize it. And I don't think they will (or should).

    • @peacemakerle
      @peacemakerle 3 месяца назад +1

      @@vinterskugge907 In real-life applications you will still have many situations where some element in the data structure can be null.

  • @keineangabe8993
    @keineangabe8993 3 месяца назад +16

    The pattern showed for AsyncResult looks exactly like a Rust enum, a shortcut to get that kind of thing would be great.

    • @personalaccount1515
      @personalaccount1515 Месяц назад +1

      Let me be clear, I am REALLY HAPPY that my loved Java could copycat the good things of other languages.

    • @f1aziz
      @f1aziz Месяц назад

      I am pretty sure I saw that pattern in Scala codebase I was working on few years ago.

  • @greatso9018
    @greatso9018 3 месяца назад +15

    It took me an embarrassingly long amount of time to userstand that this was not about new features applied to the spring framework.....
    I really like the new data oriented philosophy. The way to represent future's state with sealed class makes me think of rust's enums !
    I wonder if the rest of the APIs will shift this way. I'm thinking about optionnals, and maybe even an error type ?? (Since we still can't handle exceptions in a functionnal way without creating some custom "Try" type. It really is a pain point I experienced

  • @6konrad6
    @6konrad6 3 месяца назад +11

    AsyncReturn looks great! good to know about that

    • @shadeblackwolf1508
      @shadeblackwolf1508 3 месяца назад +2

      I think the design of AsyncReturn is a great alternative for some situations, but not a great showcase of the problem this solves. after all, this solution conflates happy and error paths in a way that is very much problematic for pure java code... however, when you call a rest api from your code, this could be really powerful, cause you may want to for example examine returns to see what exactly went wrong, and if it's worth retrying

    • @greatso9018
      @greatso9018 3 месяца назад

      ​@@shadeblackwolf1508I don't get why mixing the happy path and the error path would be a problem. Error as value is coming back strong in modern languages

    • @alexgorodecky1661
      @alexgorodecky1661 3 месяца назад +2

      No. Stack traces are gone. Have a luck to debug in production

    • @n_lisper
      @n_lisper 3 месяца назад

      @@alexgorodecky1661why would stack traces be gone? The exceptions should be stored in the records for you to do whatever you want with them

  • @adilsheikh9916
    @adilsheikh9916 Месяц назад

    I am still not sure why do we need JEP445 when Jshell is there...

  • @millodev
    @millodev 3 месяца назад +3

    Why Java is becoming more and more like Scala Language ?

    • @yilativs
      @yilativs 3 месяца назад +3

      it does not. Java slowly introduces new useful features that increase productivity without making code unreadable and keeping backward compatibility.

    • @viacheslavpivovarov6767
      @viacheslavpivovarov6767 3 месяца назад +3

      I can compile java 17 project with java 8 dependencies but I cannot compile scala 3 project with scala 2 dependencies 😢 (maybe because I'm butterfingered idk)

  • @robertomalatesta9143
    @robertomalatesta9143 3 месяца назад +1

    The unstoppable train marches on. 🍾👍

  • @peacemakerle
    @peacemakerle 3 месяца назад

    Using records widely here in business logic. But I really dislike that the canonical constructor of public records can not be private. Now, people are exposing constructors which should be private because there are static create-functions or builders which should be used instead.

  • @personalaccount1515
    @personalaccount1515 Месяц назад

    The "Better Return Type" looks like Result Pattern with steroids!, i like it

  • @rtorello75
    @rtorello75 3 месяца назад

    The "with" thing seems like a great addition to records. I live in Java 11 World right now, but will be moving up to JDK-21, hopefully, soon. I simply do not understand the massive amount of fan-fare about records, although the most interesting concept about that is that all records are "Read-Only" which seems like a reasonable addition. I know that while something (anything, really) is under development it will seem a lot more important to the programmers until they are finally finished with it.

  • @udayaprakashk
    @udayaprakashk 2 месяца назад

    Record pattern matching looks very verbose, why can’t we just shape instanceof Circle c and just use it?

  • @delanym
    @delanym 3 месяца назад +1

    Whats the benefit of records and sealed interface vs an enum?

    • @peacemakerle
      @peacemakerle 3 месяца назад +3

      This question makes no sense. Those things have completely different purposes.

    • @delanym
      @delanym 3 месяца назад

      ​@@peacemakerleit's because the sealed interface can model heterogeneous values and avoid unrepresentable states, while the enum is forced to include constants that do that. Otherwise it's overkill: just use enum

  • @JoeBrigAI
    @JoeBrigAI 3 месяца назад

    “Only use immutable data”, my database would like a word.

    • @JoeBrigAI
      @JoeBrigAI 3 месяца назад +1

      @lepingouindefeu I write Java enterprise applications that are all about modifying and managing mutable data.

  • @cobrab1978
    @cobrab1978 3 месяца назад

    Why records not return implicity in the accesors a defensive copy of a mutable fields?

    • @dispatch-indirect9206
      @dispatch-indirect9206 3 месяца назад +1

      There's no single, correct way to defensively copy objects. Object.clone(), when it works, only makes a shallow copy.
      If you need e.g. a List as a field, you can do this to force it to be immutable:
      record R (List x) {
      R { // shorthand skips the arguments
      x = List.copyOf(x);
      } }

  • @B_knows_A_R_D-xh5lo
    @B_knows_A_R_D-xh5lo 2 месяца назад

    😊

  • @valcron-1000
    @valcron-1000 3 месяца назад +3

    37:50. I fundamentally disagree. You could have made the exceptions on the original signature checked and get the same benefits of the compiler telling you if you miss any case plus:
    - Avoids the additional boxing due to the `AsyncResult` type, plus better performance in the happy path
    - You get stack traces in the cases of failure (`Failure`, `Timeout` and `Interrupted`)
    - You can quickly propagate to the caller unlike `AsyncResult` (no `?` operator or similar)
    - Compositions comes for free. If a function `f` throws `X` and function `g` throws `Y`, then a function that calls both functions can throw `X & Y` due to the fact that `throws` supports a union of exceptions. With a sealed interface you don't get that, meaning that the dev now needs to create a wrapper for the result types (see `anyhow` in Rust for example)
    I don't think we're gaining anything valuable with this. I would much rather have proper support for Nullable types or a better `catch` clause for multiple exceptions types (syntax sugar on top of multiple `catch` clauses)

    • @Rajput-vv9vs
      @Rajput-vv9vs 3 месяца назад

      सब।? 😊

    • @CYXXYC
      @CYXXYC 2 месяца назад

      you are looking for JEP draft 8323658

  • @simonmassey8850
    @simonmassey8850 3 месяца назад +1

    I thought string templating just got dropped? (which is actually a success story in a way)

    • @alessioantinoro5713
      @alessioantinoro5713 3 месяца назад +3

      Not dropped, just saying that this version of it is not what they want, and they'll take their time to find a better solution

    • @bentels5340
      @bentels5340 3 месяца назад

      ​@@alessioantinoro5713 That's still dropped. They're starting over completely.

    • @alessioantinoro5713
      @alessioantinoro5713 3 месяца назад

      @@bentels5340 Starting over is a big word, they do have experience over what they did already, so it dont think it would take too long

  • @OnyekachukwuEjimns
    @OnyekachukwuEjimns 3 месяца назад +6

    ❤ am the first to comment

  • @ricardojlrufino
    @ricardojlrufino 3 месяца назад

    AsyncResult is useless ... Try .. catch will be more clean .
    I will forced to implementar all egde cases ? ( Timeout and interrupted )

  • @avalagum7957
    @avalagum7957 3 месяца назад +4

    2:04 "we've been delivering quite a lot". No, that's not a lot. Scala delivered all of those features in one shot.
    4:08 Productivity-oriented language features: Scala can pattern-match on lists. I think that's very productive. Java doesn't need to copy Scala if it has better features.
    22:11 looking at the 2 aligned arrows on the `case` lines, I wonder if there's any tool that can align those arrows for me (something like scalafmt).
    44:21 suppose that record A contains record B which contains record C ... which contains record Z. Now I want to create a new instance of A from another instance of A where a field in the record Z changes its value, how do I write that?
    Does "record with" create more garbage for the GC to collect that a mutable class?

    • @knm080xg12r6j991jhgt
      @knm080xg12r6j991jhgt 3 месяца назад +3

      Thank you, I'm glad someone else agrees with me on this. A lot of this has been done, and done better, already. Java the language is not innovating, it's copying, and not doing a good job at it. They invented a new escape character for template strings which they yanked out in JDK 23 - all this for a feature that has been in other languages for decades.
      Heck, records were done already with Lombok, and they worked with all the existing libraries using reflection like Jackson because they used standard bean methods for properties. These new record types don't.
      All the innovation is being poured into the JVM. The rest of us are moving on to Kotlin, Scala, or really anything else.

    • @forKotlinsky
      @forKotlinsky 3 месяца назад

      @@knm080xg12r6j991jhgt valhalla... one day...

    • @avalagum7957
      @avalagum7957 3 месяца назад

      @lepingouindefeu project Valhalla sounds like a magic then 😊

    • @maruseron
      @maruseron 3 месяца назад

      ​@@knm080xg12r6j991jhgt Java is, generally, avoiding the pitfalls most languages have fallen into while integrating solutions into the language. Loom is objectively better than Async-Await. Java string templates are an objectively more powerful (and safer) construct than naive string interpolation. You've clearly read none of the documentation and the back and forth in the development mailing lists.

  • @guttormvik6335
    @guttormvik6335 3 месяца назад +4

    Record still pisses me of. Start with a record. Then you need mutable state, so you have to change it to a class, and then you have to add in all the junk code that records got for free.

    • @qdeqdeqdeqde
      @qdeqdeqdeqde 3 месяца назад

      why do you need mutable state?

    • @Mig440
      @Mig440 3 месяца назад

      With expressions should help with that

    • @peacemakerle
      @peacemakerle 3 месяца назад

      Yes, I thought the same. The generation of default equals/hashCode/toString should be a feature which isn't bound to a specific supertype or immutable state. Better would be, for example, to control it by annotations. It also sucks that arrays aren't compared by value (but that is only in rare special cases a problem, usually we are using collections).

    • @alexgorodecky1661
      @alexgorodecky1661 3 месяца назад +2

      For me, component accessor for immutable state is pure dumb. It is not FP, it's crazy Frankenstein of OOP and FP

    • @Mig440
      @Mig440 3 месяца назад

      @@alexgorodecky1661 then you clearly have no understanding of the theoretical underpinnings of FP. Ever heard category theory?

  • @BloodnutXcom
    @BloodnutXcom 2 месяца назад

    Java is ancient in terms of features. All of this presentation is just copying the low hanging fruit of Scala which is a JVM language - 10 years later!
    Talk about "last mover advantage"

  • @bluemeriadoc
    @bluemeriadoc 2 месяца назад

    33:12 lol, guy has never heard of multicatch from Java 7