「型推論」特別講義 (プログラミング言語の基礎理論シリーズ)第1回 https://youtu.be/Ju-vJilPjEU
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。