爲什麼這個免費的Monad Interpreter不能將字符串解析爲Id [A]

我一直在玩免費的Monad of Cats。我已經寫了一個DSL來處理CSV記錄。原始操作是處理CSV記錄，並且我自己編寫了一個幫助程序sequence和map2函數用於processCSVRecords操作。我希望case類的返回類型是泛型類型R。以下是我正在使用的代碼。爲什麼這個免費的Monad Interpreter不能將字符串解析爲Id [A]

import cats.data.Coproduct 
import cats.free.Free.inject 
import cats.free.{Free, Inject} 
import cats.{Id, ~>} 
import org.apache.commons.csv.CSVRecord 

object ProcessCSVActions { 

    sealed trait ProcessCSV[A] 

    case class ProcessCSVRecord[R](csvRecord: CSVRecord) extends ProcessCSV[R] 

    class ProcessCSVs[F[_]](implicit I: Inject[ProcessCSV, F]) { 

    private def sequence[S[_], A](fs: Stream[Free[S, A]]): Free[S, Stream[A]] = 
     fs.reverse.foldLeft[Free[S, Stream[A]]](Free.pure[S, Stream[A]](Stream()))((b, a) => map2(a, b)(_ #:: _)) 

    private def map2[S[_], A, B, C](ra: Free[S, A], rb: Free[S, B])(f: (A, B) => C): Free[S, C] = for { 
     a <- ra 
     b <- rb 
    } yield f(a, b) 

    def processCSVRecord[R](csvRecord: CSVRecord): Free[F, R] = 
     inject[ProcessCSV, F](ProcessCSVRecord[R](csvRecord)) 

    def processCSVRecords[R](csvRecords: Stream[CSVRecord]): Free[F, Stream[R]] = { 
     val res: Stream[Free[F, R]] = for { 
     csvRecord <- csvRecords 
     } yield processCSVRecord[R](csvRecord) 
     sequence[F, R](res) 
    } 


    } 

    object ProcessCSVs { 
    def apply[F[_]](implicit I: Inject[ProcessCSV, F]): ProcessCSVs[F] = new ProcessCSVs[F] 
    } 

    object StringInterpreterOfCSV extends (ProcessCSV ~> Id) { 
    override def apply[A](fa: ProcessCSV[A]): Id[A] = fa match { 
     case ProcessCSVRecord(csvRecord) => csvRecord.get(2) 
    } 
    } 
}

現在，當我嘗試編譯上面的代碼，我得到下面的錯誤對我解釋：

[scalac-2.11] found : String 
[scalac-2.11] required: cats.Id[A] 
[scalac-2.11]  (which expands to) A 
[scalac-2.11]  case ProcessCSVRecord(csvRecord) => csvRecord.get(2) 
[scalac-2.11]              ^
[scalac-2.11] one error found

什麼是處理Stream與Free的正確方法？

編輯：

我發現了一個黑客。我在案例課程中採用R類型的參數。

case class ProcessCSVRecord[R](csvRecord: CSVRecord, a:Option[R]) extends ProcessCSV[R] 
    def processCSVRecord[R](csvRecord: CSVRecord): Free[F, R] = 
     inject[ProcessCSV, F](ProcessCSVRecord[R](csvRecord, None))

在解釋器中，我明確地給出了匹配結果的類型。

object StringInterpreterOfCSV extends (ProcessCSV ~> Id) { 
    override def apply[A](fa: ProcessCSV[A]): Id[A] = fa match { 
     case ProcessCSVRecord(csvRecord, _: Option[String]) => csvRecord.get(2) 
    } 
    }

上述的工作，但我希望有一個更好的解決方案，而不是這個黑客。

來源

2017-08-26 arjunswaj

你真的在案例課堂中使用'R'嗎？因爲在你的例子中它似乎是多餘的。 –

是的。我在我的程序中使用它（用於理解）。我編寫CSV解析腳本，通常模式是相同的。所以，我想重複使用我的case類，只爲我的腳本編寫程序和解釋器。 – arjunswaj

由於CSVRecord與A無關，編譯器沒有證據表明String <:< A。如果編譯完成，您可以創建ProcessCSV[Int]並將其傳遞給StringInterpreterOfCSV.apply，這是沒有意義的。

如果CSVRecord有一個類型參數R和get(2)返回R，那麼它會工作：

case class ProcessCSVRecord[R](csvRecord: CSVRecord[R]) extends ProcessCSV[R]

否則，您可以csvRecord.get(2).asInstanceOf[A]。

來源

2017-08-26 17:00:48

爲什麼這個免費的Monad Interpreter不能將字符串解析爲Id [A]

回答

相關問題