【问题标题】:Does SML support guards on patterns within match expressions?SML 是否支持对匹配表达式中的模式进行保护?
【发布时间】:2020-05-21 23:44:51
【问题描述】:

我想到了类似于here 描述的 F# 机制。 在调查它时,我没有发现任何明确的说法,也没有明确表示它没有。

【问题讨论】:

  • 这对论坛来说可能是一个更好的问题。
  • @nelles,这是为什么呢?
  • 它不是与错误相关的问题、错误或其他异常情况。
  • @Nelles,还有什么“论坛”?
  • @Nelles,似乎您在暗示适当的 SO 问题集仅限于与错误或错误有关的问题。这就是你所说的意思吗?如果是这样,你怎么认为那是真的?

标签: syntax pattern-matching sml smlnj ml


【解决方案1】:

1990 年的标准机器学习定义和 1997 年的标准机器学习定义(修订版)都没有定义模式保护。

已经有一些提案支持它们——参见https://github.com/SMLFamily/Successor-ML/wiki/Summary-of-proposed-changes——但我认为唯一的实现是'HaMLeT S'。特别是,MLton 和 SMLNJ 似乎都不支持它们(分别参见 http://mlton.org/SuccessorMLhttps://smlnj.org/doc/features.html)。

【讨论】:

  • 在去年的 ML 研讨会 github.com/JohnReppy/compiling-pattern-guards 上给出了 sml/nj 的论文和原型,该论文说“我们计划将其合并到即将在新标准 ML 中重新实现的模式匹配中泽西系统”
猜你喜欢
  • 2021-02-13
  • 2023-03-08
  • 2021-09-10
  • 2021-06-01
  • 2017-06-10
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多