Hi folks! Welcome to Kotlin Thursdays. Last week, we examined classes, types, generic functions & parameters as well as covariance & contravariance in Kotlin. Folks told me there weren’t enough sloth facts, and as such, I will do my best to rectify this!

Let’s continue with our sloth and panda crews and write more functions with Kotlin Generics.

Resources

Higher-Order Functions

Because Kotlin happens to be a functional language, Kotlin has a lot of really powerful characteristics functional purists might consider as pillars for functional programming.

One of these pillars, we’re only going to concern ourselves with the first Kotlin has first class citizens, which means that Kotlin may take functions as parameters. These are known as higher-order functions. What does it mean for a function to be a first-class citizen? All this means is that you are able to pass in a function argument as a parameter in a function. How meta!

This is a feature that is also comparable to Ruby, which facilitates higher order functions. The most common usage of higher order functions involves passing a block to a method, which is an extremely popular Ruby method.

Ruby allows you to inject different blocks into functions using yield, which involves passing a block to a method. With yield, the block is no longer a parameter to the method. The block is implicitly passed to the method. Yield makes executing the block feel like a method invocation within the method invocation rather than using an explicit call.

Kotlin shares a similar idea here, where you can inject different blocks, or functions, into a function. Like Ruby, Kotlin treats functions as first-class citizens. In Kotlin, the equivalent of block code is known as lambda functions, indicated by the pattern:

In (A, B) → C, this pattern indicates that a function expects a function parameter that takes 2 parameters type A and type B, and returns an output of type C.

In A.(B) → C, this pattern indicates that a function expects a function parameter that is an extension function of type A and that extension function takes a single parameter B that returns an output of type C.

In the scientific community, 6 species of sloths recognized.

In Costa Rica, there are only 2 types of sloths; the brown-throated three-toed sloth and Hoffmann’s two-toed sloth. Black eye patches and “smiling” mouths distinguish Costa Rica’s docile three-toed sloths, while the larger two-toed variety have white-ringed faces, brown snouts and shaggy coat1.

Hoffman’s two-toed sloth by minkewink from Pixabay

They actually have quite a bit in common with each other with subtle differences: for example, they both relieve themselves once a week and ARE ABLE TO EXPEL AS MUCH AS 1/3 OF THEIR BODY WEIGHT AT A TIME.

Despite their slow nature and digestive system, they can also swim in a manner that is very similar to the breaststroke.

It turns out, Pandas can also swim! As such, let’s write functions for these particular things that sloths can do:

If we test this out, we’re given:

JERRY CAN SWIM
JERRY FINALLY WENT THIS WEEK
Old weight: 15 | New weight: 13
BAE CAN SWIM
BAE FINALLY WENT THIS WEEK
Old weight: 12 | New weight: 10
ALEX CAN SWIM
ALEX FINALLY WENT THIS WEEK
Old weight: 20 | New weight: 16

We’ve written a higher order function that takes an action function which takes no parameters and gives no outputs, which is of the type Unit.

Let’s look at another example: All mammals (including giraffes) have 7 cervical vertebrae except for manatees who have 6 and sloths, who have 10. They put yogis to shame with their incredible flexibility!

Image from Michael Mosimann from Pixabay

Let’s write some functions comparing these animals by adding a manatee class and switching our Mammal class from open to sealed. Sealed classes are pretty cool, and you can learn more about it from Patrick Cousins’ KotlinConf talk from last year.

This way, we can write when statements in Kotlin, which will only consider these classes under the sealed class as all the exhaustive existing types.

KFunction1 happens to be a covariant/contravariance generic that represents a function with introspection capabilities! You can reference these functions with a ::, which in Kotlin is about meta-programming, including method references, property references and class literals. Sometimes you will see :: without a class in the front, indicating that a method is being call from within the class you’re in, but otherwise, the class you’re referencing a method from sits on the left. Kotlin is smart enough to detect parameters as needed — but you might want to read into it a little more and experiment yourself!

Class KFunction1 has generic parameters defined as <in P1, out R>, P1with in modifier and R with out modifier. This means that there will be:

  • Contravariance on P1 introduced by in modifier — Any KFunction1<PSuper, R> will be a subtype of KFunction1<P, R> if PSuper is a supertype of P.
  • Covariance on R introduced by out modifier — Any KFunction1<P, RSub> will be a subtype of KFunction1<P, R> if RSub is a subtype of R.

Therefore you will be able to assign KFunction1<PSuper, RSub> to a variable of type KFunction1<P, R>.

You’ll notice that we can feed in vertebraeCount() and knownSpeciesCount(), but what if we tried to feed in an endangered function named isEndangered()?

fun Mammal.isEndangered(): Boolean {
return when (this) {
is Pandas -> true
is Manatee -> false // upgraded to "threatened"
is Sloths -> true
}
}

If we tried to feed this function in to our checkMammalFacts function, the compiler would complain, because it expected the type KFunction1<Mammal, Int> and we’re feeding in KFunction1<Mammal, Boolean>.

Well, I hope you enjoyed these sloth facts and learned a little bit about higher-order functions in Kotlin!

Next week, FOR SURE, we’ll go over reified generics in Kotlin. Till next time!

Sources Cited

“Sloths.” Costa Rica, www.costarica.com/wildlife/sloths.

Views: 23

Happy 10th year, JCertif!

Notes

Welcome to Codetown!

Codetown is a social network. It's got blogs, forums, groups, personal pages and more! You might think of Codetown as a funky camper van with lots of compartments for your stuff and a great multimedia system, too! Best of all, Codetown has room for all of your friends.

When you create a profile for yourself you get a personal page automatically. That's where you can be creative and do your own thing. People who want to get to know you will click on your name or picture and…
Continue

Created by Michael Levin Dec 18, 2008 at 6:56pm. Last updated by Michael Levin May 4, 2018.

Looking for Jobs or Staff?

Check out the Codetown Jobs group.

There's also a free Java Jobs mailing list. It's a Yahoo group so you have to create a Yahoo account to use it.

 

Enjoy the site? Support Codetown with your donation.



InfoQ Reading List

Article Series - .NET Core 3

In this series, we explore the benefits of .NET Core and how it can help not only traditional .NET developers, but all technologists who need to bring robust, performant and economical solutions to market.

By Chris Woodruff

What Tech for Good is and Why it Matters

Tech for Good groups provide opportunities to connect with people who share a positive vision of the future and look for ways to use technology in order to have a positive impact. Ellen Ward spoke about Tech for Good Dublin at Women in Tech Dublin 2019; she presented what Tech for Good looks like in reality, why it matters, and how people can get involved.

By Ben Linders

Google Releases Cloud Dataproc for Kubernetes in Alpha

Google Cloud Dataproc is an open-source data and analytic processing service based on Hadoop and Spark. Google has now announced the alpha availability of Cloud Dataproc for Kubernetes to provide customers with more efficiency to process data across platforms.

By Steef-Jan Wiggers

WebExpo 2019: More Than You Ever Wanted to Know about Resource Hints

Harry Roberts, consultant front-end architect at CSS Wizardry, in a recent talk at WebExpo 2019 in Prague discussed how web pages can be made faster with Resource Hints.

By Bruno Couriol

GitHub Improves Vulnerability Workflows and Becomes CVE Numbering Authority

Along with Semmle acquisition, GitHub has disclosed a number of improvements aimed to make it easier for maintainers and developers to fix and protect against vulnerabilities. This includes the possibility of creating a security advisory and assigning it a CVE number directly from GitHub UI.

By Sergio De Simone

© 2019   Created by Michael Levin.   Powered by

Badges  |  Report an Issue  |  Terms of Service