diff --git a/docs/intro.md b/docs/intro.md index 502ced4..f5ed8e8 100644 --- a/docs/intro.md +++ b/docs/intro.md @@ -6,7 +6,7 @@ sidebar_position: 1 RowScript 是一种新的 JavaScript 方言,旨在大大改善两类 Web 开发者的使用体验: -* 应用程序开发者:开发者应该使用强大的工具、框架和灵活的类型系统来编写他们的应用程序 +* 应用程序开发者:开发者应该使用强大的工具、框架和灵活的类型系统来编写他们的应用程序。 * 库(轮子)开发者:开发者应该能够以较少的类型体操来编写他们的库,这些类型体操通常是杂乱无章且非平凡。 通过使用 RowScript 的工具和类型系统,允许您编写更具扩展性和可伸缩性的代码。 diff --git a/docs/why/general.md b/docs/why/general.md index 48eaf1f..c7b028f 100644 --- a/docs/why/general.md +++ b/docs/why/general.md @@ -12,7 +12,7 @@ sidebar_position: 1 > > -- Jon Sterling, [Make Three To Throw Away], WITS '22 -通过 `Totality`, 每一个可能的计算都将在编译期间执行,并且得益于依值类型系统,这些计算结果可以作为一些有用的类型信息。这使得库的作者能够开发出更优秀的框架,不再需要依赖过多的技巧或临时,奇怪的解决方案,最重要的是,它提供了优秀且交互式的**类型调试支持**。 +在编译过程中,通过彻底地 (`By totality`) 执行所有可能的计算,结合依值类型系统,我们能够将这些计算结果转化为实用的类型信息。这一机制使得库作者能够构建更优秀的框架,减少对技巧和变通方法的依赖。最重要的是,它提供了良好且交互式的**类型调试支持**。 [Make Three To Throw Away]: https://www.jonmsterling.com/slides/sterling-2022-wits.pdf @@ -22,7 +22,7 @@ sidebar_position: 1 > > -- Ryan Dahl, [JavaScript Containers] -JavaScript 无处不在,我们首先将代码生成目标定位于它,而不是 WebAssembly,因为我们相信这种通用语言的强大能力,除非它得到现代语言工具的帮助。:) +JavaScript 因其无处不在的特性,我们首选将代码编译到 JavaScript,而非 WebAssembly,这是因为我们相信,在现代编程语言工具的支持下,这种通用语言的强大潜力。 :) [JavaScript Containers]: https://tinyclouds.org/javascript_containers