snippetMinor
What is a sort in programming language semantics?
Viewed 0 times
semanticswhatprogramminglanguagesort
Problem
In Chapter 1 of Practical Foundations for Programming Languages, the author mentions that abstract syntax trees are associated with sorts.
Intuitively, sorts are like types, but I'd like to know if they have a precise definition. I'd be glad if some references are provided as well.
Intuitively, sorts are like types, but I'd like to know if they have a precise definition. I'd be glad if some references are provided as well.
Solution
It depends on what semantics we would take for types and sorts. -- However a brief - little informal - definitions could be - Sorts are classes of ASTs and types are classes of values.
Context
StackExchange Computer Science Q#11735, answer score: 4
Revisions (0)
No revisions yet.