Kush's Wiki
ADT
commited date: 2025-11-17
Algebraic Data Type
代数データ型
#
Programming
列挙(和)された値の組み合わせ(積)を定義し、無効な組み合わせを表現できないように型化する方法
MoonBit
#Programming Rustライクな構文とGCを持つWebAssembly最適化言語 静的型付け、型推論、パターンマッチ、トレイト、ADTをサポート バックエンドはWasm-GC、JavaScript、Nativeの3種類 Rustと同等の実行性能で、より小さなWasmコードを生成 ライフタイム管理が不要で、Rustより学習コストが低い https://www.moonbitlang.com/
Effective Rust