際際滷

プログラミング Haskell

及２嫗はじめの匯�i

朕肝
1�Hugｓ
２��淵薀ぅ屮薀�
３��v方�m喘
4�Haskell プログラム
５�この嫗の歌深猟�
6��}

1.Hugs
Haskell には２つのメジャ�`な�I尖狼があります。
1.インタ�`プリタ�`の Hugs
http://www.haskell.org/hugs/ からダウンロ�`ドできます。
2.コンパイラ�`の GHC
http://www.haskell.org/ghc/ からダウンロ�`ドできます。

プログラムの�_�k、テストには、Hugs を聞い、竃栖貧がった
プログラムを GHC でコンパイルするのがよいと房います。

2.��淵薀ぅ屮薀�
Hugs を軟�咾垢襪函�邀�� Prelude.hs という
��淵薀ぅ屮薀蠅鰌iみ�zむ。

Hugs>プロンプトは、Hugsシステムを塀を�u��
する��笋�任④討い襦�
箭 Hugs> 2+3
5
Hugs> 2-3
-1
Hugs> 2�3
6
Hugs> 7 `div` 2 `はバッククォ�`ト
3 �Shift + @�
Hugs> 2^3 云では●で燕�F
8

處麻徨の��枠�了��枠�了が互いほど�く�Y栽する�

��淵薀ぅ屮薀蠅砲蓮▲螢好箸�I尖する謹科な
�v方も戻工している。
腎でないリストの枠�^の勣殆を函り竃す
Hugs> head [1,2,3,4,5]
1
腎でないリストの枠�^の勣殆を函り茅く
Hugs> tail[1,2,3,4,5]
[2,3,4,5]

腎でないリストの(0桑朕から方えて)ｎ桑朕の勣殆を函り竃す
Hugs> [1,2,3,4,5]!!2
3

リストの枠�^からｎ桑朕の勣殆を函り竃す
Hugs> take 3[1,2,3,4,5]
[1,2,3]
リストから枠�^のｎ��の勣殆を函り茅く
Hugs> drop 3[1,2,3,4,5]
[4,5]
リストの�Lさを�麻する
Hugs> length[1,2,3,4,5]
5
方�､離螢好箸��し勣殆の才を�麻する
Hugs> sum[1,2,3,4,5]
15

方�､離螢好箸��し勣殆の�eを�麻する
Hugs> product [1,2,3,4,5]
120
屈つのリストを�B�Yする
Hugs> [1,2,3] ++ [4,5]
[1,2,3,4,5]
リストを剃�にする
Hugs> reverse[1,2,3,4,5]
[5,4,3,2,1]
0で護る or 腎リストの恷兜の勣殆を函り竃す
Hugs> 1 `div` 0 or head[]
Error

3.�v方�m喘
方僥では�v方を�m喘する��蓮��鮴┿，�譴燹�
屈つの�､�譴韻��蓮�gに匯圭を麿圭に�Aけて��
f(a,b) + c d �v方ｆを屈つの��a
�v方ｆを屈つの��aとb
に�m喘し、c
に�m喘し、cとdの�e
を怎し栽わせるる

Haskellでは�v方の�m喘は�gに腎易猟忖を聞う。
�\麻には�\麻處麻徨 � を苧�する。
fab+c*d �v方�m喘は、麿の畠て
の處麻徨よりも互い
�Y栽�了を隔つ

ｆ a + bは、ｆ�a + b)ではなく (f a) + b である。

