Lean、普通にプログラミング言語としておもしろそうって思ったけど、ライブラリが巨大でフットプリント(ディスクスペース)がすさまじいと聞いてどうしようになった＞＜(？)