haskell-jp / beginners #17 at 2021-07-10 19:32:07 +0900

data 型構築子 型変数 ... =
    データ構築子A 型式A ...
|   データ構築子B 型式B ...
          .....
|   データ構築子N 型式N ...

のような、定義の仕方が最も一般的に書かれている書式？のことは何て呼べば良いですか？
また、そのようなものが集まったホームページなどはありますでしょうか？

構文という意味でしたら algebraic datatype declarationでしょうか https://www.haskell.org/onlinereport/decls.html#datatype-decls

文法がバッカス・ナウア記法 (で合っている?) で書いてあるところということなら、Haskell 2010 レポートにありますが、そういうことでしょうか。

https://ja.wikipedia.org/wiki/バッカス・ナウア記法
https://myuon.github.io/haskell2010-ja/chapters/2-lexical-structure.html

お二人ともありがとうございます
読んでみます