How to introduce Kotlin in a Programming Languages course I'm teaching an upper-division college Programming Languages course, in which students have learned some Scheme, Haskell, and Go. Students' strongest language is Java, which we use in most of our courses. I have a free 75-minute lecture period. Any recommendations how to use that time? I can have the students bring their laptops.

My reasons for wanting to introduce Kotlin are:


Showing how the functional programming has been added onto an imperative object-oriented language they know well.
Showing them how Kotlin uses a stripped down version of Java's syntax without losing expressiveness.
Augmenting what they are learning in another class of mine, in which they are learning to program Android in Java. (That's why I chose Kotlin rather than Scala.)
I think the answer to that depends on how you're structuring the course overall, and what Kotlin brings to the teaching of those ideas.  I know of three distinct approaches to an upper-division PL course:  the "paradigms" curriculum (à la Sebesta's book), the "interperter/design space" curriculum (EOPL, Scott's "Programming Language Pragmatics", Louden, Turbak/Gifford/Sheldon, etc.), and the hybrid theory/implementation curricula (less common and few things in print: the Racket team, Norman Ramsey's adaptation-in-progress of Samuael Kamin's book).

Do any of these describe what you're doing with your course?  What is it that Kotlin brings to the class that is not already represented by the other three functional languages your students have learned?