- 1 名前：デフォルトの名無しさん mailto:sage [2009/09/08(火) 13:03:13 ]
- haskell.org
www.haskell.org/
日本語サイト
www.sampou.org/cgi-bin/haskell.cgi
www.shido.info/hs/
過去ログ
関数型プログラミング言語Haskell
Part1 pc.2ch.net/tech/kako/996/996131288.html
Part2 pc2.2ch.net/test/read.cgi/tech/1013846140/
Part3 pc8.2ch.net/test/read.cgi/tech/1076418993/
Part4 pc8.2ch.net/test/read.cgi/tech/1140717775/
Part5 pc8.2ch.net/test/read.cgi/tech/1149263630/
Part6 pc11.2ch.net/test/read.cgi/tech/1162902266/
Part7 pc11.2ch.net/test/read.cgi/tech/1174211797/
Part8 pc11.2ch.net/test/read.cgi/tech/1193743693/
Part9 pc11.2ch.net/test/read.cgi/tech/1211010089/
Part10 pc12.2ch.net/test/read.cgi/tech/1231861873/
・2chの仕様により、行頭の半角スペースは表示されません。
コードをインデントしたいときは、代わりに または全角スペースを使うことができます。
- 83 名前：デフォルトの名無しさん mailto:sage [2009/10/05(月) 09:34:34 ]
- 実際は Lisp でも型宣言したら静的型付けと同じように、
その型に応じた演算がされるから SBCL とか結構速い
- 84 名前：デフォルトの名無しさん mailto:sage [2009/10/05(月) 19:18:36 ]
- >>83 >>82を読め
- 85 名前：デフォルトの名無しさん mailto:sage [2009/10/05(月) 21:44:42 ]
- >>82
ps落としてきたんだけど、gvでエラーになっちゃう
- 86 名前：デフォルトの名無しさん mailto:sage [2009/10/05(月) 21:55:43 ]
- >>85
GhostScript を使って読むとか ps2pdf ってコマンドが同梱されているから pdf に変換するとかすればいいと思うよ
- 87 名前：デフォルトの名無しさん mailto:sage [2009/10/05(月) 22:22:05 ]
- >>86
㌧
- 88 名前：デフォルトの名無しさん mailto:sage [2009/10/05(月) 22:51:24 ]
- >>84
え、何で俺?
- 89 名前：デフォルトの名無しさん mailto:sage [2009/10/06(火) 08:34:16 ]
- Lispの型宣言と違い、Haskellの型宣言は、Haskellで書かれたコード全てに
強く強制されるから、コンパイラは、型的に正しいコードしか存在しないことを
仮定してコード生成ができる。
- 90 名前：デフォルトの名無しさん mailto:sage [2009/10/06(火) 12:32:51 ]
- 構造化プログラミングのAlgol
オブジェクト指向プログラミングのSmalltalk
そして関数型プログラミングのHaskell
10年後くらいにはこんな感じの認識になってるんじゃないかと思う
- 91 名前：デフォルトの名無しさん mailto:sage [2009/10/06(火) 12:33:48 ]
- そしてC++のポジションにはScalaが座っていると
- 92 名前：デフォルトの名無しさん mailto:sage [2009/10/06(火) 13:08:14 ]
- C++のポジション → みんなから罵詈雑言を浴びせられ続ける……ってこと？
- 93 名前：デフォルトの名無しさん mailto:sage [2009/10/06(火) 13:38:26 ]
- >>89
Lispは逆のアプローチじゃなかったかなあ
最適化に必要な型や仮定をプログラマが与える
コードが適切な振る舞いをすることは、型システムでなくてプログラマが保証する
- 94 名前：デフォルトの名無しさん mailto:sage [2009/10/06(火) 19:48:53 ]
- オライリージャパン早くしろよ
- 95 名前：デフォルトの名無しさん mailto:sage [2009/10/06(火) 20:19:23 ]
- RWH待ち遠しいな
- 96 名前：デフォルトの名無しさん mailto:sage [2009/10/06(火) 21:02:30 ]
- kazuさんのブログ面白いよね
- 97 名前：デフォルトの名無しさん mailto:sage [2009/10/07(水) 00:39:22 ]
- cabal-installってユーザ単位の環境の作成管理がデフォだったっけ？
前は普通に/usr/local以下を管理してくれたと思ったが
- 98 名前：デフォルトの名無しさん mailto:sage [2009/10/07(水) 16:26:46 ]
- userとglobalでprefixが$HOMEと/usr/localでなんちゃら
- 99 名前：デフォルトの名無しさん mailto:sage [2009/10/07(水) 19:47:44 ]
- ttp://shootout.alioth.debian.org/
なんか前よりhaskellのランクが落ちてるような。他が良くなったのか。
- 100 名前：デフォルトの名無しさん [2009/10/08(木) 08:17:56 ]
- Haskellの.NET実装ってある？
IronHaskellとかH#みたいな。
- 101 名前：デフォルトの名無しさん mailto:sage [2009/10/08(木) 09:32:21 ]
- Haskell.NETってのが…計画倒れ？
php.cin.ufpe.br/~haskell/haskelldotnet/
- 102 名前：デフォルトの名無しさん mailto:sage [2009/10/09(金) 12:10:57 ]
- F#「椅子はひとつよ♡」
- 103 名前：デフォルトの名無しさん mailto:sage [2009/10/09(金) 16:00:31 ]
- F#はHaskellじゃないし
正格なんだっけ？
- 104 名前：デフォルトの名無しさん mailto:sage [2009/10/09(金) 20:56:47 ]
- Programming in Haskellの翻訳はいつ出ますか？
- 105 名前：デフォルトの名無しさん mailto:sage [2009/10/09(金) 21:46:22 ]
- どこからでるんだろね
- 106 名前：デフォルトの名無しさん mailto:sage [2009/10/10(土) 16:41:29 ]
- shootout.alioth.debian.org/u32/shapes.php
Ocamlに圧倒的に負けてるね。とくに簡潔さで。
Haskellの記述力が弱いのか？
- 107 名前：デフォルトの名無しさん mailto:sage [2009/10/10(土) 17:39:03 ]
- shootout.alioth.debian.org/u32/benchmark.php?test=all&lang=ghc&lang2=ocaml
によると、source sizeで一番Ocamlに差をつけられているのがregex-dnaというプログラム
Haskell GHCのコード
shootout.alioth.debian.org/u32/benchmark.php?test=regexdna&lang=ghc
Ocamlのコード
shootout.alioth.debian.org/u32/benchmark.php?test=regexdna&lang=ocaml
詳しい人解説プリーズ、と思ったらそもそもOcamlのコード動いてねえ！
- 108 名前：デフォルトの名無しさん mailto:sage [2009/10/10(土) 18:06:07 ]
- >>106
人が何に対して、何を基準にして簡潔さを感じるか、の違いだと思う。
私が感じる簡潔さはあのグラフでは表現されない。
私には Haskell は Ocaml に対して簡潔さにおいて圧倒的に負けてるとは思えない。
- 109 名前：デフォルトの名無しさん [2009/10/10(土) 18:23:59 ]
- くやしいのうｗｗｗｗｗｗｗくやしいのうｗｗｗｗｗｗｗｗｗ
- 110 名前：デフォルトの名無しさん mailto:sage [2009/10/10(土) 20:10:15 ]
- >>107
ﾜﾛﾀｗ
オライリージャパンの近刊情報にRealWorldHaskellがあるけど
組み込みLinux～とかとちがって発売日不明だし、十月は無理くさいね
ttp://www.oreilly.co.jp/catalog/soon.html
- 111 名前：デフォルトの名無しさん mailto:sage [2009/10/10(土) 20:55:55 ]
- 関数言語系の日本語の本は誤字脱字とかミスがひどいのが多いから
きっとRWHもそれで必死に校正してるんだろうな
- 112 名前：デフォルトの名無しさん mailto:sage [2009/10/10(土) 22:19:30 ]
- >>107
> Fatal error: exception Failure("Buffer.add: cannot grow buffer")
バッファオーバーフローみたいなもの？
N=500,000（オリジナルの1/10）では動くらしい
Ocamlはメモリマネジメントがあまりうまくないのかな
- 113 名前：デフォルトの名無しさん mailto:sage [2009/10/11(日) 14:14:21 ]
- 質問なのですが、型変換ってどうやったらいいのでしょうか？
Word8 -> Word みたいなことをやりたいのですが
- 114 名前：デフォルトの名無しさん mailto:sage [2009/10/11(日) 14:42:59 ]
- fromIntegral :: (Integral a, Num b) => a -> b
fromIntegral = fromInteger . toInteger
でいいんじゃないか。
- 115 名前：デフォルトの名無しさん mailto:sage [2009/10/11(日) 18:16:36 ]
- >>114
それでいけました
質問にお答え頂きありがとうございました
- 116 名前：デフォルトの名無しさん mailto:sage [2009/10/11(日) 18:32:19 ]
- >>89
何かレベルの低い話っぽかったから見てなかったわ…
>型的に正しいコードしか存在しないことを
>仮定してコード生成ができる。
Lisp でも (declaim (optimize (safety 0) ... )) とかすれば、
型的に正しいコードしか存在しないことを仮定してコード
生成が出来るんだぜ。
- 117 名前：デフォルトの名無しさん mailto:sage [2009/10/11(日) 18:36:27 ]
- それって正しい型宣言をするのはプログラマの責任で、型チェックはあっても処理系依存じゃん。
ミスがあったら実行時にエラーになっちゃう。Haskellのように安全かつ完全な型検査はできるわけじゃない。
そもそもスレ違い。
- 118 名前：デフォルトの名無しさん mailto:sage [2009/10/11(日) 18:46:21 ]
- そりゃ、違う言語なんだから違う部分を探せば幾らでもあるさ。
そんなことを言って何が面白いのか知らんが。
- 119 名前：デフォルトの名無しさん mailto:sage [2009/10/12(月) 16:22:01 ]
- >>118
いや、おまえは型検査がまるでわかっていない。
- 120 名前：デフォルトの名無しさん mailto:sage [2009/10/12(月) 16:28:14 ]
- そうやって妄想するのは良いけど勝手に決めつけるなよ。
自分だけが知った気になってる奴が一番面倒くさいんだよな。
- 121 名前：デフォルトの名無しさん mailto:sage [2009/10/12(月) 16:48:35 ]
- そもそも俺はこれ↓が間違いだと言ってるだけなんだがなあ。
>>81
>実行時に型宣言ないlambda式生成できるので、
>動的型付け必須で、データをunboxing出来ない。
Haskell のスレだが、Lisp について間違った認識をしている
人が居たから訂正したまでだよ。
- 122 名前：デフォルトの名無しさん mailto:sage [2009/10/12(月) 16:55:52 ]
- >>121
言い訳はそれで終わりか？
学部の授業受けなおしたらどうだ？
- 123 名前：デフォルトの名無しさん [2009/10/12(月) 16:59:25 ]
- どちらが正しいか俺にはわからんが、
>>121と>>122なら>>121の方に分があるように見える。
>>122のように無意味な誹謗を始めたら負けだ。
- 124 名前：デフォルトの名無しさん mailto:sage [2009/10/12(月) 16:59:34 ]
- そういう煽り切ったら勝ちみたいなのは下らないから止めた方が良いと思うぜ。
>>121に異論が無いなら終わりだよ。
- 125 名前：デフォルトの名無しさん mailto:sage [2009/10/12(月) 17:00:24 ]
- あ、ｽﾏｿ。>>124は>>122向けです。
- 126 名前：デフォルトの名無しさん mailto:sage [2009/10/12(月) 17:51:20 ]
- 型安全に関する理解が浅いのを
話題を煽り論争にスリ替えようとしているのが
あまりにもミエミエで笑った！
- 127 名前：デフォルトの名無しさん mailto:sage [2009/10/12(月) 18:16:07 ]
- そもそも、最適化した Lisp の型に関する安全性を主張している訳じゃないことを
理解できてないだけでしょう。
単に煽りたいだけなのはミエミエだけどなあ。煽ればレスが貰えるみたいな、
レス乞食は面倒くさいから勘弁ね。ずっと笑ってなよ。
- 128 名前：デフォルトの名無しさん mailto:sage [2009/10/12(月) 18:25:03 ]
- λ < スレ違いはもうやめて
- 129 名前：デフォルトの名無しさん mailto:sage [2009/10/12(月) 19:28:37 ]
- オライリージャパン早くしろよ！
- 130 名前：デフォルトの名無しさん mailto:sage [2009/10/12(月) 19:34:44 ]
- 6.12.1-rc1ｷﾀｰ
- 131 名前：デフォルトの名無しさん mailto:sage [2009/10/14(水) 22:18:00 ]
- realWorld、24日発売みたいですね。
で、Tシャツって４ｋ以上だから、もう一冊買わないとダメなんですかね。
やるなー、オライリー
- 132 名前：デフォルトの名無しさん mailto:sage [2009/10/14(水) 22:38:31 ]
- 宣伝はやめください
- 133 名前：デフォルトの名無しさん mailto:sage [2009/10/15(木) 04:48:08 ]
- >>131
ktkr
|
 |
