Java tutorial
import java.util.stream.DoubleStream; public class Main { public static void main(String[] args) { DoubleStream d = DoubleStream.of(1.2, 1.2, 2.3, 4.5); DoubleStream r = d.distinct(); r.forEach(System.out::println); } }