[vwrap] What abstract type systems already exist?

Boroondas Gupte <sllists@boroon.dasgupta.ch> Mon, 09 May 2011 20:36 UTC

Return-Path: <sllists@boroon.dasgupta.ch>
X-Original-To: vwrap@ietfa.amsl.com
Delivered-To: vwrap@ietfa.amsl.com
Received: from localhost (localhost []) by ietfa.amsl.com (Postfix) with ESMTP id C206BE08D9 for <vwrap@ietfa.amsl.com>; Mon, 9 May 2011 13:36:28 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.987
X-Spam-Status: No, score=-1.987 tagged_above=-999 required=5 tests=[BAYES_00=-2.599, HELO_MISMATCH_NET=0.611, HTML_MESSAGE=0.001]
Received: from mail.ietf.org ([]) by localhost (ietfa.amsl.com []) (amavisd-new, port 10024) with ESMTP id NYqLfTbDrBMT for <vwrap@ietfa.amsl.com>; Mon, 9 May 2011 13:36:28 -0700 (PDT)
Received: from datendelphin.net (india288.server4you.de []) by ietfa.amsl.com (Postfix) with ESMTP id 03D38E07C8 for <vwrap@ietf.org>; Mon, 9 May 2011 13:36:27 -0700 (PDT)
Received: from [] (adsl-84-227-57-27.adslplus.ch []) (using TLSv1 with cipher DHE-RSA-CAMELLIA256-SHA (256/256 bits)) (No client certificate requested) by datendelphin.net (Postfix) with ESMTPSA id EDD832E045 for <vwrap@ietf.org>; Mon, 9 May 2011 22:39:57 +0200 (CEST)
Message-ID: <4DC85049.40600@boroon.dasgupta.ch>
Date: Mon, 09 May 2011 22:36:25 +0200
From: Boroondas Gupte <sllists@boroon.dasgupta.ch>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv: Gecko/20110503 Lightning/1.0b3pre Thunderbird/3.1.10
MIME-Version: 1.0
To: vwrap@ietf.org
Content-Type: multipart/alternative; boundary="------------070403090305010506040808"
Subject: [vwrap] What abstract type systems already exist?
X-BeenThere: vwrap@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: Virtual World Region Agent Protocol - IETF working group <vwrap.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/vwrap>, <mailto:vwrap-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/vwrap>
List-Post: <mailto:vwrap@ietf.org>
List-Help: <mailto:vwrap-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/vwrap>, <mailto:vwrap-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 09 May 2011 20:36:28 -0000

On 05/08/2011 03:47 AM, Morgaine wrote:
> ADT means Abstract Data Type.
> [...]
> No mystery there, it has been so for decades of common usage in
> Computing. :-)
On 05/09/2011 03:53 PM, Meadhbh Hamrick wrote:
> hmm... don't think me or mark lentczner coined the term "abstract type
> system." i was used by the OMG and Microsoft long before we used it.
On 05/09/2011 03:58 PM, Morgaine wrote:
> Aye, that phrase has been in use for as long as types systems have
> existed.

As the concepts of both, ADTs and ATSs have apparently existed longer
already than I assumed, I guess there must be ATSs other than LLSD. As a
basis for decisions, it'd be useful to have some overview. So my
question is:
*What abstract type systems do currently exist *("exist" as in published
and sufficiently documented. Don't have to be formally standardized,
though if they are, that's a plus.)*and how do they compare to LLSD?*

For each such ATS, it'd be useful to know:

    * How flexible is it?
      (Could it be used for VWRAP? For that, its set of types probably
      must already be designed for general purpose or (like LLSD) with
      typical virtual world data in mind.)
    * Is it extensible? How does the extension mechanism work?
    * Are there serializations defined for it? If so, which ones?
    * How entangled is the ATS itself with the serializations?
    * How simple is it? (Both conceptually and for implementors of
      (de)serializers etc.)

Once we have collected that, we'd be in a better position whether to use
LLSD (as-is) or one of the other systems or whether to create our own
(probably based on LLSD and/or other ones).