scala - 在 Scala 中只坚持函数范式的功效

Question

我最近购买了Scala 编程，并且一直在阅读它。语言绝对不是我所期望的!具体来说，它似乎实现了我所知道的几乎所有编程语言的想法，除了 Lisp 宏和 Haskell 的类型级副作用隔离之外。

说实话，这让我有些不知所措。虽然我认为拥有这么多可供使用的工具很好，但我实际上只是在 JVM 上寻找一种强类型函数语言。我想我可能可以那样使用 Scala，但我想如果我与任何库交互或浏览其他人的代码，我会遇到很多这种高级(对我来说)OOP 的东西——特征和“对象层次结构”线性化”，所有这些抽象和压倒一切的业务、单例、包和伴生对象、隐式转换……更不用说各种语法快捷方式和糖了。

人们经常提示程序员出于很多充分的理由试图将一种语言的风格硬塞到另一种语言中。但并非所有语言都像 Scala 一样多范式，所以也许它的社区有不同的看法？例如，在 F# 中，编程风格和使用 OOP 的程度似乎有一些余地。但仅仅通过阅读，我不确定这对于 Scala 是否也是一个好的哲学。

更有经验的 Scala 程序员可以帮助我吗？ 编辑清楚:基本上，我可以安全地仅(或大部分)使用 Scala 的 FP 功能，而不用担心其高级 OOP 方面吗？

抱歉问了个漫无目的的问题!

Answer 1

您所看到的一件事是，Scala 首先是 JVM 上的强类型函数语言

Scala 不仅仅是一种函数式语言。它一开始确实是这样的(漏斗: http://lamp.epfl.ch/funnel/ )，但随后进行了扩展，使其成为一种面向对象的语言，其明确的目标是使其与 Java 类具有很强的互操作性。

抽象、覆盖和包都是这种互操作性的实际例子。

<小时/>

其余部分可能不被视为新功能，而只是删除了 Java 的限制。一次服用一个:

特征和对象层次结构线性化

删除了 Java 接口(interface)只能包含抽象方法的限制。线性化是 Scala 解决否则会导致的菱形继承问题的方式。

单例

Java 静态方法是 C++ 语法继承的遗留问题，而 C++ 语法继承又添加了它们，以更好地支持与 C 互操作的过程样式需求。静态方法非常不是面向对象的(参见这个问题: Why are singleton objects more object-oriented? )

伴生对象

允许使用单例来代替静态方法，并具有特权访问权限。

隐式转化

Java 已经做到了这一点，但它仅限于将对象和基元隐式转换为字符串，如表达式 ""+ 3 中所示。 Scala 只是扩展了这个想法，并允许程序员将其用于其他转换。