Functional TDD with F# Mark Seemann http://blog.ploeh.dk @ploeh - - PowerPoint PPT Presentation

▶
functional tdd with f
SMART_READER_LITE
LIVE PREVIEW

Functional TDD with F# Mark Seemann http://blog.ploeh.dk @ploeh - - PowerPoint PPT Presentation

May 08, 2023 26 likes •658 views

Look, no Mocks! Functional TDD with F# Mark Seemann http://blog.ploeh.dk @ploeh TDD is dead! http://david.heinemeierhansson.com/2014/tdd-is-dead-long-live-testing.html Is TDD dead? A system you cant test Detestable

slide-1
SLIDE 1

Look, no Mocks! Functional TDD with F#

Mark Seemann http://blog.ploeh.dk @ploeh

slide-2
SLIDE 2

TDD is dead!

http://david.heinemeierhansson.com/2014/tdd-is-dead-long-live-testing.html

slide-3
SLIDE 3

Is TDD dead?

slide-4
SLIDE 4

A system you can’t test

slide-5
SLIDE 5

Detestable

http://martinfowler.com/bliki/Detestable.html

slide-6
SLIDE 6

public IHttpActionResult Post(ReservationRendition rendition) { DateTimeOffset requestedDate; if (!DateTimeOffset.TryParse(rendition.Date, out requestedDate)) return this.BadRequest("Invalid date."); var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden);

slide-7
SLIDE 7

