presheaf.com updated

Now you can include links to diagrams with the option of editing.




⛤◯▯△

SKI in Java, by Tony Morris

src

interface Lam<X, Y> {
  Y apply(X x);
}
 
// http://en.wikipedia.org/wiki/SKI_combinator_calculus
class SKI {
  public static <A, B, C> Lam<Lam<A, Lam<B, C>>, Lam<Lam<A, B>, Lam<A, C>>> s() {
    return new Lam<Lam<A, Lam<B, C>>, Lam<Lam<A, B>, Lam<A, C>>>() {
      public Lam<Lam<A, B>, Lam<A, C>> apply(final Lam<A, Lam<B, C>> f) {
        return new Lam<Lam<A, B>, Lam<A, C>>() {
          public Lam<A, C> apply(final Lam<A, B> g) {
            return new Lam<A, C>() {
              public C apply(final A a) {
                return f.apply(a).apply(g.apply(a));
              }
            };
          }
        };
      }
    };
  }
 
  public static <A, B> Lam<A, Lam<B, A>> k() {
    return new Lam<A, Lam<B, A>>() {
      public Lam<B, A> apply(final A a) {
        return new Lam<B, A>() {
          public A apply(final B b) {
            return a;
          }
        };
      }
    };
  }
 
  public static <A> Lam<A, A> i() {
    return SKI.<A, Lam<A, A>, A>s().apply(SKI.<A, Lam<A, A>>k()).apply(SKI.<A, A>k());
  }
}

а про глюки

Ну в принципе простые способы - это наркотики и приравненная к ним мариванна; сенсорная депривация, как Фейнман описывал... но ведь самое частое явление - это на дороге.

Ведь много у кого бывало, верно? Едешь невыспавшийся, или там вечером после семисот миль, уже в темноте - и выстраивается неадекватная картинка. Типа в пустыне вдруг кажется, что вдоль дороги стена деревьев, листва смыкается над тобой. Или вот, ясное солнечное утро, едешь куда-то не особо и спеша, но всю ночь не спал практически; но машин нет почти. Вдруг бац - в нескольких метрах от тебя встречный грузовик, и вообще ты уже в другом месте. Это картинка была во сне на самом деле - мозг оторвался от реальности, а ты и не заметил.

Так ха, а почему именно за рулём? А в других случаях? Или мы и не замечаем иной раз.

Не знаю, я так спрашиваю.