hints.rkt

; Some church-encoding hints
#lang racket

(define (build-an-argument-list arg-list f)
  (match arg-list
    [(list x)      `(,f ,x)]
    [`(,hd . ,tl)  `(,(build-an-argument-list tl f) ,hd)]))

(match '(2 3 5)
  [`(,f . ,args) args])

(define (cons a b)
  (λ (when-cons) (λ (when-null)
               (when-cons a b))))

(define empty
  (λ (when-cons) (λ (when-null)
        (when-null))))

(define l1 empty)
(define l2 (cons 1 empty))

((l1 (λ (car cdr) (display car))) (λ () (display "nothing...")))