News

% This module java_main_int defines a Mercury predicate java_main which acts as an % interface to the Java method java_main (), which is defined in JavaMain.java.
More about Java interfaces What can you do with interfaces in your Java programs? Get an overview with Jeff’s Six roles of the Java interface.
Yes, a Java int is 32 bits in all JVMs and on all platforms, but this is only a language specification requirement for the programmer-perceivable width of this data type.
Interested in Java functional programming? The first place you need to start, especially if you use the Streams API, is with this Java Function interface example.