使Scala中的“类型优先”编程具有更少的代码和更少的错误的属性是什么？

Question

我参加了一个名为＆＃39; Patterns in Types＆＃39;的Scala课程。 based on this repository。该课程涵盖以下想法：

• Error Monad
• Reader Monad
• Writer Monad
• State Monad
• Reader Monad Transformer
• Writer Monad Transformer
• State Monad Transformer
• 将此全部重新关联到http values in a web server

背景是课程老师非常热衷于Scalaz。

这种设计方法背后的原因是编程types-first 会导致更少的代码和更少的错误 。我试图绕过这个推理。

我的问题是：有哪些属性可以使＆＃39; type-first＆＃39; Scala中的编程代码更少，错误更少？

Answer 1

我想说预期会有更少的错误，因为您尽可能多地为编译器提供信息，因此它可以在编译期间找到问题。否则它们将在运行时发生。

关于较少的代码，我不确定，但也许这个想法是Scalaz为你做了很多魔术，所以你不必自己实现它。