関数型プログラミング言語Haskell Part23

関数型プログラミング言語 Haskellについて語るスレです。

前スレ: 関数型プログラミング言語Haskell Part22
http://toro.2ch.net/test/read.cgi/tech/1364009659/

haskell.org
http://www.haskell.org/

日本語サイト
http://www.sampou.org/cgi-bin/haskell.cgi
http://www.shido.info/hs/

過去ログ (10〜)
Part21 ttp://toro.2ch.net/test/read.cgi/tech/1358702176/
Part20 ttp://toro.2ch.net/test/read.cgi/tech/1350428908/
Part19 ttp://toro.2ch.net/test/read.cgi/tech/1340760070/
Part18 ttp://toro.2ch.net/test/read.cgi/tech/1331902463/
Part17 ttp://toro.2ch.net/test/read.cgi/tech/1325510368/
Part16 ttp://toro.2ch.net/test/read.cgi/tech/1317958045/
Part15 ttp://hibari.2ch.net/test/read.cgi/tech/1310199414/
Part14 ttp://hibari.2ch.net/test/read.cgi/tech/1299385928/
Part13 ttp://hibari.2ch.net/test/read.cgi/tech/1286706874/
Part12 ttp://hibari.2ch.net/test/read.cgi/tech/1272536128/
Part11 ttp://pc12.2ch.net/test/read.cgi/tech/1252382593/
Part10 ttp://pc12.2ch.net/test/read.cgi/tech/1231861873/

過去ログ(〜9)
Part9 ttp://pc11.2ch.net/test/read.cgi/tech/1211010089/
Part8 ttp://pc11.2ch.net/test/read.cgi/tech/1193743693/
Part7 ttp://pc11.2ch.net/test/read.cgi/tech/1174211797/
Part6 ttp://pc11.2ch.net/test/read.cgi/tech/1162902266/
Part5 ttp://pc8.2ch.net/test/read.cgi/tech/1149263630/
Part4 ttp://pc8.2ch.net/test/read.cgi/tech/1140717775/
Part3 ttp://pc8.2ch.net/test/read.cgi/tech/1076418993/
Part2 ttp://pc2.2ch.net/test/read.cgi/tech/1013846140/
Part1 ttp://pc.2ch.net/tech/kako/996/996131288.html

関連書籍
・Introduction to Functional Programming Using Haskell (2nd ed.)
　http://www.amazon.co.jp/exec/obidos/ASIN/0134843460/

・Haskell: The Craft of Functional Programming
　http://www.amazon.co.jp/exec/obidos/ASIN/0201342758/

・The Fun of Programming
　http://www.amazon.co.jp/exec/obidos/ASIN/0333992857/

・The Haskell School of Expression: Learning Functional Programming Through Multimedia
　http://www.amazon.co.jp/exec/obidos/ASIN/0521644089/

・入門Haskell
　http://www.amazon.co.jp/exec/obidos/ASIN/4839919623/

・ふつうのHaskellプログラミング
　http://item.rakuten.co.jp/book/4052963/

・Programming in Haskell
　http://www.amazon.co.jp/exec/obidos/ASIN/0521692695/

・Real World Haskell
　http://www.amazon.co.jp/exec/obidos/ASIN/0596514980

・関数プログラミングの楽しみ
　http://www.amazon.co.jp/exec/obidos/ASIN/4274068056

・すごいHaskellたのしく学ぼう!
　http://www.amazon.co.jp/dp/4274068854

関連リンク
・GHC Wiki
　http://hackage.haskell.org/trac/ghc/wiki/TitleIndex

・A History of Haskell
　http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/

・関数型関連の用語集
　http://sky.zero.ad.jp/~zaa54437/programming/concepts/

・本物のプログラマはHaskellを使う
　http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/?ST=ittrend

・Haskell API search Engine
　http://www.haskell.org/hoogle/

　【簡単な使い方】
　１．検索バーに関数名を入れて検索
　　例　map
　２．検索バーに型名を入れて検索
　　例　(a -> b) -> [a] -> [b]

・Real World Haskell
　http://book.realworldhaskell.org/read/

・Learn You a Haskell for Great Good!
　http://learnyouahaskell.com/chapters

OCamlはもうすぐReal World OCaml出るらしいが、Haskellはなんかないんかね
今ある本って初心者向け以外は古いよね

Real World Haskell 改訂版か...それが今一番望まれてる？

もっとすごいH本ではなかろうか

並列、並行
http://chimera.labs.oreilly.com/books/1230000000929
Yesod
http://www.yesodweb.com/book
の本は結構あたらしい

イカ娘本買ってきて

三:=>

オラHaskellでゲーム作るぞと意気込んでたけど
副作用がある部分書こうとするととたんに面倒になるからだんだん飽きてきたぞ

"Haskell Arrow"でググったらwhitehackerzのサイトが出てきて
人生の貴重な10秒間をゴミみたいな茶番で無駄にしたんだが
あとGoogleのサイトブロック機能使えなくなってるじゃねえかあーくそ

新スレおめでとうございます＾＾

>>8
最初の、翻訳版は？

ここの人はScala触ったりしないの？
Javaの資産使えたりEclipse使えたり本もHaskellより多そう
俺は勉強中の身なんでHaskellに集中します

遅延評価デフォの方が面白い

実用的かどうかは知らんが

ScalaはJavaの資産そのままそっくりというわけにはいかない
標準のフレームワークが(結構)重い
そしてHaskellのクラス/インスタンスみたいのをやろうとすると面倒
JVMで動くだけでかなり魅力的だけどね

JVM上で動く実用的なHaskell処理系ってあるのかな？

Fregeは結構本気でHaskellをJVMに、って感じでやってるんじゃないの？
使ったことないので言語仕様がどうとかは知らない

アセンブラのように低レベルじゃない中途半端な言語使って
製品にも昇華できない

>・本物のプログラマはHaskellを使う
>//itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/?ST=ittrend

こんなのを誇らしげにテンプレに入れてる
ほかのテンプレの質も低下してる
ゴミが増えてる

論理力も無く、話に一貫性も無く、支離滅裂で感情論たれ流しで、ユーモアも無く、具体的な話しかできない

誇らしげだとか質が低下だとか言うけど、前スレのをコピペしただけだよ。
荒らしたがってる所ごめんね。

つ鏡
と思ったが俺のことが書いてある。

ユーモアは関係ないだろ！！！

ユーモアは大切じゃね？

バーナム効果にひっかかるゴミクズ

論理力って何？論理性なら知ってるけど（アスペ）

論理を正しく使う能力のことを言いたいんじゃね？

アスペルガー症候群＝天才
イメージが蔓延

天才のフリをする自称アスペが後を絶たない

べつにいいんじゃね

天才のフリを見ぬかれるのならバカだし、見ぬかれないのなら天才なんだよ

高齢者にもHaskellが大ウケ
http://www.sankeibiz.jp/smp/business/news/130817/bsj1308170700001-s.htm

諸君、議論したまえ

諸君、

すごいHaskell〜を読み終えたんだが、他に何読むといい？
理論派なんで難しければ難しいほど嬉しい。

日本語じゃないとダメなの？

「関数プログラミングの楽しみ」
「関数プログラミング入門 ―Haskellで学ぶ原理と技法―」

前者が難しいと感じたら後者で勉強する方向で。
あるいは自称理論派ならHaskellなんかやめて依存型にでも進めば？和書はAgdaもCoqも一切ないけど。

ありがとうございます。英語は全くわからないので。。。
関数プログラミングの楽しみを読みたいと思います。

ちょっと補足しておくと
「関数プログラミングの楽しみ」はその道の研究者が出してるおもしろ論文集みたいなもの
関数プログラミングについてもかなり分かっていて研究論文も普通に読みこなせるレベルの人が読むもの

もし関数プログラミングに触れたのはすごH本が初めて、というのなら
「関数プログラミング入門(IFPH)」を読んでも得るものは大きいはず

あとは多少英語苦手でも関数プログラミングを極める上でなんとしても読むべきって感じなのは
Purely Functional Data Structure(PFDS)とPearls of Functional Algorithm Design(PFAD)
検索してみたらPFADはIFPH訳者の山下伸夫さんが翻訳してるらしいのでそれが本になるのを待つのもありかもね
http://partake.in/events/439f62de-94ae-48d2-a4d8-f931fe26a278

Pearls 〜日本語版読みたい！

Haskell初心者です
HaskellはIOモナドを用いることで参照透明性を保ったまま入出力を扱える言語だと聞きました
しかしDebug.Traceという関数にはそれ自体に副作用があり参照透明性が守られていないと知りました
http://blog.booklive.jp/?p=225

「Haskellでは絶対に参照透明性が保たれる」は正しくないということでしょうか？

何事にも例外はある

別人ですけど、副作用部分って出力だけだから参照透明性が保たれてるように見えるけど
そういう場合も保たれてないってことになるのはなんでです？
副作用がある時点で何が起こるかわからないから？

trace :: String -> a -> a

この関数は参照透明ではありません。
型情報ではこの関数は純粋関数であると表明されていますが、トレース文字列の出力という副作用を有しています。
> The function is not referentially transparent:
> its type indicates that it is a pure function but it has the side effect of outputting the trace message.
http://www.haskell.org/ghc/docs/7.6-latest/html/libraries/base-4.6.0.1/Debug-Trace.html#v:trace

>>42
純粋でない操作を行った時点で参照透過じゃないんですね。
まだ頭がついていってないですが、意味の理解はできました。
ありがとうございました。

種が*->*になるように型[a]をクラスのインスタンスにするには
"instance Functor [] where" などと書けばいいですが
型[(a,a)]をクラスのインスタンスにするにはどうすれば良いでしょうか
気持ちとしては
instance Functor (\a -> [(a,a)]) where
...
なのですが…(Functorはあくまで*->*の一例です)
newtypeやdataは型構成子を書いたり余計な記述が増えるので使いたくありません

無理

なんで？

しらね

>>40
汚い流石大人汚い

>>46
型レベルにラムダはないし、それに代わるものもないから

遅延評価って要はメモリスタックしないって事でいいの？

メモリスタックってなんだ？

間違い
スタックオーバーフロー

違う
遅延評価はそのような利点も持つ場合があるが
定義としては式の簡約の仕方（最外簡約）のこと

え、「遅延評価」 と 「最外簡約」 は同値？


遅延評価なら最外簡約、最外簡約なら遅延評価ってこと？

サンク溜まってオーバーフローあるじゃん

>>55
初めて知った。そんなのあるんか。
サンクサイズってどこで指定するんだ？

物理的等価性，構造的等価性の違いみたいなもん？？
頭こんがらがってきた

無駄な計算リソースを割かないために
誰かが実際に触れる時までは実行・計算しないという評価方式

スタックオーバーフローは関係ない
末尾再帰でもしてなきゃ普通に起こる

例えばmap使って（これって末尾再帰じゃないよね？）
リストでゴリゴリ計算してればオーバーフロー起きるの？

試しに誰か
オーバーフローが起きる
短い関数を書いて欲しい

foldl

>>60
http://ideone.com/h9Pr5n

>>59
正格な値に畳み込まなければオーバーフローしない

オーバーフローしないんじゃなくて
そういう計算を避けて通れる場合があるってだけだ

正格な値に畳み込まなくてもオーバーフローする

サンク溜まってオーバーフローするのはスタックじゃなくてヒープじゃね？

マシンスタックのみをスタックと呼ぶ風潮？

サンク溜まってオーバーフローって具体的にどうすれば起こるの？
サンクってそんなに大幅に増減しないような気がするけど

誰も気にしてないけどghcのディスク使用量って大き過ぎないか？
約750MBのうち、280MBがプロファイル付きのスタティックライブラリ(foo-x.yy_p.a)で、
180MBが普通のスタティックライブラリ(foo-x.yy.a)ってのはどうなのよ。

誰も気にしてないから別にいいんじゃね

ghci みたいにカーソルキーとかで履歴だしたりするインタプリタを実装するにはどうすればいいんだ？

>>71
readlineの事なら普通に実装してからrlwrapでも噛ませばいい

ghciが使ってるのはhaskeline

>>73
GPLの魔の手がこんなところにも・・・

>>72
>>73
ありがとう

お前らこんなクソ言語使ってないで
javascriptで便利なプラグインとか作ってくれよ
ほんまつかえねーわ

君がクソ言語と言って投げ出した言語の方が面白い

>>77
気持ちはわかるがスルーしてくれ

>>76
ドカタは黙って底辺で働いてろよ

パールドカタ最近見ないな

勉強しててこんなにワクワクする言語は俺の中では無かった

「パール=ド=型」不純なものを隔離するための型。フランス語を語源とする

なんか、恥ずかしくなってくるから、正直そういうのやめないか

2012年 ビッグデータ/Hadoopブーム
ってのがありました

日本のHaskellユーザーはそのブームで作り上げられた人間でしかない

2007年あたりにブームになった後
最近また見掛けるなったと思ったら
Hadoopなのか？

洗脳が解かれるのも時間の問題だな
より強い洗脳をしないといけない
そして>>84みたいなやつを消さないといけない

寒い自演だな

cyokodog/jquery.ex-table-filter

「すごいhaskellたのしく学ぼう」の2版で入った正誤表ってどこにあるの？
オーム社で電子版買わなかったらアウトやん

amazon差額3$で電子版サービス日本でもやらないかなぁ

>>89
2版じゃなくて2刷だろｗびびったｗ
手元にある4刷では修正されていたよ

おかしいと思うところがあるなら、原著のページで確認すればいいよ
http://learnyouahaskell.com/chapters

第1版第1刷　13.1 アプリカティブファンクターを強化する

ファンクターを導入した動機は、「a -> b 型の関数と、 f a というデータ型があるとして、
どうすれば等の関数を f a から f a への関数に変換できるだろう？」というものでした。

We saw that for this purpose, the Functor type class was introduced
and it had us asking the question: when we have a function of type a
-> b and some data type f a, how do we map that function over the data
type to end up with f b?

いや、ちょっとまて...
やっぱり正誤表くらい出してほしいよ。

☓：どうすれば等の関数を f a から f a （←誤入力？？）
○：どうすれば当の関数をf a から f b （第4刷）

英語の勉強にもなるし、ものは考えようだよ

オーム社にメールしてみれば対応してくれそうだけど、言わなきゃ絶対に対応してくれないぞ
出版社は少ない人数で業務をまわしているっていうし、ましてHaskell本なんてマイナーだからね

いや、1刷だと「f a から f a」なんだよ。

正誤表きっちり出すのが出版に携わる者の役目だとばかり思ってたけど
俺年取ったんだなぁ...

13.4の「うゎぁああああああ落ちるぅぅうううああああ」
って原著をそのまま訳したものだとばかり思っていたけど、邦訳で追加されたんだなｗ
ふざけすぎだろｗ

くうかい？
とかも邦訳にしかなかったな

10円と100円と1000円の買い物をした時に
払う金額のリストを考えてみました

map(sum)[[x,y,z]|x<-[0,10],y<-[0,100],z<-[0,1000]]

これを任意の組に拡張するには
どういう方法があるでしょうか？

>>98
こういうこと？
import Control.Monad

f :: [(Int, Int)] -> [Int]
f = map sum . filterM (\_ -> [True, False]) . concatMap (uncurry $ flip replicate)

main = print . f $ [(10,1), (100,1), (1000,1)] -- 10円を1点、100円を1点、1000円を1点

> 10円と100円と1000円の買い物をした時に
> 払う金額のリストを考えてみました
> map(sum)[[x,y,z]|x<-[0,10],y<-[0,100],z<-[0,1000]]

[0,1000,100,1100,10,1010,110,1110]

7/8の確率で>>98は万引きするってこと？

A商品10円　B商品100円　C商品1000円として
それぞれ買うか買わないかの選択があるとすると
お金の払い方は
0円　10円　100円　110円　1000円　1010円　1110円ってなるじゃん

これをA商品から任意のn商品まで
値段設定してお金の払い方の合計をリストでばーっと出したい場合
どうしたらいいかなと思って

import Control.Applicative
import Data.Monoid

items = [10, 100, 1000]
payments = foldr1 (\xs ys -> mappend <$> xs <*> ys) $ (\a -> [Sum a, mempty]) <$> items

>>102
式をいくつかに分けた方が読み易くないか？

アプリカティブとかモナドとか出てくるともうわけわからん
数学嫌いが数式みたときと同じ感覚になる
まぁ数学なんだけど

pays :: [Int] -> [[Int]]
pays [] = []
pays (x:xs) = (map (x:) (pays xs)) ++ (map (0:) (pays xs))

これでできたリストにsumをmapして重複を除けばいいはず

α+β+γ+δ=c（定数）
α，β，γ，δ，c∈全ての非負の整数の集合
�@α<β<γ<δ
�Aα≦β≦γ≦δ

�@�Aそれぞれのときに、成り立つα，β，γ，δの組を全て挙げるコードを書いたけど
これ何か応用先あるかな？

Haskellやるからにはちゃんと型やモナドで処理を意味づけしたい
これが僕が女子大生に圏論を教わる理由です。

>>107
気になるあの娘の暗証番号を聞き出すマジック

>>109
閃いた！

なんでマセマティカみたいに文字式のまま方程式解いてくれるライブラリが無いの？

世界がそれを望んでいないから

あんなのボランティアで作ろうとするやついないだろ

世の中には言い出しっぺの法則というものがあってな・・・
つまり >>111 がそういうライブラリを作って公開してすればいいと思うよ

>>111
Pythonにはあるよ

じゃあ、HaskellからPythonを呼べばいい

そのPythonからHaskell呼んでもらおう

間を取ってPascalにしよう

Pykel
が良いな

Scalaでええやん

それは無いわ−

Yesodとかの話もここで良いの？

いいんじゃない。
WebProgにはないだろうし、スレも盛り上がるし。

関数型言語は学習コストが高すぎる。

玩具として、研究者や学生の自己満足として、
教科書や黒板を賑わすアクセサリーとして、
あるいは頭の体操としての価値は認める。
だが、仕事ではほとんど使い物にならない。

やれば作れる、実際に作った、そんな言い分は聞き飽きた。
主要なソフトウェアのほとんどは非関数型で書かれている。
関数型がプチブームだが、爆発的に採用が増えているとも考えられない。
いずれ関数型のブームは去るだろう。
仮に関数型が生き残ることがあったとしても、
手続的な言語における一部の機能としてだろう。

なぜ仕事をトッププライオリティーに持ってくるんだろう？

>>125
プログラムした対価としてお金をいただけるから

いや、OCamlやLispやScalaは普通に使われてるだろ
それぞれ金融関連とか仮想化アプライアンスとかウェブサービスとか

