epicmonkey (epicmonkey) wrote,
epicmonkey
epicmonkey

Space Pilot 3000

Subscribe

  • Beta reduction

    Внезапно, оказалось, что 500Мб недостаточно, чтобы записать всю последовательность вычислений для наибольшего общего делителя четырёх и шести. Так…

  • Quicksort and lambda calculus

    Quicksort and lambda calculus. (define quicksort (lambda (l) ((Z (lambda (rec) (lambda (l) (((if (null l)) nil) ((lambda (p) ((lambda (xs)…

  • Basic lambda calculus

    Functions are "first class citizens" (Cristopher Strachey, mid-1960s). ; DISCLAIMER: THE DRAFT BELOW IS NOT INTENDED TO BE THE PURE LAMBDA…

  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 1 comment