先ほどのスクリプトで誤って削除してしまったのを復元するため、涙を拭いながら急いで作成。 お勉強よりも作業速度短縮を優先でHatenaBMモジュールを使用しています。 HatenaBMモジュールはRubyGemsからインストール可能です。 gem install hatenabm ファイ…

こちらを参考に作成。 require 'net/http' require 'digest/sha1' require 'rexml/document' require 'time' $kcode = 'u' Net::HTTP.version_1_2 def x_wsse(username, password) nonce = Array.new(10){ rand(0x100000000) }.pack('I*') created = Time.ne…

print File.read(ARGV[0]).to_a - File.read(ARGV[1]).to_a コマンドライン引数にファイル名を設定する。

RubyGemsからリモートでインストール可能なモジュールを検索するには、http://docs.rubygems.org/read/chapter/に gem q -R -n module_name とするとあるけど、動かない。 面倒だけ仕方がないので、 gem q --remote -n module_name としていた。さっき気がつ…

すでに作られている方がいるけど、お勉強のために自分の今現在持っている知識で書いた。 require 'open-uri' require 'rexml/document' module KakakuAPI BASE_URL = 'http://api.kakaku.com/Ver1/ItemSearch.asp' class KakakuItem include Comparable attr…

特定の定義のみで有効な束縛ができる。 main = print $ letTest1 5 letTest1 n = let x = n + 1 y = n + 2 z = n + 3 in x * y * z where節と似ているけど、以下の2点が違う。 letは式なのでlet自体にも値を持つ、whereは節なので値を持たない whereは複数の…

さっきのエントリの逆の処理。 ダウンロードする処理も書きたかったけど、試し書きの処理を実行してみたところ、プライベートモードに設定されていると403が返ってきてダウンロードできないようなので、そこは手動でやることにした。 require 'rexml/documen…

MacBookのハードディスクが壊れて数ヶ月分の日記が手の届かないところに行ってしまった。 失ってしまったものをいつまで思ってもどうしようもない。前に進まないといけない。今後、こういうことを無くすためにはてなのサブアカウントを利用してはてなダイア…

関数名、変数名に使える文字は以下の通り。 アルファベット 数字 _(アンダースコア) '(シングルクォート) 1文字目はアルファベットの小文字か_でないといけないが、Haskellの仕様書では_を避けるとあるとのこと。 また'は補助的な関数の名前によく使われる。…

main = do print $ (+*) 2 3 print $ 2 +* 3 (+*) :: Int -> Int -> Int (+*) x y = (x + y) + (x * y) 結果。 11 11

関数定義じゃなくても、パターンマッチ、ガードが使える。 main = putStr $ case "abc" of "" -> "" all@(c:cs) | all == "abc" -> "ABC" | otherwise -> all 結果。 ABC それにしても、何と意味のないサンプルだろうか。

main = do print $ guardTest 1 print $ guardTest (-1) guardTest :: Int -> Int guardTest x | x < 0 = 0 | otherwise = x 結果。 1 0 から=までガード(guard) ガードはパターンマッチと同様に仮引数の値によって複数の関数を定義できる。 パターンマッチ…

as-pattern。 main = asTest [1, 2, 3] asTest all@(n:ns) = do {print $ all; print $ n; print $ ns} 結果。 [1,2,3] 1 [2,3] nが1、nsが[2,3]に、allは[1,2,3]、つまりリスト全体に束縛される。

main = do cs <- getContents putStr cs は main = do {cs <- getContents; putStr cs} このようにブロックを{}で囲み、式を;で区切って書くことができる。

変数パターン _パターン(アンダーバー) リテラルパターン タプルパターン データコンストラクタパターン n + kパターン いろいろある。 この中でよくわからないのが_パターン、データコンストラクタパターン、n + kパターン。 n + kパターンは使用頻度が低く…

リスト内包表記(list comprehension) リストの中にそのリストの要素を生成する処理を書くような感じと理解。 [abs x | x <- [-1, -2, -3]] 結果。 [1, 2, 3] xにリストの要素が渡され、xに対してabs関数を適用、その結果がリストの要素となる。 リスト内包表…

