All of lore.kernel.org
 help / color / mirror / Atom feed
From: elfring@users.sourceforge.net (SF Markus Elfring)
To: cocci@systeme.lip6.fr
Subject: [Cocci] Usage of "expressions" and "identifiers" with SmPL
Date: Sun, 9 Oct 2016 09:49:52 +0200	[thread overview]
Message-ID: <83aae471-2eda-6ae0-9340-8e39bd214542@users.sourceforge.net> (raw)
In-Reply-To: <87zimey49q.fsf@vostro.rath.org>

>>> Someone who has to read so much text and in the end has no information
>>> about the question he was asking will not likely get a good impression
>>> about the software he is trying to use.
>>
>> A beginner should usually read some text for the desired learning experience.
>> Can it be that you worry a bit too much about the potential for
>> bad impressions around your software?
> 
> Sorry to be the bringer of bad news, but Julia is spot on.

Thanks for your interesting feedback.

It seems to indicate also special details about your learning approach.


> The only effect your emails had on me was a big "WTF!?".

All of them (including the provided small SmPL script examples on 2016-10-05)?


Do you care for the consequences around the usage of embedded (programming)
languages within the semantic patch language as "a host"?
Can such a distinction be useful also for you?


> Had Julia not responded to my messages at almost the same time,

Here software support is very nice, isn't it?


> I would have left this list and Coccinelle for good.

I wonder that you would really run away so quickly just because
a few alternative description approaches became a bit longer.


>> Would you like to start another marketing project?
> 
> What's the point of all these random questions that you bring up in
> response to every sentence?

Did you inspect any items from the GitHub issue tracker?


> Do you think they are helpful?

I hope so.


>> I find that this mailing list gets only low message traffic so far.
> 
> Do you think others share this impression?

Yes. - I guess so. (I do not know concrete numbers for my view.)


> Do you think this is a good thing or a bad thing?

It might be easier to get started than in other areas you could get
involved in depending on your desire.

I hope that the varying topic mixture is interesting enough as another
valuable information source.


> How do you think will this situation evolve?

I imagine that the Coccinelle software will be improved in various directions.
I hope that the attractiveness of the provided tools will increase accordingly.
Will such an evolution mean more users with a higher message exchange rate
at various places?


>> So I would imagine that most well-intended discussion contributions could
>> be useful. Is the mixture of presented topics reasonable?
> 
> What do you mean with discussion contributions?

Did I (and the other contributors) publish any messages on this mailing list
before that could fit to your way of looking for helpful information already?


> Do you think that asking if the topic is reasonable is equivalent to asking
> if the specific contributions are reasonable?

No. - Would you like to discuss this aspect any further?


>> We came along different views around the usage of "expressions"
>> in previous discussions, didn't we?
> 
> Whom do you mean with "we"?

I guess that it could be primarily interpreted as Julia and me.


> Is it important in this context?

I find the software development history somewhat relevant also in this use case.


>> You repeated the explanation "An expression is something that has a value."
>> which is reasonable to some degree. I would like to know then:
>> Which "value" is provided by the software construct "idexpression"
>> in the semantic patch language?
> 
> Do you think you will be able to find out the answer to this question?

I could get some information from reading OCaml source code in principle.
But I would prefer an other clarification approach.


> How could we best assist you in that?

Which possibilities have you got in mind at the moment?
Are you really interested in improving your "assistance" in significant ways?

Regards,
Markus

  reply	other threads:[~2016-10-09  7:49 UTC|newest]

Thread overview: 46+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-10-05  3:27 [Cocci] Replacing one (specific!) type with another Nikolaus Rath
2016-10-05  5:45 ` Julia Lawall
2016-10-05 16:09   ` Nikolaus Rath
2016-10-05 16:39     ` Michael Stefaniuc
2016-10-05 17:21     ` [Cocci] Replacing one variable name " SF Markus Elfring
2016-10-05 22:34       ` Nikolaus Rath
2016-10-06  5:42         ` SF Markus Elfring
2016-10-06  5:56         ` Julia Lawall
2016-10-05 20:02     ` [Cocci] Replacing one (specific!) type " Julia Lawall
2016-10-05 22:38       ` Nikolaus Rath
2016-10-06  5:55         ` Julia Lawall
2016-10-08  3:16           ` Nikolaus Rath
2016-10-08  5:50             ` Julia Lawall
2016-10-08 20:45               ` Nikolaus Rath
2016-10-08 21:23                 ` Julia Lawall
2016-10-09  6:32                 ` SF Markus Elfring
2016-10-08  6:48             ` [Cocci] Usage of "expressions" and "identifiers" with SmPL SF Markus Elfring
2016-10-08  6:57               ` Julia Lawall
     [not found]               ` <alpine.DEB.2.10.1610080850470.7750@hadrien>
2016-10-08  7:49                 ` SF Markus Elfring
2016-10-08  7:56                   ` Julia Lawall
2016-10-08  8:26                     ` SF Markus Elfring
2016-10-08  8:38                       ` Julia Lawall
2016-10-08  9:25                         ` SF Markus Elfring
2016-10-08 20:28                           ` Nikolaus Rath
2016-10-09  7:49                             ` SF Markus Elfring [this message]
2016-10-09 20:38                               ` Nikolaus Rath
2016-10-10  6:48                                 ` SF Markus Elfring
2016-10-10  6:50                                   ` Julia Lawall
2016-10-06  6:30         ` [Cocci] Replacing one (specific!) type with another SF Markus Elfring
2016-10-08  4:22       ` Nikolaus Rath
2016-10-08  5:31         ` Julia Lawall
2016-10-08 20:52           ` Nikolaus Rath
2016-10-08 21:21             ` Julia Lawall
2016-10-09 20:45               ` Nikolaus Rath
2016-10-10  4:49                 ` Julia Lawall
2016-10-10  4:54                 ` Julia Lawall
2016-10-10 15:56                   ` Nikolaus Rath
2016-10-10 18:45                     ` Nikolaus Rath
2016-10-10 19:45                       ` Julia Lawall
2016-10-10 21:27                         ` Nikolaus Rath
2016-10-10 21:33                           ` Julia Lawall
2016-10-10 23:00                             ` Nikolaus Rath
2016-10-11  6:51                               ` Julia Lawall
2016-10-12 15:08                                 ` Nikolaus Rath
2016-10-12 20:37                                   ` Julia Lawall
2016-10-05  5:51 ` SF Markus Elfring

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=83aae471-2eda-6ae0-9340-8e39bd214542@users.sourceforge.net \
    --to=elfring@users.sourceforge.net \
    --cc=cocci@systeme.lip6.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.