是什么属性让 'types-first' 在 Scala 中编程具有更少的代码和更少的错误？
What are the attributes that make 'types-first' programming in Scala have less code and less bugs?
我参加了名为 'Patterns in Types' based on this repository 的 Scala 课程。该课程涵盖以下思想：
- 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 可以减少代码和错误。我正在努力思考这个推理。
我的问题是：Scala 中 'types-first' 编程的代码和错误更少的属性是什么？
我想说的是，预计错误会更少，因为您为编译器提供了尽可能多的信息，因此它可以在编译期间发现问题。否则它们会在运行时发生。
关于更少的代码，我不确定，但也许这个想法是 Scalaz 为您做了很多魔术，所以您不必自己实现它。
我参加了名为 'Patterns in Types' based on this repository 的 Scala 课程。该课程涵盖以下思想：
- 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 可以减少代码和错误。我正在努力思考这个推理。
我的问题是：Scala 中 'types-first' 编程的代码和错误更少的属性是什么？
我想说的是，预计错误会更少，因为您为编译器提供了尽可能多的信息，因此它可以在编译期间发现问题。否则它们会在运行时发生。
关于更少的代码，我不确定，但也许这个想法是 Scalaz 为您做了很多魔术，所以您不必自己实现它。