omg

kirraObj · May 12, 2024 · 02bf8ab · 02bf8ab
1 parent 8d2a834
commit 02bf8ab
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/content/alexis_king_parse_don_t_validate/index.md b/content/alexis_king_parse_don_t_validate/index.md
@@ -97,8 +97,6 @@ main = do
 
 这种冗余检查的需求实际上迫使我们在类型系统中留下了一个漏洞。如果我们能编译期证明 `Nothing` 的情况是不可能发生的，那么一旦 `getConfigurationDirectories` 的修改导致其不再检查列表是否为空，这样的变更将会使得之前的证明失效，并触发一个编译时错误。然而，根据目前的编写方式，我们不得不依赖测试套件（Test Suite）或手动检查来发现这个错误。
 
-在前面的部分中，我们尝试了修改 `head` 函数的实现，但仍有不足之处。我们希望这个函数能更加智能：如果我们已经验证过列表非空，`head` 应该能直接返回列表的第一个元素，而不需要我们处理我们已知不可能发生的情况。那么，我们该如何做呢？
-
 ## 前瞻性设计
 
 在前面的部分中，我们尝试修改 `head` 函数的实现，但仍有不足之处。我们希望这个函数能更加智能：如果我们已经验证过列表非空，`head` 应该能直接返回列表的第一个元素，而不需要我们处理我们已知不可能发生的情况。那么，我们该如何做呢？