Re: Language feature selection

From	Don Y <blockedofcourse@foo.invalid>
Newsgroups	comp.arch.embedded
Subject	Re: Language feature selection
Date	2017-03-10 16:49 -0700
Organization	A noiseless patient Spider
Message-ID	<o9vdsk$25c$1@dont-email.me> (permalink)
References	(3 earlier) <gk1sbcprpa1ljb791tdertsdqgaije2qq6@4ax.com> <o9ln8m$k68$1@dont-email.me> <qia0cctjtb9u9gb5k8mm2kccgq9ttc2dr2@4ax.com> <o9pi2b$534$1@dont-email.me> <r5o5cctldnntpvk88c9k54fdkj7u731kjn@4ax.com>

Show all headers | View raw

On 3/10/2017 11:43 AM, George Neuner wrote:
>> On 3/8/2017 10:20 AM, George Neuner wrote:
>>>
>>> A closure can be defined over a function anywhere the function is in
>>> scope.  A function F exported from module X may be used by a closure
>>> in module Y which imports X.  Similarly a closure defined in module X
>>> may be exported from X as an opaque object.
>>
>> Two heaps created, each by referencing a function:
>>     instantiate_heap(memory, metrics, allocation_policy, release_policy, ...)
>>
>> Module that *defines* that function must remain "loaded" as it defines the
>> memory managers (directly or indirectly, depending on what is return-ed)
>> for each heap.
>>
>> Any "choices" that are stored (again, avoiding "static") in the function's
>> definition need to persist beyond the *invocation* of instantiate_heap.
>>
>>> Recall that a module may require "initialization" when it is imported.
>>> Closures defined for export would be created at that time.
>>
>> Yes.  But who ensures they remain present <somewhere> after the module
>> itself has served its purpose?  I.e., the state is "hidden" and not
>> obvious to the "invoker".
>
> You're moving the goal post again.
>
> You asked if closures introduced a GC penalty - the answer to which is
> "not necessarily".  Now you are complaining that functions referenced
> by a closure need to remain available for its entire lifetime.
>
> I'd say "duh" but that would be redundant.

Yes -- so how does the tool and/or developer ensure it provides the
intended functionality when required?  How do you imbue the tool
with the "smarts" to be able to analyze these cases (e.g., impose
a "persistent" implementation) in light of the different ways
that the developer can opt to use it?

Alternatively, how do you give the developer tools that let *him*
convey those dependencies to the tool?

Unless you restrict how they can be used, I don't see how you can
address each possibility...

