人気の記事一覧

💎総称演算子とデータ指向 異なる二つの計算表現 セレクタとコンストラクタ 汎用的な関数と演算 多重ディスパッチ 強制(コエーション:Coercion) ADT代数的なデータ型

💎代数的なデータ構造(ADT)と抽象データ型(ADT) AST

📏Refal言語入門 Graphs 縮約(contraction) 代入(assignment) 制約(Restriction)