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: 190

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.

 

Enjoy the site? Support Codetown with your donation.



InfoQ Reading List

KubeCon EU Highlights: CloudEvents & Falco Graduate, Beta Tetragon , Linkerd Meshes Legacy Systems

As highlighted at the recent KubeCon and CNCF EU conference, the count of CNCF graduated projects has reached twenty-six, as Cloud Events and Falco joined the “boring, but safe project list”. Linkerd added mesh extended capabilities for legacy systems: in this way, you can extend the governance and security policies of your mesh. The Beta version of Cilium Tetragon is deployed by early adopters

By Olimpiu Pop

Presentation: How to Get Tech-Debt on the Roadmap

Ben Hartshorne discusses how to pitch a product, covering why one needs to make a business case, what is tech debt, what data is most compelling, getting tech debt on other teams’ roadmaps

By Ben Hartshorne

Podcast: InfoQ Culture & Methods Trends in 2024

In this podcast the Culture and Methods editorial team along with special guest Jutta Eckstein talk about the current state and trends we see in the technology industry in 2024.

By Susan McIntosh, Jutta Eckstein, Craig Smith, Ben Linders, Rafiq Gemmail

HashiCorp Released Version 2.3 of Terraform Cloud Operator for Kubernetes

Hashicorp recently released the version 2.3 of Terraform Cloud Operator for Kubernetes with a new feature: the ability to initiate workspace runs declaratively. The Terraform Cloud Operator for Kubernetes was introduced in November 2023 with the goal to provide a Kubernetes-native experience while leveraging Terraform workflows

By Claudio Masolo

KubeCon EU: Backstage, Crossplane and Others Preparing for CNCF Graduation

More projects from the CNCF incubated level are preparing to graduate for an ever-widening cloud native ecosystem. The Backstage community has worked on a more robust architecture, and Crossplane aimed to improve its developer DX. KubeFlow and Volcano, both tools promising to improve AI adoption within the Kubernetes ecosystem, are working on easier installation and more features, respectively.

By Olimpiu Pop

© 2024   Created by Michael Levin.   Powered by

Badges  |  Report an Issue  |  Terms of Service