Submit Search
120901fp key
•
71 likes
•
18,412 views
K
ksknac
Follow
函数プログラミングの集いで発表したスライド. 後半についての詳細を知りたい方には, Hudak らの A History of Haskell をお薦めします.
Read less
Read more
1 of 54
Download now
Downloaded 71 times
More Related Content
120901fp key
4.
お知らせ
2012年9月1日 これからお話しする内容は、あくまで一 個人の主義・主張および見解であり、所属 機関・所属団体を代表して発言するもので はありません。「○○○をお辞めになって から批判してください」というのはお控え ください。
15.
お知らせ (2)
2012年9月1日 問題文にあった「関数型」は、「言語」 に対する形容詞として適切ではありません でした。従って、この問題につきましては 全員正解 (3点) として扱います。
18.
void inc (int*
x) { ++*x; }
20.
int random(int p)
{ return (rand()%p); } void putchar (int c); /* 標準出力へ 1 文字書き出す */ int getchar (void); /* 標準入力から 1 文字読み込む */ void inc (int* x) { ++*x; } /* x の指す値をインクリメント */
21.
お知らせ (3)
2012年9月1日 「どれが関数か」という問題において、 入力および出力の集合が明示されておりま せんでした。従って、この問題につきまし ては全員正解 (各1点) として扱います。
22.
int random(int p)
{ return (rand()%p); }
23.
void putchar (int
c); /* 標準出力へ 1 文字書き出す */
24.
int getchar (void);
/* 標準入力から 1 文字読み込む */
25.
void inc (int*
x) { ++*x; } /* x の指す値をインクリメント */
26.
int getchar (void);
/* 標準入力から 1 文字読み込む */
46.
x .λ y.x λ
47.
e : τ Γ
⊢
48.
R A
N ORT F & B N F
Download