FP-Syd meeting!

Welcome to the May edition of FP-SYD! We will be online again this month using Zoom, so you can join from wherever you are in the world (as long as you brave the timezone differences).

Since Zoom chat is more ephemeral than Slack's, we'll make use of the #fp-syd channel in the FP-SYD Slack for chat during the meetup. Get in touch with the organisers to get an invite.

It will be BYO pizzas and drinks for the time being, but we still have some great talks lined up for you that will make it worth the low cost of free admission!

----------------------------------------------------------------

Abstractions as Combinations in VAR-Calculus
Barry Jay Barry.Jay8@gmail.com

Abstract:
VAR-calculus is a new approach to lambda-abstraction that is simpler and more expressive than traditional approaches. It is simpler because its terms are combinations of three operators: V for variables, A for abstractions and R for replacement (or substitution) whose meaning is completely defined by their evaluation rules. It expresses more control over evaluation since, for example, fixpoint functions can be defined so that they are normal forms. It expresses more useful information since, for example, a function can be tagged with comments or types that can be recovered during evaluation without changing its input-output relation.

----------------------------------------------------------------------------------------

Machine Testing in Hedgehog
Huw Campbell State

Abstract:
State Machine Testing is an extremely powerful technique, and builds
upon property based testing and even temporal logic. It can go beyond
standard property based testing, in that we can easily test highly
stateful external systems, such as distributed systems, c libraries,
and databases – even finding race conditions and concurrency issues.
In this talk, we’ll look at what state machine testing is, and how it
works in Hedgehog by reïmplementing a simple QuickCheck clone, and
writing a State Machine Testing library on top of it.

This will be a live coded talk. An understanding of Haskell syntax
in advance will be very helpful.