Rytíři lambda kalkulu - Knights of the Lambda Calculus

The Rytíři lambda kalkulu ' rekurzivní znak oslavuje teoretický základ LISP, lambda kalkul. Y ve znaku odkazuje na kombinátor pevných bodů a znovuobjevení samotného obrazu odkazuje na rekurze.

The Rytíři lambda kalkulu je semi-fiktivní organizace odborníků Lisp a Systém hackeři. Název odkazuje na lambda kalkul, matematický formalismus vynalezený Alonzo Church, se kterým je Lisp úzce spojen, a odkazuje na Templářští rytíři.

Podle jména neexistuje žádná skutečná organizace Rytíři lambda kalkulu; většinou existuje pouze jako hackerská kultura ve vtipu. Koncept s největší pravděpodobností vznikl v MIT. Například v Struktura a interpretace počítačových programů video přednášky, Gerald Jay Sussman představuje publiku tlačítko a říká, že jsou nyní členy této speciální skupiny. Podle Soubor žargonu „Je známý LISPER“, který rozdává knoflíky s rytířskými znaky a někteří lidé tvrdili, že mají členství v rytířích.[1]

V populární kultuře

Skupina, která se vyvinula z nich nebo je jim podobná, tzv Rytíři východního počtu, aby hlavní vzhled v anime série Sériové experimenty Lain. Odkazy na MIT profesoři a další američtí počítačoví vědci jsou prominentní v 11. epizodě seriálu. Na jednom místě v anime, Lain je viděn s kódem zobrazeným na jejím kapesním zařízení, které se zdá být Lisp.[2]

Reference

  1. ^ Raymond, Eric. "Rytíři lambda kalkulu". Soubor žargonu. Citováno 2015-04-01.
  2. ^ "MIT Anime Club :: Vzhled MIT v anime".