August Meeting - Measuring Software Quality

[Jason Steinhauser]

Hey guys,

This past month has been awfully hectic for my personal life (nothing bad, just busy). Because of this, I haven't made time to line up a speaker. That's totally on me, and I apologize! Things should be settling down as soon as school starts back next week, and I will make a more concerted effort to line up speakers in advance.

I've been doing work in an Independent Verification and Validation group for the past few months, and we've been assessing various codebases on their quality per direction from our customer. We have some quality metrics that we use, and I'd like to talk about what metrics we use, their advantages and drawbacks, and then open up the floor for a round table discussion to see how quality is determined (if at all) in various other software sectors. Would anyone else be interested in this? No is an acceptable answer, and if you have a different topic you'd prefer, by all means I'm open! Drew, is available on Thursday?

Thanks,

Jason

[nothing...@gmail.com]

I would be up for that provided we relate it back to functional languages.

Some topics for discussion:
- Are certain metrics more/less meaningful in a functional language/design and why? There are ways a language can be built to make it simple to achieve a particular metric.

- How does a language's features effect how one can use a given metric? For example, does Cyclomatic complexity mean the same thing in a language with pattern matching? Do you treat a matched pattern in Haskell as you would and "if" + "return" in a language like C++.

foo :: [a] -> b
foo [] = ...
foo xs = ...

vs

b foo(std::vector<a> xs){
  if(xs.size() == 0){
    ....
  } else {
    ....
  }
}

--
Jean-Luc

[Jason Steinhauser]

Don't worry, I have a tie back to FP ;-)

[Andrew McDowell]

Room is booked :)

--
You received this message because you are subscribed to the Google Groups "HuntFunc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to huntfunc+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

Fiat Luminosus

[Mark Carringer]

Cool. Thursday at noon?

I'll be there. Have been starting a new job for the past couple months, so all I can think about these days is WPF.

May I propose a paper for September? How about Wadler's Theorems for Free:

https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf

I haven't ever given it a very careful reading, and this would make me do so. I am willing to try to present the paper, and lead the discussion, but hopefully everyone will read it and I won't be able to mislead anyone.

Anyhow, we can discuss Thursday.

Mark Carringer

[nothing...@gmail.com]

The time is 11:30 till 12:30.  I seem to forget every week so I always end up checking http://huntfunc.github.io/about/ 

That paper sounds interesting, I would be up for that. If we go the paper route for next month we should decide Thursday, that way everyone has time to read it.

On Tuesday, July 31, 2018 at 7:27:53 PM UTC-5, Mark wrote:

Cool. Thursday at noon?

I'll be there. Have been starting a new job for the past couple months, so all I can think about these days is WPF.

May I propose a paper for September? How about Wadler's Theorems for Free:

https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf

I haven't ever given it a very careful reading, and this would make me do so. I am willing to try to present the paper, and lead the discussion, but hopefully everyone will read it and I won't be able to mislead anyone.

Anyhow, we can discuss Thursday.

Mark Carringer

On Tue, Jul 31, 2018 at 9:28 AM, Andrew McDowell <a.d.mc...@gmail.com> wrote:

Room is booked :)

On Mon, Jul 30, 2018 at 10:58 AM, Jason Steinhauser <jason.st...@gmail.com> wrote:

Hey guys,

This past month has been awfully hectic for my personal life (nothing bad, just busy). Because of this, I haven't made time to line up a speaker. That's totally on me, and I apologize! Things should be settling down as soon as school starts back next week, and I will make a more concerted effort to line up speakers in advance.

I've been doing work in an Independent Verification and Validation group for the past few months, and we've been assessing various codebases on their quality per direction from our customer. We have some quality metrics that we use, and I'd like to talk about what metrics we use, their advantages and drawbacks, and then open up the floor for a round table discussion to see how quality is determined (if at all) in various other software sectors. Would anyone else be interested in this? No is an acceptable answer, and if you have a different topic you'd prefer, by all means I'm open! Drew, is available on Thursday?

Thanks,

Jason

--
You received this message because you are subscribed to the Google Groups "HuntFunc" group.

To unsubscribe from this group and stop receiving emails from it, send an email to huntfunc+u...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--

Fiat Luminosus

--
You received this message because you are subscribed to the Google Groups "HuntFunc" group.

To unsubscribe from this group and stop receiving emails from it, send an email to huntfunc+u...@googlegroups.com.

[Ted Satcher]

Wadler paper sounds good to me as well.

[Jason Steinhauser]

Discussing Phillip Wadler papers is definitely good with me! We've been dipping our toes into formal proofs of code at work lately, so at first glance this seems to be a perfect fit for the day job.

On Tuesday, July 31, 2018 at 7:27:53 PM UTC-5, Mark wrote:

Cool. Thursday at noon?

I'll be there. Have been starting a new job for the past couple months, so all I can think about these days is WPF.

May I propose a paper for September? How about Wadler's Theorems for Free:

https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf

I haven't ever given it a very careful reading, and this would make me do so. I am willing to try to present the paper, and lead the discussion, but hopefully everyone will read it and I won't be able to mislead anyone.

Anyhow, we can discuss Thursday.

Mark Carringer

On Tue, Jul 31, 2018 at 9:28 AM, Andrew McDowell <a.d.mc...@gmail.com> wrote:

Room is booked :)

On Mon, Jul 30, 2018 at 10:58 AM, Jason Steinhauser <jason.st...@gmail.com> wrote:

Hey guys,

This past month has been awfully hectic for my personal life (nothing bad, just busy). Because of this, I haven't made time to line up a speaker. That's totally on me, and I apologize! Things should be settling down as soon as school starts back next week, and I will make a more concerted effort to line up speakers in advance.

I've been doing work in an Independent Verification and Validation group for the past few months, and we've been assessing various codebases on their quality per direction from our customer. We have some quality metrics that we use, and I'd like to talk about what metrics we use, their advantages and drawbacks, and then open up the floor for a round table discussion to see how quality is determined (if at all) in various other software sectors. Would anyone else be interested in this? No is an acceptable answer, and if you have a different topic you'd prefer, by all means I'm open! Drew, is available on Thursday?

Thanks,

Jason

--
You received this message because you are subscribed to the Google Groups "HuntFunc" group.

To unsubscribe from this group and stop receiving emails from it, send an email to huntfunc+u...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--

Fiat Luminosus

--
You received this message because you are subscribed to the Google Groups "HuntFunc" group.

To unsubscribe from this group and stop receiving emails from it, send an email to huntfunc+u...@googlegroups.com.

[Brad Collins]

+1 on the Wadler paper.

Gonna have to miss today, though: Going away lunch for our interns. (I don't know why everything seems to fall on HuntFunc week.) 😢

–Brad