学科:Scala的灵活法律检查