小编Alg*_*boy的帖子

我正在寻找一个命令，当我在 Visual Studio Code 中突出显示一段文本时，将允许我删除所有换行符，相应地，如果我突出显示没有换行符的段落，则将在显示宽度的末尾插入它们。

仅使用是不够的，Alt-Z因为这只会使显示屏显示换行，但实际上并不会插入换行符。

对于上下文：我正在使用 VS Code Latex 插件，它是编译的文本编辑器格式。该系统中的错误可追溯到行号，因此如果没有换行符，则必须在大段落中的某个位置查找错误。但当然，这是一个文本文档，您经常需要编辑段落，并且行尾变得锯齿状并且难以阅读/更新。

Haskell有时被称为“以等价取代等价”。下面的代码显示在这种句子的每种解释下都不是正确的。 Wikipedia遵循这一原则，即说f(x)=f(x)每一项，x但似乎没有任何人可以测试的实际逻辑内容，这是通过反身法则，重言式实现的。

我觉得做一个合乎逻辑的要求像这更像是莱布尼茨的法律（或没有区别identicals），其中所需要的措辞 x=y，每意味着f，f(x)=f(y)。该要求在Haskell的以下插图中没有体现。（我们重写==以创建分区类型，但是我们的函数定义可以随意忽略它并这样做。）

我的问题是，是否可以以一种可以进行逻辑测试的方式来实际陈述参照透明性，而Haskell是否真的支持这一逻辑主张？

module Main (main) where

data Floop = One | Two | Three
instance Eq Floop where
    One == One         = True
    One == Two         = False
    One == Three       = False
    Two == One         = False
    Two == Two         = True
    Two == Three       = True   --- 2=3
    Three == One       = False
    Three == Two       = True   --- 3=2
    Three == Three …