René's URL Explorer Experiment


Title: Alexis King’s Blog

direct link

Domain: lexi-lambda.github.io

Links:

Alexis Kinghttps://lexi-lambda.github.io/
Homehttps://lexi-lambda.github.io/
About Mehttps://lexi-lambda.github.io/about.html
A break from programming languageshttps://lexi-lambda.github.io/blog/2025/05/29/a-break-from-programming-languages/
programming languageshttps://lexi-lambda.github.io/tags/programming-languages.html
personalhttps://lexi-lambda.github.io/tags/personal.html
Read more →https://lexi-lambda.github.io/blog/2025/05/29/a-break-from-programming-languages/
An introduction to typeclass metaprogramminghttps://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/
haskellhttps://lexi-lambda.github.io/tags/haskell.html
typeshttps://lexi-lambda.github.io/tags/types.html
functional programminghttps://lexi-lambda.github.io/tags/functional-programming.html
servanthttps://hackage.haskell.org/package/servant
GHC genericshttps://hackage.haskell.org/package/base-4.14.1.0/docs/GHC-Generics.html
Read more →https://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/
Names are not type safetyhttps://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/
haskellhttps://lexi-lambda.github.io/tags/haskell.html
typeshttps://lexi-lambda.github.io/tags/types.html
functional programminghttps://lexi-lambda.github.io/tags/functional-programming.html
Parse, Don’t Validatehttps://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
Read more →https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/
Types as axioms, or: playing god with static typeshttps://lexi-lambda.github.io/blog/2020/08/13/types-as-axioms-or-playing-god-with-static-types/
typeshttps://lexi-lambda.github.io/tags/types.html
functional programminghttps://lexi-lambda.github.io/tags/functional-programming.html
haskellhttps://lexi-lambda.github.io/tags/haskell.html
typescripthttps://lexi-lambda.github.io/tags/typescript.html
Read more →https://lexi-lambda.github.io/blog/2020/08/13/types-as-axioms-or-playing-god-with-static-types/
No, dynamic type systems are not inherently more openhttps://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/
typeshttps://lexi-lambda.github.io/tags/types.html
haskellhttps://lexi-lambda.github.io/tags/haskell.html
programming languageshttps://lexi-lambda.github.io/tags/programming-languages.html
functional programminghttps://lexi-lambda.github.io/tags/functional-programming.html
Read more →https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/
Parse, don’t validatehttps://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
functional programminghttps://lexi-lambda.github.io/tags/functional-programming.html
haskellhttps://lexi-lambda.github.io/tags/haskell.html
typeshttps://lexi-lambda.github.io/tags/types.html
I was reflecting on Twitterhttps://twitter.com/lexi_lambda/status/1182242561655746560
Read more →https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
Empathy and subjective experience in programming languageshttps://lexi-lambda.github.io/blog/2019/10/19/empathy-and-subjective-experience-in-programming-languages/
haskellhttps://lexi-lambda.github.io/tags/haskell.html
programming languageshttps://lexi-lambda.github.io/tags/programming-languages.html
philosophyhttps://lexi-lambda.github.io/tags/philosophy.html
Read more →https://lexi-lambda.github.io/blog/2019/10/19/empathy-and-subjective-experience-in-programming-languages/
Demystifying MonadBaseControlhttps://lexi-lambda.github.io/blog/2019/09/07/demystifying-monadbasecontrol/
haskellhttps://lexi-lambda.github.io/tags/haskell.html
MonadBaseControl from the monad-control packagehttps://hackage.haskell.org/package/monad-control-1.0.2.3/docs/Control-Monad-Trans-Control.html#t:MonadBaseControl
FUDhttps://en.wikipedia.org/wiki/Fear,_uncertainty,_and_doubt
Read more →https://lexi-lambda.github.io/blog/2019/09/07/demystifying-monadbasecontrol/
Defeating Racket’s separate compilation guaranteehttps://lexi-lambda.github.io/blog/2019/04/21/defeating-racket-s-separate-compilation-guarantee/
rackethttps://lexi-lambda.github.io/tags/racket.html
macroshttps://lexi-lambda.github.io/tags/macros.html
programming-language programming languagehttps://felleisen.org/matthias/manifesto/sec_pl-pl.html
composable and compilable macroshttps://www.cs.utah.edu/plt/publications/macromod.pdf
separate compilation guaranteehttps://docs.racket-lang.org/reference/eval-model.html#%28part._separate-compilation%29
Read more →https://lexi-lambda.github.io/blog/2019/04/21/defeating-racket-s-separate-compilation-guarantee/
Macroexpand anywhere with local-apply-transformer!https://lexi-lambda.github.io/blog/2018/10/06/macroexpand-anywhere-with-local-apply-transformer/
rackethttps://lexi-lambda.github.io/tags/racket.html
macroshttps://lexi-lambda.github.io/tags/macros.html
Read more →https://lexi-lambda.github.io/blog/2018/10/06/macroexpand-anywhere-with-local-apply-transformer/
1https://lexi-lambda.github.io/
2https://lexi-lambda.github.io/index-2.html
3https://lexi-lambda.github.io/index-3.html
4https://lexi-lambda.github.io/index-4.html
→https://lexi-lambda.github.io/index-2.html
Scribblehttps://docs.racket-lang.org/scribble/index.html
Atomhttps://lexi-lambda.github.io/feeds/all.atom.xml
RSShttps://lexi-lambda.github.io/feeds/all.rss.xml

Viewport: width=device-width, initial-scale=1

URLs of crawlers that visited me.