Lîm Tsú-thuàn

wasm proposal memory64

3

resolve #2779

### Summary Check latest alpha changelog, related C structure and signatures changes. ### Appendix _No response_

feat: Implement wasm proposal: Memory64

4

## Motivation To support memory64 proposal. ## Details The Memory64 proposal is a phase 3 proposal. ### [binary-format](https://github.com/WebAssembly/memory64/blob/main/proposals/memory64/Overview.md#binary-format) - [x] limits encoding changes to have more entries ```diff limits ::=...

Cross-file goto references

11

The current racket-langserver supporting goto references in the same file, but references in others file won't be listed.

`IndexOutOfBoundsException` when parsing result types

4

With source code below ```aya public open import Primitives def isProp (A : Type) => ∀ (x y : A) -> x = y def isSet (A : Type) :...

[homotopy_io_actions.txt](https://github.com/homotopy-io/homotopy-rs/files/14824544/homotopy_io_actions.txt)

考慮 ```hs if True || b then c else d ``` 此程式的 `b` 與執行順序嚴格的語言對比，是不會執行的，因此若當中有異常發生，程式還是不會出錯，因為並沒有運行 b 的「需要」 這樣的語意差異有好處，讓 Haskell 可以有奇怪的 `Stream` 定義，其實就是因為 semantic 而自動獲得 co-data 但建模型就變成一個難題，因為傳統的模型作法都是假定某個執行順序，因此考慮了全部的方案，在 lazy semantic 下反倒濾掉太多 TODO: Add...

immutable

1

假設語言中計算會停機，那麼不可變表示執行順序不會影響求值結果，舉例來說 $1 + 2 + 3$ 裡面，到底要先算 $1 + 2$ 還是 $2 + 3$ 其實無所謂。同理，不可變的計算保證 $f \\ e_1 \\ e_2 \\ ... \\ e_n$ 要先算哪個 $e_n$ 是無所謂的。 反之，可變的計算就不具有此特性： ```ocaml let...

In shell I get below ```sh $ cargo install wit-deps Updating crates.io index Downloaded wit-deps v0.3.1 Downloaded 1 crate (14.2 KB) in 0.73s error: there is nothing to install in...

[Component] interface types

15

1. `InterfaceType` inherit `public ValType` 2. `using ValInterface = std::variant` 3. extract component host function 4. plugin: wasi-poll 5. misc: related updates