1 files changed, 0 insertions, 37 deletions
diff --git a/content/digarden/pages/История типизации.org b/content/digarden/pages/История типизации.org
deleted file mode 100644
index a32ec39..0000000
--- a/content/digarden/pages/История типизации.org
+++ /dev/null
@@ -1,37 +0,0 @@
-* - 1913ish :: Bertrand Russel introduces a hierarchy of types to avoid barber trouble;
-e.g., ~Typeᵢ : Typeᵢ₊₁~.
-* - 1920s :: A Polish guy & British guy think that's dumb and collapse the hierarchy.
-* - 1940s :: Alonzo Church says arrows are cool.
-* - 1958  ::
-* With his awesome hairdo, John McCarthy gifts the world an elegant
-piece of art: Lisp (•̀ᴗ•́)و
-* - Lisp is currently the 2ⁿᵈ oldest high-level language still
-in use after Fortran.
-* - Maxwell's equations [[https://queue.acm.org/detail.cfm?id=1039523][get]] [[http://www.michaelnielsen.org/ddi/lisp-as-the-maxwells-equations-of-software/][jealous]].
-* Lisp introduces a bunch of zany ideas to CS:
-** - Introduced if-then-else “McCarthy's Conditional”; 1ˢᵗ class functions & recursion
-** - macros ≈ compiler plugins
-** - symbols ≈ raw names which needn't have values
-** - variables ≈ pointers
-** - code ≈ data; statements ≈ expressions
-** - ~read, eval, load, compile, print~ are all functions!
-* - 1959 :: My man JM thinks manual memory is lame —invents garbage collection!
-* - Later, 2001, he writes [[https://web.archive.org/web/20130814213421/http://www-formal.stanford.edu/jmc/robotandbaby/robotandbaby.html][The Robot & The Baby]].
-* - 1960s :: Simula says OOPs!
-* - 1970s :: Smalltalk popularises the phrase “oop”. ( B has a child named C. )
-* - 1970s :: Simple λ-calculus is a fashion model for sets and functions.
-* - 1970s :: Milner and friends demand
-/variables are for types too, not just terms!/
-* - 1970s :: Per Martin-Löf tells us it's okay to depend on one another; ~Π, Σ~ types.
-* - 1982  :: A Lisp [[https://en.wikipedia.org/wiki/Ummah][ummah]] is formed: [[http://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node1.html][“Common Lisp the Language”]] ♥‿♥
-* - In order to be hip & modern, it's got [[https://extravagaria.com/Files/LASC-Overview.pdf][class]] with [[https://en.wikipedia.org/wiki/Common_Lisp_Object_System][CLOS]].
-* - Other shenanigans: Scheme 1975, Elisp 1985, Racket 1995, Clojure 2007
-* - 1984 :: A script of sorcerous schemes lords lisp over mere mortals
-* - 1990s :: A committee makes a sexy [[https://en.wiktionary.org/wiki/a_camel_is_a_horse_designed_by_a_committee][camel]] named Haskell; Professor X's school make their own camel.
-* - Their kids get on steroids and fight to this day; Agda ↯↯↯ Coq.
-* - 2000s ::
-** X's camel .<becomes .~(self .<aware>.)>.
-—the other camel [does| the same].
-** - In 2015, the cam ls married Lisp and [[https://luxlang.gitbooks.io/the-lux-programming-language/content/][Lux]] was born.
-** - In 2016, Haskell & Lisp get involved with Prolog; [[https://shen-language.github.io/][Shen]] is born.
-** 2019: Coq is [[https://github.com/MetaCoq/metacoq][self-aware]]; Agda is [[https://github.com/alhassy/gentle-intro-to-reflection][playing]] [[https://alhassy.github.io/next-700-module-systems-proposal/prototype/PackageFormer.html][catch-up]].
-\ No newline at end of file