> A module has not "served its purpose" if its functions may yet be
> called in the future.  That, in general, is undecidable.
>
> The GC standard of "reachability" is conservative - GC does not
> consider whether an object will be used again because it can't know
> that.  A compiler is in a better position to figure out usage, but
> even there the only way to know for certain is to simulate execution
> of the program and observe that it terminates without ever again
> referencing the object in question.
> [Hint: indefinate loops can't be guaranteed to terminate.]

Exactly.  I "avoid" this issue by requiring the developer to
handle the "resource reclamation".  This means he can make a mistake
and shoot off both feet (so the OS has to know to catch these
sorts of problems, indirectly).

>> [If initialize_heap RETURNS "memory manager"s that are then used to
>> manage each individual heap, then initialize_heap() itself is still
>> dynamically bound to those objects.  If you unload the module
>> containing it, then the memory manager objects (in this example) that
>> it created for the callers also disappears.]
>
> Not necessarily - it depends on the module structure.
> E.g.,
>
>               +----------------+
>              -| heap functions |
>             / +----------------+
>            /      |
>           /       v
>          /    +-----------------+
> <closure> <-- | initialize_heap |
>               +-----------------+
>
> initialize_heap can be in a module separate from other heap control
> functions.  Once the (heap interface) closure is created, the module
> containing initialize_heap is unneeded and could be unloaded.

That's how I "manually" implement these things.  But *I* have to
keep track of whether the functions are loaded and *where* they
are loaded.  E.g., if I want to migrate something to another
node, then I need a handle by which the heap functions (and the
bindings made at "initialization") can be invoked "later".

I just don't see how a compiler can be aware of this sort of thing
(without PREVENTING me from doing these sorts of things).

> Your imagination is failing.
>
>>> You can do this even with stack bound closures.  Consider that
>>> imported namespaces need to be available before the importing module's
>>> code can execute.  However, even in the case of the 1st (top) module,
>>> the *process* invoking it already exists, and therefore there is
>>> already is a stack.
>>>
>>> With appropriate language support, a module which exports closures can
>>> construct them on the process stack at the point when the module is
>>> 1st imported.  Then they would be available anywhere "below" the site
>>> of the import (subject to visibility).
>>
>> So, the memory manager example would necessitate loading that
>> "system object" (memory MANAGER) into the user's process space.
>>
>> Or, keeping process/task specific "state" like that in some
>> protected per-process portion of privileged memory.
>
> Depends on how the system is structured.  Certainly functions that are
> needed would have to remain accessible, but proper structuring can
> reduce incidental retention of things that are unneeded.
>
>>>> [E.g., consider the heap instantiator example:  why does *it* have
>>>> to persist just so something it provides remains accessible?]
>
> It doesn't.

Unless the parameters (e.g., allocation_policy, etc.) that were
specified in its invocation are embodied *within* it.

I think a lot of these sorts of things have an underlying assumption that
they are part of a persistent, single "program unit" so the compiler doesn't
have to "worry" about lifespan.

E.g., crt0.s can "go away" after main() is reached.  OTOH, much harder
to decide when the floating point library can (safely) be unloaded!  But,
the *developer* COULD know this (he could also get it wrong!)

>>> In any case, the functions involved cannot be unloaded (at least not
>>> easily) if they will be needed by something that is still running.
>>
>> Does the language magically enforce this dependence?  Or, does the developer
>> have to be aware of the potential "gotcha"?  Or, does something else reference
>> count, etc.?
>
> What "language" are we talking about?  Dependencies can be enforced at
> many levels.

*Your* language of choice.  I'm merely evaluating it (as a language feature)
in *my* build/execute environment.  "How would I make it work?"  "How could a
compiler ensure that it works as intended *in* my environment?"  etc.

E.g., its relatively easy to make most "conventional" (whatever that means)
language work in a multitasking environment without intimate knowledge
of their code generators (though you may have to force some responsibilities
onto the developer to do so reliably).  Languages don't tend to place temporal
guarantees on anything -- the next statement could be executed nanoseconds
after the previous one OR weeks later; the accuracy of the *code* isn't
affected by its timing.

I can impose some extensions to a "system" without annoying the compiler,
linker, developer, etc. *if* I am careful in how I implement them AND
what I expect of these "parties".

So, the question becomes: "what responsibilities/constraints does THIS
force onto the developer (to ensure the assumptions that the compiler
REASONABLY makes won't be violated)?"

Thread

Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-05 16:03 -0700
  Re: Language feature selection Wouter van Ooijen <wouter@voti.nl> - 2017-03-06 08:04 +0100
    Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-07 10:31 -0700
      Re: Language feature selection Wouter van Ooijen <wouter@voti.nl> - 2017-03-07 23:29 +0100
        Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-08 02:49 -0700
          Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-08 13:18 +0100
            Re: Language feature selection Wouter van Ooijen <wouter@voti.nl> - 2017-03-08 16:58 +0100
            Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-08 10:35 -0700
              Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-08 22:07 +0100
  Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-06 08:40 +0100
    Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-06 10:31 +0100
    Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-06 08:47 -0700
      Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-06 21:33 +0100
        Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-06 13:44 -0700
          Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-07 12:24 +0100
            Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-07 09:34 -0700
              Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-08 10:14 +0100
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-08 10:37 -0700
                Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-08 22:09 +0100
    Re: Language feature selection Tauno Voipio <tauno.voipio@notused.fi.invalid> - 2017-03-06 22:50 +0200
      Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-07 12:31 +0100
    Re: Language feature selection rickman <gnuarm@gmail.com> - 2017-03-07 14:45 -0500
  Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-06 08:39 +0000
    Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-06 08:39 -0700
      Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-06 17:27 +0000
        Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-06 13:30 -0700
  Re: Language feature selection Dimiter_Popoff <dp@tgi-sci.com> - 2017-03-06 11:11 +0200
    Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-06 13:38 -0700
      Re: Language feature selection Dimiter_Popoff <dp@tgi-sci.com> - 2017-03-07 12:18 +0200
        Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-07 10:28 -0700
  Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-06 13:33 -0500
    Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-06 13:36 -0700
      Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-06 22:15 -0500
        Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-06 22:22 -0500
        Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-07 00:27 -0700
          Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-08 12:20 -0500
            Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-08 11:23 -0700
              Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-10 13:43 -0500
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-10 16:49 -0700
                Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-11 04:17 -0500
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-11 12:33 -0700
                Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-12 18:08 -0400
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-12 17:25 -0700
                Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-15 21:05 -0400
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-16 17:23 -0700
                Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-17 23:59 -0400
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-17 23:25 -0700
                Re: Language feature selection Tauno Voipio <tauno.voipio@notused.fi.invalid> - 2017-03-18 12:05 +0200
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-18 04:04 -0700
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-18 04:39 -0700
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-18 03:55 -0700
                Re: Language feature selection upsidedown@downunder.com - 2017-03-18 16:00 +0200
                Re: Language feature selection Les Cargill <lcargill99@comcast.com> - 2017-03-11 16:35 -0600
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-11 15:39 -0700
  Re: Language feature selection Grant Edwards <invalid@invalid.invalid> - 2017-03-06 18:59 +0000
    Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-06 12:36 -0700
  Re: Language feature selection Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP> - 2017-03-07 19:02 +0000
    Re: Language feature selection Grant Edwards <invalid@invalid.invalid> - 2017-03-07 19:18 +0000
      Re: Language feature selection Grant Edwards <invalid@invalid.invalid> - 2017-03-07 19:19 +0000
    Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-07 12:38 -0700
  Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-07 22:10 -0600
    Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-07 20:35 -0800
      Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-08 20:43 -0600
    Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-07 23:48 -0700
      Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-08 20:48 -0600
        Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-08 21:15 -0700
        Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-09 01:33 -0800
        Re: Language feature selection Grant Edwards <invalid@invalid.invalid> - 2017-03-09 14:47 +0000
          Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-09 16:40 +0100
            Re: Language feature selection Grant Edwards <invalid@invalid.invalid> - 2017-03-09 16:15 +0000
              Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-09 22:04 +0100
                Re: Language feature selection John Devereux <john@devereux.me.uk> - 2017-03-10 07:46 +0000
                Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-10 13:21 +0100
              Re: Language feature selection Les Cargill <lcargill99@comcast.com> - 2017-03-09 17:57 -0600
                Re: Language feature selection Tauno Voipio <tauno.voipio@notused.fi.invalid> - 2017-03-10 11:16 +0200
        Re: Language feature selection Jacob Sparre Andersen <jacob@jacob-sparre.dk> - 2017-03-10 20:39 +0100
          Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-10 13:32 -0800
            Re: Language feature selection Niklas Holsti <niklas.holsti@tidorum.invalid> - 2017-03-11 14:58 +0200
              Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-13 13:02 +0100
    Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-08 10:46 +0100
      Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-08 20:33 -0600
        Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-09 11:08 +0100
          Re: Language feature selection Britt <britt.snodgrass@gmail.com> - 2017-03-09 07:04 -0800
            Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-09 16:36 +0100
              Re: Language feature selection Grant Edwards <invalid@invalid.invalid> - 2017-03-09 16:11 +0000
              Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-09 12:06 -0600
              Re: Language feature selection Hans-Bernhard Bröker <HBBroeker@t-online.de> - 2017-03-09 19:26 +0100
                Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-09 22:08 +0100
            Re: Language feature selection Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP> - 2017-03-09 19:04 +0000
              Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-09 15:34 -0700
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-09 15:40 -0700
                Re: Language feature selection Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP> - 2017-03-10 14:19 +0000
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-10 11:10 -0700
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-10 11:49 -0700
        Re: Language feature selection Les Cargill <lcargill99@comcast.com> - 2017-03-09 18:00 -0600
    Re: Language feature selection Les Cargill <lcargill99@comcast.com> - 2017-03-09 17:54 -0600
      Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-09 18:54 -0600
        Re: Language feature selection Grant Edwards <invalid@invalid.invalid> - 2017-03-10 04:07 +0000
          Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-10 08:07 -0600
        Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-10 13:59 +0100
      Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-10 08:17 +0000
        Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-10 11:24 -0700
          Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-10 19:09 +0000
            Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-10 12:33 -0700
              Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-10 23:25 +0000
                Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-10 20:22 -0500
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-11 01:32 +0000
                Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-10 18:16 -0800
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-11 09:59 +0000
                Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-11 02:23 -0800
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-11 11:13 +0000
                Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-11 14:28 -0500
                Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-11 17:20 -0500
                Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-12 16:26 -0400
                Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-12 21:46 +0100
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-12 23:15 +0000
                Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-13 14:14 -0400
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-13 18:48 +0000
                Re: Language feature selection "Brian G. Lucas" <bagel99@gmail.com> - 2017-03-13 15:17 -0500
                Re: Language feature selection Niklas Holsti <niklas.holsti@tidorum.invalid> - 2017-03-13 23:17 +0200
                Re: Language feature selection "Brian G. Lucas" <bagel99@gmail.com> - 2017-03-13 17:27 -0500
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-13 17:10 -0700
                Re: Language feature selection Niklas Holsti <niklas.holsti@tidorum.invalid> - 2017-03-14 10:11 +0200
                Re: Language feature selection "Brian G. Lucas" <bagel99@gmail.com> - 2017-03-14 12:23 -0500
                Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-14 13:27 +0100
                Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-14 13:30 -0400
                Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-14 22:03 +0100
                Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-14 17:24 -0400
                Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-11 07:19 -0600
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-11 19:43 +0000
                Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-12 09:28 -0600
                Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-12 15:15 -0400
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-12 19:38 +0000
                Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-10 18:08 -0800
                Re: Language feature selection George Neuner <gneuner2@comcast.net> - 2017-03-11 04:22 -0500
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-11 10:02 +0000
                Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-11 02:22 -0800
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-11 11:07 +0000
          Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-10 14:30 -0600
            Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-10 13:37 -0800
              Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-10 16:30 -0600
                Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-10 18:14 -0800
                Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-11 07:46 -0600
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-11 12:53 -0700
                Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-12 09:45 -0600
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-12 11:56 -0700
                Re: Language feature selection Dimiter_Popoff <dp@tgi-sci.com> - 2017-03-12 21:05 +0200
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-12 14:40 -0700
                Re: Language feature selection Dimiter_Popoff <dp@tgi-sci.com> - 2017-03-13 00:36 +0200
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-12 17:00 -0700
                Re: Language feature selection Robert Wessel <robertwessel2@yahoo.com> - 2017-03-13 16:50 -0500
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-13 17:08 -0700
                Re: Language feature selection Robert Wessel <robertwessel2@yahoo.com> - 2017-03-13 20:51 -0500
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-13 20:31 -0700
                Re: Language feature selection Robert Wessel <robertwessel2@yahoo.com> - 2017-03-14 21:45 -0500
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-14 21:16 -0700
                Re: Language feature selection Les Cargill <lcargill99@comcast.com> - 2017-03-11 16:40 -0600
            Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-10 15:10 -0700
              Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-10 16:42 -0600
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-10 17:02 -0700
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-11 00:46 +0000
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-11 13:05 -0700
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-11 21:58 +0000
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-11 15:19 -0700
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-11 23:27 +0000
                Re: Language feature selection Walter Banks <walter@bytecraft.com> - 2017-03-10 20:14 -0600
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-11 12:16 -0700
        Re: Language feature selection Hans-Bernhard Bröker <HBBroeker@t-online.de> - 2017-03-10 20:40 +0100
          Re: Language feature selection Wouter van Ooijen <wouter@voti.nl> - 2017-03-10 22:28 +0100
  Re: Language feature selection Jacob Sparre Andersen <jacob@jacob-sparre.dk> - 2017-03-10 20:03 +0100
    Re: Language feature selection Grant Edwards <invalid@invalid.invalid> - 2017-03-10 19:48 +0000
      Re: Language feature selection Jacob Sparre Andersen <jacob@jacob-sparre.dk> - 2017-03-13 21:25 +0100
    Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-10 13:03 -0700
      Re: Language feature selection Jacob Sparre Andersen <jacob@jacob-sparre.dk> - 2017-03-13 21:40 +0100
        Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-13 14:35 -0700
          Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-14 01:06 +0000
            Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-13 19:23 -0700
              Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-14 08:48 +0000
                Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-14 02:14 -0700
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-14 09:33 +0000
                Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-14 09:21 -0700
                Re: Language feature selection Les Cargill <lcargill99@comcast.com> - 2017-03-17 06:01 -0500
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-17 11:39 +0000
                Re: Language feature selection Les Cargill <lcargill99@comcast.com> - 2017-03-17 07:16 -0500
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-17 13:49 +0000
                Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-17 11:03 -0700
                Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-17 19:21 +0100
                Re: Language feature selection Paul Rubin <no.email@nospam.invalid> - 2017-03-17 11:34 -0700
                Re: Language feature selection David Brown <david.brown@hesbynett.no> - 2017-03-17 20:26 +0100
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-17 20:07 +0000
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-17 20:29 +0000
                Re: Language feature selection Les Cargill <lcargill99@comcast.com> - 2017-03-17 19:19 -0500
                Re: Language feature selection Tom Gardner <spamjunk@blueyonder.co.uk> - 2017-03-18 08:18 +0000
            Re: Language feature selection Hans-Bernhard Bröker <HBBroeker@t-online.de> - 2017-03-14 21:20 +0100
  Re: Language feature selection jim.brakefield@ieee.org - 2017-03-10 18:46 -0800
    Re: Language feature selection Niklas Holsti <niklas.holsti@tidorum.invalid> - 2017-03-11 15:41 +0200
      Re: Language feature selection jim.brakefield@ieee.org - 2017-03-11 14:20 -0800
        Re: Language feature selection upsidedown@downunder.com - 2017-03-12 00:54 +0200
          Re: Language feature selection jim.brakefield@ieee.org - 2017-03-12 18:08 -0700
            Re: Language feature selection upsidedown@downunder.com - 2017-03-13 23:36 +0200
          Re: Language feature selection Robert Wessel <robertwessel2@yahoo.com> - 2017-03-13 17:03 -0500
    Re: Language feature selection Don Y <blockedofcourse@foo.invalid> - 2017-03-11 14:21 -0700

csiph-web