From 644c723cd2c7c63d2a50a5b7cd7ff705b485ac38 Mon Sep 17 00:00:00 2001 From: Jasdev Singh Date: Wed, 9 Jan 2019 15:24:30 -0500 Subject: [PATCH] =?UTF-8?q?Adds=20Ole=E2=80=99s=20Correction=20to=20Episod?= =?UTF-8?q?e=200004=E2=80=99s=20Code=20(#16)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../Pages/01-Episode.xcplaygroundpage/Contents.swift | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/0004-algebraic-data-types/Algebraic Data Types.playground/Pages/01-Episode.xcplaygroundpage/Contents.swift b/0004-algebraic-data-types/Algebraic Data Types.playground/Pages/01-Episode.xcplaygroundpage/Contents.swift index aa2ca62b..36464356 100644 --- a/0004-algebraic-data-types/Algebraic Data Types.playground/Pages/01-Episode.xcplaygroundpage/Contents.swift +++ b/0004-algebraic-data-types/Algebraic Data Types.playground/Pages/01-Episode.xcplaygroundpage/Contents.swift @@ -192,6 +192,12 @@ import Foundation // + Error // + 1 +// NB: It was brought to our attention by one of our viewers, [Ole Begemann](https://twitter.com/olebegemann), +// that it is in fact possible for `URLResponse` and `Error` to be non-`nil` at the same time. +// He wrote a great [blog post](https://oleb.net/blog/2018/03/making-illegal-states-unrepresentable/) about this, +// and we discuss this correction at the beginning of our follow up episode, +// [Algebraic Data Types: Exponents](https://www.pointfree.co/episodes/ep9-algebraic-data-types-exponents). + // Data * URLResponse + Error //Either, Error>