Sign In Start Free Trial
Account

Add to playlist

Create a Playlist

Modal Close icon
You need to login to use this feature.
  • Book Overview & Buying Learning Functional Programming in Go
  • Table Of Contents Toc
  • Feedback & Rating feedback
Learning Functional Programming in Go

Learning Functional Programming in Go

By : Sheehan
4.1 (8)
close
close
Learning Functional Programming in Go

Learning Functional Programming in Go

4.1 (8)
By: Sheehan

Overview of this book

Lex Sheehan begins slowly, using easy-to-understand illustrations and working Go code to teach core functional programming (FP) principles such as referential transparency, laziness, recursion, currying, and chaining continuations. This book is a tutorial for programmers looking to learn FP and apply it to write better code. Lex guides readers from basic techniques to advanced topics in a logical, concise, and clear progression. The book is divided into four modules. The first module explains the functional style of programming: pure functional programming, manipulating collections, and using higher-order functions. In the second module, you will learn design patterns that you can use to build FP-style applications. In the next module, you will learn FP techniques that you can use to improve your API signatures, increase performance, and build better cloud-native applications. The last module covers Category Theory, Functors, Monoids, Monads, Type classes and Generics. By the end of the book, you will be adept at building applications the FP way.
Table of Contents (13 chapters)
close
close

The importance of Type systems to FP


The purpose of a type system is to reduce bugs by defining the interfaces between the different functions in a program and verifying that those functions can be reliably connected. Types can be a simple as strings, ints, and booleans or can be a complex data structure with embedded fields and interfaces. Types can be checked at compile time or runtime.

The Lambda Calculus was originally untyped, but Alonzo Church found that that though it was more expressive, it caused inconsistencies. So, Church introduced a typed version to simplify computation. We use type systems for similar reasons, that is, to improve determinism and to help prevent bugs.

Since in FP a function is a data type, we need to define our functions' type for the type system.

A type system can also increase our programs' runtime performance. Go is a statically compiled language, so the data types are known at compile time. This makes type erasure possible. So, Go does not have to require our...

Unlock full access

Continue reading for free

A Packt free trial gives you instant online access to our library of over 7000 practical eBooks and videos, constantly updated with the latest in tech

Create a Note

Modal Close icon
You need to login to use this feature.
notes
bookmark search playlist download font-size

Change the font size

margin-width

Change margin width

day-mode

Change background colour

Close icon Search
Country selected

Close icon Your notes and bookmarks

Delete Bookmark

Modal Close icon
Are you sure you want to delete it?
Cancel
Yes, Delete

Delete Note

Modal Close icon
Are you sure you want to delete it?
Cancel
Yes, Delete

Edit Note

Modal Close icon
Write a note (max 255 characters)
Cancel
Update Note

Confirmation

Modal Close icon
claim successful

Buy this book with your credits?

Modal Close icon
Are you sure you want to buy this book with one of your credits?
Close
YES, BUY