Nate Cull
@pnathan So what formalism (I'll use that word instead of 'language', to reinforce that I do NOT mean 'compiler and typesystem' but something simpler and deeper) can I use to compare and contrast the type and function and data semantics of Rust, Go, Swift, D, ObjectiveC, Java, Elm?
What primitives must that formalism have? What's the smallest, simplest possible core?
So far I guess Inductive Calculus of Constructions is the only one that's actually worked...
(⚗️ pnathan)
@natecull operational and denotational semantics are the Textbook Answers here. Whether they are sufficient is a different question. Haven't looked.
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.