Abstract Heresies

              Unorthodox opinions on computer science and programming.

Showing posts with label dynamic types. Show all posts
Showing posts with label dynamic types. Show all posts
Thursday, August 27, 2026

Will it CPS?

›
Continuation-passing style (CPS) is a programming style in which you pass one or more first-class procedures (continuations) to a functi...
Sunday, May 31, 2026

CLRHack: Meta-object Protocol

›
Metaobject Protocol (MOP) Implementation in CLRHack The Metaobject Protocol in CLRHack is a high-performance implementation of the Commo...
Monday, March 31, 2025

Avoiding Stringly Typed Code

›
It can be tempting to implement certain objects by their printed representation. This is especially true when you call out to other pro...
1 comment:
Wednesday, June 28, 2023

Fails Static Type Check, but Runs Anyway

›
Here’s a function that fails a static type check, but has no runtime type error: (defun foo () (sqrt (if (static-type-check? #’foo) ...
4 comments:
›
Home
View web version
Powered by Blogger.