Blog · corpus.blog/blogs/lexi-lambda.github.io
Alexis King
lexi-lambda.github.io · Systems and programming languages · English
- Posts on record
- 32
- First published
- 18 July 2015
- Last published
- 29 May 2025
- Feed
- lexi-lambda.github.io/feeds/all.rss.xml
- Language
- English
- Category
- Systems and programming languages
Is this your blog?
Claim it to see who cites you, get citation alerts, send webmentions for the people you link to, and download your archive as markdown.
118blogs citing
151 links from citing blogs
Most cited pages
Page
Blogs
Parse, don’t validate
/blog/2019/11/05/parse-don-t-validate/
101blogs
Names are not type safety
/blog/2020/11/01/names-are-not-type-safety/
6blogs
5blogs
No, dynamic type systems are not inherently more open
/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/
4blogs
Understanding the npm dependency model
/blog/2016/08/24/understanding-the-npm-dependency-model/
2blogs
Demystifying MonadBaseControl
/blog/2019/09/07/demystifying-monadbasecontrol/
2blogs
An introduction to typeclass metaprogramming
/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/
2blogs
Deploying Racket applications on Heroku
/blog/2015/08/22/deploying-racket-applications-on-heroku/
1blogs
Climbing the infinite ladder of abstraction
/blog/2016/08/11/climbing-the-infinite-ladder-of-abstraction/
1blogs
Lifts for free: making mtl typeclasses derivable
/blog/2017/04/28/lifts-for-free-making-mtl-typeclasses-derivable/
1blogs
Unit testing effectful Haskell with monad-mock
/blog/2017/06/29/unit-testing-effectful-haskell-with-monad-mock/
1blogs
An opinionated guide to Haskell in 2018
/blog/2018/02/10/an-opinionated-guide-to-haskell-in-2018/
1blogs
Types as axioms, or: playing god with static types
/blog/2020/08/13/types-as-axioms-or-playing-god-with-static-types/
1blogs
A break from programming languages
/blog/2025/05/29/a-break-from-programming-languages/
1blogs
Blogs citing this one
Blog
Links
Posts
Links and posts differ when one blog links here several times from a single post: that is counted once as a citing blog either way.
Similar blogs
Blogs that link to the same sites as lexi-lambda.github.io. Sites only a few blogs link to count for more than ones everybody links to.
Recent posts
29 May 2025
1 Nov 2020
5 Nov 2019
7 Sept 2019
Custom core forms in Racket, part II: generalizing to arbitrary expressions and internal definitionsoriginal ↗
13 Sept 2018
15 Apr 2018
All 32 posts, by year
A source page reaches every post it holds, not only the newest fifteen.