Databases
StackOverflow2013
Postsdbo
PO
 

Note that there are some explanatory texts on larger screens.

plurals
  1. PO
    primarykey
    data
    text
    <p><a href="http://code.google.com/p/joe-e/" rel="nofollow">Joe-E</a></p> <p>From the <a href="http://www.cs.berkeley.edu/~daw/joe-e/spec-20080203.pdf" rel="nofollow">language spec</a></p> <blockquote> <h2>3.4 Immutable Types</h2> <p>A type T is immutable if and only if it implements the marker interface <code>org.joe_e.Immutable</code> according to the overlay type system. The (empty) <code>org.joe_e.Immutable</code> interface must be provided by the Joe-E implementation. The intuition behind an immutable object is that such an object cannot be changed (mutated) in any observable way, nor can any objects reachable by following the elds of the immutable object. The contents of an immutable objects' elds and any objects reachable from an immutable object must not change once the object is constructed. With the exception of library classes explicitly deemed to implement <code>Immutable</code>, an immutable class must satisfy additional linguistic restrictions enforced by the verier (x4.4) to ensure this property. Library classes that cannot be automatically verified and are deemed immutable must be carefully manually veried to expose no possibility for modication of their contents. Note that immutability does not place any restrictions on any local variables dened within the immutable class. It also says nothing about the mutability of the arguments passed to methods. It only applies to the values stored in and objects reachable from the immutable class's elds</p> </blockquote> <p>It also introduces useful notions of powerless, and selfless types.</p>
    singulars
    1. This table or related slice is empty.
    1. POList of OO languages where object immutability can be compiler enforced
      singulars
      1. PTQuestion
    1. PTAnswer
    1. USpeoro
    1. USMike Samuel
    plurals
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTUpMod
    2. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTUpMod
    3. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTUpMod
    1. COGreat :) This is what I'm looking for. This answer needs more votes IMHO.
      singulars
      1. PO
      1. USSimeon
    2. CO@Simeon, a good resource for questions like this is http://www.eros-os.org/pipermail/cap-talk/ . A lot of the people on that list work on secure/reliable software. A lot at the OS/hardware level, but quite a few at the programming language level.
      singulars
      1. PO
      1. USMike Samuel
    3. COConceptually, it should be considered perfectly proper for an immutable object to hold a reference to a mutable object, *if the reference encapsulates the identity rather than the state of the object in question*. A common example of this pattern is the .net `Delegate` type. A `Delegate` contains an immutable method pointer and an immutable reference to an object upon which that method should act, but in many cases the whole *purpose* of a delegate is to mutate its target. That doesn't mean the delegate is mutable, however, since the target's state isn't part of the delegate's state.
      singulars
      1. PO
      1. USsupercat
 

Querying!

 
Guidance
A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload