ttp://www.haskell.org/
日本語サイト
ttp://www.sampou.org/cgi-bin/haskell.cgi
ttp://www.shido.info/hs/
過去ログ
関数型プログラミング言語Haskell
Part1 ttp://pc.2ch.net/tech/kako/996/996131288.html
Part2 ttp://pc2.2ch.net/test/read.cgi/tech/1013846140/
Part3 ttp://pc8.2ch.net/test/read.cgi/tech/1076418993/
Part4 ttp://pc8.2ch.net/test/read.cgi/tech/1140717775/
Part5 ttp://pc8.2ch.net/test/read.cgi/tech/1149263630/
Part6 ttp://pc11.2ch.net/test/read.cgi/tech/1162902266/
Part7 ttp://pc11.2ch.net/test/read.cgi/tech/1174211797/
Part8 ttp://pc11.2ch.net/test/read.cgi/tech/1193743693/
Part9 ttp://pc11.2ch.net/test/read.cgi/tech/1211010089/
Part10 ttp://pc12.2ch.net/test/read.cgi/tech/1231861873/
Part11 ttp://pc12.2ch.net/test/read.cgi/tech/1252382593/
Part12 ttp://hibari.2ch.net/test/read.cgi/tech/1272536128/
Part13 ttp://hibari.2ch.net/test/read.cgi/tech/1286706874/
Part14 ttp://hibari.2ch.net/test/read.cgi/tech/1299385928/
Part15 ttp://hibari.2ch.net/test/read.cgi/tech/1310199414/
Part16 ttp://toro.2ch.net/test/read.cgi/tech/1317958045/
Part17 ttp://toro.2ch.net/test/read.cgi/tech/1325510368/
Part18 ttp://toro.2ch.net/test/read.cgi/tech/1331902463/
Part19 ttp://toro.2ch.net/test/read.cgi/tech/1340760070/
・Introduction to Functional Programming Using Haskell (2nd ed.)
ttp://www.amazon.co.jp/exec/obidos/ASIN/0134843460/
・Haskell: The Craft of Functional Programming
ttp://www.amazon.co.jp/exec/obidos/ASIN/0201342758/
・The Fun of Programming
ttp://www.amazon.co.jp/exec/obidos/ASIN/0333992857/
・The Haskell School of Expression: Learning Functional Programming Through Multimedia
ttp://www.amazon.co.jp/exec/obidos/ASIN/0521644089/
・入門Haskell
ttp://www.amazon.co.jp/exec/obidos/ASIN/4839919623/
・ふつうのHaskellプログラミング
ttp://item.rakuten.co.jp/book/4052963/
・Programming in Haskell
ttp://www.amazon.co.jp/exec/obidos/ASIN/0521692695/
・Real World Haskell
ttp://www.amazon.co.jp/exec/obidos/ASIN/0596514980
・関数プログラミングの楽しみ
ttp://www.amazon.co.jp/exec/obidos/ASIN/4274068056
・すごいHaskellたのしく学ぼう!
ttp://www.amazon.co.jp/dp/4274068854
・GHC Wiki
ttp://hackage.haskell.org/trac/ghc/wiki/TitleIndex
・A History of Haskell
ttp://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/
・関数型関連の用語集
ttp://sky.zero.ad.jp/~zaa54437/programming/concepts/
・本物のプログラマはHaskellを使う
ttp://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/?ST=ittrend
・Haskell API search Engine
ttp://www.haskell.org/hoogle/
【簡単な使い方】
１．検索バーに関数名を入れて検索
例 map
２．検索バーに型名を入れて検索
例 (a -> b) -> [a] -> [b]
・Real World Haskell
ttp://book.realworldhaskell.org/read/
・Learn You a Haskell for Great Good!
ttp://learnyouahaskell.com/chapters
関数型の考え方はExcelのおかげで充分社会に浸透していると思う。
Excelシートを使って統計や簡単な計算が出来る人は大勢いるが、同じことを
同じような時間で手続き型言語で出来る人が同程度いるとは思えない。
よって、前スレの>>988に同意
>>988には同意だが、年寄り向きではないね。記号を使い過ぎで忘れてしまう。
Smalltalk や Prolog とはちょっと違う。
for( const char *s="12345"; *s; ++s ) if( '2'<*s&&*s<'5' ) printf( "%d", (*s-'0')*2 );
■ JavaScript
console.log([1,2,3,4,5].filter(function (i){ return i > 2 && i < 5 ; }).map(function(i){ return 2 * i; }));
■ Python
print(map(lambda x: x*2, filter(lambda x: x>2 and x<5, [1,2,3,4,5])))
■ Ruby
puts [1,2,3,4,5].select{|i| i > 2 and i < 5}.map{|i| i*2}
■ C#
new{}{ 1,2,3,4,5 }.Where(x => 2 < x && x < 5).Select(x => x*2);
■ Common Lisp
(print (loop for x in '(1 2 3 4 5) if (< 2 x 5) collect (* x 2)))
■ Haskell
print [x*2| x <-[1,2,3,4,5], x > 2, x < 5]
■ Perl
print map {$_*$_} grep {2<$_ and $_<5} 1..5;
■ Mathematica
{1,2,3,4,5}~Select~(2<#<5&) 2
■ MATLAB
x=[1 2 3 4 5]; x(2<x&x<5).*2
■ Scheme
(print (list-ec (: x 1 6) (if (< 2 x)) (if (< x 5)) (* x 2)))
■ Clojure
(for [x (range 1 6) :when (and (> x 2) (< x 5))] (* 2 x))
たしかにそういう入門書は多いけどさ
宣言的な考え方は認識や言葉の基本。身近すぎて>>990が気づいてないだけでは
Enumrator.Range(1,5).Where(x => 2 < x && x < 5).Select(x => x*2);
だよ。
1から5までぐらいだったら文字数増えちゃうけどね。
アナロジーで考えるという事ではなく、染みついた思考法・問題解決法
宣言的の意味が違う。
出くわした問題や課題を解決しようとする時に、
素直に頭に思い浮かぶ解決方法としての宣言的な考え方の話。
問題や周辺環境を宣言的に表現して解を導く子どもはあまりいない。
たいていの子は問題解決への（直接の）手続き・手順を考える。
えーそんなことないでしょ。推論は宣言的な方法で問題解決してるじゃない
解決方法としての宣言的な考え方が日常的でないなんていうのはおかしい
「関数型言語は自然な人間の思考に反する」とか言うために
子供がどう考えるかとか話を拡げて泥沼化したいだけだろ
変な脳科学みたいに
「関数型言語は自然な人間の思考に反する」と言ったことは一度もない。
人間の思考は柔軟なので、訓練すれば誰でも色々な考え方が自然にできるようになる。
先のは問題や課題を解決しようとする時、かつ、子どもの話だ。
子どもは思考をする訓練をまだそれほど受けない。
大人に向けて成長していくうちに、授業や生活の中で自然に
宣言的な考え方をする訓練を徐々に受ける。
（教師側も宣言的な考え方を学ばせようと意図しているわけではない）
社会人になる頃には、たいていは宣言的な考え方も、
手続き的な考え方もやろうと思えば普通にできるようになってる。
しかし、意識してやっているわけではないので、
そのままでは Haskell でプログラムするのにたいして役には立たない。
問題や環境を意識して宣言的にとらえたり翻訳する練習を重ねないと、
プログラムは難しい。
ただ、考え方自体はすでに慣れているので、
宣言的な記述を見たときにそれを解釈するのはそれほど苦ではない。
また、そのために、問題を宣言的にとらえるのも、
ある問題で合点がいけば他の問題もスルスルと合点がいく事も起こり得る。
Haskell を初めた頃は難しかったが、
ある日突然視界が開けたという経験をする人が多いのは、
そのことも少なからず関係しているのではないかと私は思う。
あなたが>>990なら、言っていることがずいぶん変わってるが。
宣言的とか関係ないんじゃね？
型システムを理解しないとね、は自分も経験してるから簡単に同意できる。
宣言的とか関係ないんじゃね？ は、根拠を示してくれ。
関係ないと感じた経験がないから、じゃね？と言われても
このままでは同意も反対もできん。
指摘はもっともだ。
>>990
> 静的な、宣言的な考え方なんて、手続き的な考え方に比べれば、
> 学校教育の現場でほとんど出くわすことはないだろう。
> たとえ出くわしても、意識しなければ素通りしていくだけで、身にならない。
これは言い過ぎた。
出くわすし、成長と供に授業の中でそれとなく訓練を受けてはいる。
しかし、いかんせん、そうだとは意識していないのだから、
そのままでは Haskell のプログラムをする事に関してはたいして役に立たない。
宣言的な考え方に触れた時にそれを理解できる体勢にはなるが、
そういう考え方を自分から進んでするまでには至らないだろう。
そして、自分から進んで宣言的に考える事に慣れなければ、
Haskell でのプログラムが C や Java より簡単とは思えないのではないだろうか。
自分で宣言的に考える事ができなければ
Haskell のプログラムはいつまで経ってもしっくりこないと思う。
今回の件では3行以内でレスするのは今の私には無理だ。
どうしても3行以内にしてほしいのなら、
もうレスをやめざるを得ない。
議題なに?
3行とか関係なしに、もうレスやめていいよ
了解した
できるならやる、できないならやらない、は宣言的ではない
何ができるかよりも何をするべきかを重視する
どう解くのが宣言的なのよ？
宣言的には解けない
矛盾するまで仮定するのをやめない
囲碁を例に極簡単に示すと
iterateF :: a -> [a -> a] -> [a]
iterateF = scanl (flip ($))
-- ゲームの進行状態とは、初期状態から交互に着手したものである
progressStatuses = iterateF initialStatus (cycle [blackMove, whiteMove])
-- 終局状態とは、ゲームの進行中に投了するか、着手できなくなるか、千日手になった時である
eventualStatus = find (isResigned || isFinished || isRepeated) progressStatuses
ほぼ自己説明的だから本当はコメントなんて要らんと思うが一応書いておいた。
***Status 系は今の盤の状態の他に、一つ前の盤の状態とか、
終局理由の情報も含まれてる代数データ型。
あと、ユーザー入力はどうすんの？ とかいう話はとりあえず無し。
これは宣言じゃなくて発見
下記のようにパターンの中で簡単な計算をするのは
どういう名前の言語拡張でしたっけ？
f :: Int -> Int -> Int
f (n + 1) x = ・・・
発見：定義しなくてもそのうちわかる
つまり、アルゴリズムというものは、宣言的ではあり得ない？
それは宣言とは全く関係ないから宣言的ではない
黙っていても存在感があるものは宣言的ではない
言い続けなければ消えてしまいそうなものは宣言的
ほかの言語でもできるから
「アルゴリズムとはチューリングマシンの計算表のことだと考えよう！」
現に宣言的型とはいわないだろ 静的型だろ
宣言的という言葉の意味をはっきり定義してくれ
じゃないとまじめな議論にならんだろ
というような文言の羅列になるのが宣言的なのでは。
この文脈で言うオブジェクトってなにを指す？
メモリ領域などを抽象化したものかな
ちなみに、Haskell の変数は特定のメモリ領域に付けられたラベル（名前）じゃないよね
>別の定義では、純粋関数型言語/論理プログラミング言語/制約プログラミング言語で書かれたプログラムを「宣言型」と称する。
そうだよね
特定したくないから抽象化したんだよね
特定したくないから抽象化したって、何か勘違いしてないか？
Haskell の変数は、値が格納されたメモリ領域に付けられたラベルではなく、
「値に付けられたラベル」だぞ。
let a = 17
というのは、17 という値の別名が a ということだ
これはPrologの簡単なプログラムですが、
http://nojiriko.asia/prolog/olympic.html
A とは B のことだ。ではなく例えば、
1888とアテネは夏期オリンピック関係にある。
という文言に相当するものの羅列と見做すことができる。
これも全体として宣言的と言える。
特定の値ではなく抽象的な値にラベルをつけるよ
まだ値がわからない段階でもラベルをつける
夏期オリンピック(1996,アテネ).
1988ではなくて、1996だった。さっきjavaの宿題スレにも
同じテーマのことを書き込んでその時点から勘違いをしていた。
>>54 は「そうだよね｝と同意し「特定したくないから抽象化したんだよね」と言ってる
>>54 の言う「特定したくない」というのは、メモリ領域を特定したくないから、
と読み取れないか？
プログラマーがオリンピックを宣言するのはなぜなのか
http://nojiriko.asia/prolog/j72_387.html
n+kパターンはHaskell98の仕様にあったが、Haskell2010で取り除かれた。
GHCのフラグには (No)NPlusKPatterns がそれかね。
Graphics.UI.GLUT モジュールをインポートしたファイルを
ghci 上でロードするまではできました。
しかし、そのモジュール内の関数を評価しようとすると、
下記のエラーメッセージが出力されます（改行は適当に入れました）。
Loading package OpenGLRaw-1.2.0.0 ... linking ... <interactive>:
C:\Users\＊＊＊\AppData\Roaming\cabal\OpenGLRaw-1.2.0.0\ghc-7.6.1\HSOpenGLRaw-1.2.0.0.o:
unknown symbol `__imp_wglGetProcAddress'
ghc.exe: unable to load package `OpenGLRaw-1.2.0.0'
ネット上で調べてみました。
同じような環境で同じエラーが出た方の書き込みがいくつかありましたが、
私が見た限りでは、解決策、あるいは解決に繋がるような情報はありませんでした。
このようなエラーに関して何か心当たりはないでしょうか。
ちなみに、ghc でのコンパイルは問題なく行われ、実行ファイルも起動できます。
ghci 上でのみ問題が起きます。
[環境]
Windows7 64bit
GHC 7.6.1
GLUT-2.3.0.0 パッケージ（他の依存パッケージも cabal で自動インストール）
glut-3.7.6-bin_x64（GLUT 本体）
[コマンド]
ghci -lglut32
望まれない子の将来が気になります
ありがとうございます。
説明なしにいきなり初出の単語が出てくるし話はあっちこっちに逸れまくり
Haskellとかコンピュータとかの枠に限らず一般的な書籍としてかなり悪いほうだと思う
それほど苦にならないと思うが
学習のための本としての役割を果たしていないと思うけどね
あれ？ 何だろ？ って思ったら、まずは調べてみればいいいじゃん。
Just なんてその本にしか載っていない特別に物でもないんだし。
他の本でもそういうの色々あるよ。
とくに説明もなく新しい単語や概念が出てくるのなんてしょっちゅうだ。
そんなところでいちいち躓いて憤ってたらきりがないよ。
それに改善点を指摘するなら、ここにじゃなくて、出版社や著者にでしょ。
他の入門書はとりあえずHaskellを知る程度のものでしかない
RWHに代わるものが現れるまではとりあえず必要なものだ
何も変わってないよ。Haskell2010に入ってる
ただしGHC 7.8からghciではデフォルトで外されることになった
http://hackage.haskell.org/trac/ghc/ticket/3202
遂に白河の清きに魚の住み兼ねて
元の濁りの田沼に戻るのですね！
良かれと思って型宣言したらコンパイル通らなくなる
rigid type variable bound by 云々言い出して
俺の善意を踏みにじりやがる
どんなコードでそのエラーが出た？
そのエラーには「Could not deduce 〜」というのもあった？
ちなみに型は、元々コンパイルが通っていたコードに
良かれと思って後から書き加えるものではないよ。
テスト駆動がまずテストを書くのと同じように、まず型を書くんだよ。
それから本体を「型に合わせて」書くんだ。
もしかしてローカル変数に多相型の宣言付けてエラーもらってる？
それなら、ローカル変数の型宣言の中では、外の型変数を(ScopedTypeVariable拡張なしでは)
使えないということを覚えておけばいいよ
>テスト駆動がまずテストを書くのと同じように、まず型を書くんだよ。
そんなの場合によるだろ。糞どうでもいい
どのような場合に先の型を書き、
どのような場合に後に型を書くと良いのでしょうか？
何か簡単な事例を挙げていただけると助かります。
そう思う根拠は？
そう思う根拠は？
ただちに書かなくていいことは後で書く
テスト駆動も、制約に合わせて書くというより
関係ないコードを書かないことで間違いを減らしている気がする
好きにすればいいと思うけど、俺の基準を挙げるなら、
トップレベルの定義は先に思い付いた方から書く
・普通は型の方が簡単なので型から書くことが多い
-- | 標準正規分布に従う乱数を生成する
randomNormal :: StdGen -> (Double, StdGen)
・定義が頭にあるのに型がすぐに思い付かないor面倒なら定義から
forceTell x = rnf x `seq` tell x
forceTell :: (MonadWriter w m, NFData w) => w -> m ()
ローカル変数は定義から書く。型は必要なときだけ後から書く
そもそも、「式」とは何？
それをはっきり定義しないと、where が式なのかどうか判断できないだろ
・whereは式じゃない。宣言やcase選択肢の一部
・Haskellに「文」は存在する。do式の中に並んでいるのがそれ
書くかどうかは気分（ローカルで型推論がうまく働かなきゃ書く）。
>>80 の型から先に書くというのは、そういう意味で俺は無意識に拡大解釈したけど、
例に出したテスト駆動の方は実際に書かなきゃ意味ないなぁ、どうなんだろ。
（テスト駆動の方も、コードの内容よりテストから先に「考える」と言えばそうだろうが）
SQLなら
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
「コンパイラ・スクリプトエンジン」相談室15 (595)
Gtkプログラミング on Windows!!! (343)
Perlについての質問箱 56箱目 (707)
人気プログラミング言語ランキング (744)
サウンドプログラミング5 (666)
【Java】Wicket【HTML】 (589)
--log9.info------------------
古代祐三 総合スレッド part14 (496)
浜渦正志 28スレ目 (636)
FF5の音楽 (927)
音ゲーのMIDI作ろうぜ 10th track (918)
PRESS START -Symphony of Games- (538)
【聞き専】FM音源の曲データ倉庫【PMD/FMP、MDX】4 (836)
【EVE】島田(梅本）竜・みじんこ No.02【YUNO】 (907)
ｹﾞｰ音板が選ぶ偉大なｹﾞｰﾑ音楽100曲その2 (229)
あなたが選ぶゲーム音楽名曲100選 (217)
みんなで決める【アーケードゲーム音楽】ベスト100 (853)
リッジレーサー音楽スレ vol.8 (461)
TVからゲーム音楽が流れたら上がってくるスレッド 4 (517)
もし死んだら葬式のときに流して欲しいゲーム音楽 (247)
案内・質問・相談総合スレ＠ゲー音板 (565)
【メタブラ】渡部恭久 Yack.【センコロ】 (514)
【MOTHER3】酒井省吾の音楽を語るスレ【スマブラ】 (473)
--log55.com------------------
大鷹正人・国連担当大使「女性を強制連行したとする吉田清治氏の偽証を、朝日新聞が報じたことで、慰安婦問題が世界的に広がった」
【デモ】靖国神社の思想に反対する日韓の市民団体が集会 320人 「植民地主義と一体」
【自民議員・LGBT発言】ロバート・キャンベルさん、同性愛公表 LGBT巡る問題発言の自民議員を批判
竹下派参院議員・佐藤正久外務副大臣、安倍支持へ ネット「まともな議員は石破なんて支持しない」「石破の為に竹下派が消滅…」
【話題】西尾幹二氏がチャンネル桜で安倍総理をこき下ろし「戦後最悪の総理」 ネット「アベ支持してる奴は知性がない」★3
【古谷経衡】現在の「保守」は、朝日新聞と中国と韓国を憎めば資格十分というのだから異形の存在だ
【菅直人】安倍総理は、太平洋戦争の開戦を決めた東条内閣の大臣であった岸伸介元総理の孫です。しかし安倍総理のこれまでの言動からは…
菅直人「前代未聞の猛暑なのに電力不足が生じない理由が太陽光発電にある。原発ゼロ基本法に賛同してほしい」 ネット「ポンコツ」