- 2017-09-13 (Wed) 22:09
- 一般
型を読んで関数を取るというルールで．とりあえずやってみた分には結構楽しい．参加可能なメンバーを揃えることが最大の難点だけど．
閑話休題．
Coq かるたは命題を読んで証明項を取るのかね．項の型推論の練習には良いかもしれないけど難しそう．
C言語だと，定義されている関数を読んでヘッダファイルを取るとか？
データ構造カルタもできるか．操作を読んでデータ構造を取る…… それほど準備できなさそうなので難しい．計算量も合わせて読めば面白くなるか？
多相型をふたつ読んでそれらを単一化した型を取る，という型推論カルタもありかもしれない．
プログラミング教育用かるたセットとか作ると面白いかもしれない．誰が買うか知らんが．
- Newer: ことはじめ