>>496
type関数で型をチェックしながら書くことはできると思うけど、
それが色んなところで必要だったら静的型付け言語で書いたほうが良いと思う。

>>497
ライブラリは無視して、一通りの文法と書き方を勉強するべき