如何使这个函数纯粹

Question

我对纯函数的理解是函数的输出只取决于输入。而且它们在引用上是透明的。

但是在我们的代码中会出现副作用。下面是一个例子

  import scala.concurrent.Future
  case class Customer(fName: String, lName: String)
  case class Order(orderId: Int, item: String, quantity: Int)
  case class Shipment(shipmentId: Int, orderId: Int, address: String)

  trait CustomerRepo {
    def findCustomer(userId: String): Future[Customer] = ???
    def findLastOrder(customer: Customer): Future[Order] = ???
    def findShipment(orderId: Int): Future[Shipment] = ???
  }

  class ShoppingApp(customerRepo: CustomerRepo) {

    def getLastShipment(userId: String): Future[Shipment] = {
      for {
        customer <- customerRepo.findCustomer(userId)
        lastOrder <- customerRepo.findLastOrder(customer)
        shipment <- customerRepo.findShipment(lastOrder.orderId)
      } yield shipment
    }

  }

上面是一个基本的例子，我们做了多个副作用（调用数据库）。

getLastShipment 返回一个 Future。这样做是不是一个纯函数。

如果 getLastShipment 不是纯的，那么如何使它成为纯？？？

Answer 1

你已经很接近了，你已经在使用Monads 和for-comprehensions 的正确道路上，但是，Future 从根本上来说是有副作用的，因为它不会暂停它的评估。 （有关更多信息，请参阅我的回答 here。 如果您将功能切换为使用cats.effect.IO：

def getLastShipment(userId: String): IO[Shipment] = {
  for {
    customer <- customerRepo.findCustomer(userId)
    lastOrder <- customerRepo.findLastOrder(customer)
    shipment <- customerRepo.findShipment(lastOrder.orderId)
  } yield shipment
}

那么这段代码是完全纯粹的，并且是引用透明的。