mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-04 18:58:30 +00:00
Doc: fix .md links
This commit is contained in:
GreasySlug
parent
64fec7d914
commit
1b3d7827bb
13 changed files with 18 additions and 18 deletions
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
This FAQ is intended for the general Erg beginner.
|
||||
For individual (common) technical issues, please refer to [here](./faq_technical.md) for individual (common) technical issues, and
|
||||
[Here](./dev_guide/faq_syntax.md) for more information.
|
||||
[here](./faq_syntax.md) for more information.
|
||||
|
||||
## What does it mean that Erg is a Python compatible language?
|
||||
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
## Erg memory management model
|
||||
|
||||
Use ownership in CPython backend + Python memory management model (though circular references in Erg code will not be handled by GC [see details](../syntax/18_ownership.md/#circular-references)
|
||||
Use ownership in CPython backend + Python memory management model (though circular references in Erg code will not be handled by GC [see details](./syntax/18_ownership.md/#circular-references)
|
||||
|
||||
Using ownership + [Perceus](https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdf) memory in Erg's own virtual machine (Dyne) Management model, if Erg code uses the Python API then the Erg code uses the tracking garbage collection memory management model
|
||||
|
||||
|
|
@ -12,7 +12,7 @@ Regardless of the backend, the difference in memory management will not need any
|
|||
|
||||
__Notice__:Erg's motivation for introducing an ownership system is not for "memory management without relying on GC" like Rust.
|
||||
The aim of Erg's ownership system is ``localization of mutable state''. Erg has a notion of ownership attached to mutable objects.
|
||||
This is because shared mutable state is prone to bugs and even violates type safety (see [here](../syntax/type/advanced/shared.md#SharedReference)). It's a judgmental decision.
|
||||
This is because shared mutable state is prone to bugs and even violates type safety (see [here](./syntax/type/advanced/shared.md#SharedReference)). It's a judgmental decision.
|
||||
|
||||
## Why are the braces around type parameters || instead of <> or []?
|
||||
|
||||
|
|
|
|||
|
|
@ -2,11 +2,11 @@
|
|||
|
||||
This section answers technical questions about using the Erg language. In other words, it contains questions that begin with What or Which, and questions that can be answered with Yes/No.
|
||||
|
||||
For more information on how the grammar was determined, see [here](./dev_guide/faq_syntax.md) for the underlying syntax decisions, and [here](./dev_guide/../faq_general.md).
|
||||
For more information on how the grammar was determined, see [here](./faq_syntax.md) for the underlying syntax decisions, and [here](./faq_general.md).
|
||||
|
||||
## Is there an exception mechanism in Erg?
|
||||
|
||||
A: No. Erg uses the `Result` type instead. See [here](./dev_guide/faq_syntax.md) for why Erg does not have an exception mechanism.
|
||||
A: No. Erg uses the `Result` type instead. See [here](./faq_syntax.md) for why Erg does not have an exception mechanism.
|
||||
|
||||
## Does Erg have a type equivalent to TypeScript's `Any`?
|
||||
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@
|
|||
A marker added to the end of an identifier to indicate that it is a procedure or variable type.
|
||||
Or the mutating operator.
|
||||
|
||||
### [#](../syntax/00_basic.md/#comments)
|
||||
### [#](./syntax/00_basic.md#comments)
|
||||
|
||||
### $
|
||||
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
|
||||
このFAQは一般のErg入門者向けです。
|
||||
個別の(よくある)技術的な問題については[こちら](./faq_technical.md)を、文法の決定経緯(なぜこのような文法になったのか)などについては
|
||||
[こちら](./dev_guide/why.md)を参照してください。
|
||||
[こちら](./faq_syntax.md)を参照してください。
|
||||
|
||||
## ErgはPython互換言語というのはどういう意味なのですか?
|
||||
|
||||
|
|
|
|||
|
|
@ -14,7 +14,7 @@ LLVM では、WASM バックエンドは所有権 + [Perceus](https://www.micros
|
|||
|
||||
__知らせ__：Ergが所有権システムを導入した動機は、Rustのような「GCに頼らないメモリ管理」のためではないからです。
|
||||
Ergが所有権システムを導入した狙いは「可変状態の局所化」です。Ergでは、可変オブジェクトに所有権の概念がついています。
|
||||
これは、共有可変状態がバグの温床になりやすく、さらに型安全性まで侵害すること(詳しくは[こちら](../syntax/type/advanced/shared.md#共有参照SharedReference)を参照)をみての判断です。
|
||||
これは、共有可変状態がバグの温床になりやすく、さらに型安全性まで侵害すること(詳しくは[こちら](./syntax/type/advanced/shared.md)を参照)をみての判断です。
|
||||
|
||||
## なぜ型パラメータを囲むカッコが<>や[]ではなく||なのですか?
|
||||
|
||||
|
|
|
|||
|
|
@ -4,11 +4,11 @@
|
|||
|
||||
本項はErg言語を使用する上での技術的な質問に答えるものです。すなわち、WhatやWhichで始まる質問、Yes/Noで答えられる質問を載せています。
|
||||
|
||||
根本的な文法の決定経緯については[こちら](./dev_guide/faq_syntax.md)を、なぜこの言語を作ったのか、この機能はどのように実装されているのかなど、より大きな話題は[こちら](./dev_guide/../faq_general.md)を参照してください。
|
||||
根本的な文法の決定経緯については[こちら](./faq_syntax.md)を、なぜこの言語を作ったのか、この機能はどのように実装されているのかなど、より大きな話題は[こちら](./faq_general.md)を参照してください。
|
||||
|
||||
## Ergに例外機構はないのですか?
|
||||
|
||||
A: ありません。Ergでは代わりに`Result`型を使います。なぜErgに例外機構がないのかは[こちら](./dev_guide/faq_syntax.md#なぜergには例外機構がないのですか)を参照してください。
|
||||
A: ありません。Ergでは代わりに`Result`型を使います。なぜErgに例外機構がないのかは[こちら](./faq_syntax.md#なぜergには例外機構がないのですか)を参照してください。
|
||||
|
||||
## ErgにはTypeScriptのAnyに相当する型はないのですか?
|
||||
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
|
||||
此常见问题解答适用于一般 Erg 初学者。
|
||||
对于个别(常见)技术问题，请参阅 [此处](./faq_technical.md) 了解个别(常见)技术问题，以及
|
||||
[这里](./dev_guide/faq_syntax.md) 了解更多信息。
|
||||
[这里](./faq_syntax.md) 了解更多信息。
|
||||
|
||||
## Erg 是 Python 兼容语言是什么意思?
|
||||
|
||||
|
|
|
|||
|
|
@ -14,7 +14,7 @@
|
|||
|
||||
__注意__: Erg 引入所有权系统的动机不是像 Rust 那样"不依赖 GC 的内存管理"。
|
||||
Erg 所有权系统的目标是"可变状态的本地化"。 Erg 有一个附属于可变对象的所有权概念。
|
||||
这是因为共享可变状态容易出现错误，甚至违反类型安全(参见 [此处](../syntax/type/advanced/shared.md#共享参考))。这是一个判断决定。
|
||||
这是因为共享可变状态容易出现错误，甚至违反类型安全(参见 [此处](./syntax/type/advanced/shared.md#共享参考))。这是一个判断决定。
|
||||
|
||||
## 为什么类型参数要大括号 || 而不是 <> 或 []?
|
||||
|
||||
|
|
|
|||
|
|
@ -4,11 +4,11 @@
|
|||
|
||||
本节回答有关使用 Erg 语言的技术问题。换句话说，它包含以 What 或 Which 开头的问题，以及可以用 Yes/No 回答的问题。
|
||||
|
||||
有关如何确定语法的更多信息，请参阅 [此处](./dev_guide/faq_syntax.md) 了解基础语法决策，以及 [此处](./dev_guide/../faq_general.md)。
|
||||
有关如何确定语法的更多信息，请参阅 [此处](./faq_syntax.md) 了解基础语法决策，以及 [此处](./faq_general.md)。
|
||||
|
||||
## Erg 中有异常机制吗?
|
||||
|
||||
答：不会。Erg 使用 `Result` 类型代替。请参阅 [此处](./dev_guide/faq_syntax.md) 了解 Erg 没有异常机制的原因。
|
||||
答：不会。Erg 使用 `Result` 类型代替。请参阅 [此处](./faq_syntax.md) 了解 Erg 没有异常机制的原因。
|
||||
|
||||
## Erg 是否有与 TypeScript 的 `Any` 等价的类型?
|
||||
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
|
||||
此常見問題解答適用於一般 Erg 初學者。
|
||||
對於個別(常見)技術問題，請參閱 [此處](./faq_technical.md) 了解個別(常見)技術問題，以及
|
||||
[這裡](./dev_guide/faq_syntax.md) 了解更多信息。
|
||||
[這裡](./faq_syntax.md) 了解更多信息。
|
||||
|
||||
## Erg 是 Python 兼容語言是什么意思?
|
||||
|
||||
|
|
|
|||
|
|
@ -14,7 +14,7 @@
|
|||
|
||||
__注意__: Erg 引入所有權系統的動機不是像 Rust 那樣"不依賴 GC 的內存管理"。
|
||||
Erg 所有權系統的目標是"可變狀態的本地化"。 Erg 有一個附屬於可變對象的所有權概念。
|
||||
這是因為共享可變狀態容易出現錯誤，甚至違反類型安全(參見 [此處](../syntax/type/advanced/shared.md#共享參考))。這是一個判斷決定。
|
||||
這是因為共享可變狀態容易出現錯誤，甚至違反類型安全(參見 [此處](./syntax/type/advanced/shared.md#共享參考))。這是一個判斷決定。
|
||||
|
||||
## 為什麼類型參數要大括號 || 而不是 <> 或 []?
|
||||
|
||||
|
|
|
|||
|
|
@ -4,11 +4,11 @@
|
|||
|
||||
本節回答有關使用 Erg 語言的技術問題。換句話說，它包含以 What 或 Which 開頭的問題，以及可以用 Yes/No 回答的問題。
|
||||
|
||||
有關如何確定語法的更多信息，請參閱 [此處](./dev_guide/faq_syntax.md) 了解基礎語法決策，以及 [此處](./dev_guide/../faq_general.md)。
|
||||
有關如何確定語法的更多信息，請參閱 [此處](./faq_syntax.md) 了解基礎語法決策，以及 [此處](./faq_general.md)。
|
||||
|
||||
## Erg 中有異常機制嗎?
|
||||
|
||||
答：不會。Erg 使用 `Result` 類型代替。請參閱 [此處](./dev_guide/faq_syntax.md) 了解 Erg 沒有異常機制的原因。
|
||||
答：不會。Erg 使用 `Result` 類型代替。請參閱 [此處](./faq_syntax.md) 了解 Erg 沒有異常機制的原因。
|
||||
|
||||
## Erg 是否有與 TypeScript 的 `Any` 等價的類型?
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue