michaelernst   2

Nothing is better than the Optional type
“Optional has numerous problems without countervailing benefits. Optional does not make your code more correct or robust. There is a real problem that Optional tries to solve, and this article shows a better way to solve it. Therefore, you are better off using a regular possibly-null Java reference, rather than using Optional.”
optional  java  michaelernst  api  apidesign 
october 2016 by mr
A practical type system and language for reference immutability
"This paper describes a type system that is capable of expressing and enforcing immutability constraints."... "In order to better understand the usability and efficacy of the type system, we have implemented an extension to Java, called Javari"
paper  AdrianBirka  MichaelDErnst  MichaelErnst  article  type  typing  system  immutability  immutable  state  stateless  statelessness  object  OO  language  Java  Javari 
june 2007 by rafaeldff

related tags

adrianbirka  api  apidesign  article  immutability  immutable  java  javari  language  michaeldernst  object  oo  optional  paper  state  stateless  statelessness  system  type  typing 

Copy this bookmark: