Get the latest tech news
Typed Lisp, a Primer
21 Aug 2019 Abstract Let's explore Lisp's fine-grained type hierarchy! We begin with a shallow comparison to Haskell, a rapid tour of type theory, try in vain to defend dynamic approaches, give a somewhat humorous account of history, note that you've been bamboozled —type's have always been there—, then go into technical details of some Lisp types, and finally conclude by showing how macros permit typing. Goals for this article: - Multiple examples of type constructions in Lisp.
⇅ I love that I can express a complicated procedure compactly in both by using zips, unzips, filters, and maps(งಠ_ಠ)ง Lately, in Lisp, I'll write a nested loop (gasp!) That means valid programs such as if True then 1 else "two" are rejected; even though the resulting type will always be an integer there is no way to know that statically —the choice needs to be rewritten, evaluated at run time. Emacs specfic characters control-g C-g, backspace C-h, tab C-i, newline C-j, space, return, del, and escape are expressed by ?\a, ?\b, ?\t, ?\n, ?\s, ?\r, ?\d, ?\e.
Or read this on Hacker News
