beyond java 9 @ jfokus 2015files.meetup.com/3189882/beyond java 9.pdf · title: beyond java 9 @...

Mark Reinhold (@mreinhold)Chief Architect, Java Pla1orm GroupOracle

Beyond Java 9

2015/2/4

The preceding is intended to outline our general product direcDon. It is intended for informaDon purposes only, and may not be incorporated into any contract. It is not a commitment to deliver any material, code, or funcDonality, and should not be relied upon in making purchasing decisions. The development, release, and Dming of any features or funcDonality described for Oracle’s products remains at the sole discreDon of Oracle.

HIGHLY

SPECULATIVEThe preceding is intended to outline our general product

direcDon. It is intended for informaDon purposes only, and may not be incorporated into any contract. It is not a commitment to deliver any material, code, or funcDonality, and should not be relied upon in making purchasing decisions. The development, release, and Dming of any features or funcDonality described for Oracle’s products remains at the sole discreDon of Oracle.

final int x; final int y;}

class Point {

Point[] points =

headerPoint[] points =

header

Point[] points = header

header

int[] xs = header

int[] ys =

Point[] points = header

synchronized (points[i]) { ... }

if (points[i] == p) { ... }

System.identityHashCode(points[i])

class Point {

class Point {value

“Codes like a class, works like an int!”

header

Point[] points =

header

Point[] points =

class Point {value

“Codes like a class, works like an int!”

int128ComplexDecimal

Tuple<T,U,V>

Optional<T>Either<T,U>

Tuple<T,U,V>

Optional<T>Either<T,U>

Cursor<T>

public value class Optional<T> {

private final T value;

public T get() { if (value == null) throw new NoSuchElementException(); return value; }

public T orElse(T other) { return value != null ? value : other; }

// ...

interface Iterator<T> { boolean hasNext(); T next(); void remove();}

class ArrayIterator<T> implements Iterator<T> {

private T[] array; private int offset;

public boolean hasNext() { return offset < array.length; }

public T next() { return array[offset++]; }

// ...

value class ArrayCursor<T> implements Cursor<T> {

private T[] array; private int offset;

public boolean notEmpty() { return offset < array.length; }

public T current() { return array[offset]; }

public T next() { return new Cursor(array, offset + 1); }

// ...

Cursor<String> c = Arrays.cursor(...);while (c.notEmpty()) { doSomething(c.current())); c = c.next();}

new ArrayList<Point>()

new ArrayList<int>()

ArrayList<String>ArrayList<Integer>ArrayList<URL>

ArrayList.classArrayList.class

ArrayList.class

ArrayList<int>

ArrayList.class

ArrayList<int> ArrayList${T=int}.class

ArrayList<Point>

ArrayList.class

ArrayList${T=Point}.classArrayList<Point>

ArrayList.class

ArrayList${T=Point}.classArrayList<Complex>ArrayList<Point>

ArrayList.class

ArrayList${T=Complex}.classArrayList${T=Point}.class

ArrayList<Complex>ArrayList<Point>

ArrayList.class

for (int i = 0; i < size; i++) data[i] = null;

private int size; private T[] data;

public void clear() {

public class ArrayList<T> {

size = 0; }

// ...

public class ArrayList< T> {

size = 0; }

// ...

size = 0; }

// ...

size = 0; }

// ...

where ref t {

public class ArrayList<any T> {

public T remove public boolean remove(T element) { ... }

// ...

(int index) { ... }

// ...

(int index) { ... }At

where ref T { default public T remove(int index) { return removeAt(index); } }

// ...

(int index) { ... }At

ArrayList<boolean>

Project Valhalla

Project Panama

h8p://openjdk.java.net

Project Valhalla

Project Panama

Value TypesSpecialized GenericsVar Handles

Project Valhalla

Project Panama

Value TypesSpecialized GenericsVar Handles

Foreign FuncDon InterfaceData Layout ControlArrays 2.0

Mark Reinhold (@mreinhold)Chief Architect, Java Pla1orm GroupOracle

Beyond Java 9

2015/2/4

beyond java 9 @ jfokus 2015files.meetup.com/3189882/beyond java 9.pdf · title: beyond java 9 @...

Documents

indonesia: bali, java & beyond

jfokus 2016 - beyond lambdas - the aftermath

java 9, 10 and beyond · by tali soroker java 9, 10 and...

kanban kata - jfokus

jfokus 2012: paasing a java ee application

binary patching of java classes for fun and profit - jfokus...

introduction to javafx - jfokus

jfokus 2012 : the java ee 7 platform: developing for the...

jruby + rails = awesome java web framework at jfokus 2011

observability beyond logging for java microservices

adopting grpc at spotify - jfokus · adoption of grpc at...

enterprise java in 2012 and beyond - jfokus · enterprise...

jfokus 2011 - google cloud for java developers: platform and...

google app engine for java: groovy baby! - jfokus ·...

with the mobile backend starter - jfokus · java - app...

a discovery service for java ee - jfokus...#snoopee - jfokus...

android jumpstart jfokus

building ios applications in java - jfokus · building ios...

beagleboard xm - jfokus

visualizing java code bases for jfokus 2017