Java, null, and JSpecify

preview_player
Показать описание
Kevin Bourrillion gives an introductory presentation on JSpecify, a project spearheading a set of standard annotations for Java static analysis, specifically for tracking null.

~~~ Chapters ~~~

0:00 Intro
1:47 JSpecify overview
2:28 The problem with null and annotations
11:53 The design of JSpecify
15:31 The current status
23:00 Outro

Tags: #Java #JDK
  1. nipafx
  2. Java
  3. Software Development
Рекомендации по теме
Java, null, and 0:23:53

Java, null, and JSpecify

Handling null and 0:09:37

Handling null and upgrading past Java 8 - Inside Java Newscast #7

Java 8 Comparator’s(nullsFirst()and 0:06:52

Java 8 Comparator’s(nullsFirst()and nullsLast()) methods

Is null a 0:01:37

Is null a keyword in java | What is null in java | Is null a literal in java

[WITS'24] Retrofitting Null-Safety 0:35:47

[WITS'24] Retrofitting Null-Safety into Java

Null Object Pattern 0:28:46

Null Object Pattern – Design Patterns (ep 18)

How to Specify 0:04:01

How to Specify & Handle Exceptions in Java Effectively

Java Optional Tutorial 0:35:41

Java Optional Tutorial - How to Use Optional Class In Java

C# for Java 0:06:36

C# for Java Developers - Nullable

Talks Night: Kotlin 0:37:00

Talks Night: Kotlin makes Java null and void - Chetan Padia

Daily Dose of 0:25:31

Daily Dose of Java -- Part 79: 'null' keyword and Null Initialization

Array : Using 0:01:36

Array : Using a for loop in Java, do I have to specify not null?

Java for test 0:08:35

Java for test automation | Java 8: Optional

C# for Java 0:06:36

C# for Java Programmers - Nullable

Variables and Literals 0:42:28

Variables and Literals in Java with Examples | Integers, Char, Null, Float Data Type | KSR

OPTIONAL in Java 0:27:02

OPTIONAL in Java | Handling NULL values and NullPointerException

Code Securely: Using 0:10:15

Code Securely: Using System.getenv() in Java Applications

Handling Errors in 0:12:20

Handling Errors in CompletableFuture java 8

How to Remove 0:00:26

How to Remove Special Characters from a String in Java? Java Programs Interview Question #TAC #Java

The Elegance of 0:29:40

The Elegance of Pattern Matching in Modern Java

Kotlin for Java 0:55:16

Kotlin for Java Programmers with Venkat Subramaniam

Daily Dose of 0:28:05

Daily Dose of Java -- Part 18: Understanding char Data Types and Integer Bit Masks

Новости Java #2. 0:22:51

Новости Java #2. В Java больше не будет NullPointerException?

Assertions in JUnit 0:32:39

Assertions in JUnit 4 | Java | TechHub

Комментарии
Автор

Well thought out approach to the enduring null problem. This should succeed. I'll give it a try.

bkoprucu
Автор

Aweseome approach. Any maven/gradle examples to play with it and see how the setup is done?

chrispie
Автор

Integer i = 0; // nullable
int i = 0; // not nullable

TheBigLou
Автор

null.equals(null) gives me true; this = equal; this.equals(null) gives me true; that's a technical joke!

juancarlospizarromendez
Автор

I would love some flag like "nonullness", that without annotations makes everything non-nullable

JorgetePanete