とりあえず型について思うのは、
やっぱ、アルゴリズムを記述したり、厳密に型を定義して書きたい時はあると思うということだ。
でも、誰が作ったライブラリを利用したり、自分の作ったコンポーネントを合体させるだけなら、型はいらない。
下の方では型ありでコンパイラのチェックが入るけど、型を書かない時は動的に推論するというのが望ましい。

手続き型の書き方について限界を感じてきている。Haskellを勉強したいけど時間がない。
Haskellって実用的ですか？アルゴリズムとか記述出来ますか？
多くのアルゴリズムは、命令的な処理の羅列として開発されていると思う。
それを関数型にすることで、パフォーマンスを損なったりしませんか？