Clojure, лямбды, черви, термы

[metaclass]

(#(% %) #(% %)) - StackOverflow на кложуре
((fn [x] (x x)) (fn [x] (x x))) - StackOverflow на кложуре (более явная запись предущего)
на хаскеле даже на \x -> x x сразу ругается тайпчекер

(λx.xx)(λx.xx) - это оно же?

Comments

[metaclass.livejournal.com]

Не имеет, поэтому х-ль и ненавидит такое :)

[metaclass.livejournal.com]

В кложуре неленивый порядок.

[metaclass.livejournal.com]

А, так это у них секвенсы и прочая итерация ленивые. И некоторые функции, типа concat, на чем можно неплохо обжечься.
Во всяких F#/C# ленивость такая же - все энергичное, а итераторы ленивые.

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

вроде бы в λ2(𝕋) возможно

[gds.livejournal.com]

в просто-типизированном -- не типизируется, конечно.
Но можно и похитрее типы взять для лямбда-исчисления.

$ ocaml
        Objective Caml version 3.12.1+rc1

# ((fun x -> (x x)) (fun x -> (x x)));;
Error: This expression has type 'a -> 'b
       but an expression was expected of type 'a
# #rectypes;;   <-----  magic here
# ((fun x -> (x x)) (fun x -> (x x)));;
^CInterrupted.
# let f () = ((fun x -> (x x)) (fun x -> (x x)));;
val f : unit -> 'a = <fun>
# fun x -> x x;;
- : ('a -> 'b as 'a) -> 'b = <fun>
# 

[potan.livejournal.com]

Смотря как тимизированном. К OCaml можно подобрать опции, что он такое откомпилирует.