はじめてのにき(2006-03-20)

2006-03-20

_ RHG

その場で取ってたメモだけど投げるの忘れていた。

いんでんと

do { hoge ; hage }

アクションと IO

アクションと IO は等価？

<- は IO から取り出す。 = との違い。

[ f x | x <- xs ]   -- list comprehension

と

do x <- xs
  return (f x)

は同じらしい。

list

data [] a = []
          | a : ([] a)

Prelude> :t []
[] :: [a]
Prelude> :t [1]
[1] :: (Num a) => [a]

Prelude> :t "abc"
"abc" :: [Char]
Prelude> :t ['a','b','c']
['a','b','c'] :: [Char]
Prelude> :t 'a' : []
'a' : [] :: [Char]
Prelude> :t ""
"" :: [Char]

ghci

Prelude> :help

は括弧を消すため。

は型指定してるのか

型多相

specialization はしてないのね

parametric polymorphism が generics で、 ad-hoc polymorphism が virtual らしい、けど。

束縛二つ目

Prelude> :t floor
floor :: (RealFrac a, Integral b) => a -> b

(01:28)

_ スタック言語はMind

(02:36)

_ (?_?)

なんでりなざうからコピーができない。送れるのに。

(03:46)

[ツッコミを入れる]

ツッコミ・コメントがあればどうぞ! E-mailアドレスは公開されません。

本日のリンク元

全てリンクフリーです。コード片は自由に使用していただいて構いません。その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。なにかあれば下記メールアドレスへ。


		2006年 3月
日	月	火	水	木	金	土
			1	2	3	4
5	6	7	8	9	10	11
12	13	14	15	16	17	18
19	20	21	22	23	24	25
26	27	28	29	30	31