Daniel Wilson-Thomas RocketPuppy

Here's a response to Uncle Bob's post here: http://blog.cleancoder.com/uncle-bob/2017/01/13/TypesAndTests.html

No, types are not tests. Type systems are not tests. Type checking is not testing. Here’s why.

Types definitely are not tests. Types are stronger than tests. This is a test:

describe 'add' do

Uncle Bob, you recently wrote a post titled Types And Tests. It generated quite a lot of buzz. It was also, in my opinion, a bit naive regarding the current state of affairs in type systems. This made it difficult for me to understand exactly what your points were and I would like to understand those better. To help clarify those I'm going to provide counter examples to your claims and propose other questions that both might help me better understand what you mean. Hopefully someone else finds this useful as well. I'll be using Ruby and Haskell for most code snippets as they are representative of the two sides and I'm most familiar with them right now.

Keybase proof

I hereby claim:

I am rocketpuppy on github.
I am danwilsonthomas (https://keybase.io/danwilsonthomas) on keybase.
I have a public key ASC5dYzHf2vZI52PPHohvEjdd61-hGIVeoVssAI-Feb9_Qo

To claim this, I am signing this object:

	function deleteTodo(text) {
	return {
	type: DELETE_TODO,
	payload: {
	text
	}
	};
	}

	const initialState = []

	import { todoReducer, deleteTodo } from '../src';
	import { assert } from 'chai';

	describe('when the todo exists alone', () => {
	const theTodo = { text: 'foo' };
	const state = [theTodo];

	it('removes the todo', () => {
	const newState = todoReducer(state, deleteTodo('foo'));

	# Create and deploy the test cluster, may take a while
	nixops create -d kafka-test cluster.nix
	nixops deploy -d kafka-test --force-reboot

	# Check up on kafka-connect
	nixops ssh -d kafka-test kafka-0
	> journalctl -u apache-kafka-connect.service
	> systemctl start apache-kafka-connect.service

	# Tear it down

	Oct 07 16:40:40 kafka-0 systemd[1]: Started Apache Connect Distributed.
	Oct 07 16:40:44 kafka-0 apache-kafka-connect-start[5184]: [KAFKA-CONNECT] [2018-10-07 16:40:44,422] INFO Kafka Connect distributed worker initializing ... (org.apache.kafka.connect.cli.ConnectDistributed)
	Oct 07 16:40:44 kafka-0 apache-kafka-connect-start[5184]: [KAFKA-CONNECT] [2018-10-07 16:40:44,454] INFO WorkerInfo values:
	Oct 07 16:40:44 kafka-0 apache-kafka-connect-start[5184]: jvm.args = -Xms128M, -Xmx512M, -XX:+UseG1GC, -XX:MaxGCPauseMillis=20, -XX:InitiatingHeapOccupancyPercent=35, -XX:+ExplicitGCInvokesConcurrent, -Djava.awt.headless=true, -Dcom.sun.management.jmxremote, -Dcom.sun.management.jmxremote.authenticate=false, -Dcom.sun.management.jmxremote.ssl=false, -Dkafka.logs.dir=/tmp/apache-kafka-logs, -Dlog4j.configuration=file:/nix/store/5rwwb8avbk3pnp44njz68cs748lz0lwy-log4j.properties
	Oct 07 16:40:44 kafka-0 apache-kafka-connect-start[5184]: jvm.spec = Oracle Corporation, OpenJDK 64-Bit Server VM, 1.8.0_181,

	{
	cairo = {
	dependencies = ["native-package-installer" "pkg-config"];
	groups = ["default"];
	platforms = [];
	source = {
	remotes = ["https://rubygems.org"];
	sha256 = "0yvv2lcbsybzbw1nrmfivmln23da4rndrs3av6ymjh0x3ww5h7p8";
	type = "gem";
	};

	boot.kernelPackages = pkgs.linuxPackages_5_7;

	networking.interfaces.eno1 = {
	ipv4 = { addresses = [{ address = "192.168.63.4"; prefixLength = 24; }]; };
	};

	services.openssh.enable = true;
	services.openssh.permitRootLogin = "yes";

	users.users.node = {