Niklaus Wirth's "Good Ideas" paper summarizing his learnings on programming language design from Algol in the 1960's, to Pascal and Oberon, to present: https://pdfs.semanticscholar.org/10bd/dc49b85196aaa6715dd46843d9dcffa38358.pdf …
Using the proofs-as-programs approach, if we used a programming language in which typechecking guarantees safety, we could run programs without any process isolation and be safe. I think it's a good ideal for future programming languages to aspire to.
1:52 AM - 4 Jan 2018
0 replies
0 retweets
1 like
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.