corpus.blog
41,554 blogs · 5,197,919 posts Claim your blog
Record · corpus.blog/posts/01a08725-188a-724f-889d-9ab09b17a6db

Typed Lisp, A Primer

alhassy.com · published 21 August 2019

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at alhassy.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
45
Words captured
9,759

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/alhassy/alhassy.github.io/commits/master/TypedLisp.org
github.com
https://www.gnu.org/software/emacs/manual/html_mono/cl.html
gnu.org
https://liquid.kosmikus.org/01-intro.html
liquid.kosmikus.org
https://blogs.msdn.microsoft.com/ericlippert/2010/09/16/is-is-as-or-is-as-is/
blogs.msdn.microsoft.com
Elisp Unit Testing with ERT Read at the source ↗
nullprogram.com
http://www.lispworks.com/documentation/lw51/CLHS/Body/f_coerce.htm
lispworks.com
https://lispcookbook.github.io/cl-cookbook/type.html
lispcookbook.github.io
https://www.gnu.org/software/emacs/manual/html_node/elisp/Watching-Variables.html
gnu.org
https://github.com/stylewarning/cl-algebraic-data-type
github.com
http://www.cis.upenn.edu/~bcpierce/tapl/index.html
cis.upenn.edu
https://www.williamjbowman.com/blog/2018/01/19/untyped-programs-don-t-exist/
williamjbowman.com
Dynamic Languages are Static Languages Read at the source ↗
existentialtype.wordpress.com
https://games.greggman.com/game/dynamic-typing-static-typing/
games.greggman.com
https://queue.acm.org/detail.cfm?id=1039523
queue.acm.org
http://www.michaelnielsen.org/ddi/lisp-as-the-maxwells-equations-of-software/
michaelnielsen.org
https://web.archive.org/web/20130814213421/http://www-formal.stanford.edu/jmc/robotandbaby/robotandbaby.html
web.archive.org
https://en.wikipedia.org/wiki/Ummah
en.wikipedia.org
http://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node1.html
cs.cmu.edu
https://extravagaria.com/Files/LASC-Overview.pdf
extravagaria.com
https://en.wikipedia.org/wiki/Common_Lisp_Object_System
en.wikipedia.org
https://en.wiktionary.org/wiki/a_camel_is_a_horse_designed_by_a_committee
en.wiktionary.org
https://luxlang.gitbooks.io/the-lux-programming-language/content/
luxlang.gitbooks.io
https://shen-language.github.io/
shen-language.github.io
https://github.com/MetaCoq/metacoq
github.com
https://github.com/alhassy/gentle-intro-to-reflection
github.com
https://alhassy.github.io/next-700-module-systems-proposal/prototype/PackageFormer.html
alhassy.github.io
https://twobithistory.org/2018/10/14/lisp.html
twobithistory.org
https://github.com/clojure/core.typed
github.com
https://circleci.com/blog/why-were-no-longer-using-core-typed/
circleci.com
https://docs.racket-lang.org/ts-guide/
docs.racket-lang.org
https://github.com/LuxLang/lux
github.com
https://news.ycombinator.com/item?id=8593261
news.ycombinator.com
http://www.lispforum.com/viewtopic.php?f=2&t=191
lispforum.com
https://www.gnu.org/software/emacs/manual/html_node/cl/Declarations.html
gnu.org
http://www.lispworks.com/documentation/lw51/CLHS/Body/d_ftype.htm
lispworks.com
http://www.p-cos.net/documents/filtered-dispatch.pdf
p-cos.net
http://www.gigamonkeys.com/book/object-reorientation-generic-functions.html
gigamonkeys.com
https://www.gnu.org/software/emacs/manual/html_node/elisp/Lisp-Data-Types.html
gnu.org
https://www.gnu.org/software/emacs/manual/html_node/elisp/Void-Variables.html
gnu.org
https://www.gnu.org/software/emacs/manual/html_node/elisp/Variables-with-Restricted-Values.html
gnu.org
https://www.reddit.com/r/emacs/comments/cct5hp/functional_type_declarations_in_elisp/
reddit.com
https://docs.racket-lang.org/ts-guide/types.html
docs.racket-lang.org
https://www.gnu.org/software/emacs/manual/html_node/elisp/Advising-Functions.html
gnu.org
https://github.com/sellout/quid-pro-quo
github.com
http://www.paulgraham.com/quotes.html
paulgraham.com
Elsewhere on alhassy.com (6)