Replying to @da_berni_

@daberni @gr2m
@typescript Right, it's the same.

Also note that there is a big difference between compile time type checking and
runtime type checking!

Sun, 03 Nov 2019 10:40:32 UTC