diff options
| author | Cliff Click <cliffc@acm.org> | 2025-01-10 12:21:41 -0800 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2025-01-15 15:07:30 -0800 |
| commit | d300194e5085a9c7a62e5eff5acdba596c5b23c7 (patch) | |
| tree | c0d5e696b29d5f2eaff7819d021e78d2532cefa6 | |
| parent | a773f07514e6363ec25b507a5601af5b2006b97c (diff) | |
| download | Simple-d300194e5085a9c7a62e5eff5acdba596c5b23c7.tar.gz Simple-d300194e5085a9c7a62e5eff5acdba596c5b23c7.zip | |
Update README.md
| -rw-r--r-- | chapter18/README.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/chapter18/README.md b/chapter18/README.md index 69d93dc2..031ce589 100644 --- a/chapter18/README.md +++ b/chapter18/README.md @@ -31,7 +31,7 @@ constant. This generally includes e.g. recursive function pointers. ``` A leading `{` character denotes the start of a function or function type, then -a list of argument types, and arrow `->` and the return type. +a list of argument types, and an arrow `->` and the return type. Functions variables are normal variables and assigned the same way: @@ -54,7 +54,7 @@ and return. Function types can be `null` just like references. Functions cannot return `void`, but they can return `null` and have their -return value ignored. A syntactic sugar for null returns may be added in the future. +return value ignored. A syntactic sugar for void returns may be added in the future. ### Return Program Counters @@ -66,7 +66,7 @@ from functions without itself relying on the implementing language's (e.g. Java) stack. This is the type for such values and `TypeRPC` is very similar to a `TypeFunPtr` except that the signature doesn't matter. -In spirit this is part of a `continuation` and would be required to do IR +In spirit, this is part of a `continuation` and would be required to do IR analysis of a hypothetical `call/cc` operation. That is outside our current scope, so for now these are only used in the evaluator. |