Name: Types Alias and Instances in PureScript
Uploaded: 2017-08-18T18:42:14-05:00
Description: In this lesson, you will learn about type alias using records and instances. You'll see how to create a type alias and be able to display its values to a show function utilizing an instance for its type.

Introduction - Functional programming concepts in PureScript

Specify Function Arguments using Types in PureScript

Use One Function Argument at a Time with Currying and Partial Application in PureScript

Basic Data Constructors in PureScript

Break up Expressions into Cases in PureScript using Simple Pattern Matching 

Types Alias and Instances in PureScript

Recursion in Purescript

Creating your own length function using recursion in Purescript

Algebraic data type in PureScript and Show instance

Lists and Infix operators in PureScript

Functor and map in PureScript

Filter in PureScript

Concat and ConcatMap in PureScript

Foldl in PureScript

Making functions using foldl in PureScript

Functional Programming Concepts in Purescript

In this lesson, you will learn about type alias using records and instances. You'll see how to create a type alias and be able to display its values to a show function utilizing an instance for its type.

https://app.egghead.io/api/v1/lessons/purescript-types-alias-and-instances-in-purescript/subtitles

Instructor: [00:00] We'll start off by typing type personrec = {name::string. On the next line, we'll do ,age::int, and then we'll close our curly braces. I'll explain what's going on in a minute, but first we'll create a new data constructor. We'll do that by saying data person = persona, and then we'll reference personrec.

[00:26] Let's explain a bit of what's going on. The data constructor person has a value of persona, which has a type of personrec. If we look at personrec, that has a record. One of its value is name, and that has a type of string. Its second value is age, and that has a type of integer.

[00:43] Let's create a function to use these. We'll call it whoAmI, and it has a type of string -> int -> person. On the next line, we'll do whoAmI, with the inputs name and age, and that equals persona {name, age}. Let's put this in action.

[01:03] We'll go down to line 17. After show, we'll type whoAmI, with the string Vince and the integer 99. Oh, we've got an error. It says "No type class instance was found for data.show.show person."

[01:18] The reason this is happening is because we're using a function called show. We can't actually print anything out using show, because our data constructor person doesn't have an instance to allow us to do this.

[01:29] Let's make an instance, so that should become a lot clearer. Instances start off with the keyword instance, and we'll call it show person. That has a type of show person. Now, we'll put where. Then, on the next line, we'll do a bit of pattern matching.

[01:41] We'll write out show (persona,. We'll have the record of name and age. That'll equal a string of persona, name, and we'll close off that string. We'll concatenate show name, which has been brought in from the pattern match. On our next line, we'll concatenate with another string of ,age. We'll concatenate that with show age. Finally, we'll concatenate it a string as } and ).

[02:11] Now that we've finished it, if you look to the right, it says persona, name, Vince, and the age, 99. Why did we need to do all that? In our function of whoAmI, we return a type person, which is persona, and the object name and age.

[02:24] The thing is that we don't have anything to actually show this, so we have to build it ourselves. This is why we create the instance. The name of this instance is quite irrelevant and used to aid the readability of the output in JavaScript. If the type show is user to type person, this is what our instance is going to deal with.

[02:41] On our next line, when we use show with persona and the record of name and age, then we want to return a string and use the function show to display our name and age as part of the string. Let's change things around a little bit. We'll change the int to 300 and the string to you. You can see that's updated on the right-hand side.

[03:02] So you get an understanding of what we're doing with the string that we output, we'll change name on line 15 to whatever. If you look on the right, it says persona, whatever, you, age, 300. The reason for creating an instance for show is because our type alias is a record. Those records, name and age, don't actually have an instance to how, so we manually need to create them.

[03:26] In this lesson, you were able to see type aliases, and that's where we created the record of name an age. Secondly, the instance, where we created an instance for persona to be able to work with show.

Types Alias and Instances in PureScript

Share this video with your friends

Course

Functional Programming Concepts in Purescript