Skip to main content

Questions tagged [object-oriented]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
17 votes
1 answer
4k views

How does inheritance differ from subtyping?

In programming language perspective, what is mean by subtyping? I heard that "Inheritance is not Subtyping". Then what are the differences between inheritance and subtyping?
RoboAlex's user avatar
  • 273
10 votes
2 answers
1k views

Ownership types and Separation Logic

Ownership types and Separation Logic seem to have similar goals, control over ownership and aliasing. Perhaps, I should also add: the ability to write modular specifications. What is known about the ...
Uday Reddy's user avatar
  • 4,796
9 votes
2 answers
2k views

Formal Definition/counter part in mathematics for “Objects” of Object Oriented Models

This is a question I asked in mathematics SE forum, and I was referred here. So here is the question- I'm a newbie in both formal mathematics and theoretical computer science, so please bear with me ...
user1260776's user avatar
8 votes
3 answers
4k views

What's the relation between OOP and category theory?

What's the relation between OOP and category theory? Is there some related work on this topic one can read?
qazwsx's user avatar
  • 559
8 votes
2 answers
867 views

What category are Tagless Final Algebras final In?

The Haskell and Scala community have been very enamored recently with what they call tagless final 'pattern' of programming. These are referenced as dual to initial free algebras, so I was wondering ...
Henry Story's user avatar
4 votes
1 answer
317 views

Classes and types in object-oriented languages

In typical object-oriented programming languages like Java, classes are used as types. On the other hand, type-theoretic approaches to object-oriented languages treat interfaces as types. Are there ...
Uday Reddy's user avatar
  • 4,796
4 votes
0 answers
633 views

Why did Caml become OCaml? (or, why use objects in F#?)

I have been programming in F# for a decade and in that time I have found that when I am working within the purely functional aspects, ie. the ML lambdas, tuples, generics, etc, that everything is ...
Stephen Hosking's user avatar
4 votes
0 answers
85 views

Non-objected oriented type theories that can express the $\nu Obj$ calculus

Odersky et al.'s $\nu Obj$ calculus [1] adds just enough dependent typeness on top of object oriented programming to express interfaces that define types (and consequently module systems and other ...
Geoffrey Irving's user avatar
3 votes
3 answers
298 views

Is there a language with strong typed interfaces where types resolution are "delayed"?

I know that this question it not entirely theoretical, but I think that's the place where is more probable that someone knows the answer. The question is: is there any OO strong typed language where ...
castarco's user avatar
  • 143
3 votes
1 answer
151 views

Encapsulation of OOP and referential transparency of functional programming

I would like to understand more about the 'orthogonality' of OOP and functional programming. What makes me confused is the 'encapsulation' of OOP and 'referential transparency of functional ...
Chanwoo Ahn's user avatar
2 votes
1 answer
252 views

A few questions about Object-Oriented Languages in general

I was not a big fan of Object-Oriented Languages (OOL), but recently started to learn a bit more about their pros and cons in a general setting instead of diving into one such language. I have a few ...
day's user avatar
  • 2,815
2 votes
0 answers
53 views

Formal semantics of a simple object oriented language without inheritance but with self-referential objects

Would you please point me to some papers or textbooks that describe rigorously a formal semantics/computational model of a simple object-oriented language? The language needs not accommodate ...
Evan Aad's user avatar
  • 354
1 vote
0 answers
111 views

Object-Oriented Programming Languages based on assignment

Is it correct to claim that an object-oriented programming language based on assignment (e.g., Java and Smalltalk) introduces mutability and hence complexity in concurrent applications ? In other ...
Sergio's user avatar
  • 111
0 votes
1 answer
128 views

Formal differences between emulation and simulation?

Recently this question came up, and I've been unable to find a concrete answer. When I was reading this paper on CRDTs, I was a little perplexed by the notion of emulation here in theorems 3.1 and 3.2....
NathanLiitt's user avatar
0 votes
0 answers
180 views

Theoretical background of Classes and Objects

I would like to learn about the possible ways of formalizing Classes and Objects (in programing languages like java) using formal languages. Where should I start? This might be related to my previous ...
qartal's user avatar
  • 101
0 votes
0 answers
67 views

Specification language for specifying both Objects and Primitive data types

I am looking for an specification language, which supports both primitive data types and objects. I already know about Object-Z. But I am wondering if there is any other Specification language that I ...
qartal's user avatar
  • 101
-2 votes
1 answer
118 views

Mathematical analogy to objects (as in object orientation)? [closed]

Data structures are similar to variables. Algorithms to functions. Objects combine both data and algorithms. Is there a mathematical object / concept that combines variables and functions?
A.L. Verminburger's user avatar