Haskell 7日目

Haskell 7日目。
基本的な値に進みます。

値	型
真偽値	Bool型
数値	Int型、Integer型、Float型、Double型
文字	Char型
文字列	String型=[Char]型
タプル	(a,b)型
ユニット	()型
リスト	[a]型

この他に重要な値として『関数』がありますが、８章で出てくるらしいです。

Haskellの真偽値はTrueかFalseで、型はBool型となります。

関数	機能
not	TrueであればFalse、FalseであればTrueを返す
(&&)	両方Trueの時にTrueを返す。
(\|\|)	いずれかがTrueの時にTrueを返す。

Haskellの整数型にあInt型とInteger型があります
Int型の範囲は処理系によって異なる。32ビットマシン上のGHCなら32ビットの符号付き整数となります。
Integer型は表現範囲に制限のない整数値を表現します。

上記のリテラルは数値型であることは決まっていますが、Int型にもInteger型にも、浮動小数点型にもなります。
数値リテラルの型を限定するには、

x = (16 :: Int)

の様に『::』構文を使って表現します。

Float型は単精度不動小数点数、Double型は倍精度浮動小数点数を表現します。

1.5
3.141592
77.38905609893065
0.1543e+2           --  0.1543 * 10^2 に相当
1543e-3             --  1543 * 10^-3 に相当

数値に関わる主な関数は下記の通りです。

使用例	意味
x+y	xとy
x-y	xとyの差
x^y	xとyの積
x/y	xとyの商(浮動小数点同士のみ)
x`div`y	xとyの整除(整数同士のみ、負の無限大に向かってまるめる)
x`quot`y	xとyの整除(整数同士のみ、ゼロに向かってまるめる)
x`mod`y	(x`div`y)のあまり(整数同士のみ)
x`rem`y	(x`quot`y)のあまり(整数同士のみ)
x^y	xのy乗
-x	xの符号反転(単項マイナス)
negate x	xの符号反転(単項マイナスの別名)
subtract x y	(y - x)と同じ
abs x	xの絶対値
odd x	xが奇数ならTrue、偶数ならFalse
even x	xが偶数ならTrue、奇数ならFalse

2つの数値間で演算をするときは、2つの数値の型が同じでなければいけません。
違う型同士で演算を行いたい場合は、明示的に型を変換する必要があります。

使用例	意味
toInteger x	Int型の値xをInteger型に変換
fromInteger x	Integer型の値xを数値型に変換(返り値の型は文脈で決まる)
fromIntegral x	Int型またはInteger型の値xを数値型に変換(返り値の型は文脈で決まる)

Haskellで用意されているその他の型が紹介されていますが、紹介にとどまっています。

値	型	ライブラリ
有理数	Rational型	Ratio
複素数	Complex型	Complex

詳しくはHaskellの仕様書である『Haskell 98 Language and Libraries The Revised Report』を参照してくださいとのことです。

今日のところはここまで。
明日は文字と文字列型にすすみます。

理想未来ってなんやねん