code, no image description
i furgot the extent to which printf is not type safe in C
Follow
code
imo, this should be a compile time error, but since C can’t do that, it should at least cause a runtime error
code
@aescling they should invent a version of C where you can check for that
re: code
@aescling Is there a common ABI where you could even detect that at runtime?
re: code
@aschmitz purrobably not
girls whose intuition was ruined by the video on type safe printf in Idris