是否可以通过创建类似PositiveInt的东西来限制Int并在Scala中进行编译时检查？

当然可以。在Scala中，你可以通过创建一个类似PositiveInt的类来限制Int并在编译时进行检查。以下是一个简单的示例：

class PositiveInt private (val value: Int) extends AnyVal {
  override def toString: String = value.toString
}

object PositiveInt {
  def apply(value: Int): Option[PositiveInt] =
    if (value > 0) Some(new PositiveInt(value)) else None
}

在这个示例中，我们定义了一个名为PositiveInt的类，它接受一个Int类型的值。我们使用了Scala的AnyVal特质，它可以使我们的类型在运行时更高效。我们在伴生对象PositiveInt中定义了一个apply方法，它接受一个Int类型的值，并根据值是否大于0返回一个OptionPositiveInt类型的值。

这样，在编译时，如果你尝试创建一个非正整数的PositiveInt实例，编译器将会报错。例如：

val a = PositiveInt(5) // Some(PositiveInt(5))
val b = PositiveInt(-3) // None

在这个例子中，变量a将会被赋值为Some(PositiveInt(5))，因为5是一个正整数。而变量b将会被赋值为None，因为-3不是一个正整数。

这样，你就可以在编译时确保Int值是正数，从而避免了运行时错误。