"wtf does C code mean in practice" would have been a reasonable alternate title for this latest draft by Peter Sewell et al. https://www.cl.cam.ac.uk/~pes20/cerberus/top-Cerberus-draft.pdf …
-
Show this thread
-
Replying to @johnregehr
How on earth am I supposed to teach such a language to my first-year undergrads?
1 reply 0 retweets 1 like -
Replying to @anne_biene @johnregehr
Why are you teaching C to first-year undergrads?
2 replies 0 retweets 3 likes -
-
but really, the problem with C and C++ for undergrads is unsafety, which is related to but much simpler than the issues explored in that paper
2 replies 0 retweets 7 likes -
Replying to @johnregehr
Opinion: it is bad to teach new programmers C first because it is unsafe, but it is bad to teach new programmers Java because it means they learn while being ignorant of how memory actually works. I do not know what the compromise is.
7 replies 0 retweets 16 likes -
Replying to @mcclure111 @johnregehr
Ten years ago this was absolutely a problem, but in the era of Rust/Go/Swift I don't think you really have to choose between 'low-level' and 'safe'.
1 reply 0 retweets 5 likes -
-
...despite being unimpressed by Go as a general matter, I suspect it might be a kind of least-bad choice as a teaching language nowadays. Does it have good error messages?
2 replies 0 retweets 2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.