public IHttpActionResult Post(ReservationRendition rendition) { DateTimeOffset requestedDate; if (!DateTimeOffset.TryParse(rendition.Date, out requestedDate)) return this.BadRequest("Invalid date."); var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation

slide-8
SLIDE 8

public IHttpActionResult Post(ReservationRendition rendition) { DateTimeOffset requestedDate; if (!DateTimeOffset.TryParse(rendition.Date, out requestedDate)) return this.BadRequest("Invalid date."); var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation {

slide-9
SLIDE 9

public IHttpActionResult Post(ReservationRendition rendition) { DateTimeOffset requestedDate; if (!DateTimeOffset.TryParse(rendition.Date, out requestedDate)) return this.BadRequest("Invalid date."); var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation { Date = requestedDate,

slide-10
SLIDE 10

public IHttpActionResult Post(ReservationRendition rendition) { DateTimeOffset requestedDate; if (!DateTimeOffset.TryParse(rendition.Date, out requestedDate)) return this.BadRequest("Invalid date."); var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation { Date = requestedDate, Name = rendition.Name,

slide-11
SLIDE 11

public IHttpActionResult Post(ReservationRendition rendition) { DateTimeOffset requestedDate; if (!DateTimeOffset.TryParse(rendition.Date, out requestedDate)) return this.BadRequest("Invalid date."); var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation { Date = requestedDate, Name = rendition.Name, Email = rendition.Email,

slide-12
SLIDE 12

public IHttpActionResult Post(ReservationRendition rendition) { DateTimeOffset requestedDate; if (!DateTimeOffset.TryParse(rendition.Date, out requestedDate)) return this.BadRequest("Invalid date."); var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation { Date = requestedDate, Name = rendition.Name, Email = rendition.Email, Quantity = rendition.Quantity

slide-13
SLIDE 13

{ DateTimeOffset requestedDate; if (!DateTimeOffset.TryParse(rendition.Date, out requestedDate)) return this.BadRequest("Invalid date."); var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation { Date = requestedDate, Name = rendition.Name, Email = rendition.Email, Quantity = rendition.Quantity });

slide-14
SLIDE 14

DateTimeOffset requestedDate; if (!DateTimeOffset.TryParse(rendition.Date, out requestedDate)) return this.BadRequest("Invalid date."); var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation { Date = requestedDate, Name = rendition.Name, Email = rendition.Email, Quantity = rendition.Quantity }); ctx.SaveChanges();

slide-15
SLIDE 15

if (!DateTimeOffset.TryParse(rendition.Date, out requestedDate)) return this.BadRequest("Invalid date."); var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation { Date = requestedDate, Name = rendition.Name, Email = rendition.Email, Quantity = rendition.Quantity }); ctx.SaveChanges(); }

slide-16
SLIDE 16

return this.BadRequest("Invalid date."); var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation { Date = requestedDate, Name = rendition.Name, Email = rendition.Email, Quantity = rendition.Quantity }); ctx.SaveChanges(); }

slide-17
SLIDE 17

var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation { Date = requestedDate, Name = rendition.Name, Email = rendition.Email, Quantity = rendition.Quantity }); ctx.SaveChanges(); } return this.Ok();

slide-18
SLIDE 18

var min = requestedDate.Date; var max = requestedDate.Date.AddDays(1); using (var ctx = new ReservationsContext()) { var reservedSeats = (from r in ctx.Reservations where min <= r.Date && r.Date < max select r.Quantity) .DefaultIfEmpty(0) .Sum(); if (rendition.Quantity + reservedSeats > capacity) return this.StatusCode(HttpStatusCode.Forbidden); ctx.Reservations.Add(new Reservation { Date = requestedDate, Name = rendition.Name, Email = rendition.Email, Quantity = rendition.Quantity }); ctx.SaveChanges(); } return this.Ok(); }

slide-19
SLIDE 19
slide-20
SLIDE 20

Test-Induced Damage

slide-21
SLIDE 21

public IHttpActionResult Post(ReservationRendition rendition) { if (!this.apiValidator.Validate(rendition)) return this.BadRequest("Invalid date."); var r = this.mapper.Map(rendition); var reservedSeats = this.repository.GetReservedSeats(r.Date); if (!this.maîtreD.CanAccept(rendition.Quantity, reservedSeats)) return this.StatusCode(HttpStatusCode.Forbidden); this.repository.Save(r); return this.Ok(); } }

slide-22
SLIDE 22

public interface IApiValidator { bool Validate(ReservationRendition rendition); } public interface IReservationMapper { Reservation Map(ReservationRendition rendition); } public interface IReservationRepository { int GetReservedSeats(DateTimeOffset date); void Save(Reservation reservation); } public interface IMaîtreD { bool CanAccept(int requestedSeats, int reservedSeats); }

slide-23
SLIDE 23

public interface IApiValidator { bool Validate(ReservationRendition rendition); } public interface IReservationMapper { Reservation Map(ReservationRendition rendition); } public interface IReservationRepository { int GetReservedSeats(DateTimeOffset date); void Save(Reservation reservation); } public interface IMaîtreD { bool CanAccept(int requestedSeats, int reservedSeats); } public class ApiValidator : IApiValidator { public bool Validate(ReservationRendition rendition)

slide-24
SLIDE 24

public interface IApiValidator { bool Validate(ReservationRendition rendition); } public interface IReservationMapper { Reservation Map(ReservationRendition rendition); } public interface IReservationRepository { int GetReservedSeats(DateTimeOffset date); void Save(Reservation reservation); } public interface IMaîtreD { bool CanAccept(int requestedSeats, int reservedSeats); } public class ApiValidator : IApiValidator { public bool Validate(ReservationRendition rendition)

slide-25
SLIDE 25

Unit Tests!

slide-26
SLIDE 26

public class ApiValidatorTests { [Fact] public void ValidateReturnsTrueWhenRenditionHasValidDate() { var date = new DateTimeOffset( new DateTime(2014, 7, 27, 21, 17, 35), TimeSpan.FromHours(2)); var rendition = new ReservationRendition { Date = date.ToString("o"), Name = "Foo Baz", Email = "foo@fnaah.dk", Quantity = 9 }; IApiValidator sut = new ApiValidator(); var actual = sut.Validate(rendition); Assert.True(actual); } [Fact] public void ValidateReturnsFalseWhenRenditionHasInvalidDate() {

slide-27
SLIDE 27

public class ReservationMapperTests { [Fact] public void MapReturnsCorrectResult() { var date = new DateTimeOffset( new DateTime(2014, 7, 27, 21, 25, 3), TimeSpan.FromHours(2)); var rendition = new ReservationRendition { Date = date.ToString("o"), Name = "Ndøh Ploeh", Email = "ndøh@ploeh.dk", Quantity = 6 }; IReservationMapper sut = new ReservationMapper(); var actual = sut.Map(rendition); Assert.Equal(date, actual.Date); Assert.Equal(rendition.Name, actual.Name); Assert.Equal(rendition.Email, actual.Email); Assert.Equal(rendition.Quantity, actual.Quantity); } }

slide-28
SLIDE 28

public class MaîtreDTests { [Fact] public void CanAcceptReturnsTrueForFirstRequestUnderCapacity() { var capacity = 10; var sut = new MaîtreD(capacity); bool actual = sut.CanAccept(5, 0); Assert.True(actual); } [Fact] public void CanAcceptReturnsFalseForRequestAboveCapacity() { var capacity = 20; var sut = new MaîtreD(capacity); var actual = sut.CanAccept(30, 0); Assert.False(actual); } [Fact]

slide-29
SLIDE 29

public class ReservationsControllerTests { [Fact] public void SutIsApiController() { var sut = new ReservationsController( new Mock<IApiValidator>().Object, new Mock<IReservationRepository>().Object, new Mock<IMaîtreD>().Object, new Mock<IReservationMapper>().Object); Assert.IsAssignableFrom<ApiController>(sut); } [Fact] public void PostReturnsCorrectResponseForInvalidRendition() { var invalidRendition = new ReservationRendition { Date = "Not a valid date", Name = "Foo Bar", Email = "foo@ploeh.dk", Quantity = 3 };

slide-30
SLIDE 30

[Fact] public void PostDoesNotSaveReservationWhenMaîtreCannotAccept() { var date = new DateTimeOffset( new DateTime(2014, 7, 27, 20, 56, 57), TimeSpan.FromHours(2)); var rendition = new ReservationRendition { Date = date.ToString("o"), Name = "Fnaah Ploeh", Email = "fnaah@ploeh.dk", Quantity = 2 }; var validatorStub = new Mock<IApiValidator>(); validatorStub .Setup(v => v.Validate(rendition)) .Returns(true); var repositoryMock = new Mock<IReservationRepository>(); repositoryMock .Setup(r => r.GetReservedSeats(date)) .Returns(10); var maîtreDStub = new Mock<IMaîtreD>(); maîtreDStub .Setup(m => m.CanAccept(rendition.Quantity, 10)) .Returns(false);

slide-31
SLIDE 31
slide-32
SLIDE 32

TDD Test-Induced Damage ?

slide-33
SLIDE 33

TDD Test-Driven Design

slide-34
SLIDE 34

Correlation

slide-35
SLIDE 35

TDD Test-Driven Design Test-Induced Damage

slide-36
SLIDE 36

TDD Test-Driven Development

slide-37
SLIDE 37

Functional Programming

slide-38
SLIDE 38

Stubs Mocks http://bit.ly/xunitpatterns

slide-39
SLIDE 39

Stubs Mocks

slide-40
SLIDE 40

Stubs Mocks

slide-41
SLIDE 41

Stubs Mocks http://bit.ly/growingoos Queries Commands Side-effects No side-effects

slide-42
SLIDE 42

Stubs Mocks Queries Commands Side-effects No side-effects F# is a Functional-First language

slide-43
SLIDE 43

[<Fact>] let ``Post returns correct result on success`` () = let imp _ = Success () use sut = new ReservationsController(imp) let rendition : ReservationRendition = { Date = "2014-08-09+2:00" Name = "Mark Seemann" Email = "mark@ploeh.dk" Quantity = 4 } let result : IHttpActionResult = sut.Post rendition test <@ result :? Results.OkResult @> type Result<'TSuccess,'TFailure> = | Success of 'TSuccess | Failure of 'TFailure http://fsharpforfunandprofit.com/posts/recipe-part2

slide-44
SLIDE 44

[<CLIMutable>] type ReservationRendition = { Date : string Name : string Email : string Quantity : int } type ReservationsController(imp) = inherit ApiController() member this.Post(rendition : ReservationRendition) = this.Ok() :> IHttpActionResult

slide-45
SLIDE 45

[<Fact>] let ``Validate.reservation returns correct result on valid date`` () = let rendition : ReservationRendition = { Date = "2014-08-09+2:00" Name = "Mark Seemann" Email = "mark@ploeh.dk" Quantity = 4 } let actual = Validate.reservation rendition let expected = Success { Date = DateTimeOffset(DateTime(2014, 8, 9), TimeSpan.FromHours 2.) Name = "Mark Seemann" Email = "mark@ploeh.dk" Quantity = 4 } test <@ expected = actual @>

slide-46
SLIDE 46

type Reservation = { Date : DateTimeOffset Name : string Email : string Quantity : int } let reservation (rendition : ReservationRendition) = Success { Date = rendition.Date |> DateTimeOffset.Parse Name = rendition.Name Email = rendition.Email Quantity = rendition.Quantity }

slide-47
SLIDE 47

[<Fact>] let ``Validate.reservation returns right result on invalid date`` () = let rendition : ReservationRendition = { Date = "Not a date" Name = "Mark Seemann" Email = "mark@ploeh.dk" Quantity = 4 } let actual = Validate.reservation rendition let expected : Result<Reservation, Error> = Failure(ValidationError("Invalid date.")) test <@ expected = actual @>

slide-48
SLIDE 48

type Error = | ValidationError of string let reservation (rendition : ReservationRendition) = match rendition.Date |> DateTimeOffset.TryParse with | (true, date) -> Success { Date = date Name = rendition.Name Email = rendition.Email Quantity = rendition.Quantity } | _ -> Failure(ValidationError "Invalid date.")

slide-49
SLIDE 49

[<Fact>] let ``check returns right result at no prior reservations`` () = let capacity = 10 let getReservedSeats _ = 0 let reservation = { Date = DateTimeOffset(DateTime(2014, 8, 10), TimeSpan.FromHours 2.) Name = "Mark Seemann" Email = "mark@ploeh.dk" Quantity = 4 } let actual = Capacity.check capacity getReservedSeats reservation let expected : Result<Reservation, Error> = Success reservation test <@ expected = actual @>

slide-50
SLIDE 50

let check capacity getReservedSeats reservation = Success reservation

slide-51
SLIDE 51

[<Fact>] let ``check returns right result at too little remaining capacity`` () = let capacity = 10 let getReservedSeats _ = 7 let reservation = { Date = DateTimeOffset(DateTime(2014, 8, 10), TimeSpan.FromHours 2.) Name = "Mark Seemann" Email = "mark@ploeh.dk" Quantity = 4 } let actual = Capacity.check capacity getReservedSeats reservation let expected : Result<Reservation, Error> = Failure CapacityExceeded test <@ expected = actual @>

slide-52
SLIDE 52

type Error = | ValidationError of string | CapacityExceeded let check capacity getReservedSeats reservation = let reservedSeats = getReservedSeats reservation.Date if capacity < reservation.Quantity + reservedSeats then Failure CapacityExceeded else Success reservation

slide-53
SLIDE 53

[<Fact>] let ``Post returns correct result on validation error`` () = let imp _ = Failure(ValidationError("Invalid date.")) use sut = new ReservationsController(imp) let rendition : ReservationRendition = { Date = "2014-08-09+2:00" Name = "Mark Seemann" Email = "mark@ploeh.dk" Quantity = 4 } let result : IHttpActionResult = sut.Post rendition test <@ result :? Results.BadRequestErrorMessageResult @>

slide-54
SLIDE 54

type ReservationsController ( imp : ReservationRendition -> Result<unit, Error> ) = inherit ApiController() member this.Post(rendition : ReservationRendition) = match imp rendition with | Failure(ValidationError msg) -> this.BadRequest msg :> IHttpActionResult | _ -> this.Ok() :> IHttpActionResult

slide-55
SLIDE 55

[<Fact>] let ``Post returns correct result on capacity exceeded`` () = let imp _ = Failure CapacityExceeded use sut = new ReservationsController(imp) let rendition : ReservationRendition = { Date = "2014-08-09+2:00" Name = "Mark Seemann" Email = "mark@ploeh.dk" Quantity = 4 } let result : IHttpActionResult = sut.Post rendition test <@ result :? Results.StatusCodeResult @> test <@ (result :?> Results.StatusCodeResult).StatusCode = HttpStatusCode.Forbidden @>

slide-56
SLIDE 56

type ReservationsController(imp) = inherit ApiController() member this.Post(rendition : ReservationRendition) = match imp rendition with | Failure(ValidationError msg) -> this.BadRequest msg :> IHttpActionResult | Failure CapacityExceeded -> this.StatusCode HttpStatusCode.Forbidden :> IHttpActionResult | Success () -> this.Ok() :> IHttpActionResult

slide-57
SLIDE 57

let getReservedSeats (date : DateTimeOffset) = let min = DateTimeOffset(date.Date , date.Offset) let max = DateTimeOffset(date.Date.AddDays 1., date.Offset) use ctx = new ReservationsContext() query { for r in ctx.Reservations do where (min <= r.Date && r.Date < max) select r.Quantity } |> Seq.sum let saveReservation (reservation : BookingApi.Reservation) = use ctx = new ReservationsContext() ctx.Reservations.Add( Reservation( Date = reservation.Date, Name = reservation.Name, Email = reservation.Email, Quantity = reservation.Quantity)) |> ignore ctx.SaveChanges() |> ignore

slide-58
SLIDE 58

type Result<'TSuccess,'TFailure> = | Success of 'TSuccess | Failure of 'TFailure let bind f x = match x with | Success s -> f s | Failure f -> Failure f let map f x = match x with | Success s -> Success(f s) | Failure f -> Failure f http://fsharpforfunandprofit.com/posts/recipe-part2

slide-59
SLIDE 59

let imp = Validate.reservation >> Rop.bind (Capacity.check 10 SqlGateway.getReservedSeats) >> Rop.map SqlGateway.saveReservation new ReservationsController(imp) :> _

slide-60
SLIDE 60
slide-61
SLIDE 61

Functional-First: Few Mocks Functions: Few interfaces Function composition: Flexible

slide-62
SLIDE 62

Q.E.D.

slide-63
SLIDE 63

TDD is not dead