veyepar: The Essential Tools of Open-Source: Functional Programming, Parametricity, Types

Author(s):	Tony Morris
Location	Wool Museum
Date	feb Tue 02	Days Raw Files
Start	11:00	First Raw Start	10:50
Duration	0:50:00	Offset	0:09:09
End	11:50	Last Raw End	11:50
Chapters	00:00
Total cuts_time	53 min.

https://linux.conf.au/schedule/30357/view_talk
raw-playlist raw-mp4-playlist encoded-files-playlist host archive tweet mp4 svg png

assets release.pdf The_Essential_Tools_of_OpenSource_Functional_Programming_Parametricity_Types.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

State:

Locked:

clear this to unlock

Locked by:

user/process that locked.

Start:

initially scheduled time from master, adjusted to match reality

Duration:

length in hh:mm:ss

Name:

Video Title (shows in video search results)

Emails:

email(s) of the presenter(s)

Released:

has someone authorised pubication

Normalise:

Channelcopy:

m=mono, 01=copy left to right, 10=right to left, 00=ignore.

Thumbnail:

filename.png

Description:

markdown

Open-source software projects have become an important contribution to our profession. Volunteers and professionals working away on what they love, aspiring to be a part of software freedom and to provide a benefit to all.

Many tools exist to assist in this worldwide, distributed effort. From distributed revision control systems to programming environments, the open-source team comes to rely on these tools to produce work.

If we are to attract skilled volunteers and work to producing quality software as a team, we must do better than average. Not by just a little bit. We must be the example of a software development team. We must exploit professional tools.

This talk will make a case that some programming tools are neglected, often argued away under a false compromise. Why then, are functional programming and associated consequences such as parametricity so often neglected? Are they truly so unimportant?

This talk will define the principle of functional programming, then go into detail about what becomes possible by following this principle. Parametricity (Wadler, 1989), equational reasoning and exploiting types in API design are an essential property of productive software teams, especially teams composed of volunteers, all enabled by functional programming.

Comment:

production notes