null :: [a] -> Bool 第1引数が空リストならTrueを返す。 null [] null "" null [1] 結果。 True True False

(++) :: [a] -> [a] -> [a] リストを連結する。 [1] ++ [2,3] "a" ++ "bc" 結果。 [1,2,3] "abc"

fst関数 fst :: (a, b) -> a 2要素のタプルの第1要素を返す。 fst (1,2) 結果。 1 2つ以上の要素を持つタプルに適用するとエラー。 名前の由来はfirst。 snd関数 snd :: (a, b) -> b 2要素のタプルの第2要素を返す。 fst (1,2) 結果。 2 名前の由来はsecond…

関数 機能 toLower 大文字→小文字 toUpper 小文字→大文字 ord 文字→文字コード chr 文字コード→文字 toLower、toUpper関数は引数に処理対象以外の文字が渡された場合、引数をそのまま返す。 Char.toLower 'a' Char.toLower '1' 結果。 'a' '1'

Charモジュールに定義されているので、使用の際は、 import Char する。 関数 機能 isAlpha UnicodeのアルファベットならTrue isLower Unicodeのアルファベットで小文字ならTrue isUpper Unicodeのアルファベットで大文字ならTrue isAlphaNum Unicodeのアル…

ハードディスクが壊れて修理していたMacBookが復活。キーボードも変更されたのだけど、前とタッチが変わって妙な感じ。 修理完了までの期間はこんな感じ。 日時 内容 2006/01/18 12:00 修理依頼 2006/01/20 13:18 修理完了の電話 僕のMacBookのキーボードがU…

整数型を他の型に変換 使用例 内容 toInteger x Int型の値xをInteger型に変換 fromInteger x Integer型の値xを数値型に変換(返り値の型は文脈で決定) fromIntegral x Int型またはInteger型の値xを数値型に変換(返り値の型は文脈で決定) 浮動小数点型を整数型…

not関数 第1引数がTrueならFalse、FalseならTrueを返す。 not :: Bool -> Bool (&&)関数 第1引数、第2引数ともにTrueならTrueを返す。 (&&) :: Bool -> Bool -> Bool (||)関数 第1引数、第2引数のどちらがTrueならTrueを返す。 (||) :: Bool -> Bool -> Bool

例 内容 x + y xとyの和 x - y xとyの差 x * y xとyの積 x / y xとyの商(浮動小数点同士のみ) x `div` y xとyの整除整除(整数同士のみ、負の無限大に向かってまるめる) x `quot` y xとyの整除整除(整数同士のみ、0に向かってまるめる) x `mod` y (x `div` y)…

Bool型 TrueとFalse 整数型 Int型とInteger型がある Int型は基本的に32ビットの符号付き整数値、処理系によっては違うこともある Integer型は表現範囲に制限のない整数値 浮動小数点型 Float型とDouble型がある Float型は単精度の浮動小数点 Double型は倍精…

MacBookを使っているとなんだか動作が重くなってきたので再起動。 『ジャーン』という起動音の後、いつもだったらリンゴマークが表示されるのだけど、いつまで経っても表示されない。しばらくしてやっと表示されたかと思ったら見慣れないフォルダに？が表示…

評価しなければならない値が存在するとき、実際の計算を値が必要になるまで行わないことをいう。 必要な式だけ評価する main = do myIf (True) (putStrLn "then") (putStrLn "else") myIf :: Bool -> a -> a -> a myIf True t e = t myIf False t e = e 結果…

(Eq a) => [a] -> [b] -> Bool [a]の全要素が[b]の先頭からの要素に含まれていたらTrueを返す。 (Eq a) => import List main = do print $ isPrefixOf [1,2] [1,2,3] print $ [1,2] `isPrefixOf` [1,2,3] print $ [2,3] `isPrefixOf` [1,2,3] 結果。 True Tr…

[a] -> [[a]] [a]内の全ての要素、第2以降の要素、第3以降の要素、以降、空リストまでをリストにして返す。 import List main = print $ tails [1, 2, 3] 結果。 [[1,2,3],[2,3],[3],[]]