Синтаксис Scala/Java, реализация интерфейса возврата

Question

Что означает эта строка кода в коде внизу?

return Promise.<SimpleResult>pure //why is the dot 

Я новичок в Scala и Java 6, что это за тема/терминология?

Если структура не находит метод действия для запроса, операция onHandlerNotFound будет называться:

import play.*; 
import play.mvc.*; 
import play.mvc.Http.*; 
import play.libs.F.*; 

import static play.mvc.Results.*; 

public class Global extends GlobalSettings { 

    public Promise<SimpleResult> onHandlerNotFound(RequestHeader request) { 
     return Promise.<SimpleResult>pure(notFound(
      views.html.notFoundPage.render(request.uri()) 
     )); 
    } 

}

Update:

play.libs.F.Java файл

public static class Promise<A> { 

    public static <A> Promise<A> pure(final A a) { 
     return FPromiseHelper.pure(a); 
    } 
} 

Что такое <A> и Promise<A>?

Answer 1

Promise.pure() является общим методом, параметризованным с некоторым типом T.

Promise.<SimpleResult>pure() вызывает этот метод с SimpleResult в качестве универсального типа. Большая часть времени, делая это не является обязательным, поскольку компилятор выводит общий тип из аргументов методы или от типа переменной результат присваивается, как в

List<String> s = Collections.emptyList(); 

, который является аббревиатурой для

List<String> s = Collections.<String>emptyList(); 

или

Set<String> Collections.singleton("hello"); 

который является аббревиатурой для

Set<String> Collections.<String>singleton("hello"); 

Answer 2

Иногда система вывода типов не может полностью служить своей цели и не позволяет автоматически выводить возвращаемый тип вызова универсального метода. Чтобы указать такой тип, эта конструкция существует - вы помогаете вывести правильный тип выражения.

Посмотрите на JLS для получения дополнительной информации. (Formal definition)