再帰型エイリアス
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/17 16:09 UTC 版)
型エイリアスや型シノニムで再帰が使えるかどうかはプログラミング言語次第である。 TypeScript などでは型エイリアスの中でも再帰が利用可能である。下記は TypeScript の例だが、型エイリアスだけで木構造の型を表現できる。 type Tree = number | Tree[];let tree: Tree = [1, [2, 3]]; しかしながら、HaskellやOCamlやMirandaの型シノニム宣言では再帰は許されていないので、以下のような Haskell での型定義は不正である。 type Bad = (Int, Bad)type Evil = Bool -> Evil それに対し、見た目は等価に思える代数的データ型は正当であり利用可能である。 data Good = Pair Int Gooddata Fine = Fun (Bool->Fine)
※この「再帰型エイリアス」の解説は、「再帰データ型」の解説の一部です。
「再帰型エイリアス」を含む「再帰データ型」の記事については、「再帰データ型」の概要を参照ください。
- 再帰型エイリアスのページへのリンク