up

kirraObj · Jun 2, 2024 · 0f5ad45 · 0f5ad45
1 parent 6522e1f
commit 0f5ad45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/content/a_gentle_introduction_to_liquid_types/index.md b/content/a_gentle_introduction_to_liquid_types/index.md
@@ -6,7 +6,7 @@ date = 2024-06-02T00:00:00Z
 > [原文](https://goto.ucsd.edu/~ucsdpl-blog/liquidtypes/2015/09/19/liquid-types/)由 UCSD The Programming Systems Group 发表。
 
 
-类型系统已成功用于编译时期捕捉到潜在的错误，比如我们无法用 Boolean 除以 Int。尽管如此，良好类型化（Well-Typed）的代码仍然可能出现错误，比如将 Int 除以零通常会抛出一个运行时异常。
+类型系统已成功用于编译时期捕捉到潜在的错误，比如我们无法用 Boolean 除以 Int。然而，即使是没有类型错误的程序也可能出错，比如将 Int 除以零通常会抛出一个运行时异常。
 
 Liquid Types 通过引入逻辑谓词（Logical Predicates）扩展现有的类型系统，使我们能够指定并自动验证代码的语义属性（Semantic Properties）。