Seven Ineffective Coding Habits of Many

Similar documents
Seven Ineffective Coding Habits of Many

Programming with GUTs

Programming with GUTs


5 ineffective. MANY F# programmers. DON T have. coding habits

Small Is Beautiful. A talk on code as if people mattered A talk on code as if economics

Know Your Units TDD, DDT, POUTing and GUTs Kevlin Henney

Programmer's Dozen. Thirteen Recommendations for Reviewing, Kevlin Henney

Lecture Notes on Memory Layout

1.2 Adding Integers. Contents: Numbers on the Number Lines Adding Signed Numbers on the Number Line

In our first lecture on sets and set theory, we introduced a bunch of new symbols and terminology.

The Stack, Free Store, and Global Namespace

Good Object- Oriented Development

AXIOMS OF AN IMPERATIVE LANGUAGE PARTIAL CORRECTNESS WEAK AND STRONG CONDITIONS. THE AXIOM FOR nop

Organizing Information. Organizing information is at the heart of information science and is important in many other

Week - 01 Lecture - 04 Downloading and installing Python

Formal Methods of Software Design, Eric Hehner, segment 1 page 1 out of 5

CSE 142/143 Unofficial Commenting Guide Eric Arendt, Alyssa Harding, Melissa Winstanley

Upcoming Features in C# Mads Torgersen, MSFT

6.001 Notes: Section 8.1

Program development plan

Excerpt from "Art of Problem Solving Volume 1: the Basics" 2014 AoPS Inc.

Software Testing Prof. Meenakshi D Souza Department of Computer Science and Engineering International Institute of Information Technology, Bangalore

10 Tips For Effective Content

SML Style Guide. Last Revised: 31st August 2011

Turning Development Outside

CSE 331 Midterm Exam Sample Solution 2/18/15

Assertions, pre/postconditions

It Is Possible to Do Object-Oriented Programming in Java

Section 1.1 Definitions and Properties

CSE 331 Midterm Exam Sample Solution 2/13/12

EXAMINING THE CODE. 1. Examining the Design and Code 2. Formal Review: 3. Coding Standards and Guidelines: 4. Generic Code Review Checklist:

Lecture Notes on Contracts

CS112 Lecture: Defining Classes. 1. To describe the process of defining an instantiable class

6.001 Notes: Section 6.1

Classes and Methods גרא וייס המחלקה למדעי המחשב אוניברסיטת בן-גוריון

Lecture 1 Contracts : Principles of Imperative Computation (Fall 2018) Frank Pfenning

Lecture 1 Contracts. 1 A Mysterious Program : Principles of Imperative Computation (Spring 2018) Frank Pfenning

Federal Plain Language Guidelines

(a) (4 pts) Prove that if a and b are rational, then ab is rational. Since a and b are rational they can be written as the ratio of integers a 1

The Surface Plane. Sensory Design

The Three Rules. Program. What is a Computer Program? 5/30/2018. Interpreted. Your First Program QuickStart 1. Chapter 1

Classes and Methods עזאם מרעי המחלקה למדעי המחשב אוניברסיטת בן-גוריון מבוסס על השקפים של אותו קורס שניתן בשנים הקודמות

For this chapter, switch languages in DrRacket to Advanced Student Language.

Parsing Text Input CS 005. This document is aimed at increasing your understanding of parsing text input, as well as informing you of

05. SINGLETON PATTERN. One of a Kind Objects

To figure this out we need a more precise understanding of how ML works

Classes and Methods לאוניד ברנבוים המחלקה למדעי המחשב אוניברסיטת בן-גוריון

(Photos and Instructions Based on Microsoft Outlook 2007, Gmail, Yahoo! Mail, and Hotmail)

A PROGRAM IS A SEQUENCE of instructions that a computer can execute to

MITOCW ocw f99-lec07_300k

Skill 1: Multiplying Polynomials

Chapter 1 Getting Started

Violations of the contract are exceptions, and are usually handled by special language constructs. Design by contract

