『F*(F Star)の複雑な型システムの何が嬉しいのか? - Amosapientiam』2024/8/4 0:15:00 https://yuchiki1000yen.hatenablog.com/entry/2018/07/07/155854