https://kotlinlang.org logo
#random
Title
# random
m

mp

07/11/2016, 11:14 PM
But type systems are about what you can express without casts. It's pretty boring to say what you can do with casts.