リアルワールドハスケルを持ち込む。

これがある言語はエレガントですね。 Rubyのブロックもいいけど。

Haskellがベースらしいが、Windows向けのディストリビューションがナイ！

継続とモナド連鎖。 計算式ビルダとマクロ。 は同じ概念？

オーム社のHaskellプログラミング。 ちょっと悩んでいたようだけど、スグ使いこなしそうな予感。

文法的にとても似てるので可能ではなかろうか？

文法的にはかなり似てる。 アーランにはアクターがあり、ハスケルにはモナドがある？ しかしアーランでもモナド的なモノは定義できるんでなかろうか？ アーランの方がスゴイのかな？ 追記： いやまて、Haskellにはアクションがあるなぁ。

ある関数を定義すると、その逆関数を定義しなくても ナチュラルに解釈・実装してくれる処理系はあるのだろうか？ 例えば double x = x * 2と定義したら double-1 x = x / 2を定義しなくても使えるみたいな。業務システムでは必要ないと思うけど・・・

関数が、与えられたパラメタのみに依存し、値を返す変換器ならば単純に数を２倍する関数 double x = x + x は数学的に y = f(x) = x + xという数式で表されて、自然な感じがする。次に、クイックソートを考えると qsort [] = [] qsort (x:xs) = qsort smalle…

社内の部門向けに資料を作成するかも。・関数型の特徴 ・実例 ・MapReduceなどのトレンド等を紹介できればと考えています。

最近、気になってる本を２冊 ・関数プログラミングの楽しみ Haskellの本 プログラミングHaskellと同様にオーム社 しかし、プログラミングHaskellのParserの章かMonadの章で そのまま打ち込んでも動かないサンプルがあった。 よく見ると脚注に「動きませんよ…

Javaのコードを Scala、Clojure、Lisp、Haskellで書いてみたけど、 基本的には、リスト作成の部分で差があるけど リストを操作する部分では、map関数やreduceもしくはfoldをつかって Javaで１メソッドとしていた部分を１行の関数呼び出しに 節約できた。書い…

data SomeBean = SomeBean { firstName :: String, lastName :: String, age :: Int } deriving (Show) bean1 = SomeBean { firstName = "hiroshi", lastName = "tanaka", age = 30 } bean2 = SomeBean { firstName = "taro", lastName = "sato", age = 40 }…

Prelude> map (+1) [1,3,5,7] [2,4,6,8] user=> (map #(+ 1 %) [1 3 5 7]) (2 4 6 8)

Haskell Prelude> [ x^2 | x <- [1..5]] [1,4,9,16,25] Clojure user=> (for [x (range 1 6)] (* x x)) (1 4 9 16 25) スーパーpre記法のシンタックスハイライトを使ってみた。 Prelude> [ (x, y) | x <- [1,2,3], y <- [4,5]] [(1,4),(1,5),(2,4),(2,5),(3,…

Haskell halve :: [a] -> ([a], [a]) halve xs = (take (length xs `div` 2) xs, drop (length xs `div` 2) xs) *Main> :l halve.hs [1 of 1] Compiling Main ( halve.hs, interpreted ) Ok, modules loaded: Main. *Main> halve [1,2,3,4,5,6] ([1,2,3],[4,…

Haskell last_ xs = head (reverse xs) *Main> :l last.hs [1 of 1] Compiling Main ( last.hs, interpreted ) Ok, modules loaded: Main. *Main> last_ [1,2,3,4,5] 5Clojure user=> (last [1 2 3 4 5]) 5 user=> (first (reverse [1 2 3 4 5])) 5Clojureの…

シーケンスのサイズってどうやって取得するんだろう？？ Haskell Prelude> head [1,2,3,4,5] 1 Clojure user=> (first [1 2 3 4 5]) 1Haskell Prelude> tail [1,2,3,4,5] [2,3,4,5] Clojure user=> (rest [1 2 3 4 5]) (2 3 4 5)Haskell Prelude> [1,2,3,4,5…

Haskell product_ [] = 1 product_ (x:xs) = x * product xs *Main> :l product.hs [1 of 1] Compiling Main ( product.hs, interpreted ) Ok, modules loaded: Main. *Main> product [2, 3, 4] 24Clojure (defn product [array] (if (empty? array) 1 (* (f…

user=> (defn qsort [array] (let [value (first array) smaller (for [v array :when (<= v value)] v) larger (for [v array :when (> v value)] v)] (when-not (empty? array) (into (conj (qsort larger) value ) (reverse (qsort (rest smaller)))) ) )…

Haskell 標準のsumがあるので *Main> sum [1..4] 10 *Main> sum [1..10] 55P.7をそのまま写経する。 名前が衝突するのでsum_で sum_ [] = 0 sum_ (x:xs) = x + sum xs Prelude> :l sum.hs [1 of 1] Compiling Main ( sum.hs, interpreted ) Ok, modules load…

プログラミングHaskellをScalaで解いてる人がいるので、 Haskellの復習を兼ねてClojureで解いてみる。P.1 double Haskell double x = x + xPrelude> double x = x + x <interactive>:1:9: parse error on input `=' Prelude> double x = x + xあはーん。 エラー発生。 フ</interactive>…

にしてもリストがでかくなるとスタックオーバーしそうだ。 user=> (defn qsort [array] (let [value (first array) smaller (for [v array :when (<= v value)] v) larger (for [v array :when (> v value)] v)] (println (rest smaller)) (println value) (…

Haskell qsort [] = [] qsort (x:xs) = qsort smaller ++ [x] ++ qsort larger where smaller = [a | a <- xs, a <= x] larger = [b | b <- xs, b > x] Prelude> :l qsort.hs [1 of 1] Compiling Main ( qsort.hs, interpreted ) Ok, modules loaded: Main. …

*Main> L8.uncons (L8.pack "foo") Loading package bytestring-0.9.1.4 ... linking ... done. Just ('f',Chunk "oo" Empty) *Main> L.uncons (L8.pack "foo") Just (102,Chunk "oo" Empty) *Main>

parseByte関数 これは最初の１文字だけを解析して ASCIIコードで返す。 parse関数の第一引数として使う。 *Main> let before = ParseState(L8.pack "foo") 0 *Main> let after = modifyOffset before 3 *Main> before ParseState {string = Chunk "foo" Empt…

parse (identity 1) undefinedを読んでみる。 まず、 *Main> :type parse parse :: Parse a -> L8.ByteString -> Either String a *Main>parse関数はParse aとL8.ByteStringを受け取りEither String a を返す関数である。 次に、 *Main> :type identity iden…

９章ぐらいから読む速度がすごく遅くなって来たorz というのも、基本的な考えがわかってるだけでは （これも充分怪しいけど・・・） 読んで理解することができなくなって来ているので 実際にコードを書いて、:tとかで確認しながらの勉強になってる。 ８章ま…

import qualified Data.ByteString.Lazy.Char8 as L8 import Data.Word modifyOffset :: ParseState -> Int64 -> ParseState modifyOffset initState newOffset = initState { offset = newOffset } parseByte :: Parse Word8 parseByte = getState ==> \ini…

Haskellは難しいです。 Haskellをマスターして Haskellicなコードを書くのは、神クラスのデベロッパーです。