Permalink
Reply
On Monday, 2 October 2023 at 17:28:19 UTC, Mike Parker wrote:
>It's been a long, long while since I published anything on the blog. I do intend to get pick it up again down the road, but Walter recently surprised me with plans of his own. He's taken the topic of his DConf '23 talk and derived a blog post from it:
https://dlang.org/blog/2023/10/02/crafting-self-evident-code-with-d/
I guess he got impatient with the pace at which I'm getting the talk videos uploaded :-)
And for anyone who'd like to engage in any Reddit discussion that comes up:
https://www.reddit.com/r/programming/comments/16y2h36/crafting_selfevident_code_in_dlang/
I wonder if Walter has an opinion on this. In a .c file:
void *(STDVEC_DATAPTR)(SEXP x) {
if (ALTREP(x))
error("cannot get STDVEC_DATAPTR from ALTREP object");
if (! isVector(x) && TYPEOF(x) != WEAKREFSXP)
error("STDVEC_DATAPTR can only be applied to a vector, not a '%s'",
type2char(TYPEOF(x)));
CHKZLN(x);
return STDVEC_DATAPTR(x);
}
CHKZLN(x) only does some checks. It doesn't have any side effects. After scratching my head for a bit, I used grep to locate this in a .h file:
#define STDVEC_DATAPTR(x) ((void *) (((SEXPREC_ALIGN *) (x)) + 1))
And of course, there were no comments to explain what is going on. Very self-evident.
