Skip to content

Feb Kats! Kata Hack & "Property Based Testing in Erlang/Elixir" by Mark Allen

Photo of Steven Holdsworth
Hosted By
Steven H. and Tim C.
Feb Kats!  Kata Hack & "Property Based Testing in Erlang/Elixir" by Mark Allen

Details

After some winter hibernation we are kicking off 2017 with a talk from Mark Allen (https://twitter.com/bytemeorg)

Talk: "Property Based Testing in Erlang/Elixir"

https://a248.e.akamai.net/secure.meetupstatic.com/photos/event/5/d/4/9/600_457943881.jpeg

Property based testing is a technique which provides a high degree of confidence in an implementation that aims to achieve one or more invariants. In this talk we will discuss property based testing in the context of Erlang/Elixir code.

KATA

Implement properties in the FP language and property testing framework of your choice to verify your standard libraries calendar handling of LEAP YEARS!

Rules for Leap Year:
If the year is divisible by 400 => leap year,
If the year is divisible by 100 => not leap year,
if the year is divisible by 4 => leap year.

All other years are not leap years.

PUB

As usual afterwords we will be heading to the Pub (The WoodWorkers) to keep that Chats going and have a few Beers!

https://a248.e.akamai.net/secure.meetupstatic.com/photos/event/5/d/e/6/600_457944038.jpeg

Photo of Belfast FP group
Belfast FP
See more events
Instil Software
7 James St S, Belfast, Antrim BT2 8DN · Belfast