- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
Scala 和 Frege 都是针对 JVM 的类型化函数语言。
Frege 更接近 Haskell,Scala 拥有更独立的历史。
但是如果我们不考虑语法差异,那么两者之间允许的编程技术、风格、概念有什么区别?
最佳答案
恕我直言,两者都是非常好的语言,但就范式而言,Scala 在面向对象方面比 Frege 更好,但 Frege 在功能上比 Scala 更好。至于差异,主要归结为 Haskell 与 Scala,因为 Frege 是(或几乎,参见 Haskell 和 Frege 之间的差异 here )Haskell 用于 JVM。
Frege 的类型推断是全局的,因此我们不必像 Scala 中那样频繁地注释类型(局部推断)。
在 Frege 中,模块只是类型和函数的命名空间,而 Scala 拥有更好的模块系统。 http://2013.flatmap.no/spiewak.html
在 Frege 中,函数默认被柯里化(Currying),因此不需要为部分函数应用额外的构造。部分类型构造函数应用程序也是如此。
在 Frege 中,没有 def
与 val
之分,一切都是函数。因此函数比 Scala 更一流。
Frege 没有子类型,但类型系统会计算出 native 调用的子类型。例如,您可以将 ArrayList
传递给需要 Java List
的函数。
由于没有子类型,在 Frege 中我们现在无法扩展 Java 类或实现接口(interface)(将来可能会支持),因此我们需要一个可以扩展/实现的 Java 类,但方法实现将是从 Frege 作为函数传递。
在 Scala 中,调用 Java 很容易,但在 Frege 中,必须在使用前声明 Java 类/方法(只需类型和纯度注释)。例如,要使用Java的LinkedList
,
data LinkedList a = native java.util.LinkedList where
native add :: Mutable s (LinkedList a) -> a -> ST s Bool
native get :: Mutable s (LinkedList a) -> Int -> ST s (Maybe a) throws
IndexOutOfBoundsException
native new :: () -> STMutable s (LinkedList a)
这里,由于函数会改变对象,因此它们必须位于 ST
monad 中。另请注意,这里 Frege 还处理从 get
方法返回的 null
,因为它是用 Maybe
类型注释的。 null
可以访问 Frege 程序的唯一方法是通过 native 接口(interface),因为 Frege 没有 null 的概念。
另一个例子:纯原生地板 Math.floor::Double -> Double
它表明该函数是纯函数,因此签名直接反射(reflect)原始 Java 签名,没有 IO
或 ST
。
Frege 没有 Scala 的 var
中的变量以及副作用通过类型更加明确。 (只是没有 null
,没有 var
和明确的副作用使 Frege 更有趣,至少对我来说。从某种意义上说,Frege 和 Haskell 一样,是一种“优秀的命令式编程”语言”,对于 JVM!)
作为 Haskell 方言,Frege 对 Functor、Applicatives、Monad 和其他函数“模式”更加自然,并且在其标准库中拥有这些,而在 Scala 中,您可能需要 Scalaz。
Frege 默认情况下是惰性的,但可以在必要时通过 !
启用严格性,而 Scala 默认情况下是严格的,但具有用于惰性评估的 lazy
关键字。
尽管如此,作为 JVM 语言,一种语言可以从其他语言中受益。我曾经移植过一个Akka example to Frege 。最后,这取决于严格性、纯度、函数式、面向对象和类型推断以及它们对您的重要性。
关于scala - Scala 和 Frege 之间的主要区别(在编程范式中)是什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17905322/
我需要修复 getLineNumberFor 方法,以便如果 lastName 的第一个字符位于 A 和 M 之间,则返回 1;如果它位于 N 和 Z 之间,则返回 2。 在我看来听起来很简单,但我不
您好,感谢您的帮助!我有这个: 0 我必须在每次点击后增加“pinli
Javascript 中是否有一种方法可以在不使用 if 语句的情况下通过 switch case 结构将一个整数与另一个整数进行比较? 例如。 switch(integer) { case
我有一列是“日期”类型的。如何在自定义选项中使用“之间”选项? 最佳答案 请注意,您有2个盒子。 between(在SQL中)包含所有内容,因此将框1设置为:DATE >= startdate,将框2
我有一个表,其中包含年、月和一些数字列 Year Month Total 2011 10 100 2011 11 150 2011 12 100 20
这个问题已经有答案了: Extract a substring between double quotes with regular expression in Java (2 个回答) how to
我有一个带有类别的边栏。正如你在这里看到的:http://kees.een-site-bouwen.nl/ url 中类别的 ID。带有 uri 段(3)当您单击其中一个类别时,例如网页设计。显示了一
这个问题在这里已经有了答案: My regex is matching too much. How do I make it stop? [duplicate] (5 个答案) 关闭 4 年前。 我
我很不会写正则表达式。 我正在尝试获取括号“()”之间的值。像下面这样的东西...... $a = "POLYGON((1 1,2 2,3 3,1 1))"; preg_match_all("/\((
我必须添加一个叠加层 (ImageView),以便它稍微移动到包含布局的左边界的左侧。 执行此操作的最佳方法是什么? 尝试了一些简单的方法,比如将 ImageView 放在布局中并使用负边距 andr
Rx 中是否有一些扩展方法来完成下面的场景? 我有一个开始泵送的值(绿色圆圈)和其他停止泵送的值(簧片圆圈),蓝色圆圈应该是预期值,我不希望这个命令被取消并重新创建(即“TakeUntil”和“Ski
我有一个看起来像这样的数据框(Dataframe X): id number found 1 5225 NA 2 2222 NA 3 3121 NA 我有另一个看起来
所以,我正在尝试制作正则表达式,它将解析存储在对象中的所有全局函数声明,例如,像这样 const a = () => {} 我做了这样的事情: /(?:const|let|var)\s*([A-z0-
我正在尝试从 Intellivision 重新创建 Astro-Smash,我想让桶保持在两个 Angular 之间。我只是想不出在哪里以及如何让这个东西停留在两者之间。 我已经以各种方式交换了函数,
到处检查但找不到答案。 我有这个页面,我使用 INNER JOIN 将两个表连接在一起,获取它们的值并显示它们。我有这个表格,用来获取变量(例如开始日期、结束日期和卡号),这些变量将作为从表中调用值的
我陷入了两个不同的问题/错误之间,无法想出一个合适的解决方案。任何帮助将不胜感激 上下文、FFI 和调用大量 C 函数,并将 C 类型包装在 rust 结构中。 第一个问题是ICE: this pat
我在 MySQL 中有一个用户列表,在订阅时,时间戳是使用 CURRENT_TIMESTAMP 在数据库中设置的。 现在我想从此表中选择订阅日期介于第 X 天和第 Y 天之间的表我尝试了几个查询,但不
我的输入是开始日期和结束日期。我想检查它是在 12 月 1 日到 3 月 31 日之间。(年份可以更改,并且只有在此期间内或之外的日期)。 到目前为止,我还没有找到任何关于 Joda-time 的解决
我正在努力了解线程与 CPU 使用率的关系。有很多关于线程与多处理的讨论(一个很好的概述是 this answer )所以我决定通过在运行 Windows 10、Python 3.4 的 8 CPU
我正在尝试编写 PHP 代码来循环遍历数组以创建 HTML 表格。我一直在尝试做类似的事情: fetchAll(PDO::FETCH_ASSOC); ?>
我是一名优秀的程序员,十分优秀!