3.�v方�m喘
方僥とHaskellの�v方�m喘燕�の�`い
箭方僥 Haskell

f(x) fx

f(x,y) fxy

f(g(x)) f (g x)

f(x,g(y)) f x (g y)

f(x)g(y) fx*gy

4.Haskellプログラム
? ��淵薀ぅ屮薀蠅婆畊�気譴討い�C嬬と揖��
に�C嬬を協�xできる。
? エディタを聞ってスクリプトを恬撹し、スクリプ
トのファイル兆には、��徨を.hsとする。

テキストエディタで秘薦して、test.hsで隠贋
double x = x + x

quadruple x = double (double x)

隠贋枠は、わかりやすいところがいいよね。

loadコマンドでスクリプトを�iみ�zむことが竃栖る。
��淵薀ぅ屮薀蠅�test.hsの�I圭の�v方が聞喘できる。
Hugs> :load test.hs

Hugs> :load "c:?Haskell?test.hs"

test.hs をダブルクリックする。

Main> quadruple 10
40

Main> take (double 2) [1,2,3,4,5,6]
[1,2,3,4]

test.hs を和�コ�`ドに��Qえ隠贋します。
factorial n = product [1..n]

average ns = sum ns `div` length ns

ファイルを��Qえても、徭�咾敗掖iみ�zみは
しません。その��蓮�reloadコマンドを�g佩する。
Main> :reload
Main> factorial 10
3628800
Main> average [1,2,3,4,5]
3

コマンド吭龍
:load name ファイル name をロ�`ドする
:reload �F壓のファイルを壅びロ�`ドする
:edit name ファイル name を�鹿する
:edit �F壓のファイルを�鹿する
:type expr expr の侏を燕幣する
:? すべてのコマンドを燕幣する
:quit Hugs を�K阻する
恷兜の1猟忖に玉�sすることもできる。箭 �load ★ :l

? 凋兆��t
仟しく�v方を協�xする��蓮∫v方と哈方の
兆念は、弌猟忖で兵める。
myFun fun1 arg_2 x¨

哈方がリストの��蓮�禛阿臨釶瓩烹鵑鮓兇�
�}方の�､魃蹶Fすることを幣す�T�がある。
xs ns css

參和のキ�`ワ�`ドは、蒙�eな吭龍を隔つため
�v方兆や哈方には聞えない。
case class data default deriving do

else if import in infix infixl

infixr instance let module newtype of

then type where

? レイアウト��t
あるレベルの協�xは、頼畠に揖じカラムから
兵める。

a = 10 a = 10 a = 10

b = 20 b = 20 b = 20

c = 30 c = 30 c = 30

佩�^�Bえによりグル�`プ晒できる。また、襖凄
察の嶄に協�xをセミコロンで曝俳ってもよい。

a=b+c a=b+c
where where
b=1 {b = 1;
c=2 c = 2}
d=a*2 d=a*2

圧�a議なグル�`プ晒苧易議なグル�`プ晒

? コメント
噸宥のコメントは、仝--々で兵まり、佩挑まで
�譴潺灰瓮鵐箸蓮◆牽�-々で兵まり、仝-�々まで
-- �uの屁方の�A�\
factorial n = product [1..n]
-- 屁方のリストの峠譲
average ns = sum ns `div` length ns

{-
double x = x + x
quadruple = double (double x)
-}

5.この嫗の歌深猟�
? HugsやGHC
http://www.haskell.org
? Programming in Haskell 盾基やスライド吉
http://www.cs.nott.ac.uk/~gmh/book.html

6.��}
1.肝の塀に凄察を原けよ。
2�3*4
2*3+4*5
は拙�\なので仝�々で�峰
●は拙�\なので仝�々で�峰
2 + 3 * 4 �5

2.この嫗の箭�}をHugｓを喘いて�g佩せよ。
３.參和のプログラムにはエラ�`が３つある。
エラ�`を俐屎し、Hugsで屎しく�咾��_かめよ。
N = a `div` length xs
where
a = 10
xs = [1,2,3,4,5]

6.��}
4.この嫗で�B初したライブラリ�v方を聞って、腎
でないリストの恷瘁の勣殆を函り竃す�v方
last を協�xせよ。さらに麿の協�xも深えよ。
5.揖��に、腎でないリストから恷瘁の勣殆を函
り茅くらいライブラリ�v方init が、屈宥りの圭
隈で協�xできることを幣せ。

際際滷

プログラミング堰温壊一艶鉛鉛(及2嫗)

More Related Content

プログラミング堰温壊一艶鉛鉛(及2嫗)