looking for a good name

[juan_gandhi]

  /**
   * Injection (?) function (if you are a c+ programmer, you'd call it "downcast").
   */
  public static class WHATSMYNAME???<T, T1 extends T> extends Monomorphism<T1, T> {
    public T apply(T1 t) {
      return t;
    }
  }

I just could not figure out what name to give to this simple function. It is almost an identity function, but it is not.

Comments

[bishop3000.livejournal.com]

Converter
Downcaster :)

[http://users.livejournal.com/_navi_/]

Математическое название в голову не приходит, инъекция вроде похоже, но не уверен, что правильно. Из общих: generalizer какой-нибудь.

[ivan-gandhi.livejournal.com]

Subobject? Embed? None of them is good... the name should not be a verb and should not mention anything language-specific. Injection, yes... probably is the best so far.

[alexey-rom.livejournal.com]

По-моему, всё-таки Embedding. Injection не годится, слишком общее.

[ivan-gandhi.livejournal.com]

Да, я переименовал Monomorphism в Injection, согласно определениям. Embedding близко к теме, конечно... может быть, Inclusion?

[alexey-rom.livejournal.com]

Да, это, похоже (http://en.wikipedia.org/wiki/Inclusion_map) на правду.

[nine_k]

narrowDown() ?

[anonymous8216.livejournal.com]

isn't it an UPcast?

[deni-ok.livejournal.com]

In

[ivan-gandhi.livejournal.com]

Да; моя ошибка - в нескольких местах просочились unchecked assignments.

Два смешных эпизода: а) кастить Set<Iterable<T>> to Iterable<Set<T>>, и интересный переход:
декартово произведение множеств {Pair(x0,y) | y in Y}, {Pair(x1,y) | y in Y}, ... представляется как Set<Iterable<Pair<X,Y>>>>; т.к. этот внутренний Iterable на самом деле Set, то нужно декартово произведение "представить" (отмапить) в виде Set<Iterable<Pair<X,Y>>>, после чего уже отмапить его в форму Set<Map<X,Y>>, чтобы достойно изображать Y^X.

Hi

[ottilia-22.livejournal.com]

Согласен, что пост получился удачным. Хорошая работа!

Re: Hi

[ivan-gandhi.livejournal.com]

Я правильно понимаю что автор поста пытается проскочить на халяву тест Тьюринга? Ну попробуем копнуть глубже... вот у меня встречный вопрос насчёт диктофона: отец приводил конкретные примеры удачных его применений? ;)