LISP [part λ f x. f (f x)]

LISP

>>657
Let's see if we get this right.


                                         (3 4)
                                           │
                                           │
                                           ▼
((1 2) 3 4)     ┌───┬───┐                ┌───┬───┐     ┌───┬───┐
       ──────►│ ● │ ●─┼───────────────►│ ● │ ●─┼────►│ ● │ / │
                └─┼─┴───┘                └─┼─┴───┘     └─┼─┴───┘
                │                           │             │
                │                           │             │
                ▼                           ▼             ▼
      (1 2)     ┌───┬───┐      ┌───┬───┐ ┌───┐        ┌───┐
       ──────►│ ● │ ●─┼────►│ ● │  / │ │ 3 │        │ 4 │
                └─┼─┴───┘      └─┼─┴───┘ └───┘        └───┘
                │             │
                │             │
                ▼             ▼
              ┌───┐         ┌───┐
              │ 1  │         │ 2 │
              └───┘         └───┘
Figure 2.5:  Structure formed by (cons (list 1 2) (list 3 4)).

THIS IS WHAT LISPERS ACTUALLY BELIEVE IN. Also, my first work. Thoughts?

AMIRITE?


                                         (3 4)
                                           │
                                           │
                                           ▼
((1 2) 3 4)     ┌───┬───┐                ┌───┬───┐     ┌───┬───┐
       ──────►│ ● │ ●─┼─────────────►│ ● │ ●─┼───►│ ● │ / │
                └─┼─┴───┘                └─┼─┴───┘     └─┼─┴───┘
                │                           │             │
                │                           │             │
                ▼                           ▼             ▼
      (1 2)     ┌───┬───┐      ┌───┬───┐ ┌───┐        ┌───┐
       ──────►│ ● │ ●─┼────►│ ● │  / │ │ 3  │        │ 4 │
                └─┼─┴───┘      └─┼─┴───┘ └───┘        └───┘
                │             │
                │             │
                ▼             ▼
              ┌───┐         ┌───┐
              │ 1  │         │ 2 │
              └───┘         └───┘
Figure 2.5:  Structure formed by (cons (list 1 2) (list 3 4)).

THIS IS WHAT LISPERS ACTUALLY BELIEVE IN. Also, my first work. Thoughts?