RANDOMBLOGShttps://devblogy.k47.cz/random/tag/lexi-lambda-github-io.html An introduction to typeclass metaprogramminghttps://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/Thu, 25 Mar 2021 01:00:00 +0100lexi-lambda.github.io Names are not type safetyhttps://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/Sun, 1 Nov 2020 01:00:00 +0100lexi-lambda.github.io 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/Thu, 13 Aug 2020 02:00:00 +0200lexi-lambda.github.io 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/Sun, 19 Jan 2020 01:00:00 +0100lexi-lambda.github.io Parse, don’t validatehttps://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/Tue, 5 Nov 2019 01:00:00 +0100lexi-lambda.github.io Empathy and subjective experience in programming languageshttps://lexi-lambda.github.io/blog/2019/10/19/empathy-and-subjective-experience-in-programming-languages/Sat, 19 Oct 2019 02:00:00 +0200lexi-lambda.github.io Demystifying MonadBaseControlhttps://lexi-lambda.github.io/blog/2019/09/07/demystifying-monadbasecontrol/Sat, 7 Sep 2019 02:00:00 +0200lexi-lambda.github.io Defeating Racket’s separate compilation guaranteehttps://lexi-lambda.github.io/blog/2019/04/21/defeating-racket-s-separate-compilation-guarantee/Sun, 21 Apr 2019 02:00:00 +0200lexi-lambda.github.io Macroexpand anywhere with local-apply-transformer!https://lexi-lambda.github.io/blog/2018/10/06/macroexpand-anywhere-with-local-apply-transformer/Sat, 6 Oct 2018 02:00:00 +0200lexi-lambda.github.io Custom core forms in Racket, part II: generalizing to arbitrary expressions and internal definitionshttps://lexi-lambda.github.io/blog/2018/09/13/custom-core-forms-in-racket-part-ii-generalizing-to-arbitrary-expressions-and-internal-definitions/Thu, 13 Sep 2018 02:00:00 +0200lexi-lambda.github.io