エントリーの編集

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント2件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
A Gentle Introduction to Haskell: Types, Again
やさしい Haskell 入門 (バージョン 98 ) back next top 6 再び、型について ここでは、型宣言のより進... やさしい Haskell 入門 (バージョン 98 ) back next top 6 再び、型について ここでは、型宣言のより進んだ側面のいくつかを詳しくみていくことにします。 6.1 Newtype 宣言 プログラミングの際によくやるのが,表現が既存の型と同一だが,型システムの 中では別の型として識別されるような型を定義することです。Haskell では newtype 宣言が既存の型から新しい型をつくりだします。たとえば、 Integer 型を次のような宣言で用いて、自然数を表現することができ ます。 newtype Natural = MakeNatural Integer この宣言は、完全に新しい型 Natural を生成し、その構築子はひとつ の Integer だけを引数にとります。この構築子 MakeNatural は Natural と Integer との間の変 換
2013/09/05 リンク