JAPANESE
代数的データ型
だいすうてきデータがた
KOREAN
대수적 데이터 타입
[テスジョク テイト タイプ]
ハングル読み: 다이스우테키데타가타
解説
直和型と直積型の組み合わせで構成されるデータ型の体系である。パターンマッチングと組み合わせて使うことで、状態の網羅的な処理が可能になり、型安全なコードを記述できる。HaskellやRustで広く使われる。
합 타입과 곱 타입의 조합으로 구성되는 데이터 타입 체계이다. 패턴 매칭과 결합하여 사용하면 상태의 망라적 처리가 가능해지며 타입 안전한 코드를 작성할 수 있다. Haskell이나 Rust에서 널리 사용된다.
例文
Rustのenum型を代数的データ型として活用し、すべてのケースを網羅的に処理した。
Rust의 enum 타입을 대수적 데이터 타입으로 활용하여 모든 케이스를 망라적으로 처리했다.