個人的に一番好きなプログラミング言語はHaskellです。メジャーなプログラミング言語の中では最も型システムが強力だと思います。

FedifyもHaskellで作りたいと思わなかったわけではないのですが…多くの人に使ってもらいたかったのでTypeScriptを選択しました。