![](https://cdn-ak-scissors.b.st-hatena.com/image/square/f8bc4f8bb9c12a44e1917d74688480f55fdc6b32/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--xrhr0uXF--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3A%2525E4%2525BB%2525A3%2525E6%252595%2525B0%2525E7%25259A%252584%2525E3%252583%252587%2525E3%252583%2525BC%2525E3%252582%2525BF%2525E5%25259E%25258B%2525E3%252581%2525AE%2525E4%2525BD%25259C%2525E3%252582%25258A%2525E6%252596%2525B9%252528%2525E5%252580%2525A4%2525E3%252582%2525B3%2525E3%252583%2525B3%2525E3%252582%2525B9%2525E3%252583%252588%2525E3%252583%2525A9%2525E3%252582%2525AF%2525E3%252582%2525BF%25252C%2525E5%25259E%25258B%2525E3%252582%2525B3%2525E3%252583%2525B3%2525E3%252582%2525B9%2525E3%252583%252588%2525E3%252583%2525A9%2525E3%252582%2525AF%2525E3%252582%2525BF%2525E3%252581%2525AB%2525E3%252581%2525A4%2525E3%252581%252584%2525E3%252581%2525A6%252529%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3A%2525E9%2525B3%2525A5%2525E7%2525BE%2525BD%2525E7%25259C%25259E%2525E5%252598%252589%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9zdG9yYWdlLmdvb2dsZWFwaXMuY29tL3plbm4tdXNlci11cGxvYWQvYXZhdGFyLzZhMzhlOTQ3NTcuanBlZw%3D%3D%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
代数的データ型の作り方(値コンストラクタ,型コンストラクタについて)
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
代数的データ型の作り方(値コンストラクタ,型コンストラクタについて)
データ型の正体はメモリICです。メモリICにあるピンの1本1本が電気のON/OFFをします。これによってデー... データ型の正体はメモリICです。メモリICにあるピンの1本1本が電気のON/OFFをします。これによってデータを格納する場所(アドレス)を表します。 しかしメモリICのピン(0と1の数字)としてメモリを扱うのは少し考えづらいですよね。そこで以下のようなビルディングとして捉えることにしました。 メモリが実際にこのようなビルディングの形ではない点に注意して下さい。あくまで実体としてはメモリICのピンです。しかし私たちが扱いやすいように捉え方を変えています。論理的というのは「(実際の形とは違うけれども)私たちが扱いやすい/考えやすい」という意味です。この中でデータ型はどのように扱われるのでしょうか。例えばIntというデータ型があった際、4フロア分のメモリスペースが確保されます。0と1の数字を並べていただけの時よりもこちらの方がわかりやすいですよね。 集合としてのデータ型 しかしビルディングだけで