search

lunduniversity / introprog

Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/
142 stars 176 forks source link

Consider including opaque types in w11 or w12 and perhaps other advanced type system features #646

Open bjornregnell opened 2 years ago

bjornregnell commented 2 years ago

To give a feeling of how Scala can be both performant and type-safe. Many students are curious on more advanced stuff...

bjornregnell commented 2 years ago

This will also support the story of trait Matchable... Some things are just Any and cannot be even be matched on. https://docs.scala-lang.org/scala3/reference/other-new-features/matchable.html

bjornregnell commented 2 years ago

There are some slides on Matchable in week 6 but the story is incomplete and perhaps therefore a bit confusing?