15-122: Principles of Imperative Computation (Section G)

Chapter Fourteen Bonus Lessons: Algorithms and Efficiency

CIT 590 Homework 10 Battleship

Hardware versus software

6.001 Notes: Section 15.1

Object-Oriented Design Lecture 3 CSU 370 Fall 2007 (Pucella) Friday, Sep 14, 2007

CSE 331 Software Design & Implementation

COP 3330 Final Exam Review

CS112 Lecture: Defining Instantiable Classes

Denotational semantics

Guidelines for Writing C Code

In this example on 20X200, the contrast ratio between the navigation text and its background is 1.57:1.

Algebraic Specifications

Helping the Compiler Help You. Thomas Dy

Goals: Define the syntax of a simple imperative language Define a semantics using natural deduction 1

MITOCW watch?v=flgjisf3l78

The Way of the Semicolon -or- Three Things I Wish I Had Known Before I Ever Coded One Patricia Hettinger, Oakbrook Terrace, IL

Topics. Java arrays. Definition. Data Structures and Information Systems Part 1: Data Structures. Lecture 3: Arrays (1)

Framework Design Guidelines

Control Structures. Code can be purely arithmetic assignments. At some point we will need some kind of control or decision making process to occur

Visual Design. Simplicity, Gestalt Principles, Organization/Structure

the NXT-G programming environment

Write for your audience

Prelim 1. CS 2110, October 1, 2015, 5:30 PM Total Question Name True Short Testing Strings Recursion

String Allocation in Icon

MITOCW watch?v=kz7jjltq9r4

You ve encountered other ways of signalling errors. For example, if you lookup an unbound key in a hashtable, Java (and Scala) produce nulls:

CS 351 Design of Large Programs Programming Abstractions

static CS106L Spring 2009 Handout #21 May 12, 2009 Introduction

mk-convert Contents 1 Converting to minikanren, quasimatically. 08 July 2014

Chapter 4 Defining Classes I

CS 1044 Project 5 Fall 2009

COMP-202 Unit 4: Programming with Iterations

6.170 Laboratory in Software Engineering Java Style Guide. Overview. Descriptive names. Consistent indentation and spacing. Page 1 of 5.

Rapid Software Testing Guide to Making Good Bug Reports


These are notes for the third lecture; if statements and loops.

The next several pages summarize some of the best techniques to achieve these three goals.

CSE wi Midterm Exam 2/8/18. Name UW ID #

Five Considerations for Software Architects

Final Examination --- SAMPLE SOLUTIONS May

Sedgewick Specialties

CS106A Handout 28 Winter February 28, 2014 Second Practice Second CS106A Midterm

Promoting Component Architectures in a Dysfunctional Organization

Bit level Binaries and Generalized Comprehensions in Erlang. Per Gustafsson and Kostis Sagonas Dept of Information Technology Uppsala University

Topic C. Communicating the Precision of Measured Numbers

Transcription:

Seven Ineffective Coding Habits of Many Programmers @KevlinHenney

It turns out that style matters in programming for the same reason that it matters in writing. It makes for better reading.

Noisy Code

Signal-to-noise ratio (often abbreviated SNR or S/N) is a measure used in science and engineering that compares the level of a desired signal to the level of background noise. Signal-to-noise ratio is sometimes used informally to refer to the ratio of useful information to false or irrelevant data in a conversation or exchange. http://en.wikipedia.org/wiki/signal_to_noise_ratio

To be, or not to be: that is the question: Whether 'tis nobler in the mind to suffer The slings and arrows of outrageous fortune, Or to take arms against a sea of troubles, And by opposing end them? William Shakespeare Hamlet

Continuing existence or cessation of existence: those are the scenarios. Is it more empowering mentally to work towards an accommodation of the downsizings and negative outcomes of adversarial circumstance, or would it be a greater enhancement of the bottom line to move forwards to a challenge to our current difficulties, and, by making a commitment to opposition, to effect their demise? Tom Burton Long Words Bother Me

