↧
Answer by Gilles 'SO- stop being evil' for What does Harper mean by "class"?
This is a very generic, informal definition of the concept of classes which is commonly implemented in programming languages. I can't think of a programming language that uses the term “class” in a...
View ArticleAnswer by Yuval Filmus for What does Harper mean by "class"?
The term class here has absolutely nothing to do with OOP classes. Rather, a class determines which possibility in a C union an object takes.For example, one definition of a binary tree is: a binary...
View ArticleWhat does Harper mean by "class"?
I've been teaching myself type theory on and off over the past couple years. I've reach large sections of Pierce's Types and Programming Languages and Harper's Practical Foundations for Programming...
View Article