サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Wikipedia
www.ice.nuie.nagoya-u.ac.jp/~h043078b
CやSchemeでは型のチェックがゆるいので、明示的にキャストしなくても整数と実数の足し算ができたりする。あるいは、整数を文字や真偽値として解釈したりできる。Standard MLやHaskellなど、型チェックが厳密な言語では、明示的にキャストしないとこのようなことはできない。これにより、プログラマの意図しない計算にはコンパイル時にきちんとエラーを出すことが可能になる。 (* Standard ML *) - 1+1.0; stdIn:2.1-2.6 Error: operator and operand don't agree [literal] operator domain: int * int operand: int * real in expression: 1 + 1.0 - ;; Scheme ;; gosh> (+ 1 1.0) 2.0 gosh> しかし、型チェッ
Write Yourself a Scheme in 48 Hoursを読んでみます。Parsec, 高速なコンビネータパーサも参照。 Overview First steps Parsing Writing a Simple Parser Whitespace Return Values Stringのパース Atomのパース (実はBoolも) Numberのパース 今までのパーサを組み合わせる Exercises parseNumberを書き換え 文字列内のダブルクォートをエスケープさせる 他のエスケープ文字も扱えるようにする parseNumberを異なる基数の表記に対応させる 文字の処理を付け加える 実数の処理を付け加える full numeric tower 再帰的なパーサ Exercise バッククォートのシンタックスシュガーを実装 ベクタのサポート 左くくりだしを行ってtr
モナドのすべてを読んでいきます。 第 I 部:モナドを理解する イントロダクション モナドとは何か なぜモナドを理解しようとするのか モナドに触れる 型構築子 Maybe というモナド 例 リストもモナド 要約 class で使う Haskell の型クラス Monad クラス 例のつづき do 記法 要約 モナド則 三つの基本則 失敗は付けたし 出口はない Zero と Plus 要約 練習問題 do 記法 モナド値の合成 List モナドを使う モナドクラス制約を使う Haskell におけるモナドのサポート 標準プレリュードでは Monadクラス 直列化関数 写像関数 逆方向束縛関数 Monad モジュールでは MonadPlus クラス リスト関数のモナド版 foldM filterM zipWithM 条件式のモナド計算 ap およびリフト関数 ap allCombination
このページを最初にブックマークしてみませんか?
『www.ice.nuie.nagoya-u.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く