public class RecentlyUsedList private List<string> items; public RecentlyUsedList() items = new List<string>(); public void Add(string newitem) if (items.contains(newitem)) int position = items.indexof(newitem); string existingitem = items[position]; items.removeat(position); items.insert(0, existingitem); else items.insert(0, newitem); public int Count get int size = items.count; return size; public string this[int index] get int position = 0; foreach (string item in items) if (position == index) return item; ++position; throw new ArgumentOutOfRangeException();

public class RecentlyUsedList private List<string> items; public RecentlyUsedList() items = new List<string>(); public void Add(string newitem) if (items.contains(newitem)) int position = items.indexof(newitem); string existingitem = list[position]; items.removeat(position); items.insert(0, existingitem); else items.insert(0, newitem); public int Count get int size = items.count; return size; public string this[int index] get int position = 0; foreach (string value in items) if (position == index) return value; ++position; throw new ArgumentOutOfRangeException(); public class RecentlyUsedList private List<string> items = new List<string>(); public void Add(string newitem) items.remove(newitem); items.add(newitem); public int Count get return items.count; public string this[int index] get return items[count - index - 1];

Comments A delicate matter, requiring taste and judgement. I tend to err on the side of eliminating comments, for several reasons. First, if the code is clear, and uses good type names and variable names, it should explain itself. Second, comments aren't checked by the compiler, so there is no guarantee they're right, especially after the code is modified. A misleading comment can be very confusing. Third, the issue of typography: comments clutter code. Rob Pike, "Notes on Programming in C"

There is a famously bad comment style: i=i+1; /* Add one to i */ and there are worse ways to do it: /********************************** * * * Add one to i * * * **********************************/ i=i+1; Don't laugh now, wait until you see it in real life. Rob Pike, "Notes on Programming in C"

A common fallacy is to assume authors of incomprehensible code will somehow be able to express themselves lucidly and clearly in comments. Kevlin Henney https://twitter.com/kevlinhenney/status/381021802941906944

Unsustainable Spacing

To be, or not to be: that is the question: Whether 'tis nobler in the mind to suffer The slings and arrows of outrageous fortune, Or to take arms against a sea of troubles, And by opposing end them? William Shakespeare Hamlet

Continuing existence or cessation of existence: those are the scenarios. Is it more empowering mentally to work towards an accommodation of the downsizings and negative outcomes of adversarial circumstance, or would it be a greater enhancement of the bottom line to move forwards to a challenge to our current difficulties, and, by making a commitment to opposition, to effect their demise? Tom Burton Long Words Bother Me

Continuing existence or cessation of existence: those are the more empowe to work towa accommodati downsizings outcomes of circumstance a greater enh the bottom li forwards to a our current d by making a opposition, t demise?

Column 80 How many programmers lay out their code

How people read

To answer the question "What is clean design?" most succinctly: a clean design is one that supports visual thinking so people can meet their informational needs with a minimum of conscious effort. Daniel Higginbotham "Clean Up Your Mess A Guide to Visual Design for Everyone" http://www.visualmess.com/

You convey information by the way you arrange a design's elements in relation to each other. This information is understood immediately, if not consciously, by the people viewing your designs. Daniel Higginbotham "Clean Up Your Mess A Guide to Visual Design for Everyone" http://www.visualmess.com/

This is great if the visual relationships are obvious and accurate, but if they're not, your audience is going to get confused. They'll have to examine your work carefully, going back and forth between the different parts to make sure they understand. Daniel Higginbotham "Clean Up Your Mess A Guide to Visual Design for Everyone" http://www.visualmess.com/

public int hownottolayoutamethodheader(int firstargument, String secondargument) public int ensureargumentsarealignedlikethis( int firstargument, String secondargument) public int orensureargumentsaregroupedlikethis( int firstargument, String secondargument) public int butnotalignedlikethis(int firstargument, String secondargument)

