- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
elm
对 zero-runtime-exceptions 的声明是其主要卖点之一(参见 official website ),
但如果您停下来想一想,没有什么能阻止您被零除或内存不足。
elm
编译器的基本功能是强制您覆盖所有可能导致异常的路径。
例如:
import String exposing (toInt)
toIntOrZero s = case toInt s of
Err e -> 0
Ok val -> val
但这与 infamous 有何不同? java
中的“检查异常”功能?
public static Integer toIntOrZero(String s) {
try { return Integer.valueOf(s); }
catch (NumberFormatException e) { return 0; }
}
我从来没有听说过任何人声称 java
是一种零运行时异常语言。
最佳答案
请不要太在意什么本质上是营销夸张。 当然有些错误是您永远无法用任何编译器完全排除的。
因此,我一直对这些零运行时异常声明持保留态度,但我想我理解支持者的意图。 Elm 的创建是为了替代使用 Javascript 开发前端应用程序,这是一个困惑的世界,异常比比皆是,只是日常生活的一部分。 Elm 使搬起石头砸自己的脚更难,并且无需太多努力,如果您对应用程序进行基本的健全性测试,您可能不会在生产中遇到运行时异常 .
Elm 在几个方面极大地降低了异常的可能性。
除了 Debug.crash
之外,语言中没有可抛出异常的概念,顾名思义,它实际上应该只用于调试和清除不完整的逻辑路径.
由于没有可抛出的异常,处理问题通常通过 Result
和 Maybe
等类型来完成。
这可以被认为与 Java 的已检查异常大致相似,但从概念上讲,它们与我感觉非常不同。面对现实吧。异常被滥用了。您提到了 Java 中的一个示例,其中 Integer.valueOf()
表示它将返回一个 int,但如果您向它传递任何其他内容,它会展开堆栈并向上冒泡,直到某个函数有望捕获它.这对我来说感觉非常困惑,当然,检查异常可以帮助减少故障传播的窗口,但潜在的事实是异常是业务逻辑的错误工具。
抛出异常的替代方法是使用类似于 Result
和 Maybe
Elm 类型的类,但这在早期的 Java 中几乎是不可能的干净地做,即使使用泛型,编写这样的类型也比 Elm 类型的简单性更乏味且更容易出错。而且由于 Elm 的封闭类型系统,
非穷举模式匹配导致编译失败
在 Java 和 Javascript 中,无法进行详尽的模式匹配检查,因为类型系统不允许这样做。当然,Typescript 引入了一些功能,但你必须选择加入它。在 Elm 中,您必须显式处理所有情况。当然,我想您可能会争辩说,Elm 让您通过以包罗万象的 _
结束所有 case 语句来选择退出详尽的模式匹配,但这只是对语言的愚蠢滥用。这些检查可以为您提供帮助,而且我没有选择加入 Elm 中的错误检查这一事实让我感到更加安全 - 默认情况下它就在那里!
不变性
不可变性避免了大量潜在的错误类型,这里无法一一列举。
Elm 架构在 Javascript 和 Elm 之间提供了清晰的分离
Elm 可以编译成 Javascript,但 Elm 架构提供了一个很好的干净屏障,使所有讨厌的 Javascript 位远离 Elm 编写的纯代码。 Javascript 中可能发生的任何异常都应由该屏障处理,这样 I/O 错误将始终被转换为 Elm 友好的无异常类型。
最后,运行时异常仍然是可能的(例子:next tagged Elm question 处理了一个众所周知的由递归 JSON 解码器定义引起的运行时异常),每当我听到有人说这是不可能在 Elm 中获得异常。事实上,异常是可能的,但几乎所有您在日常 Javascript 开发中遇到的异常在 Elm 中本质上都是不可能的。
关于java - elm 的编译与 Java 的检查异常有何不同?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46800066/
基本上我想在悬停时使文本带有删除线。这并不容易使用 el [ mouseOver [Font.strike] ] (text "some text") 就像这样 el [ mouseOver [Bac
基本上我想在悬停时使文本带有删除线。这并不容易使用 el [ mouseOver [Font.strike] ] (text "some text") 就像这样 el [ mouseOver [Bac
以下模式匹配至少有两个元素的列表有什么问题pos1和 pos2 ? type Pos = (Float, Float) type Tail = [Pos] tail_cut : Float -> Ta
我想更新 Elm 类型的记录 type CubeData = {currDirection : Vec3, translation : Vec3, transform : Mat4} 我可以使用以下代
假设有两种数据类型: type alias Player = { name : String , team : Team } type alias Team = { name : St
Python 有它们,我发现它们非常有用: def awesome_fn(x, y): """" Calculates some awesome function of x and y
我正在尝试在 Elm 中设计一个功能,该功能解析来自 Json 的数据,然后将其呈现在一个可排序的表中。 当然,我使用解码器将 Json 数据存储在记录列表中;然后在 View 中,我将记录列表转换为
假设我正在尝试遵循 Elm 架构并将我的工作流程拆分为 User s 和 Invoice s 使用 StartApp . 用户有发票,但他们必须登录才能访问它们。 该模型可能看起来像这样: type
我喜欢 React/Redux 的智能和哑组件概念,其中哑组件不处理自己的状态(Dump 组件对外界一无所知,它所做的只是根据其输入触发事件并显示值) .这是微不足道的,因为所有状态都在一个地方处理(
如何在 elm-repl 中找出 Elm 表达式或子表达式的类型? Haskell 的 :type或 :t相当于 Elm REPL 吗? 最佳答案 Elm REPL 会自动打印您输入的任何类型。例如:
在 Elm 中是否可以通过一个事件处理程序触发多个输入句柄?例如,假设我有以下内容: button [ type' "button", on "click" getAnything go.ha
我正在尝试构建一个通用映射函数,该函数将从联合类型中提取可能的内部类型,对内部值应用转换并将其映射回外部类型。 问题是,我需要一种方法来区分外部类型的特定值是否具有内部类型。 如果下面的代码实际编译了
每隔一段时间,您就会遇到如下编译器错误: It looks like the keyword `port` is being used as a variable. 这很烦人。这些关键词有完整的官方列
我刚刚开始考虑使用 Elm 构建一个简单的 Web 应用程序。我的想法是需要在浏览器中保留一些用户数据。 有没有办法直接用 Elm 处理数据持久化?例如在浏览器 session 甚至本地存储中?或者我
我有这个功能 result = add 1 2 |> \a -> a % 2 == 0) 我收到了这个错误 Elm does not use (%) as the remainder operat
编写一个函数将一个列表分成两个列表。第一部分的长度由调用者指定。 我是 Elm 的新手,所以我不确定我的推理是否正确。我认为我需要转换数组中的输入列表,以便我能够按提供的输入数字对其进行切片。我也在语
我正在尝试创建一个简单的Elm项目,仅插入“hello world!”串成div。 这是我的代码: index.html: ELM Course
我正在编写elm程序,该程序应将其输出格式化为HTML列表。我要的功能 inputs = ["first", "second", "third"] 并输出本质上是某种Elm Element,
在 Elm 中,我无法弄清楚什么时候 type 是合适的关键字,什么时候 type 别名 才是合适的。文档似乎没有对此进行解释,我也无法在发行说明中找到这一解释。这是否记录在某处? 最佳答案 我的想法
我刚刚开始学习 Elm,并且在理解为什么将自定义类型传递到期望的方法时遇到类型不匹配的问题......好吧,我称之为部分类型注释. 这是我正在使用的代码: import Graphics.Elemen
我是一名优秀的程序员,十分优秀!