稼ぐ手段としてなら使えないと言うより
稼げないと表現した方がいいのでは？
そして世の中にはお金を稼げない事象なんて
腐るほどあるんだから
稼げるのが当たり前って前提が取り除いて評価しないと
アンフェアだよな

ここはHaskellのスレなので、
関数型言語全般の批判をしたいのであれば、こちらへどうぞ。

【アンチ】関数型言語は使えない【玩具】 ２
http://toro.2ch.net/test/read.cgi/tech/1330429547/

思いついた金儲け及びそのネタ探し、実証の場面において
副作用を殆ど必要としなかった（加えて遅延評価が有効）からHaskell使ってるわ

俺は神が創ったこの世界の
一部分をのぞき見るのが快感なのさ
それがまだ誰にも発見されてない部分なら尚更　な

知的好奇心、探究心、発見(苦笑）
どいつもこいつもこんなのばっかりｗ

自演乙

>>132
それが人間と動物を分けるものだからな

痛たた

関数型プログラミングが理解できない動物の妬みだね
分からないなら分からないで大人しくすればいいのに

痛すぎ
Haskeller全般が偏見持たれるから、そういうのはちょっとやめてくれ

「偏見」って凄く副作用っぽい香りするよな

知的好奇心、探究心、発見(苦笑）

こんなの腐るほど聞いたわ
聞き飽きたわ

アホ「ん？だから発見とかさ知的好奇心を満たすっていうか覗き見るのが快感なのさ、探究心とかね」
自分「だよなぁ」　心の中（うわでたーーｗｗこんなやつよくいるわｗこういうやつこれで１００人目だわｗ）

Haskellを使う理由を　知的好奇心、探究心、発見(苦笑）等の感情論以外から言ってください

関数型言語でフリーソフトを作って積極的に成果をアピールとかほとんど聞かないよね
Real World Haskellとか読むとかなり実用的なトピックが揃っているのに
どういうわけか実用的なフリーソフトを関数型言語で作ったという話はほとんど聞かない

アホ「なぜ実用的であることが重要なのか」

自分「　笑　」

使うのに理由を求めてるのが面白いな
生きる理由を探してるようなもんだ
死んでないから生きている
ただそれだけの事に理由を探すなんて馬鹿げてるね
もし理由が証明できたとしても
それは命令型では無いって事は分かる

演繹的な思考に慣れ過ぎてるから
帰納的な思考を想像できないっぽいな

>>140
関数型言語での実用的なフリーソフトはOCamlのおかげで結構ある。
Haskellは残念ながら同コミュニティ外で使用されるのは少ないね。

Haskellだと上でも上がってるけどYesodは掛け値なしで良いかな。
LL言語のような手軽な環境がついてる上に、ネイティブだから速度良好。

理系は演繹的に論を進めるイメージがあるけれど
実際には実験データから帰納的に導かれる結論を仮定としてそれを演繹的に証明する
みたいなこともよくする。文系の学部こそ演繹的な推論が求められそうだけど
帰納的に考える必要があるとしたら、例えばどんな場面だろう？

>>145
直観でなくきちんと経験則に基づく事柄は、みんな帰納的だろう。
それと完全にスレ違いなんで、できれば別のとこでやってほしい。

お前 〜はやめて欲しいしか言わないね

結局のところ、関数型言語って主にどこで活躍してるの？
議論のためにしか使われてないイメージなんやけど

>>148
ドーナッツの穴みたいなもんじゃね？
穴はあるのかないのか

2chももう潮時かな・・。

ペアノシステムをプログラムの中で実現してるのを
最初に見た時に感動受けた
まさにドーナツの穴に森羅万象が見えたような気にさせてくれた

まさにドーナツの穴だな
食えないし値段は付かないし
でもこだわる人はとてもこだわる部分

関数型言語はそういうもの

好きでHaskellを使っているのだから、正直ほうっておいてほしい

あと○年でHaskellがメインで使われるようになる！とか妄言吐くやつがいるからなあ

10年前からメインで使ってますが

この先もGHCがデファクトスタンダード一人勝ちなの？

ちがうなぁ

f x y = (x + y) * (x + y)
は
f x y = let t = x + y in t * t
のように書かなくても x + y の部分は1回の計算で済みますか？
また、下のような場合はどうでしょうか
f x = elem x [1..10000] && elem x [1..10000]
また、局所変数の含む場合はどうでしょうか
f x = let xs = [1..10000] in elem x xs
g x = f x && elem x [1..10000]

おまえらはセンスが良いなぁ。>>151 みたいに関数型の数学性に魅せられたが結局何も見出せなかったみたいな。
>>141←こういう奴はもはや生きている価値すらない亡者。己を無価値とし他人の命令に全てを委ねてるやつ。

そういったことは各々の世界観に依るのです

それはそうと最近世界観という語を物語の世界の設定情報の総体的意味で使用する人が増えてきました


指摘すれば空気の読めない奴扱いを受けます

この気持ちとどう折り合いをつけたら良いですか？

自己陶酔のための道具じゃないんだけどなぁ。

関数型言語は学習コストが高すぎる。

玩具として、研究者や学生の自己満足や話のネタに、
教科書や黒板を賑わすアクセサリーとして、
あるいは頭の体操としての価値は認める。
だが、仕事ではほとんど使い物にならない。

やれば作れる、実際に作った、そんな言い分は聞き飽きた。
主要なソフトウェアのほとんどは非関数型で書かれている。
関数型がプチブームだが、爆発的に採用が増えているとも考えられない。
いずれ関数型のブームは去るだろう。
仮に関数型が生き残ることがあったとしても、
手続的な言語における一部の機能としてだろう。

>>158
GHCなら、コンパイラの気分次第
常に1回の計算で済むことは期待できない
常に2回計算することも期待できないけど、
-fno-cse -fno-full-lazinessを与えればたぶん2回計算してくれる

unsafePerformIOを仕込めば評価回数がわかるはず

関数型がブームだと聞いて

>>165
聞いたから何だ？
最後までちゃんと話せ

なにか質問があるのか？
議論したいのか？
Haskellについて何か語りたいのか？

>>166
俺もたった今興味を持ちそうになっただけなんだ。。。
そんなに圧迫面接しないでくれよう。。。

批判に敏感になり過ぎ

unsafePerformIOを仕込めば評価回数がわかるはず

>>167
それは悪いことしたが、それとは別に、途中で切らずに最後まで何か言えよ

Haskellの何が楽しいのか訊いても良いし、
入門者に適したページを紹介してくれ、でも良いから

初学者ですが、言語拡張は標準になるまで基本的に使わない方がいいんですかね。
たまにコンパイルエラーで「Xhogehogeを使え」とか言われるのですが
安易に使って将来使えなくなったりするのが不安で。
言語拡張といっても、標準になりそうなもの、実装されたばかりのもの、
廃止されるまでの過渡状態のものなど色々だと思いますが、まとまった
リストがあればいいのですが。

>>171
GHC以外の処理系に対応したいのでなければ躊躇なく使うべき
よほど不人気でない限り、言語拡張が廃止されることはない
(ここ数年で廃止されたのはLinearImplicitParamsとGenericsくらいだと思う)

TypeFamiliesとかTemplateHaskellみたいに人気のある拡張でも
標準に入る見込みがなさそうなのもあるし

モナド内包表記とかは紆余曲折あったりするけどね

>>170
い、威圧的だ（唖然

>>166
研究室新配属の３年生を叩き上げる院生ｷﾀ━━(ﾟ∀ﾟ)━━!!!

>>172
単相性制限は望まれても愛されてもいなかった

C言語で大きい行列を扱うときにallocしたメモリを使い回すのはよくやられると思うけど、Haskellでそういうことするのは無理かな？
まあ、必ずしも使い回す必要はないんだけど、大きい行列を扱うのは向いてない？

>>177
大きい行列を扱うのなら、C言語でもHaskellでも他の言語でも、
普通はLAPACKなどの行列専用ライブラリを使うのでは？
HaskellからLAPACKを使うのならhmatrixというライブラリがある。

行列とは意味合いが異なるけど、Haskellで配列を効率よく扱う方法は他にもある。
たとえばrepaというライブラリ。
これは、配列に対するいくつもの演算（２つの配列の要素同士を加算したり、畳み込みをしたり）を、
内部で合成してひとつの一連の計算にして実行する。
つまり、計算用の中間バッファを極力作らないように自動的に処理してくれるから、
こと演算においては「メモリを使い回す」ということをプログラマ側が考えなくても良い。
（repa で２次元配列を行列とみなして、行列同士の積を演算することもできる）

>>178
レスありがとう

hmatrixは少しだけ見てみたんだけど、大きい行列を繰り返し使う事が効率よくできるかどうか分からなかった
ちゃんと調べてみます

repaってのはよく分からないんだけど、例えば行列の各成分の要素を定義する関数を書いて、その行列に
列ベクトルを掛けると内部では行列そのものは保持しない（結果のベクトルの保存にだけメモリを使う）って
いう動作になるのかな？それならかなり理想的なんだけど

hmatrixはメモリ領域を使い回したりしないよ

大きい行列を使い回すのが重要なのは以外だ
素人考えだと、大きい行列ならメモリ確保のオーバーヘッドは相対的に小さくなりそうなんだけど
メモリアクセスの局所性とかに効いてくるのかな

>>179
> 行列の各成分の要素を定義する関数を書いて

これはできる。
i 行 j 列目の値を表す関数をひとつ書くことになる。
その関数の中で、変数 i と j を使って要素の値を計算する。

> その行列に列ベクトルを掛けると内部では行列そのものは保持しない

まず repa には行列というものはなくて、多次元配列を扱うものだから、
n行1列の2次元配列を定義して、それをプログラマが列ベクトルとみなして扱うことになる。

で、繰り返すが repa は行列を扱うライブラリではないから、
2次元配列を行列とみなした場合、その積の演算はプログラマが定義してやる必要がある。
ghc の最適化オプションを ON にすれば
具体的には、2つの配列を元に1つの配列を作る関数が用意されているから、
その関数に「3つ目の配列の要素を定義する関数」を渡してやる。
その渡した関数の中で行列の積を表現する計算をしてやることになる。

> 結果のベクトルの保存にだけメモリを使う

すまん、正直言ってそこまで最適化されるかは私には確証がない。
ghc の最適化オプションを ON にすれば、理論的にはちゃんと最適化されるはずだが。

ただ、ここまで言っておいてなんだが、repa の扱いは初学者には少々難儀するかも知れん。
配列定義の表現が独特で、各関数の意味も理解するのが難しいと思う。

>>180
そうなんだが、「必ずしも使い回す必要はないんだけど」ということから、
質問者が知りたいのは、使い回すことではなく、
大きな配列を効率よく扱う方法一般ではないかと思ったので紹介した。

元の質問に真面目に答えるなら、

>C言語で大きい行列を扱うときにallocしたメモリを使い回すのはよくやられると思うけど、Haskellでそういうことするのは無理かな？
普通はやらないけど(たとえばhmatrixはやらない)、自分で書くならもちろんできる

>まあ、必ずしも使い回す必要はないんだけど、大きい行列を扱うのは向いてない？
そんなことはない

結局C/C++で創られた有力ライブラリを呼び出すことばかりしかしてないじゃん
他人の褌で相撲してる感じ
地産地消が関の山で他の言語に影響与えられないのかよ

来たよ底辺プログラマのラッダイトｗ

詳しい回答ありがとう。

repaはcabalでインストールしようとしたらDLできなかったんで、
まずはhmatrixから使ってみるよ。

学校の演習でHaskellのArrayの2次元配列でガウスの消去法を実装したけど、100×100程度の行列なら問題なく動くよ
1000×1000はダメ
Celeron 2.7GHz, メモリ1GB, WinXP, ghc 7.0.3

代数的データ型って何？
そもそも代数的って何？
C言語のstructみたいなデータ型と何が違うの？

>>185
> 結局C/C++で創られた有力ライブラリを呼び出すことばかりしかしてないじゃん

君は使ったことも調べたことすらないから知らないのだろうけど、
repa は 100% Haskell 製の高速配列ライブラリだよ。

> 地産地消が関の山で他の言語に影響与えられないのかよ

これも君は知らないのだろうけど、
Parsec や QuickCheck などの Haskell 製ライブラリは、
多くの他の言語のライブラリに大きな影響を与えたよ。

土方にマジレスしたら可哀想だよ

まともにメンテされてないライブラリが沢山あって
なんだかんだでCのライブラリを呼び出すものが一番安定しているイメージ

>>189
ここに分かりやすい説明がある。
http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/

英語のブログだが、口語的ではなく説明口調なんで、変な言い回しはなく、比較的読みやすい。
Part1 から 3 まであるが、1 を読むだけで「代数的」の意味は大体理解できると思う。

>>193
>>189ではないけど、この記事は親切丁寧かつ読みやすくていいね
紹介ありがと

>>188
1000×1000で消去法が動かないなら書き方が悪い気がする

>>193
おお、ありがとう
頑張って読んでみる

>>193
こんな直球かつ平坦でわかりやすいものを、よく持ってこれるな。
引き出しの多さに感心した。

>>195
今、Data.Arrayだけで実装してみたけど、100×100でもヤバい

>>198
どこかに貼ってくれる？

ピボットが1個進むごとに上三角行列を作り直すから100×100行列が100個生まれる
100万要素の配列だから問題ないと思うが、listArrayがバカなことをやってたら…

>>200
その100個の行列を一個の配列上に作るのはメモリの無駄遣いだろ
毎回新しく100×100行列を作って使い捨てるべき(それか可変配列にしてメモリ再利用)

>>186
だれウマｗｗｗ

諸君、議論したまえ

Hackage 2 だそうです
http://beta.hackage.haskell.org/

産業ハスケル団！

結局のところ退職エントリで叩かれない給与水準が確保できるかに尽きます。
ちなみにRubyプログラマの私は900万です。(発言小町風)

実用的なもの作れゴミ
焼くただずが
言語バカってまじいらねーわ
なんかくだらねえ文法とか言ってるだけｗｗｗつかえねーｗｗｗまじつかえねーわｗ
そこらへんのクソウェブサービス乱立してるやつほうがまだ使えるわｗ
さっさとのたれ死ネゴミ

かわいそう・・・

知的要求と自己陶酔とモナドクラスタに属したいので使ってるなぁ
自分が何者であるかHaskellをやれば簡単に証明できるからなぁ
ファッションみたいなものかなぁ

それもまた、かわいそう・・・

アプリを書き、ライブラリを書き、既存プロジェクトに貢献するなら
自己陶酔でも何でも歓迎

real world haskell 2nd 日本語版はよ

ttp://beta.hackage.haskell.org/new-features

- Adjusting package dependencies after a release to match reality
これはいい。
- Package “candidates”.
publish後に間違い見つけたら今と同じ状態になるんじゃね？

すべてのソフトウェアを無料にして、日本のすべてのプログラマを失業させる
それが私の夢です

そもそも何処も彼処もソフトウェアのカスタマイズみたいなものが仕事で、
後はハードウェア依存か環境依存で車輪の再発明をしているだけでそ
OSSなんか普及することで、その堅ろう性を保てるわけで
プロプライエタリのホゲなんて今後はビジネスモデル自体が疑われるべき存在でふ

>>207
そもそも動的言語で書かれたWebサービスって、実際に開発効率良いの？
PHPにしろjsにしろ、デバッグ効率が悪いだけにしか思えないんだけど

PHPとjsは動的言語の中でもウンコな部類です

>>216
プレゼン効率が最高に高い
打ち合わせしながらプロトタイプが完成する

製品版の実装？
そんなの知るか

別にASP.NETでもD&Dで画面設計できるよね?それもC#で
Javaのweb frameworkですらscaffordに相当する機能あるのに

プレゼン効率なんてものも究極的には言語習得の慣れの問題にしか思えないんだけど
言語習得のイニシャルコストを我慢すれば、関数型言語の方が動的言語より
トータルで見たとき開発効率が良さそうってイメージが拭えない

>>219
JavaとCは向こうが知ってるからその場でごまかせない

>>220
ごまかしで食い繋ごうとしてるレベルではそうらしいな。

なんかこのスレにストールマン紛れ込んでない？

>>219
関数型言語はイニシャルコストが掛かる、の一言じゃ済まない
ベースに数学的な理論を使っているし、関数＝数学だから、使いこなせる人もレビューする人も限られる
コスト以前に現実的かどうかの議論が必要なレベル

>>222
rmsは何処にでもいる

>>219
中小企業のアプリ開発程度の規模だと、
型の齟齬による誤謬なんて起こらないけどね。

型のう、うじ...？による、ご...しん？

>>223
そもそも関数型は開発プロセスについての研究が途中
とても金を出せるレベルじゃない

RMSはプロプライエタリなソフトを生み出さない世界を創りあげるため
戦う概念として世界をGNUで再構築し偏在することになった
おヒゲの魔法少女である。

>>223
数学的理論って言っても、せいぜいwikipediaの記事７，８頁分ぐらいも読めば十分で、
PHPでやるような手続き的な記述ぐらい、すぐに出来るようになるんじゃないの？
それをイニシャルコストだって言ってるんだけど
>>226
これを読めると世代とクラスタを高確率で判定できる
>>227
webだと、色々なものがフレームワークで定石化している印象があって、中堅企業ならともかく、
地方に根付いたweb系ベンチャー()やco-worker()なら手出して良いでしょ
>>222,224
あんたらム板の管理でもしてるの？

>>229
PHPでやるような手続的な記述を関数型言語で記述できるようになる程度の
数学的素養を身につけるために十分なwikipediaの記事７、８頁とやらを教えろください

http://en.wikipedia.org/wiki/Haskell_(programming_language)
http://en.wikipedia.org/wiki/Comonad
http://en.wikipedia.org/wiki/Monad_(functional_programming)
http://en.wikipedia.org/wiki/Type_theory
http://en.wikipedia.org/wiki/Lambda_calculus

>>229
>数学的理論って言っても、せいぜいwikipediaの記事７，８頁分ぐらいも読めば十分
>これを読めると世代とクラスタを高確率で判定できる
こういう勘違い野郎は淘汰されるべき。

>>232
それでは何が違うか御教授ねがいます

>>233
小学校からやり直せば。

>>233
実務にいらない、と一蹴するなら結構だが、
真面目に学習するという話で、wikipediaで済むわけないだろ。

それと語彙力だけで簡単に人は測れない。ご教授じゃなくてご教示な。

>>235
少しはググッてから他人の揚げ足とったら？
そもそも道具として使うのであって、
関数型言語の研究するわけでもないんだからwikipediaと参考文献で十分だから
真面目に学習？PHPで書く内容をhaskellに置き換えるだけなのに？

wikiに載ってる小難しい数式がそのままプログラムで書けるんだから
ある意味簡単じゃね？

>>236
最初から数学理論なんて必要ない、と一蹴してるなら同意する。
だがwikipediaを読むと提案した時点でそういう事ではないんだろ？
本気で理解する事を考えるなら、
素養のない人間には、簡単な概要しかないwikipediaでは足りないだろ。

それとググるって何をだ？
具体的に頼む。

>ご教授じゃなくてご教示な。

>>239
もしかしてそれが、>>238へに対するレスなのか？
ググってみても、ご教授は質問に答える程度の意味では使わんようだが。
まさか講義しろと？

http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1311431093
おまえの講釈なんてイラナイから参照をよこせ

http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1311431093
おまえの講釈なんてイラナイから参照をよこせ

>>241-242
あの、まさかそれ反論のつもり？
せめてアンカ付けてくれないか？

まさか自分で墓穴ほってると思わないだろ。
さっきから気味が悪いんだが・・。

>>238
本気で理解するなんて研究開発か研究分野の開拓ぐらいで、
そのレベルで理解する必要があるなら少なくとも関連する論文１０稿ぐらい読むだろ
そして、趣味人がPHPの代替にhaskellのコードを書くなんて
レベルの数学理論なんてwikipediaと関連項目で十分だっていってるの


>>243
墓穴を掘っているのはお前。

なんだ、よかった別人か。

>>244
>趣味人がPHPの代替にhaskellのコードを書くなんて
>レベルの数学理論なんてwikipediaと関連項目で十分だっていってるの
理解している奴にとってはよくまとまってる(事が多い)が、
実際は概要程度しかないから、全く素養がなければ記事単体で理解は無理。

構文覚えさせてソース読ませたほうがまだ早いだろ。
本気で理解の程度の違いについては、見解の相違だろうから何も言わない。

それでググるって何を？

>>245
あんなの3、4流の工学部を出てりゃ十分な素養だから

>それと語彙力だけで簡単に人は測れない。ご教授じゃなくてご教示な。
ご教授じゃなくてご教示だと揚げ足を取ったので、
それが正しい日本だと考えた根拠をググッて参照を明確にした上で煽れ

>>246
>あんなの3、4流の工学部を出てりゃ十分な素養だから
なら理系出身で無いなら、素養ないって事になるだろ・・。
自分で限定してどうすんだ。

結局、同一人物なの？
どう見ても自分でURL出して墓穴掘ってるのに、
煽り方がどうとか、論点ずらしのつもりなの？
さっきから変な事言い出すし、気味が悪いんだよ。

本物のプログラマはHaskellを使うって本当ですか？

>>248
このスレをよく見て判断されるとよろしいんではないでしょうか

>>247
>なら理系出身で無いなら、素養ないって事になるだろ・・。
本質的に素養のない人間は自分で何も調べることが出来ず、多分、
君にはそういった素養がないし、haskellなんて使わない方が良いよ。
>どう見ても自分でURL出して墓穴掘ってるのに、
URLを出したことが、どのような墓穴になるのか具体的な根拠は？

>結局、同一人物なの？
便所の落書きに個人なんてものは存在しない。全てが共有されて局所最適解へ向かう。

無職ニートは何でRuby、Haskellを勉強してるんですか？

>>250
ごめん、もういいや。
ありがとな。時間取らせて悪かった。

>>251
技術幅が狭く、意図的に責任の重い仕事を避けれるから

>>253
ニヤッとしてしまったｗ

「wikipedia見てHaskellのプログラミングできるようになる」は、「ブリタニカ辞典読めば法隆寺を建てられる」と同意

法隆寺は無理でも犬小屋のようなものぐらい作れるだろ
関数型の概要だけサラッと学ぶのが不十分なら、
本家のtutorialでも順番に読みつつ手でも動かせば？

PrologのWikipediaくらいだと、金堂くらいは建つかな。

論理プログラミングの定石学ぶなら「〜の技芸」とか読んだ方が良いんじゃない？

どこらへんで数学嫌いになったか語ろうぜ
おれ三角関数

確率論だな

割り算（小声）

>>258
「Prologの技芸」 いいですね。論理学的な背景の説明も厚いし。

ゲームプログラマを目指す高校生がアフィン変換や
クォータニオンぐらい卒業前に独習してるって気付いたとき

ゲームプログラマを目指す高校生がアフィン変換や
クォータニオンぐらい卒業前に独習してるって気付いたとき

アフィン写像ってあたりまえだけど
affine mapなんだな

>>216
Haskellよりは開発効率は高いよ
トラブルシューティングからパフォーマンスチューニングまで
あらゆるノウハウが蓄積されているから「開発効率」は高い

Haskellだとトラブル解決に時間食いまくるだろうね

>>266
トラブルの解決には同意するけれども、
コンパイルされるだろうhaskellのパフォーマンスが動的言語より悪いとな？

>>266
トラブルの解決には同意するけれども、
コンパイルされるだろうhaskellのパフォーマンスが動的言語より悪いとな？

数学の重要性を語り始める、アルゴリズムで数学ができるできないじゃ違う！などと語る（自分が数学ができなさすぎて戒めてる

数学について語り始め　数学は大事と戒め始める
論理的な思考に憧れを抱く　女は論理的な思考ができないとバカにし始める　獣と人間の話をし始める
理系に属したがる（注：文系出身で理系職ついてるやつつは文系を利用してギャップ狙いをし文系なのにすげー！！！といわれようとする
スーパープログラマになりたいとわめきだす
無職ニート
RubyとHaskellを学んでいる
難しいことをやりたがる
それって誰でもできるんでしょ？と誰でもできることをバカにする
無職ニートをやり続けこのままでは経歴が作れないのであせりだしネットでウンコプロジェクトを開いて経歴にしようとする

よし。無職ニートしか当てはまらないからセーフだ

よし。無職ニートしか当てはまらないからセーフだ

Leksahを使ってみようと思うのですが、ビルドしたら

>Installing executable(s) in C:\Users\honoka\AppData\Roaming\cabal\bin

で止まってしまって、実行(C+R)しても

>No errors that can be auto resolved

っていうのが返って来てしまいます
何がいけないんですかね…

もうcabalは嫌だ

キャバルにキャバルものを頂戴

さっき最新版をインストールした
だんだんプラットホームのサイズが大きくなってるのが、smalltalkの悪夢の再現のようで怖い

2ちゃん●の新システムはHaskellを使ってるらしい

不具合起きたらまたPerl忍者に餌与えることになるな

perl忍者はjavascriptスレにいるよ

+ JavaScript の質問用スレッド vol.108 +
http://toro.2ch.net/test/read.cgi/hp/1378462421/

ID:J1i2JugH

windows に cabal で yesod インストールしたけど、やたらたくさんモジュール使ってるのね

>>280
まあnodeのexpressとかも同じですし

関西でhaskellの勉強会やってないかな

加古川でやってたと思う

九州でhaskellのべんｋｙ(ry

うどん県でhaskellの(ry

いんたーねっとでみんなでべんきょうかい

自分で勉強会を開く気はないのか？

それでは諸君、議論したまえ

ゲームを作ってみようと思い、とりあえず60fpsで
小さなボールが画面中を跳ねまわるデモを作ったんだが、
設計のことでちょっと訊きたい。

ボールの位置と速度のデータを代数データ型にまとめて、
その値を毎フレーム更新してるんだが、
参照透過性が保たれるから当然次々に使用メモリが増えていくと思う。
（更新前のデータは更新後には一切使わないから無駄なんだが）

今はただのデモで１個のボールが飛んでるだけだからいいけど、
実際にゲームを作るとなると、毎フレームかなりの量のデータが更新され、
その都度使用メモリが急激に増えていくのではないかと思う。

Haskell によるゲーム作りってこういうものなの？

それとも、フレーム毎に更新するデータは全て IORef で持つのが普通なの？

モナディウスなんかのコードでも眺めたら？

FRP使ってるゲームプログラムでBan Patternで細かく正格指定してるのも
メモリ消費問題を抑え込むためなのかな？
さらには diamond 参照問題とかもあるらしいじゃないですかー
理解がおいつかないおっおっおっ

モナディウスはそれでメモリリークに苦しんでたけどな

ゲームやOSを高級言語だけで記述しようとすると
理想と現実の狭間に陥って...アーメーマー

Haskellが効率に苦しんでいるのは
手続き型でできることを抽象化できてないってことなのか
それとも遅延評価デフォだと書きづらいというだけなのか

知見が蓄積されてないだけじゃね？

オワコンだしなHaskell

ウェブはバカと暇人のもの
Haskellはバカと暇人のもの

>>297
あまり面白くない

もうちょっと捻ってくれんか

まあオワコンなのは事実だろ

オワコンwのスレに態々書込にくる、残念な人達。

た…態々

>>293
quakeつくったプログラマも関数型に興味持ってたよ

オワコン

関数型言語は学習コストが高すぎる。

玩具として、研究者や学生の自己満足として、
教科書や黒板を賑わすアクセサリーとして、
あるいは頭の体操としての価値は認める。
だが、仕事ではほとんど使い物にならない。

やれば作れる、実際に作った、そんな言い分は聞き飽きた。
主要なソフトウェアのほとんどは非関数型で書かれている。
関数型がプチブームだが、爆発的に採用が増えているとも考えられない。
いずれ関数型のブームは去るだろう。
仮に関数型が生き残ることがあったとしても、
手続的な言語における一部の機能としてだろう。

>>302
ジョン・カーマックか
ググったらHaskellについて話してるらしい公演が見つかったけど
スライドもなくただぶっ続けで話してるだけだからリスニングきついｗ

Haskellブームはとっくに去ったけどな。
今熱いのはOCamlだよ。

>>302 カーマックはこないだのQuake Conより前から
「関数こそプログラムの本質だ」と言ってたと思うけど出展を思い出せない

>>305
カーマックは巻きが入ってもガン無視で話しつづけるから進行泣かせなんよね

>>304
ほとんどの大卒はscheme/prologを学んでるから、haskellの学習コストなんて言うほど高くない
はっきり言えば、動的言語がオワコン。

普及率で優劣を騙るやつに聞きたいんだけど、その理屈だと2chに書き込んでる自身が、世間ではオワコンでFAだよね？

ttp://blog-imgs-54.fc2.com/h/e/r/heroch/201202265.jpg

オワコンHaskell

OCamlってなに？perlスレでもみたけど
オワコンなんだろ？Haskellはオワコン

いや〜Haskellオワコンって書かれると必死に影響力を下げまいと
信者がオワコンじゃないよ、みたいに喚くのが自薦の用心棒ってやつだね
オワコンなんだろ？
こんなにオワコンって書かれてる
オワコンだろう
オワコンHaskellはオワコン

オワコンっていうけど、始まってもいないだろ…

ハスケルは蛹のまま動かなくなってしまいました
人々は落胆しその場を立ち去りました

季節は巡り、ある暑い日のことです
人々がハスケルを見捨てたのも忘れていたその場所を通りかかった所でした

そこには妖しくこの世の常のものとも思えぬ冬虫夏草が生えていました

これは何かの引用？

オワコスキー

糞言語Haskell
使う価値生し

>>317
俺の即興だけど、それを知ってなんになるの？

糞過疎Haskell
オワコン

ハスケルに足りないものは何か？

人気

C++より実行速度が遅いから実際のプロジェクトで使う気にならない

>>315
だよなｗｗｗｗ
ってか始まってほしい理由も無いが
クイズ番組に数学が出ない
書籍に数式が1行でもでると売上が3割落ちる

世間の数学アレルギーは相当なもんよ
hasukellがブームになるとか金輪際ナイナイって

合成写像って高階関数の事？

ネストされた微積ぐらい習っただろリア厨

>>306
そもそも、随分と昔から実用的なライブラリやソフトウェアがocamlで書かれてる
ocamlのバックボーンってINRIAとかいう研究所だけどhaskellは今ひとつ不明
専門卒や業務系ってSATやCSPなんかの理論とは縁遠いんだろうな

>>325
こんだけ世間が狭い人が、何故わざわざスレに来るのかは人類の謎だな。
>クイズ番組
>書籍
>hasukell
>ブーム

ム板と関係ない別クラスタの人種

クラスタとか言うとそれはそれでお里が知れる

市場は衰退の一途なので「明日から実務に使える技術 - XX言語」というジャンルがもうアレゲ
今求められているのは、「テロに使える言語 ハッスルKill - 愛をとりもどせ」みたいなのじゃないかな

-XUsefulTechnology エクステンションはよ

Haskellはオワコン

はいオワコンです

スレまだ半分も行ってないのに、なんでもう埋め始めてるの？

>>331
そこで、金融計算に強い関数型の出番ですね
貧困層が下克上を狙うには、この上ない市場

オワオワオワコーーーンッツ！！トンガリオワコーンッ！！
Haskellはオワコン！！！

data TES t s = Tes (t -> s)から
rev :: (TES t s) -> (TES s t)　の型になる関数をどう定義していいかわからないです。
どなたかご教授願えませんか？

>>339
その型になるどういう関数を定義したいの？
書き間違いじゃなければ、その型にまともな定義は与えられない
(無限ループか、例外を投げるしかない)ように見えるけど

逆関数的な何か？

逆関数だから無理だよなあ

皆さん返信ありがとうございます
ご指摘の通り逆関数を定義したいのですが無理なのですか・・・
>>340
定義したい関数としては Tes(t->s) を受け取って Tes(s->t)を返したいのです。
このtとsのマッチのさせ方（もしかしてひどい勘違いをしていてできないのかもしれませんが）がわからない状態です。

>>343
Tes(t->s)というのはHaskellの表記として正しくないし、意図も伝わらない
(ｔ->s)は型レベル、Tesは値レベルのもの

任意の関数の逆関数を計算するのは無理
(tが有限で、sが比較可能で、可逆な関数以外渡さない、みたいな前提を置けばできる)

>>344
アドバイスありがとうございます！
なんとかtとｓの型だけが取得できればいいんですが・・・
例えば引数としてTes(t->s)を考えた時に
f (Tes x) = のように書いて x に t->s　をマッチさせたあとにtとsの型を取得することは可能なのでしょうか？
質問だらけで申し訳ありません。当方はOCamlならある程度理解できているレベルです。
もしなにか知見がございましたらよろしくお願いします

>>345
「型を取得」ってどいう意味？型の文字列表現が欲しいとか？
これを使って何をやりたいかを書くとアドバイスしやすいと思う

やりたいことをOCamlで書いてくれたら分かるかも

>>346
表現がいろいろ足らなくて申し訳ありません。
ようやく思い違いに気づきました。
Tes(t->s)と書いた時のt->sは抽象化された型tから型sへの写像ではなく
具体的にt->sと定義された関数のことだったんですね・・・
マッチができないのも納得できました。

>>347
OCamlだと型が関数のように引数を受け取れないので少し表現するのが難しい感じです・・・
具体的には（勘違いだったんですが）
f (Tes x) =
let (t->s) = x in
Tes(s->t)
みたいに表現できるのかな？と思っていました。

皆様返信ありがとうございました。もう少し実装する関数を見なおしてみます。

こういうことではないだろうなと思いつつ・・

import Data.Typeable
getTesType (Tes t) = snd . splitTyConApp . typeOf $ t

-- > getTesType (Tes (+))
-- [Integer,Integer -> Integer]

おおう入れ違ってしまった
スルーしてくれ

たらい回し関数？

全単写じゃないとダメだから
多相ヴァリアント型でも型推論してくれないな

>>348
>OCamlだと型が関数のように引数を受け取れない
いったい何を言っているんだ

OCaml version 4.00.1

# type ('s, 't) tes = Tes of ('s -> 't);;
type ('s, 't) tes = Tes of ('s -> 't)

>>350
ありがとうございます。
型は取得できるのはわかったのですがやはり関数とのマッチは無理なようでした。
お書き頂いたTypeRepを取得する関数も参考になりました。

>>353
あ　申し訳ないです。言葉が足りませんでした。
コンストラクタを関数のように扱えないということを伝えたかったのです。
最初はお書きいただいたものと同様のものでOCamlで書いていたのですが
他の部分で弊害が出たのでHaskellで実装しなおしてるところでした。

>>355
Haskellでもデータ構築子を関数扱いは無理だよ
だからモジュールではわざわざコンストラクタ扱いの関数に落とすわけで

間違い
この場合型構築子だ

OCamlはデータ構築子を関数扱いできない点でHaskellと違うけど、
>>339はそれ以前に代数的データ型を理解してない気がする

海外じゃオワコンのHaskell

なんでリストの変数を　xs　って書くの？
何の意味？

変数xの複数形でxsのリストになるから
prologだと、[X|Xs]って表記された影響でも受けたんでない？

あぁ・・・複数形のｓなんだ
ありがトン

リストのリストだとxxs, yysなどと書く

>>363
そうだったのか。
おれ自分のコードで xss、yss って書いてた。

危うく外に出して恥をかくところだったよ、ありがと。

リストって例えば
１：２：３：[ ]　　→ [ １，２，３ ]
こういう事じゃん

リストのリストって
[ １，２，３ ] 　：　[４，５，６]　： [ ] 　→　[ [ １，２，３ ] ，[ ４，５，６ ] ]
こういう事じゃん

じゃあリストのリストを元に戻したら　どうやって書くの？

よく見るのは xss な気がする

ネットだとxss/yss派のが多いみたい
yys/xxsは xxs = (x:xs) という意味で使ってる人が多いようだ

ごめん普通はxss, yssだったわ。書くときは間違えないのに変な勘違いしてたな

>>365
よく分からんがこういうこと？

ghci> (1:2:3:[]):(4:5:6:[]):[]
[[1,2,3],[4,5,6]]

>>365
「元に戻す」の意味が分からん。

リストのリストを元に戻すのは分からんが、単なるリストを元に戻すのは分かるのか？
だったら、その例を書いてみてくれ。
そうすれば、あぁそういう意味かと理解し、じゃあリストのリストの場合はこうだ、と
アドバイスできるかも知れん。

一般的にネストの入れ子とりって言うよ。SICPでも嫁

いきなりSICPとか敷居高すぎますやん・・・
[1,2,3]:[4,5,6]:[]の前が知りたいだけですやん・・・

だから、[1,2,3]:[4,5,6]:[]の前って何やねん

>>369
これの()無しバージョンでお願い

>>374
なんで括弧無しバージョンを求める？

(1 + 2) * (3 + 4) ≠ 1 + 2 * 3 *4 みたいに、
括弧なくしたら演算の意味が変わると思うが

処理系もネストの入れ子とりって奴で
糖衣構文のリストのリストを
()付けて戻していくん？

>>375
もう構うなよ

(1:2:3:[]):(4:5:6:[]):[]

これ、糖衣構文なの？

(1:2:3:[]) と (4:5:6:[]) と [] の3つの項を演算子 : で演算してる普通の式じゃないの？

だから構うなってば

あ、ごめん自己解決
1:2:3:[]　自体も1:(2:(3:[]))の糖衣構文だから
(1:(2:(3:[]))):((4:(5:(6:[]))):[])
これがリストのリストやな

初心者に対しては全力でサポートしてやろうぜ

SICPポチろうかと諦めかけてたけど
型システム入門に載ってたわ(;´∀｀)

>>380
お前の中では 1 + 2 + 3 も (1 + 2) + 3 の糖衣構文なのか？

糖衣構文ってのはプログラム用語じゃないのか？

中置演算子の優先順位的にも構文糖でも何でもないだろ
意味も知らずに使うなよ

じゃあきちんとした意味を教えてたもれ

読み書きしやすくするために定義された構文
Haskellでは中置記法でさえ糖衣構文である

中置記法は立派な構文糖
構文の配置変わってるし

海外でオワコンだからしょうがねえわな
Haskellは

(:) ((:) 1 ((:) 2 ((:) 3 []))) ((:) ((:) 4 ((:) 5 ((:) 6 []))) [])
前置で書いたらこうか
キチンと書いたら疑問も解けたわ

あ、でも　アレか
キチンと書いたら１〜６の数字も
[]だけで表記できるんだよな　

>>372
何か不義理でもしたのか？

何の疑問だよ
一人遊びしてるようにしか見えないんだが

いいじゃん
Haskellなんて趣味の言語だろ
オナニーぐらいさせろって

やっぱり荒らしか

あ、なるほど
どんどん分解していったら
car cdr cons atom eqの5つだけになるんやな
謎がどんどん解けて面白いわ

haskellってlisp互換なの？

ブログでどうぞ

オワコンHaskellスレで暴れられてもな

植民地人を便利に使役するためには宗主国の言語が理解できなくては困る。
けれども、宗主国民を知的に凌駕する人間が出てきてはもっと困る。
「文法を教えない。古典を読ませない」というのが、その要請が導く実践的結論である。
教えるのは、「会話」だけ、トピックは「現代の世俗のできごと」だけ。
それが「植民地からの収奪を最大化するための言語教育戦略」の基本である。

副作用使用罪でﾀｲｰﾎだ

海外じゃオワコンHaskell

逮捕の上、モナド境界線の向こう側へ追放処分とする

海外じゃ既にオワコンのHaskell
島国日本で大人気！！

NHKスペシャルで今日、明日と
神の数式やるけど
このスレ見る奴多そうだな
この世のすべてを数式で表したい

型情報探したり、副作用無しの恩恵ないんだろうけど
やっぱ、ocamlの方が使いやすいのかな？
大体のキラーコンテンツがパーサーや証明定理なんだしocamlに軍配あがるか
haskellのocamlに対するアドバンテージって何だろう?

リスト内包表記

シンプルな文法

無限リストが簡単に作れる

>>409
表現なら出来るが
作るには無限なメモリが必要です

最小のHTTPサーバのソースコードってないですかね？
mightttpやyesodみたいな巨大なヤツじゃなくて

hello world 文字列を返すだけに必要なコード片があったらおしえてください

そろそろオワコンスクリプトでも稼動させてやるか
オワコンって書かれるとスレが伸びるようだからな

>>410
無限リストを実現するのにどれくらいの量の無駄なメモリを必要とするの？

>>410
すまん、恥ずかしながら完全に勘違いしてた。

>>413 は無視してくれ。

>>411
Real Worldにのっていたような
自分で確認してみて

>>415
TCPサーバとUDPサーバはあるけど、HTTPサーバのコード例はない
リクエスト解析とか全部受け持ってくれる関数があれば知りたいのだけど
できれば外部ライブラリのインストールなしでお願いします

>>406
つ http://d.hatena.ne.jp/camlspotter/20101212/1292165692
つ http://d.hatena.ne.jp/keigoi/20101223/1293074938

http://www.mew.org/~kazu/proj/mighttpd/en/
httpサーバ周りのこと書いてあるみたい。
http://snapframework.com/
これはなんだろう。

http://www.yesodweb.com/book/web-application-interface
http://ja.m.wikipedia.org/wiki/WSGI
WAIは、PythonのWSGIやRubyのrackみたいに、HTTPアプリケーション書くためのAPIなので、HTTPの実装はそれに沿ったものを選べる。

WAI実装しているwarpってのでいいんじゃないかな？
http://hackage.haskell.org/package/warp
http://steve.vinoski.net/pdf/IC-Warp_a_Haskell_Web_Server.pdf

http://hackage.haskell.org/packages/archive/wai/1.4.0.2/doc/html/Network-Wai.html
http://hackage.haskell.org/packages/archive/warp/1.3.9.2/doc/html/Network-Wai-Handler-Warp.html
ここら辺が必要十分では軽量なのかも。

http://hackage.haskell.org/package/bird
http://hackage.haskell.org/package/hack-2012.2.6
RubyのSinatra, Rackクローンもあった

waiはreplの後ろで動くから状態が見れるのかいいね

副作用とは自発的対称性の破れって事だな

インテリゲンチャ気取るな
実践こそがハスケル存亡の要だ

Operationalモナドは何でa→Functor a→Monad aと一足飛びに生んでしまうの
間にいるはずのApplicativeの立場は

やった、Applicativeは要らない子だったんや！

Haskellでメモ化とかどうすればいいんですか？
デフォでメモ化されてたりそういうオプションがあったら嬉しいんですけど

副作用のない関数はデフォでメモ化されてるようなもんじゃないの？

>>428
1. まずは「Haskell メモ化」あるいは「Haskell Memoization」でググってみる。
2. ヒットしたページに紹介されている方法をいくつか試してみる。
3. 仕組みを理解する。

どこまでやった？
もし3で躓いているのなら、適切に質問すれば
俺含めてここの連中がよってたかってアドバイスするだろう。


>>429
んなわけあるか。

f x = x * 2
g = f 2 + f 2

たとえこんなシンプルな場合でも、
g の中で f 2 の結果がメモ化されていると「期待してはいけない」。
そんな保証は言語としての Haskell もコンパイラ GHC もしてはいない。

ただ、この程度なら GHC の最適化が働いてメモ化される「かもしれない」が、
繰り返すが「期待してはいけない」。

>>428
こんな感じで書けば良い

x = sum 100

ans = x + x


>>429
そう思っていた時期が私にもありました･･･

ハスケルのメモ化への過度な期待はふつケルのせいで根付いてしまったように思える

俺は期待してる
誰が何と言おうとハスケルのこと信じてる
たとえ自分が傷付く結果になるとしても

Rubyだとブロック付きのハッシュを使うとお手軽にメモ化できるんだけど：

　f = Hash.new { |hash, x| hash[x] = x * 2 }
　g = f[2] + f[2]

Haskellでは、どう書けばいいのだろうか？

>>431
メモ化をなにか別のものと勘違いしていないでしょうか？

そんな感じで書いても決してメモ化はできません。

任意の引数によって関数が評価された際に、その引数と戻り値の対を記憶し、
次に同じ引数を用いて関数が評価される際に、再び戻り値を計算するのではなく、
その記憶させておいた対となる戻り値を返す、このような仕組みがメモ化です。
（どこにどう記憶させ、どう引き出すかによって様々な方法が考えだされている）

こんな感じで書けば良いと紹介されたものは、「任意の」という部分が抜けています。


>>434
4つ前のレス（>>430）の前半は読まれましたか？

>>435
このスレは昔と変わらず、初心者には冷たいんですね....

というか、こんな(>>434)簡単な例すら１カキコでコードを示せないほど、
Haskellってのは使えない言語なんですか？

>>436
やる気が高くなければ使えない言語です。
他の言語で簡単にできる事でも、同じことをHaskellでやろうとすると、たいていは苦労します。

また残念ながら、遊び半分で中途半端に理解してたらまともに使えない言語でもあります。

なので、メモ化の基礎はここでを訊くよりも、ネット上にある
すでにちゃんしたドキュメントになっているものをじっくり読むことをおすすめします。

初心者であるなら絶対にその方が良いです。


初心者が冷く感じるのは重々承知ですが、仕方ありません。
しかし中途半端に理解して後でこじれて、Haskellは面白くないと逃げられる方が辛いです。

浸透していて本当に使える場合は、ありとあらゆる情報を教える
あまり浸透してなくて本当に使える場合は、情報を隠す

雑草記事生え放題の汚染水浸透地区より
マサカリで適度に刈りこまれる土地改良区の方が住み良い

これのことか
http://www.nikkansports.com/general/news/p-gn-tp1-20130921-1192716.html
http://gendai.ismedia.jp/articles/-/36994

>>437
まあ、OA向きに作られた訳じゃなくて目的が違うからね。
実用言語＝短期の投資回収が目的。
研究言語＝長期の投資回収が目的。

>>441
おもしろいね。

>>441
Haskellは実用を目指して作られた言語だそうです。

短期の投資回収が目的かどうかは知りません。

アメリカの金融会社で、商品構成が多種多様になりすぎて保守・新規開発
に悪影響が出始めたので、Haskellでルール記述して合理化したってのを見た事がある。

ocamlのjane streetでないの？

ルール記述までなんだろ

>>434
残念ながら、どんな場合でも使えるメモ化方法はHaskellにはない
やり方は大きく分けて二つ
1. あらゆる引数に対応する戻り値を含む遅延データ構造を作る
2. メモ表を状態と捉えて、明示的に更新する

(1)の例
f_memo :: [Int]
f_memo = map (\x -> x * 2) [0..]
f x = f_memo !! x
この例は引数がたまたまInt一つ(で、負の数を無視した)から無限リストにできたけど、
一般の場合にはMemoTrieみたいなのを使う
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/MemoTrie
欠点は、引数の型が(要するに)[Bool]にエンコードできる必要があること
(OrdやHashableでは足りない)

（2）は、具体的にどうやって状態を扱うかによっていろいろ
Stateモナドを使ったり、IORefを使ったり
欠点は、論理的に必要ないのにモナドを使わざるを得ないことと、書くのが面倒なこと

あと>>437みたいなのは初心者を遠ざける害悪だから消えれば良い

そもそもだが、初心者はメモ化なんて気にするなと言いたい

初心者を卒業して、自分で興味をもって調べられる力がついてから、
メモ化ってなんだろう、どうやってやるんだろって考えれば良いんだよ

何事も身の丈に合ってた学習が大事


初心者のうちから FRP を理解しようとして結局無駄な遠回りをしてしまったバカからのアドバイスだ

Haskellの初心者が他言語の初心者とは限らない
他言語で当たり前にやってるメモ化をHaskellではどうやるのか、って疑問が湧くのは自然だろ

「メモ化」って「ボスが来た」のことか？

仕事中にGHCiで遊んでちゃいけないでしょ。

:!sl

>>450
いや、他言語の玄人だろうと、Haskellの初心者ならメモ化なんて気にするなということだ
気にするなと言われても疑問が湧いて気になってしかたないかもしれんが・・・ぐっと我慢だ

Haskellの初心者を抜けだしたら大いに取り組むということで、お楽しみはとっておけ

「Haskellでメモ化ってどうやってやるの？」
に対して返答が
「気にするな」
ってギャグかよ

Haskellでのメモ化に特に前提知識が要る訳でもないし、隠す理由がない

本嫁ってのが答えなんとちゃうか？

>>449
ちょっと面白い数学の例なんかをやろうとすると必然的にメモ化が欲しくなるので、メモ化の話はモナドの文脈だろうけど
初心者にも説明されるべきだと思うなぁ。

何故、Haskellのスレでメモ化なんて低水準な話題が出てくるのかわからないな。

Haskellは低水準もこなせる言語だから

それは初耳だ

むしろ低水準でこそ使われるべき

>>460
Prologとは完全に決別ですね。

>>457
他の言語のテキストにはTCOが使えないのでメモ化で〜という話が載ってるから

>>454
ちょっと違う

「初心者なんだけど、Haskellでメモ化ってどうやってやるの？」
「気にするな」

これなら特別おかしいという事はないだろ

まぁ、当然反論はあるだろうが、こういう意見もあるだろうなと認めてくれるだろ？

認めるわけねえだろチンカス

無料で教えるのはちょっと…

>>435
あるぇ？

何スレか前にここで

print (sum 1000000)+ sum 1000000)

ってしてもメモ化されないで、2回計算した分の実行時間が掛かるって書き込んだ時に

x = sum 1000000

print (x + x)

ってするように、教わったんだけど･･･

＋のまえの”）”は打ち間違えです・・・

ある式が2回評価されないっていうのと、同じ形の式が2回評価されないってのの違い

>>466
バカか

それは 1000000 にしか対応してないだろ
ちなみに >>431 は 100 にしか対応していない

99 や 1 や -3 や 7 とかにも対応させろよ
でなきゃメモ化してるなんて胸張って言えんだろ

>>469
自分も

f (1+2) (1+2)

とかすれば、自動的に(1+2)の部分をメモ化してくれるのかな？とか思った時期もあったけど、違うっぽいですよ？
あくまで

x = 1 + 2
f x x

とした場合のみ、らしいので、自分の感覚では、手続き型で変数に計算結果を代入してから使うのと同じだなぁ･･･とか思ってる。
結果が数値そのものか、数値を差すポインタかの違いだけで。
あなたの言うメモ化を実現するコードがあったら、私も見たい。覚えたい。使いたい！！
(私もまだまだ未熟なので）

http://icfpconference.org/icfp2013/
ICFPスポンサーだと
Jane StreetはOCamlだけど、
Standard CharteredはHaskell使ってる。

http://cufp.org/conference/schedule
CUFPは、関数型言語の企業ユーザーのユースケースを発表する併設会議。
なんかGREEの人がHaskellの発表してる

http://www.haskell.org/haskellwiki/Haskell_in_industry
これみて思ったんだけど、Tsuruも昔は、ICFPスポンサーやCUFP参加してたよね？
クレディスイスは、Haskell絶滅したことが記事になってたが、、、

>>430
たらい回し関数の実装程度を目標に質問してました
それで
memoized_fib :: Int -> Integer
memoized_fib = (map fib [0 ..] !!)
where fib 0 = 0
fib 1 = 1
fib n = memoized_fib (n-2) + memoized_fib (n-1)
っていうのは見つけたんですがなぜこれがメモ化になるのかわかりません

>>447
もしかしてリストを返す関数は一度計算した分は記憶される感じですか？

s/リストを返す/リストを内部に保持する/

>>470
見るだけでいいのなら、ググって眺めろ

覚えて使うだけでいいのなら、>>447 でも紹介されている MemoTrie でも使っとけ
使い方は MemoTrie.hs のコードの一番最後にコメントで書かれてる

メモ化の仕組みを理解したいのなら、ググったページを読み、そこで使われているコードについて、
自分でチラシの裏にでも簡約される様子を描いてみる事をすすめる
（面倒でも、できるだけ丁寧に）

で、理解不能な点があれば、ここや、stackoverflow などで質問すればいい


ちなみに、MemoTrie の仕組み（基本アイデア）はここで学べる
http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries


まだまだ未熟というのが謙遜ではなく、本当に初心者であることを意味しているのなら、
やっぱりこういうのに手を出すのはちょっと早いような気がするのだが・・・
いや、MemoTrie.hs や他のメモ化の方法を活用するだけなら簡単だけど

>>473
>もしかしてリストを内部に保持する関数は一度計算した分は記憶される感じですか？
まず、リストに限らず同じトップレベル変数の値は一回しか計算されない

v :: Int
v = ...定義...

なら、...定義...の部分の評価はプログラムの実行を通して一回か零回
同様に、>>447のf_memoは、各要素が多くて一回しか評価されないからメモ化になってる

>>473のmemoized_fibはややこしいけど、memoized_fib自体は一回しか評価されないので、
その中のmap fib [0..]というリストも一個しか作られない

ちょっと注意が必要なのは、ラムダの中に書いた式は毎回再計算されても文句が言えないということ
memoized_fibをちょっと変えて
memoized_fib' x = map fib [0..] !! x
と書くと、リストがラムダの中にあるから、GHCのオプションによってはリストが毎回作り直される

>>475
遅延評価を頭に叩き込むという点でむしろ初心者向きの題材だと思う

>>437
おれは >>447 ではないが、

リストどころか、一度評価されて値になったものは、GC されなければずっとメモリに残る
（評価されなくても、サンクの状態でも残るが）

初めて使用する「変数」が指している先はサンクだ
（サンクは、未評価のコードが格納されているメモリ領域と考えて、とりあえず問題ない）

その変数が評価されると、サンクの評価された部分だけが何かの値に変わる
だから、その変数の2度目以降の使用時には評価済みの値が使われることになる

この「評価された部分だけ」という部分が遅延評価だ
リストは結果的にそれぞれの要素が独立して評価済みだったり未評価だったりにできる


これを踏まえれば、>>473 のコードは >>466（や >>431） のコードと本質的に同じだと分かる

そもそも静的言語にとってメモ化なんて
重要な事か？

>>466
メモ化と、同じ部分式を繰り返し評価しないためのグラフ簡約などの話は全く別です。

メモ化と遅延評価って別物?

このスレって２ｃｈの中で一番平均偏差値が高い気がする

>>447
丁寧な説明、ありがとうございました

(1) については、Haskellの遅延データ構造では評価結果が自動的にメモ化されるので、
対象領域に応じた適切なデータ構造を選択すれば(選択できれば？)、
お手軽にメモ化は可能である、ということなんだと理解しました

(2) については、難しいのは Ruby も同じですね
既存のデータ構造では上手くメモ化できない場合、独自のクラス定義やらが必要になります
Haskellについては、無理にモナドを使わずとも、対象領域に適した遅延データ構造を
設計する発想で考えたほうが単純な気がしないでもありません....

>>483の名前欄が間違っておりました

>>481
別物だけど、遅延評価を使うとメモ化が楽に書ける

たとえば>>434のRubuコードだと、先頭行の Hash.new で
ブロック(=ラムダ式)を使って代入式 hash[x] = x * 2 の「評価を遅延(delay)」させ、
その後のハッシュ参照式 f[2] で「評価を強制(force)」している

対象:Platform 2013.2.0.0
環境:Windows2000 SP4
症状:Win32-2.3.0.0モジュールの読み込みに失敗する

現場:
GHCi, version 7.6.3: http:://www.haskell.org/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude>Graphic.Win32.Window.mkClassName "TEST"
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package bytestring-0.10.0.2 ... linking ... done.
Loading package Win32-2.3.0.0 ... linking ... <interactive>: D:\Program Files\Haskell Platform\2013.2.0.0\lib\Win32-2.3.0.0\HSWin32-2.3.0.0.o: unknown symbol `_GetProcessId'
ghc.exe: unable to load package `Win32-2.3.0.0'
Prelude>Help me

Windows2000 ...

>>486
http://msdn.microsoft.com/en-us/library/windows/desktop/ms683215(v=vs.85).aspx
GetProcesIdはWindows XP SP1以降らしいよ
OSをアップグレードすればいいんじゃね

Windows2000はサポート外なのか。。。ｷﾞｷﾞｷﾞ

virtual boxからlinuxやな

>>489
古いバージョンのGHCを使う手もある

>>491
これが妥協ラインだなぁ
なんか悔しいわ
出来上がったバイナリも最新コンパイル版に劣ると思うだけでコーディングも身が入らないわぁ

ひょっとしてWin32パッケージバージョン落として入れ直して
これに依存する全パッケージも再度ビルドインストールし直したら最新GHC使えるってことすか？

>>493
Windows2000にギガパッチあてることになると思う

beta が、本ちゃんになった

Well-Typed and the Industrial Haskell Group (IHG) are very pleased to announce that Hackage 2 is now powering the official Hackage server.

産業ハスケル団が暗躍しているな

オワコンだしなHaskellは
プログラミング言語のランキングにすら乗ってない
ゴミだったな(笑）
数年前に始まって一瞬で散ったな(笑）
オワコン(笑）(笑）(笑）(笑）

馬鹿には無理なのに、低能が使ってみようと無駄な努力をして
結局まともに書けるようにならず、憎しみだけがHaskellの名と共に記憶に刻みこまれ
掲示板に呪詛を書き込むようになる
そんな言語だな

オレニハ ワカラナカッタ コンテンツ
略してオワコンだな

よし・・・誰もいなくなった

いまのうちにHaskellは頂いて行く
フハーーーハッハッハ！！

　　　　　　　　　　　　〃´⌒ヽ
.　　　　 ,　-――　　ﾒ／_´⌒ヽ
　　　／　　　／￣　　´ヽ ヽ
.　　/　　,　 /// ﾄ. !　　､ 丶ヽ
　　l　　/　/（(（リ从　　ﾘﾉ）） '
　　|　　i　 l　　　．　ヽﾉ　．V l
　　l　,=!　 l　 ///　　　 ///l l　　　ねんがんのHaskellをいただいたぞ！
　　l　ヾ! ', l　　　　ヽ_フ　　 l l
　　|　　ヽヽヽ　　　　　　　 //
　　l　　　 ヾ≧　, ＿_ ,　イ〃
　　li 　 （´｀)l {ﾆ0ﾆ}､ |＿"＿＿__
　　li 　 /l, l└ ﾀl」／l´　 　 　 　 `l
　　ﾘヽ/　l l__　.／　 |___＿＿＿___|
　　　,/　　L__[]っ ／　　　　　　／ ::::::::/　　　　　　　　　　 ヽ、　　 :: ::: ::: :::::::::::::::::::::::::::::::::
:::::/　　　　　　　　　　　　lﾊ　::: : :: :::::::::: :::::::::::::::::::::::::::::
::::l　　　　　　　　　　 l　 /ﾉﾘ　::: : :: ::::::::::: :::::::::::::::::::::::::::::
:::|　　　　　　　　　　/） /　::: : :: ::::::::: :::::::::::::::::::::::::::::
::l　　　　　　　　　　/ｲ/|　. :. :. .:: : :: :: :::::::: : ::::::::::::::::::
/　　　　　　　　　 /　||/ /￣￣￣￣￣７l::::::::::::::::::::
　　　　　　i　　　/_,／i!/　 　　　　　　 /　l::::::::::::::::
　　　　　 l　 　 人　　/　　　λ　　　 /　 /::::::::::::::::
　　　　　l　　 /　/⌒ヽ　　ASKUL　　/　 /::::::::::::::::
　　　　　l　 /iｌ　 |　　 ）　　　　　　/　 /::::::::::::::::
　　　　　ll　l　i!　｀ｰ、＼＿＿＿ / ｎ/::::::::::::::::
　　　　　lヽ l　　　　|＼. ＼　　　/⌒〉::::::::::::::::

日本語入出力さえ
日本語入出力さえデフォルトで不自由なく使えれば…

>>502
Windows使い？
それならGHC 7.8でSystem.IOがCJKに対応するはず

http://partake.in/events/47d20a8e-6e33-4871-ad7f-ddc9b4e2727f
http://connpass.com/event/3420/
haskellもscalaも初心者に盛況だった。

日本語はicuとかいうのを使えばいいのか？

windows以外なら何もしなくていいはず
windowsでも動いて欲しいならtext-icuだっけ

本当にWindowsってプログラミング界の足を引っ張ってんな

半分は同意するが、all-the-world's-a-UNIX 症候群には与したくないな。

all-the-world's-a-UNIX 症候群には与したくないな

>>507

>>507
はやく UTF-8 通るようにしてくれ
とは思う

なんだかんだ言って、unixよりwindowsで開発した方が可搬性が高い件について

haskellの場合は、Windowsのコンソールで使いたい人とWindowsコンソールに詳しい人、開発する気のある人にギャップあるんだろうね。

MSのスタンスは、POSIX系の国際規格には入札に必要な範囲で対応というイメージ
http://support.microsoft.com/kb/93360/en
一時期商用の需要があって有償対応オプション用意してたけど、いまはもうメンテしてないのかな。

clojureclrという.net向けのツールも最初は、mono/linuxのposixコンソールで動か無かった。

scala,clojureもコンソール向けにjlineというreadline対応ライブラリを組み込んでreplが動くようになってるが、
当然windowsのコンソールでは邪魔なので、あとから外したりしてる。

ゲーム系の開発者は、VisualStudioで開発して、linuxで動かすということがあり、
開発環境と本番環境で動くように作ってるというのは聞いたことがある。
ただあんまりインターラクティブシェルをつくってる話はきかない。

検索したらposixからwindowsの記事の方が上にきてた。
http://msdn.microsoft.com/ja-jp/library/y23kc048(v=vs.90).aspx
http://mattn.kaoriya.net/software/20120507131015.htm

なんとなくhaskellのライブラリも、ポータビリティ確保、環境ごとの高速化の順序ではないイメージ。

>>507
ディストリによって互換性が大きく異なり、
たかだかブラウザを動かす程度でも独自にライブラリをビルドする必要があるLinuxの方がよっぽど足引っ張ってると思うが…
http://tubapr.hatenablog.com/entry/2013/07/31/142736

Linuxはディストリが乱立し互換性も無いせいでソフトウェア資源が分断されちゃってる状況
流行りのディストリじゃないとChromeすらまともに動かない現実

ポータビリティ考えるとgnuライセンスのglibか、mitライセンスで再実装したeglibをベースにするといいと思う。
http://ja.m.wikipedia.org/wiki/GLib
http://d.hatena.ne.jp/kakurasan/touch/20111215/p1

別にWindowsがLinuxに比べて悪いという話じゃなくて、
windowsとposixのAPIが大きく違いすぎて両方に対応するのが面倒という話だろ
windows版を積極的に使ってるGHC開発者が少ないのでバグが放置されがちになっている

5年前にWindowsで作ったモノを今のWindows8で動かすより、5年前にLinuxで作ったモノを今のLinuxディストリで動かす方が難しい

そこでゲームプラットフォーム Steam OS の誕生である。

Steamにゲーム開発環境としてHaskellを管理してもらうGreen Light投票マダー？

エディタで""などを補完してくれるやつありますよね？
でも"カーソル"になって文字を打ち込んだ後""から抜けて　"あいうえお"カーソル
っていうふうにやりたいんですが
やれるエデタ知りませんか？
Ｈａｓｋｅｌｌでそういうエディタ使ってるひといたら教えてください

←　→で移動するの大変なので教えてください
ＧＵＩのemacsやvi以外のやつで教えてください

>>522
np
Thomas Schilling
Anders
Jean-Philippe Bernardy
Masayuki Hatta
Jeff Wheeler
Corey O'Connor

Haskellで制約プログラミングできますか？

>>524
そんなエディタ無いんですが
真面目に教えてください

>>523
vimとEmacs以外だとSublimeTextを使ってる人を見たことがある
自分では使ってないので詳しいことは知らん

SublimeTextとか新しいエディタ言わなくていいので
他のやつ教えてください

>>526
>Ｈａｓｋｅｌｌでそういうエディタ使ってるひと

>>526
仕様通りhaskellで、そういうエディタを使ってそうな人を列挙しましたが何か？

本当に""とか()とかの移動できるのでしょうか？
SublimeTextは""っていれたらどのような動作しますか？
"カーソル"　文字を打ち終わって "文字"カーソルにするにはどういうキーやってますか？教えてください

ここまでウザい教えて君はじめて見たな

動画アップロードしたほうがいいでしょうか？
ちょっとどういう動作か教えるために動画アップロードしてきますね

動画のあげ方がわからないので引き続き教えてください

>>534
notepad++

動画の上げかたすら10分で諦めるくらいなんだから、さっさと人生も諦めたらいいのに

>>530
使ってる人じゃないじゃん。

emacsで充分

教えてください
notepad++ってやつは前に試しましたがうまくできませんでした

文字を打ち終わるってどうやって判定するの

>>530
アスペネタいいね！

>>537
Haskell用エディタのコントリビュータのリストなんだけど

早く教えてください

いまいち言っていること分からんが、
それvim(viは知らん、emacsも知らん)で出来るぞ。あとスレ違、これ重要。

あほしかいねえやこのスレ
使えね
ゴミオワコン

俺はアンチ関数型派なんだけど>>545みたいなのが仲間だと思うと関数型頑張れとしか言いようがない。

アンチ関数型派ってコールバックとかどうやって実装してるのだろうか

import Control.Monad (forever)
import Control.Concurrent (forkIO)
main = forever $ forkIO (return ())

x あほしかいねえやこのスレ

o あほしかいねえやこの板

>>549
傷ついた！謝罪と賠償を要求する！

Haskellじゃないんですが
皆さんPHP書くときどんなエディタ使ってますか？
教えてください

Haskellじゃないんですが
expressっていうnode.jsやPerlのCGI::Aplicationのフレームワークは
ＭＶＣ型のフレームワークとどうちがうんですか？
私が生まれる前のことなのでイマイチわかりません
フレームワークというとＭＶＣ型のイメージしかないんですが教えてください

こいつ最高にアホ

試せば済むだろ知恵遅れ

そんなこといわずに教えてください

relude> :m + Control.Monad
Prelude Control.Monad> let powerset = filterM (const [True, False])
Prelude Control.Monad> powerset [1,2,3]
[[1,2,3],[1,2],[1,3],[1],[2,3],[2],[3],[]]


これだけでべき集合が書けるhaskellって凄くね？
ちょっと感動したんだが

これをつかって
>>98これの110円の払い方を考えてみました
[x|x<-powerset[10,100,1000],sum x == 110]

どこまでいけるのか[1..]を増やしていくと
２０数個でout of memoryって出るんですけど
haskellでもここらへんが限界？

>>555
教えて君は巣に帰れ

>>552
私が生まれる前ってexpressができたのは最近だけど？
バカだなお前は

>>553
最高にアホというよりクズ
情報乞食が必死
迷惑をかんがえろ

>>559
いちいち報告すんなカス

ふざけないで教えてください
expressっていうnode.jsやPerlのCGI::Aplicationのフレームワークは
ＭＶＣ型のフレームワークとどうちがうんですか？

真・スルー　何もレスせず本当にスルーする。簡単なようで一番難しい。
偽・スルー　みんなにスルーを呼びかける。実はスルーできてない。
予告スルー　レスしないと予告してからスルーする。
完全スルー　スレに参加すること自体を放棄する。
無理スルー　元の話題がないのに必死でスルーを推奨する。滑稽。
失敗スルー　我慢できずにレスしてしまう。後から「暇だから遊んでやった」などと負け惜しみ。
願いスルー　失敗したレスに対してスルーをお願いする。ある意味３匹目。
激突スルー　話題自体がスルーの話に移行してまう。泥沼状態。
疎開スルー　本スレではスルーできたが、他スレでその話題を出してしまう。見つかると滑稽。
乞食スルー　情報だけもらって雑談はスルーする。
質問スルー　質問をスルーして雑談を続ける。
思い出スルー　攻撃中はスルーして、後日その思い出を語る。
真・自演スルー　議論に負けそうな時、ファビョった後に自演でスルーを呼びかける。
偽・自演スルー　誰も釣られないので、願いスルーのふりをする。狙うは４匹目。
３匹目のスルー　直接的にはスルーしてるが、反応した人に反応してしまう。
４匹目のスルー　３匹目に反応する。以降５匹６匹と続き、激突スルーへ。

>>561
使ってみればいいっていってんだろキチガイ

>>550
自分があほだということは認識してるようですね

こうやってHaskellスレは壊れていく

Haskellスレが壊れてない時なんてあったんてすか！？

>>566
いちいち反応するなクズ

>>552
おでんと煮物ってぐらい違う

わけわかりません
expressっていうフレームワークはMVCではないのでしょうか？
教えてください

>>567
３匹目のスルー

ほんとに外国じゃHaskell廃れてきてるの？

>>569
4匹目のスルー

>>570
検索方法すら知らない奴には縁が無いから心配するな。

>>570
http://www.google.com/trends/explore?q=ruby,python#q=haskell, ocaml, erlang, f#&cmpt=q
Google Trendsでm見ると検索ボリュームは減ってきてるかも
ただ関数型言語じゃわりと検索されてる方

ちなみにScalaをここに加えるとScalaが圧倒的に検索されてる
http://www.google.com/trends/explore?q=ruby,python#q=haskell, ocaml, erlang, f#, scala&cmpt=q

スペース入ってるせいでリンク扱いされない場合はhttpから&cmpt=qまでコピペしてアドレスバーに張ってくれ。

>>570
廃れてる
何度も聞くなキチガイ
オワコンなんだよ

>>568
ググれカス
だからお前はクズなんだよｗｗｗ

>>568
こいつはただのキチガイでした

会社でもこんなこときいてるのか？池沼かよ(笑）
っで？expressが知りたいならもっと教えて！っていうことだな(笑）

どうでもいいので早く教えてほしいです
expressってMVCなんでしょうか？
express MVCで検索してもでてきません
教えてください
スレ違いですみません
ですがJavascriptやってる日といたので教えてください

（キチガイの隔離スレ正常に機能中）

perlスレ荒らされたやつがこのウザさをわからせるために
Haskellスレにも同じことしてんだろ

>>577
早く消えろゴミ

言語関係なく何でもいいから荒らしたいのか

> 579
>>perlスレ荒らされたやつがこのウザさをわからせるために
普通は荒らしてる本人と考えるだろｗ

言っとくけど俺をあまりナメないほうがいいよ
プログラマー板でコテハンやってるしこのスレ潰すくらいの影響力は持ってるから
くだらないことで刺激して後悔しないようにね

たしかにこのスレはスルースキル低い奴が多いがその釣り針はちょっと大きすぎるのではないか（困惑）

っとわめく無能であった

おーいみてるー？尾崎隆大(笑）

っとわめく無能であった

Haskellスレ壊滅

諸君、議論したまえ

>>585
なんで突然私の名前が出てくるのかな。

今回のスレで私の発言は >>457 >>461 だけだと思うし、これも、
http://ja.wikipedia.org/wiki/Prolog#.E9.9A.8E.E4.B9.97.E4.BF.9D.E5.AD.98.E8.A8.88.E7.AE.97
の低水準なイメージがあったから。課題に使わせてもらったのは、
http://nojiriko.asia/prolog/haskell23_100.html
だけ。何故(笑)なのか分らん(笑)

Freeモナドの前にまずはFix理解しないとダメなのか
だれかホモアニメのメタファーで説明してくれないかな

http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14114292864
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14114292864
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14114292864
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14114292864
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14114292864
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14114292864
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14114292864
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14114292864

>>577
ヤフーにまでマルチポストしてんじゃねーよクズ
キチガイかお前は？アスペだなｗキチガイｗ
迷惑なんだよキチガイ

>>593
そいつは真性キチガイ
ム板で暴れまわる池沼

>>577
お前はヤフー知恵遅れとこのスレの趣旨を理解してんのか？
意味わかるか？
ここで質問するなってことだ

またまた荒らしが沸いてる
どうにかならんの？

どうでもいいので早く教えてほしいです

私の質問を春のやめてください

expressってMVCなんでしょうか？
デザパタってやつなんでしょうか？
ＭＶＣのほうかになにがあるんでしょうか？
expressはなんなんでしょうか？

Microsoftが無償で提供している評価版のIDEのことです。
プログラミングを学ぶのに良い環境なので、是非、Windowsにインストールしましょう(^o^)/~

尾崎隆大(笑）新所沢ライノーズ少年部部長(笑）
わざわざ本名出して書き込むやつ(笑）

>>598
俺は野球やっていたがもっと遅く生まれて
新所沢ライノーズ、尾崎隆大監督のもとで野球をやりたかったな
Prologもやってんだろ？プログラム宿題解決してくれるんだろ？
まさに下請けしてくれるドラえもんじゃないか

>>590
自己紹介乙
Twitterに帰れ

>>599
お前は一生ボール拾いだけどなw

>>596
ねえ？MVCって意味わかってる？
ググろうぜ無能
ググれないならインターネットの回線を切断することが重要だよ
今からはさみをもってネットの回線を切ればいい
そうすれば解決するから

尾崎隆大
https://twitter.com/TakaoOzaki

荒れまくり・・・
なにがあったんだよHaskell板・・・

940 名無しさん＠実況は実況板で [sage] 2013/07/06(土) 18:13:08.33 ID:eTXsr4dg
埼玉 新所沢ライノーズにパワハラコーチがいる。
小学生相手に言葉遣いが酷いです。
この世界ってこういうものなのですか？
一生懸命頑張っている子達に、ヘタクソとか馬鹿野郎とかって普通ですか？

946 名無しさん＠実況は実況板で [sage] 2013/07/20(土) 07:24:25.20 ID:4Av9qiS0
それってライノーズのAさんですね？
試合時に審判からも注意されてるの何度か見てますよ。
息子さんが大活躍しているそうで調子に乗っているのか、誰からも注意されないのかって感じでしょうか。

諸君、新所沢ライノーズについて議論したまえ

個人名出してる奴はなんなの？
マナー違反じゃないの？
倉りん実つらぬの？
衣食足らぬの？

あ、俺尾崎隆大じゃないからね(＾ω＾；)

っとなげく池沼であった

機能してないクソスレ
オワコンスレ

プログラミング言語のシェアは現在新所沢ライノーズが1位ですが、
このまま新言語が出てくるまで天下でしょうか？
朝鮮でブームが去りつつあるHaskellは今後はどうなんでしょうか？
教えてください

みなさんの憶測でもかまいません

>>607
オライリーの犀本はJavaScriptだね。

>>608
お前にきいてませんキチガイはきえろ

>>577
ExpressってやつはDSLらしいです
RubyのsinatraっていうやつもDSLっていうやつらしいです
Sinatra は Rails のようなモデル-ビュー-コントローラ (Model-View-Controller，MVC) フレームワークではない。強いて言うならば，"Ruby を使用して web アプリケーションを作成するためのドメイン固有言語 (domain-specific language)" である。

>>609
回答ありがとうございました！
DSLって何でしょうか？意味わかりません
PerlのCGI::ApplicationもDSLなのでしょうか？
MVC以外の概念のフレームワークの名前ってどんなのがありますか？

さっさとこのスレ違は消えろよクズwww

>>611
スルーできない、答えられないお前が消えろ(笑）
そしてHaskellスレは質問君によってつぶされたな(笑）

ム板屈指の糞スレ

HaskellってGHC拡張なしで大規模開発できるの？

できないし、その拡張がずっと使えるという保証もない
実験言語と割り切るしか無い

（；ω；）

>>614
C++もVC++のMFCや.netみたいな拡張ライブラリないとまともに開発出来ないだろ？
将来も使える保証無いだろ？

どの言語も基本同じ。
マイナーな言語はその拡張ライブラリを作って貰えない可能性が高いけど、Haskellはマイナーな言語の中では恵まれてる方だと思う。

>>612
糞スレ以前に機能してないんですけど
荒らされまくって

っと嘆くクズであった

>>610
ん？だからググろうなクズwww
いちいちここで質問を書くなら
Googleの検索バーに質問内容を打ち込もうwww
それすらわからないクズなんだなｗ

中学時代のHaskellの授業でインターネットを使った時

みんなが自分の好きな漫画や野球のページを見てる時に

自分だけこれみよがしに2ｃｈにつないでAAとかを周りに見せてたこと

しかも「このページって何？」って聞かれた時に「ヤバイ奴らの集会所みたいなもん」とか答えたこと

さらに友達に2ｃｈへの行きかたを教えるためにヤフーで2ｃｈって検索させて

でてきたリンクをクリックして2ｃｈのトップページが表示された瞬間に

そいつの耳元で「Welcome to　Underground」ってささやいたこと

そこはWelcome to the Dependency Hellにして欲しかった

教えてくんはちょっと落ち着いた方が良い
自分もHaskellの事はちんぷんかんぷんだと思うが
教える方も実はよく分かってないんだ
それぐらい難しい言語なんだよ
それを理解してくれよな

っとなげく要望君であった

>>632
>そこはWelcome to the Dependency Hellにして欲しかった

ん？だったらお前が書き直して貼り付けろや
お前がいちいちレスしたから荒れるんだろ？
迷惑だなお前はモテないし仕事もできない無能っぷりがにじみ出てるぜ？

>>623
っで？wwwwwwwwwwwwwwwwwwwwwww
ちんぷんかんぷんならわかりやすくお前が教えろよwwwwWWWww
いちいちクソ荒らしにレスするなキチガイwww迷惑してんだよwww
お前みたいなクズが嵐に絡むからあれんだ？わかるか？クズwww
わかったらこのスレから消えろチョンwww

>>624
お前もイチイチレスするなクズ

もうだめだなこのスレ
Haskellの話題だすだけで荒れる
たすけて

っとわめく他力本願のクズであった

このスレは人多めだよな。
年齢層低めなところは、ほかのソーシャルメディアに移ってる。

厨房はエロ動画漁ったりゲームやってりゃいいのに、なんでこんなスレ荒してる。

さっさと消えろキチガイ

>>617
Windowsなんて
将来も使われる保証ないだろ？

そりゃそうじゃ
いつでもいつもいつもいつもHaskell崩壊

WindowsがGoogleに潰される日はくるか

こねえよごみ
ご飯がパンにつぶされる日はくるのか
みたいな無能な問い
クズだな無能

っとわめく無能であった

Googleがつぶさなくても勝手に自滅する

世の中の仕事の9割は、Windowsでも充分な単純事務処理だから、潰れるとしても随分先の事。

Excelでできない事を考えると頭がおかしくなる

今自分はネットブックを使っている。

買うときには、ネットブックかAndroidタブレットかそこそこ悩んだものだが、
実際問題、Android端末ではGHCiは動かない。

Haskell使わなければAndroidで充分とも言える。

>>640
ム板でそれ言うか？

Haskellはメモリ効率が悪いのでメモリはいくらでも欲しくなるし
マルチコアで簡単にスケールするのでCPUもいくらでも欲しくなる

質問です
育毛剤のめばHaskellができるようになりますか？

ハゲは消えろ

ハゲはこちらへ

★ハゲがやってはいけないこと
http://uni.2ch.net/test/read.cgi/hage/1377963766/

>>634
米とパンとか頭大丈夫か？
Windowsは今後とも永久不滅
わかったらさっさと消えろキチガイはw

（ハゲの気持ちがわからないこのスレ）
ゲハスレ

　　 ／￣＼
　　.|　　　　|　　　 このスレはゲハとは関係なく
　／＼_+_／＼　　朝鮮言語Haskell予定です。
　|_l　　 |　 　l_|　　ご利用の皆様には大変ご迷惑を
　ヽ.|＝ロ＝|/　　 おかけしております。
　　 .|　 |　 |
　　 .|＿|＿|　　　　　　　　ハゲ一同
　　 （＿|＿）　　　　

とあるリストがあって let l = [1,2,3]
この要素ひとつひとつに対して f :: Int -> IO （Maybe Int) な関数を適用して行き
Justが返ればそれ以降の処理を中止する
という処理はどう書けばいいんでしょうか？
forM l f から最初のJustを取り出す方法だと当然すべて要素に対して f を呼んでしまいます

っとなげくハゲであった

>>610
まず最初に、MVCはフレームワークではありません。
MVCはパターンです。それもアーキテクチャーパターン（設計パターン）と呼ばれるもので、アプリケーションの全体構成をどのように設計するのか？というものです。
「MVCフレームワーク」と呼ばれるものは、「MVCパターンを実装しやすいフレームワーク」という意味です。
フレームワークを利用したからMVCになるのではなく、あくまでプログラマーの手によってMVCが実装されるのです。

expressは、MVCパターンのうち主にControllerの実装をサポートしてくれます。
Viewについては、別途テンプレートエンジンを用意します。
Modelについては、一切実装されていません。

>>610
あれはMVCではなく、ルーティングだけ提供するRubyでいうSinatraのようなものだと思ってます。
で、外付けのテンプレートエンジン（デフォルトjade）があるので、Viewも提供しているように見えます。

>>651
知ったかぶりは消えろ
>Sinatraのようなもの
ExpressとSinatraは全くの別物だけどなクズw

>>650
正解

>>651は知ったかぶりで嘘教えてるので参考にしないように

答えられないなら答えるな
まさにそれですね（震え声）

>>648
まず訊くが、その処理を泥臭く書くことはできる？

泥臭くというのは、ポイントフリーみたいにかっこ良く宣言的に書こうとせず、
if なんかを駆使して手続き的でもいいから、とにかくやりたい処理をそのまま記述できるか。

つまり、引数の l と f を使って、どういう経過を経て最初のJustだけを取り出すか、
その流れが頭に思い描けるかどうか、ということなんだけど。

>>651
ん？何を言ってんだお前は？
クズみたいな回答してるお前はまじこのスレの恥
さっさと消えろ

ハーWWWWWWWWW
責任もって嘘教えた>>651はもうこのスレにこないでください
金輪際PHPをかたるのやめてくださいねw

>>653
震え声？
なにびびってんだ？
ガンガンたたけ

もういいよ
このスレ壊そう

>>653
知った相手に震えるとかカスだな
お前も同等のゴミ
MVCとかいってる情報乞食も同等の雑魚

やだよ
何一人で決めちゃってんの？

っとなげくクズでした

Haskellerの欠点は
プライド高い奴が多すぎて
チームプレーが出来ない所

っと天才肌の一匹狼に憧れるクズであった

Haskell初めて数ヶ月たつのですが
まだまだ使い慣れていません
オーダーは間違っていないと思うんですが
作業終盤にあたって盛り返すことができずやられてしまいます
どうすればいいんでしょうか？
やっぱりバフはくるのでしょうか？
不安です
朝鮮鯖でプレーしていますが
自分はマイクロ操作に自信があるのですが・・・それでも未だにプラチナ昇格できません
勝つ方法教えてください

>>663
下手糞noobはきえろ
アインストールしろクズw
何で負けてるのにやるの？Mなの？気持ち悪いよ

>>658
情報乞食ってゆうけど
ここも教えて君ばっかりになっちゃったね（＾＾；
なんてゆーか荒らしばっかり
まともに会話すらできないもん

もうやめて！！！
前のHaskellスレに戻って！！！

戻りません

スルー推奨

>>663
開始3分裏小屋からのエジ鎌ラッシュ。これで勝つる

>>668
おっ　こんな所でRoRが出てくるとは思わなんだ

>>654
ありがとうございます
f :: [Int] -> IO [Int]
f (x:xs) = ..
case r of
[] -> f xs
r -> [r]
のように f を再帰で書き直せばできます

rを計算する部分だけを切り出した g :: Int -> Maybe Int を作って takeWhile すればよくね？

Haskellは結局、かけた時間が最も大事。ただ、時間をかければいいってものではなく、ちゃんと意味のある時間のかけ方をしないとダメ。
密度の濃い時間にするというか。
RPGなんかと違って、たたかうを選んでればレベルが上がるわけではないので

>>668>>663
ゲームッカスは消えろ


>>672
Haskellなんてのは有り体に言って戦争なんだから、 場に出してるお互いのカードに文句を言う意味はない。
相手のカードが揃っていないなら虫けらのように潰せばいいだけ。
他にいい方法があればデッキを組み直すだけ。

Haskellの向き不向きってのを見極めるのが難しい。
というかHaskell自体趣味だからエンジョイ勢は一生気持ちよくなれる選択肢をやっていけば良い。
でも勝ちたい奴はそこを我慢して自分という人間と状況に合った選択肢を選ばなければならない。
これはHaskellをする上で明確に意識しなければいけない

っとゲームで例えるクズでした(苦笑）

Haskellってもしかしてファンよりアンチの方が多いんじゃ・・・

>>670
なんでfを書き換える話になってるんだｗ

>>648に戻ると、(>>654も言ってるように)リストを前から辿る関数を書きたいなら
愚直に再帰で書けばいい

a648 :: (Int -> IO (Maybe Int)) -> [Int] -> IO (Maybe Int)
a648 f [] = (ここを埋める)
a648 f (x:xs) = (ここを埋める)

これができたら、foldrを使って書き直すのは簡単なので好みで
ただし、それ以上かっこよく書くのは標準ライブラリでは無理だと思う
標準に付け加えるとしたら、
newtype MonadicFind m a = MonadicFind (m (Maybe a))
instance (Monad m) => Monoid (MonadicFund m a) where...
とかかな

元はリストの先頭から計算結果を返すものだけ評価したいという話なのに
なんでfoldrが出てくるのか理解できないんですけど

>>663
軸は3つある。
戦闘で勝つこと、欲張ること、相手のワーカーを狩ること。
戦闘で勝つために必要なのは編成とマイクロだ。相手より強い編成を作り、上手く扱えたほうが勝つ。
欲張るために必要なものは、すべてのHaskellが最初から手にしている。
Haskellというのは結局のところ定点防衛力に優れた種族だということである。
Bunkerがある。動けないが序盤に倍のMarineの攻撃を守れる。
Tankがある。シージすると動けないが先にシージしたほうが強い。自陣にいれば先にシージできる。
そうそう攻め切れない。しかしだからといって攻めたら勝てないわけではない。

>>663

Haskellの考察

ワーカーを狩ればユニットの量が変わってくる。すぐに勝つことはできなくても5分後に勝つことは容易である。
Haskellの防衛力が高いといっても、Haskellの防衛戦力は中々動けないのである。変なところからくるハラスへの対応には手間取りやすい。つまりワーカーを狩る隙がある。
しかし正面からくるユニットにはこの防衛力が多大な働きをする。普通地上からベースへの入り口は一つしかないのだからTankが動けなくても問題はない。
つまり乱暴にいうとハラスで攻めてTankで守るか、欲張ってTankとハラス対策ユニットで守ればいいということである。
もちろん他にもTankを使わずに動きまわるビルドがあったりAirが絡んだりと色々なジャンケンが存在する。重要なのはいかにして編成差を作れるか、内政差を作れるかである。

参考になりました
ありがとうございます

>>678
リストを前から順番に処理する関数は大抵foldrで書ける

Control.Monad.Loopsをつかう

>>682
あの、そういうことじゃないんですよ。
たとえば、sequence の実装は↓のように foldr つかってるんだけど
すべてのmonadicな値を*評価*してしまうんです。

sequence ms = foldr k (return []) ms
where
k m m' = do { x <- m; xs <- m'; return (x:xs) }

>>648の要求は「条件が合ったら以降のリスト要素を評価したくない」といっていて、
あなたの回答は要件を満たせていませんよと言ってるんです。

へーhaskellのfoldrって前から処理なんだ

>>684
途中で処理を止めるのも問題なくできるよ
答を書いてしまうと、

a648 :: (Int -> IO (Maybe Int)) -> [Int] -> IO (Maybe Int)
a648 f l = foldr g (return Nothing) l
　where
　　g x next = do
　　　r <- f x
　　　case r of
　　　　Nothing -> next
　　　　Just v -> return (Just v)

-- てすと
main = a648 f [0..10] >>= print
　where
　　f i = do
　　　print i
　　　return $ if odd i then Just i else Nothing

遅延評価は難しいね〜

私はHaskellを続けるよ

runMaybeT . foldr mplus mzero . map MaybeT

おっと、foldr mplus mzero は msum だったか

>>689
それ気づかなかったわ
標準ライブラリでかっこよく書けない云々は間違いだった。すまん
（「標準ライブラリ」の定義が曖昧なのは気にしないことにして）

Hackage 見たら MaybeT 二つあったし、標準って感じじゃないよな。
モナドになると気づけば、Hackage にあるのは間違いないから探すだけだった。

transformersはHaskell Platformに入ってるからある意味標準と言って良いと思う
(Haskell2010にはないから、その意味では標準じゃない)

>>676
そりゃあんだけ型が合わないだのなんだのコンパイラに突っぱねられれば怨みも持つさ

インテリにいびられるストレスと似たものを感じるからね

これを克服するには自分もインテリ気質にならざるを得ない

ちょっと教えて欲しいんだけど
・遅延評価のメリット
・Haskellで書けるプログラムの範囲
この2点が様々なブログを読んでも抽象的にしか書いてないんだけど
この辺ちゃんと説明してくだちぃ

>>695
正直、真面目に答えて欲しいのなら真面目に訊いてこい、と言いたい。


それはそれとして、抽象的なのがちゃんとしていないというのなら、
具体例を挙げればいいのか？

・遅延評価のメリット
素直に計算式を書くだけで、余計な計算をしない処理をしてくれる。
例えば画像処理で、画像に回転を施してからトリミングするとする。
Haskell ならこの通りに素直に (trim . rotate) という関数を画像に適用すれば、
トリミングで失われる画素の回転処理は自動的に省かれる。

・Haskellで書けるプログラムの範囲
質問の意図が分からん。
この範囲までだよと言ったら、君はそれ以上の可能性は一切排除してしまうのか？

逆に訊きたいが、Java や C や Python などで書けるプログラムの範囲などはどうなんだ？

むしろHaskell以外の言語は書けるプログラムの範囲を具体的に定めているのかと聞きたい

みんなHaskellを特別視してる
クラス委員長のように取っ付きにくいと思って攻め倦ねてる

＞・遅延評価のメリット
たらい回し関数なんかの場合の遅延評価の恩恵は、別にHaskellである必要はなく、
クロージャを備えた言語ならどれでもできる
Haskellならではといえば、ループをリスト処理に簡単に落とし込めるということかな
逐次IO処理をリスト処理で行えるのは思考とコードの節約にもなり、高アドバンテージ

＞・Haskellで書けるプログラムの範囲
チューリング完全な以上、どの高級言語も同じ範囲に収まっている
対象の分野に対して記述しやすく実行効率の良い言語を選ぶしかない
なんでもかんでもHaskellで書こうというのは我慢フェチの変態オナニー

>>698
それです

>>699
あー、すごいわかりやすい、やはり言語ごとの得手不得手で使い分けですね
逐次IO処理ってForeachループ内の処理を共通メソッド化できるって考えですかね？
だとしたら無名関数便利だからJavascriptやラムダ式が便利ってのと何が違うんですかね

もちろん言語は適材適所で使い分けなんだけど、
Haskellに関しては得手不得手がそこまではっきりしてないので、
「なんでもかんでもHaskellで書こう」という奴が多いように見えるかも
個人的には、「PCで動くプログラムはOSとゲーム以外全部Haskellで書く」
くらいの選択はおかしくないと思う

俺 >>696 の意見はスルーか

何度やられても、この寂しさには慣れん・・・

>>702
態度が説教臭い上に挙げてる例が非現実的だからだろ
ピクセル単位で評価を遅延してたらオーバーヘッドがきつ過ぎで使いものにならん

構って欲しいならセックスでも配信してりゃいいんじゃね

遅延評価の利点ってそんなにないと思う
強いて挙げるなら>>699の言ってる遅延リストとか、あとはDSLで再帰的な定義が書けるとか

後者の例は、たとえば文字列から式を読むパーサを書く場合、
parseExpr :: Parser Expr
parseExpr = (IntE <$> parseInt) <|> (string "(" <* parseExpr *> string ")") <|> ...
みたいに(細部は適当)書きたいんだけど、
遅延評価でなければparseExprが無限再帰を起こす

なるべくimmutableなデータを使うことで
プログラムの見通しが良くなるのが関数型のメリットなんだけど

例えばリストがimmutableだと、mapを実装するときに正格評価では
末尾再帰にしないとスタックオーバーフローする可能性があるし、
末尾再帰にすると最後にreverseが必要な実装になっちゃうんだよね
でも遅延評価だとそれが無いのがメリット

デフォルトで遅延評価でないような実装(eager haskell）でも遅延評価を扱う仕組みは用意されているんだろうな

>>703
Repa でピクセル単位で画像処理しているのだが

>702 ：デフォルトの名無しさん：2013/10/04(金) 07:28:19.50
>俺 >>696 の意見はスルーか
>何度やられても、この寂しさには慣れん・・・

こういうクズにはクズのレスの１個前、１個後にレスつけて
クズがスルーされてる感を出すのが効くんだよなぁｗｗ

クズの書き込みIDが696だったら すぐさま自作自演で695と697へアンカｗ
それにはさまれたクズの書き込みはアンカがついてないのでスルーされている(笑）

これがめちゃくちゃ効く(笑）

>>708
何でそんな心に響く書き込みできるの？
何で？

>>702
あなたのようなレス乞食は社会から必要とされてない
お亡くなりください

>>708
それやるとそいつの書き込みだけ惨めに見えますね

>>708
四面楚歌スルーと命名しよう
サンドイッチスルーでもいいですね
いじめスルーですか？
もっといい名前ありますか？
孤立スルー

今日からLeksahでハスケります
よろしくお願いしますm(_ _)m

>>712です

>>711
他にネーミングないか？
>>710
だなレス乞食みたいなクズはこのスレにいらない
早急西ねってかんじだな

>>711
ん？いじめでよくねｗ

>>714
まあそうカッカするな
コリアンかもしれないしな
スンドウゥブはうまいけどコリアンハスカーはいただけないぜ

このスレ機能してねーじゃん
どうしたんだよ

>>714
シケイン（スルー）

ブッコワレケル!!

(a, b, c, d) <- (,,,) <$> newIORef [] <*> newIORef [] <*> newIORef [] <*> newIORef []
これって fold と replicate 4 (new IORef []) で書ける？

>>707
Repa って並列で実行とかじゃないの？
ピクセル単位で遅延って感じになるの？

そもそも trim . rotate の遅延って怪しいけど

Amazonで Haskell で洋書検索したらアダルト商品ばっかりで吹いた

>>722
いや・・・出た事無いけど・・・。
普段から検索してる物で検索結果が変わったりするんだろうか･･･

もしかして私だけ？
http://www.dotup.org/uploda/www.dotup.org4553317.jpg

女だ！２chに女が出たぞー！焼き払えー！

どうやら Spencer Haskell さんというエロ小説家がいるようだ

ファイルのMD5ハッシュ値を取り扱うライブラリを推薦してください

>>719
[a,b,c,d] <- replicateM 4 (newIORef [])

-- Control.Monadのソースから
replicateM n x = sequence (replicate n x)
sequence ms = foldr k (return []) ms
where k m m' = do { x <- m; xs <- m'; return (x:xs) }

>>724
普段エロばかり検索してるんだからもう
…というわけではなくソート順を「出版年数が新しい順番」にすればうちでもなるよ

>>728
ありがとう
確かにタプルに拘る理由は無かった

すごいH

はっかったっのっ

PHPとかWEBプログラミングやってる人スカイプしてくれ
色々教えてくれ
treesnake2ですじゃあよろしく

>>733
友達になりましょう

教えがいがありますね

>>733
コンタクト送りました

>>733
ん？いちいちここで募集するな
わかったか
LINEで募集かけてこいやキチガイ

駅員「乗車券とかはお餅ですか？」
733「いえ、ちがいます」
駅員「いや、ちがうじゃなくて、お餅じゃないんですか？」
ぼく「酢イカはあるけどお餅じゃないです」
駅員「お餅の酢イカは残高不足ですが、
お金があればお餅の酢イカにチャージできますよ」
733「すっぱそうですね」
駅員「お金はお餅ですか？」
733「ちがいます」
駅員「えっ」
733「えっ」
駅員「はぁ？お金もお餅じゃないのですか？」
733「あたりまえじゃないですか」
駅員「ちょっとこい」

ぼく「酢イカはあるけどお餅じゃないです」

これ何なの？

酢イカ is not equal お餅

is not equal toな

doesn't equal

そういうことじゃなくて、

ぼく「酢イカはあるけどお餅じゃないです」

これだけ取ってつけた感じでわざとらしい
言い回しも変だし

この「ぼく」は何を勘違いしたらこのセリフが自然に出てくる？

気にするな
Haskellできない奴が頑張って作ったんだ
なぜここに貼ったのかわからないし
元ネタのコピペに全然追いつけてないけど
それでも誰かが頑張って作ったものではあるんだ

>>743はICOCA圏在住

move743 :: ICOCA a -> ICOCA a

記者の眼 - Haskell使いの高頻度取引の会社にお邪魔した：ITpro
http://itpro.nikkeibp.co.jp/article/Watcher/20131003/508622/

ここがcamlspotterさんの会社？

きゃみば様はスタンダードチャターズ
鶴はmaoeさんとあと一人は忘れた

スタンダードチャータード

>>747
華やかそうでええのう・・・。

というか、優秀な外国人がどこでも出来る仕事をわざわざ日本にきて
やってることに驚いたｗ

Haskellって実社会で役に立ってんの？

さぁね (・∀・)ﾆﾔﾆﾔ

2+2=5

スレが水虫になった気分

実社会で役に立ってるのは体育会系のリーマンだけです

ここでいう実社会ってRealWorldのことですか？

--enable-executable-profiling と -p とにはどのような関わりがありますか？

C++の限界
http://www.digitaltrends.com/wp-content/uploads/2013/02/gtav.jpg

C#の限界
http://www.stfuandplay.com/images/uploads/GunsIO-TOP.jpg

Haskellの限界
http://www.geocities.jp/takascience/haskell/monadius03.png

いろいろツッコミどころはあるけど
とりあえずNikki and the Robotsを挙げろや

>>759
上の２つはグラボのパワー使ってるの知らないのかな。

Haskellの皆さんにお聞きします
株を買おうと思うんですが
ここヤバいよ！っていう株教えてください

ミクシィとかグリーなんかが順調にヤバいよ

社会インフラのコードの「ソースコード」のほとんどがアセンブラな件

なにそれ、怖い
金融とかトレーディングとか？

道路の信号と鉄道とATM

飛行機はアセンブラ埋め込んだ高級言語
今で言うDSL

超・高信頼性が要求される仕事では、技術者の確保が難しい言語や仕様自体にバグがある言語や成長の途中であると公言するような言語は使えない
となると、Cかアセンブラだけというオチ
COBOLももう怪しい

Haskellで遊んでみたいけど探してもまったく案件ないんだよな

>>768
Haskellで言語コンバータ作ればいいじゃん。

C++の限界
(p)http://www.digitaltrends.com/wp-content/uploads/2013/02/gtav.jpg

C#の限界
(p)http://www.stfuandplay.com/images/uploads/GunsIO-TOP.jpg

Haskellの限界
(p)http://www.geocities.jp/takascience/haskell/monadius03.png


>上の２つはグラボのパワー使ってるの知らないのかな。
くやしいのうｗ　そうやって"できない理由"を探して永久に慰め続けろよ。

あるから・・・Haskellにも3Dゲームあるから（震え声

http://www.haskell.org/wikiupload/c/c2/Frag1.png

> くやしいのうｗ　そうやって"できない理由"を探して永久に慰め続けろよ。

自分の成果で語れよw

C++の限界
http://www.digitaltrends.com/wp-content/uploads/2013/02/gtav.jpg

C#の限界
http://www.stfuandplay.com/images/uploads/GunsIO-TOP.jpg

Haskellの限界
http://www.haskell.org/wikiupload/c/c2/Frag1.png (new!)

Haskellってこんなもんなんだ

なんのネタ

限界がある時点でゴミ

あの、チューリングマシン　っていうのは……
えっと……

つまりさ、フレームワーク無しで一からフルスクラッチできるPGなんて日本にどれだけいるのっと

フルスクラッチで何作るのさ？

1/1スケールのすごいぞうさん（日本版）

実用とか気にし過ぎ

おもちゃとしてもっと気楽に楽しくハスケればいいのに

>>777
チューリングマシンが〜ってのは、人間がコーディングするという前提を無視した空想上のお話
オカルト

>>770
体育会系根性論でGPU有無の差をぶちやぶれると思ってる脳筋はどっかいけよ。

っとわめくモヤシでした

>>783
現実社会では、体育会系がコネと元気と礼儀正しさでGPU有無の差をぶちやぶっています

GPU で Haskell 作ればいいんじゃね

>>782
>>776-777
限界があると言うならそもそもチューリングマシンに限界があるという話でな

java詳しい人いますか？
いたら至急連絡先教えてください

教えて君は帰れキチガイ

>>787
無限のテープを持つことが可能なチューリングマシンモデルに限界がなくても、有限の資産と有限の時間で人間がプログラミングするという現実世界では限界がある

テープの1文字100円で会社の社長が首つらない範囲という条件をつければ、チューリングマシンはC言語のコンパイルすら実現不可能

テープの1文字0円という条件では会社の社長はどうなるのでしょうか？

safeハスケルって７．２．１から導入された規格はアンセーフ関数フリーの表明ですか？

>>790
何この人……文盲……

無限のテープを持つことが可能なチューリングマシンモデルに限界はない（ｷﾘｯ）

>>790,794
なんか一見分かったようなこと言ってるけど意味不明

このスレはそんなんばっかだから

最近バカが暴れてるだけだろ。しばらく放置。

バカコンプだから知的層を演じるバカが797

自己紹介乙

x86のMMUもチューリング完全だから限界がないね！

衒学的虚レスはいいから実のある話をしろ

チューリング完全ってのは計算手順の表現能力の話であって、
それを具体的な処理系でどういう処理を行うかってのはチューリング完全とは全く関係ない話なんだが

簡単に言えば「手順書」の内容についてはあらゆるプログラミング言語が同等な表現力を持っているが、
手順書を受け取って処理を行う側（処理系）についてはチューリング完全とは関係ない

誰もチューリング完全の話なんてしてないのに唐突に何いってんだこいつ

８０２の優勝

>>759
一連の流れをつくった書き込み　60点

>>762
30点

>>770
続きそうにない話を引っ張る　この頑張りが後につながる　75点

>>776
60点

>>777
この書き込みが住人に火をつけた　85点

>>802
書き込む内容、タイミング、もっともらしい話し方
全てにおいて素晴らしい　100点

>>804
確かにレベル高いわｗ
ある意味圧勝ｗ

実行速度や開発効率や周辺ライブラリの整備状況やゲーム用フレームワークの話にならず
チューリングマシンどうこう言い出すのがこのスレらしいわ

>実行速度や開発効率や周辺ライブラリの整備状況やゲーム用フレームワークの話にならず
全部まとめて限界があるものはゴミ、で片付けられたから……（震え）

ドカタ向けの話題と専門家向けの話題があるからね

>>802
その同等さを保証するために、無限のテープという前提が必要

ひとり「無限のテープ」に拘ってる香具師がいるみたいだけど
まったく的外れな持ち出し方をするからすぐに分かるな

>>811
チューリングマシンモデルからみた言語の同値性ではなく、表面に見える文法にこだわらなければならない理由が、そこにあるから

正しいことを言ってるつもりなのかもしれないが致命的に話の流れが見えてない
お薬出しておきますね

環境は、人間という機械に文法を定着させることまでを含む
演算には現実社会の資源が必要であり、その資源は有限である
演算には時間が必要であり、コーディングと実行を終了するまでに与えられる時間は有限である
問題を解くのに必要な資源と時間があることは保証されていない

言語が受理できる問題のクラスは、既存のコンピュータ言語間で明らかに異なる

俺のPCはノイマン型コンピュータだしwwwwwwwwwwwwwwwwwwwwwwwww
チューリングマシンとかだせえwwwwwwwwwwwwwwwwwwww

Data.Text ライブラリのビルド時間かかりすぎワロタｗｗｗｗｗｗｗ
４１工程が半日経っても済んでないｗｗｗｗｗｗｗｗ

suffix arrayをhaskellで自作する場合どんな手段がありますか？
モナドに浸さない感じでお願いしますｍ(_ _)ｍ

チューリング完全かどうかなんて、プログラミング言語として最低限の条件は満たしましたyoという話で、自慢にもなんにもならない。

チューリング完全を”実用的な”プログラミングの必要十分条件と誤解している人が多いね
単に必要条件の一つに過ぎないのに

ていうか、これだけでも万能なんだぞw

ttp://www.wolframscience.com/prizes/tm23/solved.html

>>773
LambdaCube 3D (Haskell rendering engine)
https://www.youtube.com/watch?v=JleoASegUlk

>>819
必要条件ということはチューリング完全でなければ実用的なプログラミングはできないということ？

チューリング不完全な言語だと実用的なプログラミングする上で何がまずい？

>>822
チューリング完全は実はものすごく規模が大きい
計算可能性が問題になる場面以外では問題にする必要はない

>>817について誰か(´･ω･`)

>>824
suffixArray :: [a] -> [[a]]
suffixArray xs = map (\ i -> drop i xs) [0..(length xs) - 1]

これでどやろか。

sort . tails とのちがいをくわしく

>>825
どうもありがとう。でもリストって遅くないですか？(´･ω･`)
hsファイル一つで動く感じがよかったんですけど大人しくライブラリを探しますネ(´･ω･`)

haskellの連結リストは遅延評価のおかげか思ったより速い

遅延評価のおかげで処理を省略できるような場合以外は普通に遅いよ

普通は正格版のVector使うわな

Textライブラリのビルドまだ終わってないワラタｗｗ

haskellが得意だと言ったら、「こいつ、できる…」という尊敬の眼差しで接されるようになった

>>831
いくら何でも嘘だろｗ

素人っぽいしょぼいフリーウェアばかりとはいえ、
アプリが出てきたってのは関数型言語としては画期的だな。

Darcsは玄人のフリーウェアアプリかな

今更ながら気づいた

Haskellってスクリプト言語としてもけっこう使えるね

むしろ、スクリプト言語としてしか使えない

gtk とか qt とかに依存しない、
xlib だけを使ったような GUI がほしい。

見た目 simple で、立体感とかいらないから。

できたら、reactive で、日本語対応で…

ちょっとバージョン変わると、コンパイル通らないとか、めんどい。

Python の tkinter よりか、ちょっと、かっこいい感じがいいな

仕事まったくないけどみんな趣味でやってんの？

Textライブラリのビルドやっと３８／４１まできたワラタｗｗｗｗ
プロセスの９割はガベコレしてるっぽいｗｗｗｗｗｗ

>>838
http://hackage.haskell.org/package/X11

他にもたくさんあるよ

http://hackage.haskell.org/packages/

Textライブラリとか雑魚だろ
qt-haskellをドキュメント作成enableでcabal installしたら600とかいくしメモリ使用量も6G超える

Haskellってフリーソフト作成には全く使われないし、学術計算でも他の言語が幅を利かせているし

CASLみたいに議論のための言語ってイメージしかない。

>>843
「計算」は代数だけじゃ無いから。

>>843
研究や実験結果が他言語に生かされているということで、
その議論が役立ってるのだから、もうそれで十分実用だよ。

フリーソフト作成とか商用アプリとかで使われるなんてのは、単なる余興だ。

>>845
>研究や実験結果が他言語に生かされている
・・・長期の投資

>フリーソフト作成とか商用アプリとかで使われる
・・・短期の投資

長期・短期が互いに貢献しあう利用法を出来る組織が伸びる。

Haskellを研究用言語だと思いたがってる奴がいるな

>>847
むしろ、ガチガチの研究学術用言語として位置付けて、実用に妥協した仕様変更をしないでほしいです

どのへんが妥協してると思うのか述べよ

>>849
プラグマ

>>849
seq、テンプレートhaskell

>>848
それは無理、もともと実用を目指して作られた言語だ。
今もその流れは止まっていないし、「しないでほしいです」なんて
理由も根拠も示さない個人の感情で止められるわけがない。

Haskellは諦めて他のガチガチの研究学術用言語とやらを探すか、自分で作ってくれ。

もし自分で作り直すなら、実用に走った部分を削除して、Haskell- を作ってほしい
lispに対するschemeみたいな感じで

MLやmirandaよりもhaskellのスタイルの方が好きなので

Haskellのインデントスタイルが微妙にわからない
Pythonみたいにガチガチでもなくセミコロンとかで区切るでもなくて

>>854
・do, of, where, letの四つの予約語が特別扱いされてる
・上記の予約語の後が{でない場合、インデントに従って{;}が補われる
の二点を押さえれば分かり易いと思う

C++
H--

ハスケナイとか

>>851
seqがあるせいで理論的に汚くなってる(パラメトリシティが制限されるとか)ってのは分かるけど、
THが何か問題起こしてるか？

>>858
論文に書くときに、数理的に上手に記述できない
(記述しようとすると、コード生成コードなので抽象度が上がって、論文上の見た目とコード上の見た目が大きく異なってしまう)

なんかずっとROMってたけど、どっちみち国内じゃ大学や企業の研究室でしかお金にならないっぽいね
やっぱそれが関数言語の限界なのかなー

ドカタには敷居が高いからねー

お金にならないんじゃ広まらないでしょ、フランス語みたいにエグゼクティブな人達だけで楽しみたいんなら先は見えてるよね

Haskell使ってる、高額年棒が欲しいなら、英語もできた方がいい。

Scalaに関してはTwitterとか大手でバックエンドに採用される例も散見されるが、
これはJavaの資産が使えるのが評価されて選ばれてるだけだろうし。

今後関数型言語が流行ったとしても主に使われるのはScalaやF#で、
LispやHaskellが流行ることはないだろうな。

GitHubがRuby捨ててC#ですからな
敷居の低さってなにも技術的なことだけじゃなくて、それを覚える学習コストをペイできるのかって話でもあると思うんだよ

（あれは釣りというかガセです）

IT速報ソースで語っちゃうおとこのひとって…

日本はソフトウェア開発のレベルが低いから。

ユーザーのレベルも低い

まあ、Haskell程度すら使いこなせず
こんなスレで愚痴をこぼす低能ですからね

emacs の haskell-mode を入れ替えようと思ったら、git使ってコンパイルする形になってた
どこかにコンパイル済みのhaskell-modeないですかね？

結局今ハスケル勉強する意味ってなにがあるの？
ハスケルでないと出来ないことってあるの？

身構えて勉強しないとプログラミング言語一つ使えない低能は
最初から対象外なんですよね……

>>872
アクティブな奴はとっくに手を動かしてる。
万人向けの答えをここで聞こうとする者には不要だから心配するな。

情報科学系の教育では近年MLを教えることが多いが、Haskellも説明しやすくなってる気がする。
http://gihyo.jp/magazine/wdpress/archive/2012/vol67
Java使う場合でも関数型の考え方は習得しておくと、設計しやすくなるし、scalaやclojure使う場合にも純粋な関数型をやった方がいいという人も多い。

レベルが低いんじゃなくてNTT Dataを頂点としたIT派遣の搾取モデルを破壊しないとスタートアップなんて産まれないんだよ
才能あっても金がないんじゃどうしようもないだろ、MixiやGREEなんかがドヤ顔してた or してる時点で国内のソフトウェア産業なんて高が知れるんだよ

>>875
昔、関数型言語が流行ったときにMLでテキスト作っちゃったから、そのままMLで教えてるのが現状
教員の方にHaskellを教えるのがメンドい

>>876
無料で複製できる
下層とトップで個人の生産効率が1000倍以上違う

こんなおかしな産業で、他の産業と同じ円で報酬を払ってること自体に問題がある
雇用モデルを議論する以前の問題

昔みたいにソフトをハードとセット販売するモデルはそれなりに合理性があった

>>878
天才と言われてた登雄大は1日1万行書けるらしいが、BtoCにおけるソフトウェアで重要なのはアイデアであってそういうことじゃないだろ
国内で資本が集まるのって何故かソーシャルみたいな詐欺みたいなのばっかじゃん
国内の投資家のITリテラシーが低過ぎるんだよ、ソフトウェアの価値がわかんない奴等が日本からGoogleやFacebookが産まれないってアホかと
銀行含めて金貸さな過ぎるんだよ

>>878
>無料で複製できる
>下層とトップで個人の生産効率が1000倍以上違う

昔からある文筆業と大して変わらないと思う。

>>879
短期的に収益が見込めるモノには安心して投資できる。
でも、投資家の問題ではなくプログラマの”アイデアと実行力”
が足りないことが日本のIT産業の弱さだと思う。

ちなみにFacebookを認めるなら、mixiやソーシャルゲームも
認めてあげないと不公平だと思う。

Googleは後発組で、それ以前は国産サーチエンジンもあった。
でも、性能悪いからGoogleに駆逐された。
資金より、技術力の問題だったと思う。

>>855
なるほどありがとう

Haskell って、いつのまに次のような書き方できるようになった？
昔からできたっけ？

if a then b
else c

とか

if a then
　b
　else c

とか

if a then
　　b
　else
　　c

とか

>>882
>if a then b
>else c
Haskell 2010でこれをdoの中に書いても良いようになった
http://ghc.haskell.org/trac/haskell-prime/ticket/23

あとの二つはHaskell98でもOK

というか、こんなのできないようになってた理由の方が気になるわ
なんか問題でもあったんかな

>>884
do
　x <- foo
　if x then b
　else c

原則に従ってセミコロンを補うと、

do { x <- foo; if x then b; else c }

になるので、if式が二つの文に分断されてパースエラーになる

>>877
SMLofNJだった
再帰思考の洗礼を受け、手続き脳だった俺はカルチャーショックに打ちのめされた
牙がもがれたようで糞ツマランかった
関数型は絵空事だと思った
現実のパフォーマンスの方を向いていない

簡易言語コンパイラを作る実習だった
無味乾燥な作業のようで全く興味もてなかった
単位落とした

卒業後Haskellに出会った
現実と向き合ってるHaskellを見て、酸っぱい葡萄理論を展開して逃げていただけの自分が恥ずかしくなった
だから俺も関数型とまた向き合おうと思った
その時からもう関数型はレストランのパセリや、酢豚のパイナップルじゃなくなったんだ

初めから出会えていればあの時再履修なんてせずに済んだんだ
当時教材にHaskellを選ばなかった教員が憎い
偽物でやる気なんか出るわけないんだから
いやもう人を憎むのはよそう
Haskellに出逢えたんだから
憎むのはSMLofNJだけでいい

酢豚のパイナップルはおいしいだろ！ いい加減にしろ

ML族ってocamlもhaskellも実用的なライブラリそろったのって5年前ぐらいの話じゃないかな？

http://d.hatena.ne.jp/camlspotter/touch/20130626/1372228771

授業で教えるのはSMLでいいけど、Haskell、Ocaml、Scala、F#紹介するといいよね！

>>888
実用が教育用という意味なら、MLは1990年代に揃った

数値計算か記号処理で従来の言語よりもメリットがあることを示せないと、授業で教えるのは難しい
大学学部レベルでは、Haskellはまだプログラミングのためのプログラミング言語の域を出ていない

Textライブラリやっと最終工程入ったワラタｗｗｗｗｗｗ

これからプロファイル版でもう一周あるかと思うとワラタｗｗｗｗｗｗｗ

プログラミングの本は１０００ページを超えないと
大著って気がしない

デキる漢はプラットフォームでなくコンパイラアップデートの度に入れ直して
必要なライブラリキャバッてるの？

>>894
64bitコンパイラ使いたかったら、現状それしか無い訳で･･･

ライブラリ入れ直しはどうにかして欲しいよな

最新GHCダウンロード後に、自分の使用頻度の高いライブラリから
順次バックグラウンドで自動リコンパイルするくらいの優しさは欲しい

これHaskellで作られてるゲームらしいけど
なにやってるのかわからん

「Slaves to Armok」
www.youtube.com/watch?v=pfaz8tD4HSo

自作モナドを作っている人いる？

>>896
gentooにはそれやってくれるプログラムがある(使用頻度までは見ないけど)
他のプラットフォームにもあるかも

>>897
Dwarf fortressはCとC++で書かれてるらしいよ
http://dubiousquality.blogspot.jp/2007/01/dwarf-fortress-interview-part-two.html

こんなところでSML/NJの話題が出るとは嬉しい

>>897
Haskellじゃないぞ

ghciで
let a = map (+1) [0,undefined]
let b = map (+1) a
b
[2,*** Exception: Prelude.undefined

リストから値を取り出すのも遅延されて一回になるんでしょうか

頭から中身を評価するだけか

reverse $ reverse [1..10000000000000000000000000000]
printが評価済みの部分を表示するだけか
ありがとうございました

やっぱり最適化でなんとかなる
ghciやrunhaskellでは最適化されないのか
ghcすげえ
foldとmapの合成でも最適化されるのかなぁ？されるといいなぁ

>>906
マジカよインタプリタとリリースで挙動違うとか困る

>>903-906
いったい何の話をしてるんだ
最適化の有無で本当に挙動が変わるならGHCのバグかも

何を言っているのか意味が分からん

take 3 $ reverse $ reverse [1..]

これは ghci だろうが ghc -O2 だろうが実行時に固まるんだが、
そういうことではなくて？

ちなみに、次のような RULES プラグマを書いておけば、
最適化コンパイル時に、2回続けた reverse は無かったことにできる

{-# RULES "double reverse" forall xs. reverse (reverse xs) = xs #-}
{-# RULES "double reverse $" forall xs. reverse $ reverse xs = xs #-}
{-# RULES "double reverse ." reverse . reverse = id #-}

この場合いちいち複数のケースを書いておかなければいけないのが面倒だが

>>910
あぁ、これでも2回続けた reverse が2つの関数にまたがってると最適化されんな

すまん、俺の方がスレ汚した、無視してくれ

>>910
これ結局人間が気付かないといけないんだよなぁ
コンパイラが気付いてくれないのかなぁ

そもそも有限要素列の逆順の逆順は元の列だってことは証命しないといけないことなのかなぁ

自動証命マシンがあればなぁ

PS ハスケルは有限要素列と無限要素列との判別はできないのかなぁ
　キャントかなぁダズントかなぁ

それが判定できたら、停止判定問題も解けちゃうだろ

>>912
やったことはないから確かなことは言えないが、reverse などの関数をモナドにして、
直接引数のリストを逆順にしたリストを返すのではなく、
「そのような計算をするものだという情報」（手続き情報？）だけを返すようにする。

そういうモナドを繋げて、最後に run する関数を適用することで実際の計算をするようにする。

その run 関数の中で、様々な最適化が施される。
reverse と reverse が繋がっていたら id に変えるとか。

こういうともできるんじゃないかな。

なんか repa が内部で似たようなことをやってたんじゃないか。
あちらはストリームフュージョンを施すためだったと思うけど。

メタプログラミングかぁ
計算を計算するのかぁ
諸葛亮の領域だなぁ

>>912
Haskellだとreverse . reverseはidとは違う関数だよ
例えば無限リストを入力したときの挙動が違う

>>916
メタプログラミングで
Aspect 要素列
if サイズが有限 then id に一致 else…
みたいになるのかなぁ

>>917
サイズが有限かどうかを判定する関数がそもそも書けないってことだと思うけど。

Haskellのリストは評価しないと終端か否かが分からんからね

>>918
ソースコード解析すればいけるんと違うの？

無理な事が数学的に証明されているのでございます

無理は承知で、そこをなんとか

任意の入力に対しては無理なことは証明されてるけど、特定の入力について一切判定出来ないって意味じゃない

ソースコード解析して
静的に　..]
動的にしか判らない
場合は無理として
…9,10]
みたいに静的に有限だと突き止めた場合適用できるようにしてみる価値はあるのではないか

どう突き止めるかにもよるけど、そこまで分かってるならreverseが何個だろうがコンパイル時に適用すればいいだけだと思うよ

>>924
現代的なIDEなら大抵はやってることだね

リストが有限が無限かを判定しようとするIDE?

リストが終端に達したならば有限。
無限の場合は無限ループ。

それは実行時の話でなくて？

IDEのバッファが有限

reverse と reverse が繋がっていたら自動的に id にするまではできないけど
リストの二元性については Data.Monoid の Dual 使って書けるんだってさ

instance Dual a => Dual [a] where
dual = reverse . map dual

「Duality and De Morgan principles for lists」DA Turner 著 - 1990
http://link.springer.com/chapter/10.1007/978-1-4612-4476-9_48#page-1
くそういいところでサンプル切れてる

Data.MonoidのDualってnewtypeであってクラスじゃなくね？

反対の反対は賛成なのだー(duality)

>>932
ごめん自分で Dual class 書いてたの勘違いした

duality ... 双対性(そうついせい)

SASのような分析言語はMLになるの？

高レベルGUIライブラリならGrapefruitがナウいって聞いてサンプル見てみたが、
プログラムの意味がさっぱり分からんかった。

なんかArrowを使ってFRPがどうのこうのしてるってのは聞いたが、
ArrowとかFRPを理解していないと使えないライブラリなの、これは？

http://www.haskell.org/haskellwiki/Grapefruit
ここのにも何の解説もないし。

これどうやって使うの？

他の高レベルGUIライブラリもこんな感じなのかな。

高レベルであろうが、仕様が変わるとすぐに使えなくなるようなAPIはやめてほしいです
SOEも使えないの多くなってるし
Stateモナドですらコンストラクタが使えなくなってるし

State $ \i -> ((i+1), i)
はどう書くように変更されたのでしょうか

>>939
state $ \i -> (i+1, i)

目標が上がっていってずっとアルファ版になり、api fix出来ないんだろうな。

http://www.haskell.org/haskellwiki/Reactive-banana/Examples
http://book.realworldhaskell.org/read/gui-programming-with-gtk-hs.html

webインターフェイスでやってみるのはどうだい？
http://www.slideshare.net/maedaunderscore/elmfunctional-reactive-programming

https://github.com/faylang/fay/wiki
こっちはHaskell subset

NURBSモデラの内部の仕組みをHaskellでラフに設計してみたから、
それが上手く行ってるかどうか簡単なGUIを組み立てて実験してみたかっただけなんだ。
いずれはGUIもちゃんと学ぶつもりだったけど、今は軽く実験する程度だから、
スライドバーとかのウィジェットを簡単にペタペタと貼って、データとリンクして、
という感じで適当にやろうと思ってたんだが・・・

考えが甘かったみたいだ。

>>941 が紹介してくれた中ではバナナがイメージに近いけど、
これも式の意味が今ひとつ分からんが、ちょっと時間かけて勉強してみるよ。

ありがと。

本格的な関数型言語のhaskellから入って、scalaを学ぶのは得策ですか？

>>944
目的も語らずに得策かどうかなんて本人以外に分かるわけないと思う

では、結構です。質問を撤回します。

俺ただ一人の意見だけで撤退かよ

Scalaで型クラスを使いたいとか、そういう珍しい野望があるなら
Haskellやっとくと良いかも

そろそろ次スレの季節ですね

Textライブラリのビルドプロファイル版が遂に最終来たワラタｗｗｗｗｗｗｗｗ

>>950
ハングアップしたりして

リストの要素が全て同じ値なら True、ひとつでも違う値があれば False を返す関数って、
標準ライブラリの中にありましたっけ？

f :: [a] -> Bool

なければ作りますが、できるだけ標準ライブラリの中のものを使う方が良いと思うので。

all id

f :: Eq a=> [a] -> Bool
f [] = True
f ls = replicate (length ls) (head ls) == ls

これのこと？

(flip all <*> ((==) . head))

これか？

200 MHz
64 MB

text-0.11.3.1
通常ビルドプロファイル版ビルド完了
最新PCだと何分で終わるか知りたいワロタｗｗｗｗｗｗ

>>953
>>954
>>955

この3つのレスから、標準ライブラリには存在しないと判断しました。
自分で作ることにします。

>>956
楽しそうで何より

できるだけ標準ライブラリを使いたいって言うから
頑張って実装したのに

コンパイル時間ならhaskell-src-metaもなかなか凄い

>>956
distcc出来ねえのか？wwwwww

私はGentooでHaskell-platformをインストールするのに1時間くらいかなあ

>>952 nub

>>952
import Data.Set
(1==).size.fromList

ところで、nubって辞書ひくと「要点，核心」「小さなかたまり」らしくて、
まぁなるほどとは思うんだけど、数学用語としての意味とかあるの？

Hoogle先生も
(The name nub means `essence'.)
とおっしゃってるな

順序集合から集合への写像をessenceと言い張るのは
集合を本質と信奉する原理主義者が標準ライブラリ作者の中にいるという事

なにそれこわい
もしかして、モサド？

今 >>193 が紹介してるリンク先をゆっくり読んでるのですが、
理解のために確認したいことがあります。

<Laws for sum types> のところで Add Void a === a の法則が出ててきます。
これが正しいことをfrom関数とto関数が作れることで証明したいのですが、
下記のようなもので良いのでしょうか。

from :: Add Void a -> a
from (AddL _) = undefined
from (AddR x) = x

to :: a -> Add Void a
to x = AddR x

これなら AddR a 型の方を使っている限り to (from a) == a と from (to b) == b
の同値性は保たれています。
一方 Void 型のとり得る値がないので AddL Void 型のとり得る値も存在しません。

こういう理解で良いでしょうか。

> to (from a) == a と from (to b) == b
Haskellだとこれが証明できないんだよなぁ
しかもundefinedがあるから() -> Voidが証明できちゃうし
まずAgdaでやってその一部がHaskellでもできるよぐらいでいいんじゃないかな

HaskellによるAndroid NDKアプリ作成デモが公開される
http://developers.slashdot.jp/story/13/10/22/0446238/Haskell%E3%81%AB%E3%82%88%E3%82%8BAndroid-NDK%E3%82%A2%E3%83%97%E3%83%AA%E4%BD%9C%E6%88%90%E3%83%87%E3%83%A2%E3%81%8C%E5%85%AC%E9%96%8B%E3%81%95%E3%82%8C%E3%82%8B

Haskell製のdat取得システムが早速批評されてるな
これから叩く人沢山出てきそう
一般公開することでそれで俺がもっとHaskellらしい書き方で作ってやるぜみたいな人を発掘するっていうのも目的の一つなんだろうか

>>970
Haskell製のdat取得システム Rokka
https://github.com/Cipherwraith/Rokka

Haskell自体についての批評はされてないと思うけどなぁ
Rokkaのスレにはひろゆきのレスを意図的に誤訳してHaskell批判にすり替えてるアホがいるけど、
それ以外にHaskellについて批評されたレスを見たことはない。
http://pele.bbspink.com/test/read.cgi/erobbs/1379086553/782-783

ひろゆきサワーグレープセオリーｗｗｗｗｗｗｗｗ
ひろゆきの知能じゃハスケルは手に余るのでござろうｗｗｗｗｗｗｗｗ

>>Haskell製のdat取得システム
こんなのスクリプト言語でもできるじゃん
何？ドーナツの輪はなんであるのか？見たいな事をするときに使うとかほざいてたわりに
実用的なことで使われてるじゃん
クズだな

卒研でHaskellで2ch用CUIブラウザ作った俺からすれば、何を今さら…
shift_jisの日本語処理は諦めたからMSのコマンドプロンプトで実行すると文字が見えないが

MD5の情報ファイルを読み込もうと思う
アットパーセックとかいうのを入れとけばいいんだろ？

>>974
それ、もうすこしすると、ちょっとした修正で使えるようになるんじゃない？

その卒研の新規性を知りたい

卒研に新規性を求めてはいけない（懇願）

卒研って研究室の教授はまるで見てないらしいな
まあ学部生なんかどうでもいいか

おいおまえら、ここは2chだぞひろゆきの立場も考えろ
そうーHaskellで書いたのー新規性ちゅごいですねー

2ch過去ログサイトunkarもGo言語で書かれているし、
マイナー言語を使って「俺カコイイ」したがる人は一定数いる

さすがに卒研でShift-JISも処理できない専ブラ作る人は別の意味でレベルが違うがなｗ

学部3年の講義の課題でVMで動くJITコンパイラやGCライブラリを作る所も多いというのにそんな卒研で恥ずかしくないの？

Shift-JISも処理できない専ブラで卒研通っちゃうとか、
そこらへんのフリーソフトの作者は誰でも卒研通っちまうだろう

UIやアーキテクチャが論点かもしれないだろうし

そこらへんのフリーソフトの作者がソフト自体やブログしか発表しないから駄目なだけで
きっちり論文にまとめられれば卒論・修論レベルになるのは普通にありそうだが

NTTデータがリバースエンジニアリングに使うらしいけど
その顛末の方を知りたいな

>>986
リバースエンジニアリングにHaskellを使う？

JCLでCOBOLなレガシーシステムをマイグレーションするシステムをHaskellで作りました、
みたいな話でしょ。なんか聞いた記憶では。

>>969
Haskellでアンドロイドアプリ作れるようになるの？しゅごい！

>>989
AndroidはJavaのAPIが要だからfregeのが楽だぜ
ajhcは純Haskellで実用性重視という点で期待はできるが辛い

関数型プログラミング言語Haskell Part24
http://toro.2ch.net/test/read.cgi/tech/1382705669/

次スレも建ったことだし、埋めるか・・・

Haskellスレにも穴があるんだよな…

はぁ ♪
すける乳首に、
首ったけ♪

埋めるよー

Haskellっぽく埋めようぜ

fregeってJavaのクラスライブラリ使うときに一々メソッドについて宣言しなくちゃならないんだろ？
http://fits.hatenablog.com/entry/2013/09/01/190502
多くのJavaクラスを使う必要が生じたら手間が膨大になって詰むだろ

GHCでFFI使う時みたいに自動生成したらええやん

>>997
実際やってみりゃわかるけど
ほぼ固定にできるから自分の使いたいように自動生成できるで

_|_

このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。