SRFI 137: Minimal Unique Types Arthur A. Gleckler 28 Jun 2016 05:58 UTC

Scheme Request for Implementation 137,
"Minimal Unique Types,"
by John Cowan and Marc Nieper-Wißkirchen,
is now available for discussion.

Here are John's earlier comments about the SRFI:

  I've just put together UniqueTypesCowan, which is a very
  non-R6RS, non-SRFI-99 style of procedural records that has
  zero in common with any syntactic record system.  It's
  based on UniqueTypesSnellPym, an old proposal for WG1 that
  didn't get any legs.  It's ultra-simple, provides runtime
  disjoint types and subtypes and very little else, and
  exposes no ambient authority of any kind.

  I have shipped the proposed SRFI with a few editorial
  changes to the SRFI editor, with a pointer to your
  [Marc's] implementation.

Its draft and an archive of the ongoing discussion are
available at <>.

You can join the discussion of the draft by filling out the
subscription form on that page.

You can contribute a message to the discussion by sending it
to <>.


SRFI Editor