int donotformat = likethis(someargumentorexpression, anotherargumentorexpression); int insteadformat = somethinglikethis( someargumentorexpression, anotherargumentorexpression); int orformat = somethinglikethis( someargumentorexpression, anotherargumentorexpression);

int asitis = unstable(someargumentorexpression, anotherargumentorexpression); int butthisis = stable( someargumentorexpression, anotherargumentorexpression); int andthisis = stable( someargumentorexpression, anotherargumentorexpression);

public ResultType arbitrarymethodname(firstargumenttype firs SecondArgumentType sec ThirdArgumentType thir LocalVariableType localvariable = method(firstargument, secondargument) if (localvariable.issomething(thirdargument, SOME_SHOUTY_CONSTANT)) dosomethingwith(localvariable); return localvariable.getsomething();

public ResultType arbitrarymethodname( FirstArgumentType firstargument, SecondArgumentType secondargument, ThirdArgumentType thirdargument) LocalVariableType localvariable = method(firstargument, secondargument); if (localvariable.issomething( thirdargument, SOME_SHOUTY_CONSTANT)) dosomething(localvariable); return localvariable.getsomething();

XXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXX XX XXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXX XXXXXXXXXXXX

public ResultType arbitrarymethodname( FirstArgumentType firstargument, SecondArgumentType secondargument, ThirdArgumentType thirdargument) LocalVariableType localvariable = method(firstargument, secondargument); if (localvariable.issomething( thirdargument, SOME_SHOUTY_CONSTANT)) dosomething(localvariable); return localvariable.getsomething();

XXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXX XX XXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXX XXXXXXXXXXXX

public ResultType arbitrarymethodname( FirstArgumentType firstargument, SecondArgumentType secondargument, ThirdArgumentType thirdargument) LocalVariableType localvariable = method(firstargument, secondargument); if (localvariable.issomething( thirdargument, SOME_SHOUTY_CONSTANT)) dosomething(localvariable); return localvariable.getsomething();

XXXXXX XXXXXXXXXX XXXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXX XXXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXX XXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXX XX XXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXX XXXXXXXXXXXXXXXXXXXX XXXXXXXXXXX XXXXXXXXXXXXX XXXXXX XXXXXXXXXXXXX XXXXXXXXXXXX

Lego Naming

Agglutination is a process in linguistic morphology derivation in which complex words are formed by stringing together morphemes, each with a single grammatical or semantic meaning. Languages that use agglutination widely are called agglutinative languages. http://en.wikipedia.org/wiki/agglutination

pneumonoultramicroscopicsilicovolcanoconiosis fylkestrafikksikkerhetsutvalgssekretariatslederfunksjonene Rindfleischetikettierungsüberwachungsaufgabenübertragungsgesetz

add validate Proxy Controller Value get Exception Factory Manager set enable process create Object check disable do Service remove

https://twitter.com/kevlinhenney/status/476962681636020224

https://twitter.com/kevlinhenney/status/476963022549032960

People will be using the words you choose in their conversation for the next 20 years. You want to be sure you do it right. Unfortunately, many people get all formal [...]. Just calling it what it is isn't enough.

public interface ConditionChecker boolean checkcondition();...

public interface Condition boolean istrue();...

They have to tack on a flowery, computer science-y, impressive sounding, but ultimately meaningless word, like Object, Thing, Component, Part, Manager, Entity, or Item.

The simple, the punchy, the easily remembered will be far more effective in the long run than some long name that says it all, but in such a way that no one wants to say it at all.

AccessViolationException ArgumentOutOfRangeException ArrayTypeMismatchException BadImageFormatException CannotUnloadAppDomainException EntryPointNotFoundException IndexOutOfRangeException InvalidOperationException OverflowException

AccessViolation ArgumentOutOfRange ArrayTypeMismatch BadImageFormat CannotUnloadAppDomain EntryPointNotFound IndexOutOfRange InvalidOperation Overflow

ArgumentException ArithmeticException ContextMarshalException FieldAccessException FormatException NullReferenceException ObjectDisposedException RankException TypeAccessException

Argument Arithmetic ContextMarshal FieldAccess Format NullReference ObjectDisposed Rank TypeAccess

InvalidArgument InvalidArithmeticOperation FailedContextMarshal InvalidFieldAccess InvalidFormat NullDereferenced OperationOnDisposedObject ArrayRankMismatch InvalidTypeAccess

Omit needless words. William Strunk and E B White The Elements of Style

Underabstraction

http://fragmental.tw/2009/04/29/tag-clouds-see-how-noisy-your-code-is/

http://fragmental.tw/2009/04/29/tag-clouds-see-how-noisy-your-code-is/

if (portfolioidsbytraderid.get(trader.getid()).containskey(portfolio.getid()))... Dan North, "Code in the Language of the Domain" 97 Things Every Programmer Should Know

if (trader.canview(portfolio))... Dan North, "Code in the Language of the Domain" 97 Things Every Programmer Should Know

parser.processnodes(text, false); Gregor Hohpe, "Convenience Is Not an -ility" 97 Things Every Programmer Should Know

If you have a procedure with ten parameters, you probably missed some. Alan Perlis

Unencapsulated State

public class RecentlyUsedList private List<string> items = new List<string>(); public List<string> Items get return items; public void Add(string newitem) if(newitem == null) throw new ArgumentNullException(); items.remove(newitem); items.insert(0, newitem);...

public class RecentlyUsedList private List<string> items = new List<string>(); public List<string> Items get return items; public void Add(string newitem) if(newitem == null) throw new ArgumentNullException(); items.remove(newitem); items.insert(0, newitem);...

public class RecentlyUsedList private List<string> items = new List<string>(); public List<string> Items get return items; public void Add(string newitem) if(newitem == null) throw new ArgumentNullException(); items.remove(newitem); items.insert(0, newitem);... var list = new RecentlyUsedList(); list.add("hello, World!"); Console.WriteLine(list.Items.Count); list.items.add("hello, World!"); Console.WriteLine(list.Items.Count); list.items.add(null);

Don't ever invite a vampire into your house, you silly boy. It renders you powerless.

public class RecentlyUsedList private IList<string> items = new List<string>(); public int Count get return items.count; public string this[int index] get return items[index]; public void Add(string newitem) if(newitem == null) throw new ArgumentNullException(); items.remove(newitem); items.insert(0, newitem);...

public class RecentlyUsedList private IList<string> items = new List<string>(); public int Count get return items.count; public string this[int index] get return items[count index - 1]; public void Add(string newitem) if(newitem == null) throw new ArgumentNullException(); items.remove(newitem); items.add(newitem);...

Getters and Setters

public class Money implements...... public int getunits()... public int gethundredths()... public Currency getcurrency()...... public void setunits(int newunits)... public void sethundredths(int newhundredths)... public void setcurrency(currency newcurrency)......

public final class Money implements...... public int getunits()... public int gethundredths()... public Currency getcurrency()......

Just because you have a getter, doesn't mean you should have a setter.

public final class Money implements...... public int getunits()... public int gethundredths()... public Currency getcurrency()......

public final class Money implements...... public int units()... public int hundredths()... public Currency currency()......

"Get something" is an imperative with an expected side effect.

Uncohesive Tests

Everybody knows that TDD stands for Test Driven Development. However, people too often concentrate on the words "Test" and "Development" and don't consider what the word "Driven" really implies. For tests to drive development they must do more than just test that code performs its required functionality: they must clearly express that required functionality to the reader. That is, they must be clear specifications of the required functionality. Tests that are not written with their role as specifications in mind can be very confusing to read. Nat Pryce and Steve Freeman "Are Your Tests Really Driving Your Development?"

public class RecentlyUsedList... public RecentlyUsedList()... public int Count get... public string this[int index] get... public void Add(string newitem)......

[TestFixture] public class RecentlyUsedListTests [Test] public void TestConstructor()... [Test] public void TestCountGet()... [Test] public void TestIndexerGet()... [Test] public void TestAdd()......

test test test test method method method test

namespace RecentlyUsedList_spec [TestFixture] public class A_new_list [Test] public void Is_empty() [TestFixture] public class An_empty_list [Test] public void Retains_a_single_addition() [Test] public void Retains_unique_additions_in_stack_order() [TestFixture] public class A_non_empty_list [Test] public void Is_unchanged_when_head_item_is_readded() [Test] public void Moves_non_head_item_to_head_when_it_is_readded() [TestFixture] public class Any_list_rejects [Test] public void Addition_of_null_items() [Test] public void Indexing_past_its_end() [Test] public void Negative_indexing()

namespace RecentlyUsedList_spec [TestFixture] public class A_new_list [Test] public void Is_empty() [TestFixture] public class An_empty_list [Test] public void Retains_a_single_addition() [Test] public void Retains_unique_additions_in_stack_order() [TestFixture] public class A_non_empty_list [Test] public void Is_unchanged_when_head_item_is_readded() [Test] public void Moves_non_head_item_to_head_when_it_is_readded() [TestFixture] public class Any_list_rejects [Test] public void Addition_of_null_items() [Test] public void Indexing_past_its_end() [Test] public void Negative_indexing()

So who should you be writing the tests for? For the person trying to understand your code. Good tests act as documentation for the code they are testing. They describe how the code works. For each usage scenario, the test(s): Describe the context, starting point, or preconditions that must be satisfied Illustrate how the software is invoked Describe the expected results or postconditions to be verified Different usage scenarios will have slightly different versions of each of these. Gerard Meszaros "Write Tests for People"

namespace RecentlyUsedList_spec [TestFixture] public class A_new_list... [TestFixture] public class An_empty_list [Test] public void Retains_a_single_addition( [Values("London", "Bristol", "Oslo")] string addend) var items = new RecentlyUsedList(); // Given... items.add(addend); // When... Assert.AreEqual(1, items.count); // Then... Assert.AreEqual(addend, list[0]); [Test] public void Retains_unique_additions_in_stack_order() [TestFixture] public class A_non_empty_list... [TestFixture] public class Any_list_rejects...

One of the things that Osherove warns against is multiple asserts in unit tests. Owen Pellegrin http://www.owenpellegrin.com/blog/testing/how-do-you-solve-multiple-asserts/

string[] itinerary =...; string[] expected = "London", "Bristol", "Oslo" ; Assert.AreEqual(expected, itinerary);

Assert.DoesNotThrow(() => string[] itinerary =...; string[] expected =...; ); Assert.IsNotNull(itinerary); Assert.AreEqual(3, itinerary.length); Assert.AreEqual("London", itinerary[0]); Assert.AreEqual("Bristol", itinerary[1]); Assert.AreEqual("Oslo", itinerary[2]);

My guideline is usually that you test one logical concept per test. You can have multiple asserts on the same object. They will usually be the same concept being tested. Roy Osherove http://www.owenpellegrin.com/blog/testing/how-do-you-solve-multiple-asserts/

A test case should be just that: it should correspond to a single case.

One of the most foundational principles of good design is: Gather together those things that change for the same reason, and separate those things that change for different reasons. This principle is often known as the single responsibility principle, or SRP. In short, it says that a subsystem, module, class, or even a function, should not have more than one reason to change.

We refer to a sound line of reasoning, for example, as coherent. The thoughts fit, they go together, they relate to each other. This is exactly the characteristic of a class that makes it coherent: the pieces all seem to be related, they seem to belong together, and it would feel somewhat unnatural to pull them apart. Such a class exhibits cohesion.

We refer to a sound line of reasoning, for example, as coherent. The thoughts fit, they go together, they relate to each other. This is exactly the characteristic of a test that makes it coherent: the pieces all seem to be related, they seem to belong together, and it would feel somewhat unnatural to pull them apart. Such a test exhibits cohesion.

tests tests tests class class tests

At some level the style becomes the substance.