Hacker News new | ask | show | jobs
by agentultra 4322 days ago
TIL: a solid CL implementation can provide safe maps from high-level intrinsic types to low-level implementation types at run-time. Also, SBCL has at least two IRs with each able to provide optimization hints to the code generator and compiler. So cool.

I love reading Paul's posts. His bit on Tobasco sort[0] was amazing.

[0] http://www.pvk.ca/Blog/2012/08/27/tabasco-sort-super-optimal...

update: link

1 comments

That is indeed a good post; thanks for linking it. Beyond the sort itself, there's a nice illustration at the end of dynamically scoped ("special") variables being useful on occasion for something other than the usual example of temporarily shadowing a configuration variable (e.g. the destination of stdout, or logging level).