07/11/18 14:27:36
>>199
なるほど、値(この場合Int)に依存してどういうインスタンスのコードが
実行されるかが決定する場合があるってことか
201:デフォルトの名無しさん
07/11/18 14:34:20
1:2:3:[] -> [1,2,3]
↑がこうなるのはわかるんですが
1:2:3 -> ?
とやった場合はどんなデータができるんでしょうか?
202:186
07/11/18 14:42:10
3はリスト型じゃないからエラーになるんじゃないかな？
203:デフォルトの名無しさん
07/11/18 14:43:06
あ、名前欄消すの忘れてた……
204:デフォルトの名無しさん
07/11/18 14:46:12
>>201
(:) :: a -> [a] -> [a]
205:デフォルトの名無しさん
07/11/18 14:48:27
>>201
やってみりゃいいじゃん。それで挙動に疑問があったらここでもう一度聞いてみな。
206:201
07/11/18 15:25:47
やってみたんですがテキストに書いてコンパイルしようとするとエラーに
なるのにghciで:t 1:2とやると
1:2 :: (Num t, Num [t]) => [t]
というなんだかよくわからないメッセージが出ます。
:tだと型チェックしないのかなと思ったんですが
:t putStr 1
とやると今度はきちんとエラーが出ます。
・1:2 :: (Num t, Num [t]) => [t] は一体どういう意味なのか
・なんで:t 1:2はエラーにならないのに:t putStr 1はエラーになるのか
↑2つになる理由は何故なんでしょうか?
207:デフォルトの名無しさん
07/11/18 15:43:17
>>206
GHCは型クラス周辺を微妙に拡張してるからそのせいだろう。
Haskell98では(Num [t])という文脈はありえない。
Hugsで :t 1:2 と入れたらエラーが出たし。
208:デフォルトの名無しさん
07/11/18 15:44:43
ghcはIOの実装も特殊なんだよなー
209:デフォルトの名無しさん
07/11/18 15:53:43
一応解説。
Haskellでは1とか7とかの整数リテラルは(Num a) => aという型を与えられる。
つまりNumのインスタンスなら何にでもなり得る。具体的にはIntでもIntegerでもRationalでもいいし、
未知のユーザー定義型でもいい。
「1:2」という式では、とりあえず「1」の型をtと書くと、整数リテラルだから(Num t)という制約が必要。
(:)の右辺の型は左辺の型のリストだから、「2」の型は[t]。これも整数リテラルだから制約(Num [t])も要る。
式全体の型は右辺と同じで[t]だから、結果として(Num t, Num [t]) => [t]になる。
210:201
07/11/18 16:16:46
やっと理解できました。ありがとうございます。
211:デフォルトの名無しさん
07/11/18 16:19:47
なるほど、どこかで instance Num [Int] のようなことが
書かれていないとも限らない、ということですか。
212:デフォルトの名無しさん
07/11/18 16:44:20
すいません
初歩的な質問でごめんなさい。
main = do
cs <- getContents
putStr.unlines $ lines cs
これはコンパイル通るんですが
main = do
cs <- getContents
putStr.unlines.lines cs
これは通りませんでした…これって何故なんですか？
てっきりlinesとunlinesというのは対になってるもんだと思ってたんですが…
213:デフォルトの名無しさん
07/11/18 16:50:06
putStr.unlines.lines $ cs
なら通るよ。
関数適用とか演算子の優先順位の問題だね。
f $ g x == f . g $ x /= f . g x
214:デフォルトの名無しさん
07/11/18 16:55:54
うろ覚えだが関数抽象より関数適用のほうが優先されるので、
「putStr.unlines.lines cs」の部分が
putStr.unlines.(lines cs)
って解釈されるはず
main = do
cs <- getContents
（putStr.unlines.lines） cs
ならたぶん通る
215:デフォルトの名無しさん
07/11/18 16:58:16
二項演算子の周りにはスペースを入れようぜｗ
216:デフォルトの名無しさん
07/11/18 17:00:37
C言語で、関数と括弧の間にスペース空ける人？
217:デフォルトの名無しさん
07/11/18 17:09:39
いや、そこは詰める
まあ>>215をあまり真に受けないでくれ
218:デフォルトの名無しさん
07/11/18 17:23:42
(.) の周りにはスペースを入れない派なんだが
f.g x.h のように関数が引数を持つ場合にやるとなんか微妙
219:デフォルトの名無しさん
07/11/18 17:25:16
関数合成が関数適用より優先度低いのが許せない。
こう決めた理由はあるの？
220:デフォルトの名無しさん
07/11/18 17:25:37
Haskellの解説文を読んでいて、どっかで見たことある書き方だなぁと
思ったら、数学の教科書とソックリです。
つまり、Haskellは数学ができる人向けってことでしょうか？
221:デフォルトの名無しさん
07/11/18 17:31:13
>>213-214
うお、通りました。ありがとうございます。
関数合成と関数適用の優先順位の問題だったんですね。
222:デフォルトの名無しさん
07/11/18 18:15:00
>>219
関数適用最強の原則を守るためじゃないか？
俺は現状で満足だ。
map (fromMaybe 0 . fst) xs
とか書けるし。
223:デフォルトの名無しさん
07/11/18 18:34:32
>>219
うざい括弧をつけなくて済む
224:デフォルトの名無しさん
07/11/18 20:16:16
(f.g) x
↑↑うざい括弧
225:デフォルトの名無しさん
07/11/18 20:23:03
f.g $ xじゃね？
226:デフォルトの名無しさん
07/11/18 20:42:38
>>224
C言語風には f(g(x))
うざくない？
227:デフォルトの名無しさん
07/11/19 03:14:41
URLﾘﾝｸ(hpcgi2.nifty.com)
このページの2007-07-04の日記を参考にプログラムを書いているのですが
これで横型探索できる理屈がまったくわかりません
228:デフォルトの名無しさん
07/11/19 03:39:03
Stateモナドについて質問なんですが
instance Monad (State s) where
m >>= k = State $ \s -> let
(a, s') = runState m s
in runState (k a) s'
↑の式でm >>= k が m >> kなら、右辺は
State $ \s -> let
(a, s') = runState m s
in runState k s'
((k a)がkだけになる)
という風になると考えていいんでしょうか?
229:227
07/11/19 04:04:21
227ですが一応目処が立ちました。
230:デフォルトの名無しさん
07/11/19 04:24:37
>>228
それでOK。
ただm >>= kとm >> kのkはそれぞれ別の型だってことに注意。
m1 >> m2 = m1 >>= const m2 なので k=const m2 と考えると
runState (k a) s'
= runState ((const m2) a) s'
= runState m2 s'
231:228
07/11/19 10:59:03
うーん、難しい
>>=が一つだけならなんとか頭で理解できるんですが>>=が二つ以上ならんでいたり
do式で表されていたりすると脳味噌が追い付きませんorz
232:143
07/11/19 23:12:23
*GHC-6.6.1のクロスコンパイルについて公式ページのwikiに書いてない部分*
＜ターゲット、ホストに共通＞
デフォルトサーチパスにGNU MPがない場合は--with-gmp-{includes,libraries}で指定する必要があるが、
途中からこの指定（ライブラリサーチパス）を見てくれなくなる上、
できあがったGHCでも-Lオプションを指定しなければいけなくなるので
（少なくともlibgmp.so.*かlibgmp.aファイルのどちらかを）デフォルトサーチパスにシンボリックリンクしておくほうがいい。
＜ホスト＞
ghc-6.6.1/Makefileの
echo ghc-$(ProjectVersion)/libraries/haskell-src/Language/Haskell/Parser.hs >> hc-files-to-go
という行を削除またはコメントアウトする必要がある。
libraries/Cabal/cabal-setup/CabalSetup.hsが作られないので、
cd compiler && make boot && makeの後、
cd libraries/Cabal/cabal-setup
rm CabalSetup.{o,hi} cabalsetup
../../../compiler/ghc-inplace -H16m -O -H32m -package Cabal -c CabalSetup.hs -o CabalSetup.o -ohi CabalSetup.hi -keep-hc-files
../../../compiler/ghc-inplace -o cabal-setup -H16m -O -H32m -package Cabal CabalSetup.o
する必要がある。
make hc-file-bundle Project=Ghcの前に、
make -C rts AutoApply_thr.hc AutoApply_thr_p.hc AutoApply_debug.hc AutoApply_thr_debug.hc
する必要がある。
続く
233:143
07/11/19 23:14:33
*GHC-6.6.1のクロスコンパイルについて公式ページのwikiに書いてない部分* 続き
＜ターゲット＞
いきなり/usr/localにインストールするのではなく、stage1のためのディレクトリにインストールして、
それを利用してもう一度ghcをビルドしたほうがいいと思われる。
*-hc-tar.gzをソースツリーにコピーするのではなく、展開されるghc-6.6.1を手動でソースツリーに上書きする必要がある。
distrib以下のスクリプトに実行権限を与える必要がある。
hc-buildが完了した後、
cd compiler
rm -f *.hs-incl
make primop-can-fail.hs-incl primop-commutable.hs-incl primop-data-decl.hs-incl
primop-has-side-effects.hs-incl primop-list.hs-incl primop-needs-wrapper.hs-inc
l primop-out-of-line.hs-incl primop-primop-info.hs-incl primop-strictness.hs-inc
l primop-tag.hs-incl primop-usage.hs-incl
find . -name \*.o -exec rm {} \;
make boot stage=1 && gmake stage=1
cd ..
make install stage=1
で完了。
ちなみにザウルスのOpenBSD上では16MB以上のテキストセグメントがある実行ファイルは実行できないので
テキストセグメントを32MBに拡張したカーネルを使用しなければビルドできませんでした。
GNU makeがmakeという名前以外（gmakeなど）でインストールされている場合は、適宜読み替えてください。
かなり効率の悪い方法なので、Makefile等をちゃんと読めばもっと最適化できると思います。
古いGHCで新しいGHCをビルドするのはうまくいきますが、
新しいGHCで古いGHCをビルドするのはなかなかうまくいきませんね。
234:デフォルトの名無しさん
07/11/20 08:39:00
一度評価された式をもう一度評価しようとする場合って、再度最初から評価しなおすんですか？
例えば
add x y = x + y
という関数があって、一度
add 1 2
という式を評価した後もう一度
add 1 2
を評価しようとするとき、内部では律儀に 1 + 2 を行うんでしょうか？それとも
add 1 2 = 3
みたいな式が内部で作られてたりするんでしょうか？
235:デフォルトの名無しさん
07/11/20 09:30:04
↑の場合は俺も知りたいです
俺が知ってるのは
f x a b c = a*x*x + b*x * c
という関数に対して
f (1+2) 3 4 5
と呼び出した場合に1+2が1度しか評価されないことくらい…
236:デフォルトの名無しさん
07/11/20 10:20:01
>>234
Haskellの規格では規定されてないけど、普通は評価しなおす。
関数を全部メモ化していたら、救いようのないメモリリークが起こるはず。ただし、
map (\x -> x * add 1 2) xs
のようなコードが最適化されて
let _z = add 1 2 in map (\x -> x * _z) xs
になって、add 1 2が一回しか計算されない、という場合はある。
237:デフォルトの名無しさん
07/11/20 11:41:31
>>234-235
コンパイラのコンパイルオプションによっても動作が違うかな
import System.IO.Unsafe
f n=seq (unsafePerformIO $ putStrLn "hello") n
a=f 1+f 1
main=print a
のようなコードだとGHC6.6.1の場合で最適化なしの場合とありの場合でhelloの表示回数が違ったりする。
238:237
07/11/20 11:44:46
追記
a=f 1+f 2
でも最適化ありで1回表示、 無しで２回表示でした。
239:デフォルトの名無しさん
07/11/20 18:31:21
質問なのですが、
ドラキュラとかが眠ってそうな感じの、棺おけ型のベッドというのは市販されているのでしょうか？
冬の暖房の時期に、部屋ごと暖めるのでは効率が悪いので、棺おけの中だけ温度調節できれば
コスト安になると思ったのです。
また、フタをつけるので静かですし、明かりもシャットアウトできてよいと思うのです。
240:デフォルトの名無しさん
07/11/20 19:04:23
ドラキュラとかが眠ってそうな感じの、棺おけ型のベッドというのは市販されているのでしょうか？
（計算をデフォルトで遅延させる機能のある、関数型のプログラム言語は市販されているのでしょうか？）
冬の暖房の時期に、部屋ごと暖めるのでは効率が悪いので、
（評価されない可能性のある式を正格に評価するのは効率が悪いので）
棺おけの中だけ温度調節できればコスト安になると思ったのです。
（必要になってから評価できれば計算コストを削減できると思ったのです。）
また、フタをつけるので静かですし、明かりもシャットアウトできてよいと思うのです。
（一度評価されればメモ化されるので計算量が少なくなりますし、バグの混入もシャットアウトできてよいと思うのです。）
答え：Haskellは無料で公開されています
こうですか！？ わかりません！
241:デフォルトの名無しさん
07/11/20 19:27:37
感動した
242:デフォルトの名無しさん
07/11/21 04:31:54
質問です
GHC6.8.1にはHGL入ってないんですか？
243:デフォルトの名無しさん
07/11/22 01:59:38
Windowsアプリ作っていて気づいたんだが、
Win32モジュールにはSetLayeredWindowAttributesのラッパは入ってないんだな・・
自作するしかないんだろうか。
244:デフォルトの名無しさん
07/11/22 07:26:41
書いてパッチを送るんだ！
245:デフォルトの名無しさん
07/11/22 12:20:00
>>244
>書いてパッチを送るんだ！
いや、これってwindows2000以降の機能で、Win32モジュールに入れるべきかどうか正直迷うんだよね。
246:デフォルトの名無しさん
07/11/22 23:16:48
Windows2000以降のラッパをまとめたWin32exモジュールを作ったので公開しました。
ツッコミなどよろしく。
247:デフォルトの名無しさん
07/11/23 09:58:22
>>245
Windowsに詳しくないので間違ってたら済まんが、2000以降のみの関数も
普通にwin32パッケージに入ってないか？setConsoleCPとかfindFirstChangeNotificationとか。
>>246
どこに置いたかも書けよｗ
248:デフォルトの名無しさん
07/11/23 10:06:51
246はPeyton Jonesだ。
場所は、わかるだろ。
249:デフォルトの名無しさん
07/11/26 23:05:20
関数型言語はマルチコア時代にフィットしているという話を聞いたことがあります。
既存の流行している言語は対応できてないと。
これはどういう理由でしょうか？遅延評価とか、その辺のことを指しているんでしょうか。
250:デフォルトの名無しさん
07/11/26 23:13:40
知らんけどミュータブルな値があるとスレッドセーフにならないとかそういうへんの話じゃね？
251:デフォルトの名無しさん
07/11/26 23:23:18
MapReduce の「副作用が無ければ無限にスケールする」というのが
一人歩きしてるだけじゃないかな。実際には何をするにも副作用は
あるし、MapReduce だって Reduce の作業はスケーラビリティが
殆ど無いか少ない。関数型言語には副作用が無いというのと同じ様な
勘違い。ただ副作用が無い＝スケールする部分を奇麗に切り出せる
のであれば有用ではある。
252:デフォルトの名無しさん
07/11/27 11:43:41
ああいう大規模データパラレルとマルチコアはあんまり関係ないじゃん。
>>249の話は伝聞なんで雲を掴むような話だけど。
253:249
07/11/27 11:48:13
ありがとうございます。透過参照性がスレッドセーフというのはよく分かります。
遅延評価っていうのは、別に関係ないんでしょうか。何かそっちの話を聞いた
ことがあるんです。自分の初心者脳では、正格では無限のリソースを前提に
した関数を書けないが、Haskellのような言語だと記述可能、とか思ったのですが、
ちょっと頭悪いですか？ｗ
254:デフォルトの名無しさん
07/11/27 12:16:38
遅延評価や投機実行をうまく使えば、
CPUコアの利用効率を上げられますが、
それには頭のいいスケジューラが必要なわけで。
例えば、
URLﾘﾝｸ(www.fixstars.com)
にプチ解説があるようなstragglersの問題。
ただ実行順序が規定されてないので、
工夫する余地がまだまだ残されているとは言えると思う。
Erlangのような言語が、あまりpure functionalじゃないとはいえ、
一通りの実績を上げていますし。
また、プログラマがスケジューラに自由を与えるような
プログラミングスタイルを強制されているという見方もあると思う。
255:デフォルトの名無しさん
07/12/06 10:41:19
F#のスレは毎日更新されてますが、こちらは静かですね・・・
関数型で今イチバン売れ筋なのはF#なんですかね。
256:デフォルトの名無しさん
07/12/06 17:36:48
Haskell始めてから3週間目の今の感想。
・概念的にはMonadよりArrowのほうが分かりやすいんじゃないか？とか。
・Monadって何？って聞かれるとなんと答えていいかわからないが、
Arrowなら『矢印をカプセル化したようなもの』と言える。
あとは適当に結合演算とか普通の関数をアロー化する演算とか実装していけばおｋ。
脳内のイメージも矢印をつないでいくだけだし。
Monadをイメージしようとしてもなんかいまいちピンとこない……。
bindにやる夫関数とか適当に名前を付けて無理矢理イメージしたけど。
・Monadのbind演算子(>>=)はm a -> (a -> m b) -> m bで非対称的。
Arrowの(>>>)はa b c -> a c d -> a b dで比較的対称性があって気持ちよい。
・Arrowは『計算を結合』しているのが自明的に表現されてる。
Monadは別にそうは見えない。……値と計算を結合なのか？意味わかんね。
・そもそも非対称な二項中置演算子はイマイチ気に入らない。
リスト結合演算子とか`elem`とかは仕方ないけど、せめてあまり高階にしてほしくない
・Monadの計算部(a -> m b)は結構重要なパーツの一つなのに、名前が付いてない。
だから『モナドを返す関数』としかいえねえ。
しかもbindした後にはその返り値とは（型は同じだけど）別の奴が帰ってくる。無駄に混乱。
その点Arrowは計算部がずばり『Arrow』。カプセル化されていて美しい。
・Monadは(>>=)は左から右へ流すように使えるが
普通の関数は右から左。もちろんliftMとかも右から左。
(=<<)も右から左。しかし関数を拡張して適用するという見方で見るとこっちが自然という謎さ。
結局どっちからどっちへ読むべきか迷う場所が多く、思考停止してしまう。
ArrowだったらArrowとして結合されている部分は左から右。
普通の関数は右から左で思考が自然に切り分けられる。
257:デフォルトの名無しさん
07/12/06 17:37:32
・Monadでポイントフリースタイルをやろうとするとかなりキモくなるよね。
Arrowはまあ基本的にポイントフリーな感じがするし、普通の関数と分けられていいんじゃない？
・Arrowの構造を作ったりする関数は基本的にArrowだけを返す。
Monadの関数はなんかリストとかに入ってたりして気味が悪い。モナドのリストって、最中十個入りじゃないんだから。
・Arrowの構造を作る関数はキチンと構造を作ってるように見える。
Monadの場合は解読に時間がかかる。なんのためにこんな書き方をしてるんだろうとか……。
・ArrowでStateを自作してみたら比較的分かりやすかった。
Monadのは今見ても訳が分からん。というかMonadの対象が関数って何だよ。
・Monadに慣れ親しんでる人はMonadを扱うのに苦労しないだろうから、
簡単なものなら短い表記が出来るMonadのほうがいいんだろう。
しかし、初心者にいきなり教えるのならArrowのほうが直感的。
ポイントフリースタイルを使いまくってムツカシイことさえしなければ。
・Arrow講座みたいな入門編とかでArrowを書くとき、
関数がそのままアローになるからってやたら省略しないでいただきたい。
アローな部分と普通の関数の部分が綺麗に分かれてるのがいいんだから……
それにarrってやっておけばその部分は一般のArrowでも使えるし。
SF f >>> SF g = SF (f >>> g)とか出来るからそういう書き方が出来ること自体はありがたいが。
・arr.uncurryとかarr.constってよく出てくるけどそういう関数はないのか……
・Arrow関係ないけどデータ構築子と型構築子が同じ名前って混乱するな。時々イラっとくる。
・aとかbとか何を表してんのか直感的じゃねえよ。型変数だったり、引数だったり……
fって名前だから関数かと思いきやArrowだったり。
ネーミング規約みたいなものはないのか……
Arrowが引数で来たときの名前の付け方とかおもいつかねえけど。
・そろそろふつける買おうかな……。
・初心者のくせに身の程をわきまえない長文失礼しました……
258:デフォルトの名無しさん
07/12/06 17:42:34
>>257
> ・Monadでポイントフリースタイルをやろうとするとかなりキモくなるよね。
もう少し他人のコードを読んでいくと感覚がつかめてくると思いますよ
259:デフォルトの名無しさん
07/12/06 18:11:18
モナドのリストを返す関数なんてそんなに使うか？
しかし「モナドのリスト」って言い方は何か違和感あるな。
[IO]みたいなのを想像してしまう。
260:デフォルトの名無しさん
07/12/06 18:16:50
俺のポリシーではIOはmain内でしか使わない
261:デフォルトの名無しさん
07/12/06 18:25:06
>>258
把握。
>>259
ライブラリを見返してるけどそこまではなかったかも……。
初めて見たときに比べればそこまで疲れないし。
やっぱり慣れの問題なんだろうか。『モナドを返す関数』が普通の関数と同じ地位にいるのがイマイチだけど。
引数の数でバージョンがいくつもあったりするのもなんかいただけない。
でもやっぱり慣れれば気にならなくなるんだろうな……。
なんかJavaやったらCのポインタが理解できた時の気持ちを思い出した。（違うか）
262:デフォルトの名無しさん
07/12/06 18:30:02
モナドなんてステートとIOとリストとMaybe以外はほとんどつかわねーぜ
263:デフォルトの名無しさん
07/12/06 18:30:44
IORefもつかうか。
264:デフォルトの名無しさん
07/12/06 18:38:36
a0 -> a1 -> ... -> m bの形の関数を呼ぶのにはmonadic functionという名前が使えるはず。
日本語だと「モナドな関数」か。
俺のコードの大部分はモナドな関数になってるな。
普通の関数より書きにくいから嫌なんだが、変更に強いコードにするために仕方なく。
265:デフォルトの名無しさん
07/12/08 12:05:09
やさしいHaskell入門での質問です。
URLﾘﾝｸ(www.sampou.org)
> (ここで、同値性といっているのは、「値同値性」のことです。
> 対照的な概念としては、「ポインタ同値性」というのがあります。
> たとえば、Java 言語の == です。
> ポインタ同値性は参照透明性を持ちません。
> それゆえに純粋な関数型言語とは相性がよくありません。)
なぜポインタ同値性は参照透明性を持たないのですか？
266:デフォルトの名無しさん
07/12/08 12:26:42
>>265
ポインタ同値をテストする関数eqがあったとすると、
let v = [1,2] in eq v v
はTrue。一方、vを展開して
eq [1,2] [1,2]
とするとFalseになるかもしれない。
参照透過って言うのはそもそも、こういう展開をしても
プログラムの意味が変わらないってことだから、
eqによって参照透過性が破られたと言える。
267:265
07/12/08 12:37:55
>>266
おー！なるほど。わかりやすい説明ありがとう。
[1,2] が複数箇所に出現する場合、メモリ上に別々に配置されるかもしれないわけですね。
勉強になりました。
268:デフォルトの名無しさん
07/12/09 15:29:39
『A a』っていう表記が使われる場所によって
Aは型構築子、全体は多相型、aはパラメータ
Aはデータ構築子、全体はデータ構造、aはその中身
aは型クラスAのインスタンス、何かの型の一部
って変わるのがちょっとわかりにくいね。もうちっとなんとかならんか。
269:デフォルトの名無しさん
07/12/09 21:35:19
Haskell勉強してなくてよくわからないんですが、
乱数生成器をsplitしていくつかにしてseed固定で乱数を作れといわれました。
どう作ればいいんでしょうか？
初歩的な質問だったらすみません。
270:デフォルトの名無しさん
07/12/10 00:51:19
日本語でおｋ
271:デフォルトの名無しさん
07/12/10 15:07:15
無限リストって便利だけど、末尾を正格に要求する関数について型安全じゃないよね。
でも無限リスト型を再定義するとリストに関して作ったすべての関数について委譲関数を作んなきゃいけなくて現実的じゃない。
結局これは妥協するしかないのか？それともなんらかのテクニックで回避できる？
272:デフォルトの名無しさん
07/12/11 10:46:48
>>271
日本語でおｋ
273:デフォルトの名無しさん
07/12/11 10:52:25
>>271
俺の知る限り、妥協するしかない
274:デフォルトの名無しさん
07/12/11 12:46:45
>>271
評価がとまらないだけで型安全だよ。
275:デフォルトの名無しさん
07/12/11 13:17:06
そう言えば、厳密に言うと無限ループでも型安全なんだな
でも全域関数でない関数が厄介なことは事実だから、何か呼び名が欲しい
276:デフォルトの名無しさん
07/12/11 17:14:07
>>275
よくわかんないけど、チューリングの停止問題のこと言ってるの？
277:デフォルトの名無しさん
07/12/11 17:30:25
>>276
いや、Haskellには失敗し得る関数があるじゃん
例えば、headはリストが空の時例外を飛ばすし、
lengthは無限リストに適用されたら終わらない
一方で、例えばdropみたいに、引数に未定義値が含まれない限り、
あらゆる引数に対してちゃんと値をもどす関数もある
だからこの二つを区別できるように、短い呼び名があれば便利だな、ということ
「型安全」という言葉を使いたくなるけど、これは>>274の言う通り誤用だし
278:デフォルトの名無しさん
07/12/11 17:40:12
>>277
そういう一般的な関数のことを部分関数というんじゃないかね
279:デフォルトの名無しさん
07/12/11 18:03:01
>>278
全域関数も部分関数の一種だから、とか考えてたけどカジュアルに使う分には問題ないか
グダグダですまん
280:271
07/12/11 19:46:50
いや、同じ構造のデータ型でも、
型システムで『無限リストかそうでないか』をカッキリ分けられたら、
そっちのほうが型安全にならないかな？と思って271を書いたんだけど。
たとえば幽霊型とか使ってそういうのが解決できないかとか思ったんだけど、
それじゃ現行の関数を活かせないし、あんまり意味ないなあ、と。
281:デフォルトの名無しさん
07/12/12 01:00:18
>>280
言いたいのは、型システムを使って、
無限リストのフロー解析をして、
プログラムの停止性、正当性などを知ることができないかってこと？
それならリストの有限性の抽象解釈をやるってことになると思うけれど。
282:271
07/12/12 01:16:01
>>281
違う。返り値が無限リストの関数で、その関数の型を明示しておけば、
無限リストに対して使ってはいけない関数の引数にした時に型エラーになるようにしたい。
まあ無理っぽいのでもう諦めてるけどな。
283:デフォルトの名無しさん
07/12/12 02:43:32
※起こりえる全てのリストのうちどれが有限リストかを確かめることは
無限に長いリストに対して演算を行うことと同じ
ってだれかが言ってた
284:デフォルトの名無しさん
07/12/12 07:57:59
だから誰も自動チェックしてくれって言ってるわけじゃないじゃない……
静的に型推論してくれるんだから、
enumFromにInt a => a -> [a] Inf
って書けるとして
lengthに[a] Ltd -> Int
みたいに指定したらコンパイルエラーになって欲しいとかそういう問題だって。無理だけど。
285:デフォルトの名無しさん
07/12/12 08:17:31
enumFromよりrepeatのほうが良かったな（repeat :: a -> [a] Inf）
あとコンパイルエラーになって欲しいのは『length.repeat x』みたいな文脈な。
286:デフォルトの名無しさん
07/12/12 09:39:03
strictな言語なら、force/delayみたいに陽に指定するんだろうから、
>>281の言うような方法も効果を挙げるだろうが、
lazyな言語だと、リストを生成する全ての関数が、
無限リストを返す可能性があるので>>276でFAだが。
[1..]が無限リストであることも、解析が必要になるし。
うまくできるケースもあるが、希少すぎる。
287:デフォルトの名無しさん
07/12/12 11:18:26
>>271が見事に無視されててワラタ
288:デフォルトの名無しさん
07/12/12 11:39:59
言葉の使い方間違ってるよな。
289:デフォルトの名無しさん
07/12/12 17:16:57
なんというか残念賞な言語だな。
関数言語としてのおいしいところは全てC#3.0に持っていかれてしまった。
290:デフォルトの名無しさん
07/12/12 17:26:09
それはギャグのつもりでいっているのか
291:デフォルトの名無しさん
07/12/12 17:27:04
>>289
関数言語？ｗ
C#3.0？ｗ
292:デフォルトの名無しさん
07/12/12 18:12:14
>>289
F#じゃなくて、C#かよ・・・
293:Wadler
07/12/12 22:26:38
Haskell初心者です。
a->[a]という(型の)monad(仮にDとしましょう)をつりたくて困っています。
どなたか教えてください。
とくにDのmapFにあたる関数も教えていただけれありがたいです。
294:デフォルトの名無しさん
07/12/12 23:11:10
>>293
はい？
295:デフォルトの名無しさん
07/12/12 23:12:01
とりあえず、日本語でおｋと言ってほしいのですか？
296:デフォルトの名無しさん
07/12/12 23:13:50
>>295
日本語でおｋ
297:デフォルトの名無しさん
07/12/13 00:02:02
よくわからんが
data D a = mkD (a -> [a])
instance Monad D where ...
ってことか？
あとmapFってなんだ？fmap？
298:デフォルトの名無しさん
07/12/13 01:20:15
>>293
よくわからんが、釣りってことか？
299:デフォルトの名無しさん
07/12/13 01:23:14
>>297
mkDはなぜ先頭が大文字になってないんだ？
受理されないだろ。
300:デフォルトの名無しさん
07/12/13 01:25:29
なんなんだ？
近頃Haskellerの質の低下が激しすぎるぞ
301:デフォルトの名無しさん
07/12/13 02:15:06
昔からです
302:デフォルトの名無しさん
07/12/13 02:20:10
割と玉石混淆なイメージだね
303:デフォルトの名無しさん
07/12/13 02:23:35
暇つぶしで弄ってる学生がここで暇を潰しているイメージ
304:デフォルトの名無しさん
07/12/13 08:17:19
>>299
>>303
そのとうりですすいません……
305:デフォルトの名無しさん
07/12/13 11:07:28
>>268-304
この辺からおかしくなってきてる
306:デフォルトの名無しさん
07/12/13 11:49:46
なんにしてもHaskellerが増えるのは喜ばしいことだ
307:デフォルトの名無しさん
07/12/13 11:51:12
rubyみたいになるぐらいなら少なくてもいい
308:デフォルトの名無しさん
07/12/13 16:58:02
少数精鋭投入ならこれでいいだろうけど
大人数投入用にｺｰﾄﾞもﾃﾞｰﾀもﾌﾞﾗｯｸﾎﾞｯｸｽにできる仕組み（命令型のｵﾌﾞｼﾞｪｸﾄ指向同等？）誰か作らないのかな
309:デフォルトの名無しさん
07/12/13 17:07:09
大人数投入っていまどき流行らないよ
人海戦術でプログラミングする時代は終わった
310:デフォルトの名無しさん
07/12/13 17:23:49
>>308
ブラックボックス化ってどんなの？
カプセル化なら標準のモジュールシステムがあるけど
311:デフォルトの名無しさん
07/12/13 17:28:42
>>308
そんなにオブジェクト指向がやりたいなら
つ O'Haskell
312:デフォルトの名無しさん
07/12/13 17:30:17
でも、そもそもオブジェクト指向は型理論に包含されるものだから・・・
313:デフォルトの名無しさん
07/12/13 17:31:50
デバドラ屋と少数のhaskellerがいればたいていのプロジェクトは成功する
・・・夢を見た
314:デフォルトの名無しさん
07/12/13 18:14:01
>>308
そもそもhaskellにはオブジェクト指向は不要なんですよ。
というのも、関数の再利用できる範囲がCやらjavaやらとは桁違いに大きいのが特徴だからです。
315:デフォルトの名無しさん
07/12/13 21:20:25
Haskellでモジュールつかってカプセル化してコード書いている人あまりいないような気がするんだけど気のせいかな。
316:デフォルトの名無しさん
07/12/13 21:22:03
なにを根拠に?
317:デフォルトの名無しさん
07/12/13 21:35:09
>>315
そもそもhaskellを使って実用アプリを公開してる人があんまりいないんだから
仕方ないだろ。
318:デフォルトの名無しさん
07/12/13 22:49:47
Haskellって関数型言語の勉強用じゃないの?
319:デフォルトの名無しさん
07/12/13 23:10:30
それだけのための言語だとどうして思うのですか？
320:デフォルトの名無しさん
07/12/14 00:39:15
GHC 6.8.2が出てるね。
GHCiの機能追加がメインっぽい。
321:デフォルトの名無しさん
07/12/14 00:53:25
HaskellはOOじゃなくて、
generic programing指向だからなあ。
Genericsの世界では最強認定を受けてる。
322:デフォルトの名無しさん
07/12/14 01:21:07
OfficeがHaskellで書きなおされるまで俺はその有用性を認めない。
323:デフォルトの名無しさん
07/12/14 02:29:17
スケーリングのための言語じゃないんだよな
工場制手工業ならOOであることやポピュラリティ（みんなが使ってること）は必須だ。
324:デフォルトの名無しさん
07/12/14 13:26:48
別に必須じゃないし。
今流行ってること取り入れたってどうせちぐはぐになるだけ。
325:デフォルトの名無しさん
07/12/14 13:28:05
っていうかさ、人海戦術の奴隷商売に慣れすぎていて、理性的な考え方を失ったお猿さんですか？
326:デフォルトの名無しさん
07/12/14 14:15:06
ポピュラリティが必須というのは分かるけど、OOが必須というのはおかしくね？
OOは一手法に過ぎないんだから、もっと良いものが知られればそっちが使われるようになるだろ
327:デフォルトの名無しさん
07/12/14 14:21:57
OOは現時点でのポピュラリティの1つって事ならわからなくもないけど、
わざわざ分けて必須って言うほどのものではないな。
328:デフォルトの名無しさん
07/12/14 14:54:59
つーか、OOはstableなlibrary構築にはいいんだけど、
意外とreusabilityが悪いから、
generic programmingが注目されているのが現状です。
Haskellのtype classとかC++のconceptみたいなやつ。
C++はtemplate/traitsでやってましたが、ちょっと非力なので、
Haskellのtype classそっくりの"concept"が入る事になりました。
329:デフォルトの名無しさん
07/12/14 14:59:18
実際これはOOと比べてどうなんだとか思ってたんだけど
実際使ってみたら意外とオブジェクト指向のメリット包含しててＳＵＧＥＥとか思った
330:デフォルトの名無しさん
07/12/14 14:59:57
>>328
日本語でおｋ
331:328
07/12/14 15:35:51
日本語ですよ?
332:デフォルトの名無しさん
07/12/14 15:45:42
決して英語が読めないわけではないが、
不自然だ
読みにくい
目が痛い
333:デフォルトの名無しさん
07/12/14 16:23:51
理論はそのとおりなんだが、残念だがそんな理論を理解出来る人間は少数派なんだよ。
共産主義みたいなもん。高尚な理屈よりも明日パンが、今日のバグを潰せるかが問題なわけだ。
いいじゃない。Haskellは芸術的な小物を個人で作るのに向いてるってことで。
334:デフォルトの名無しさん
07/12/14 17:07:50
>>333
多数のバカよりも少数の優秀な人間でプログラミングしたほうが安く早くできます。
335:328
07/12/14 17:08:28
>>332
そういう意味か。すまん
>>328については、
URLﾘﾝｸ(journals.cambridge.org)
で。探せばピィーディーエフも見つかるようです。
336:デフォルトの名無しさん
07/12/14 17:09:42
>>333
どの辺の理論のことを言ってるの？
337:デフォルトの名無しさん
07/12/14 17:10:46
>>335
不自然だ
読みにくい
目が痛い
お前は日本語文書の常識を勉強したほうがよさそうだな
338:デフォルトの名無しさん
07/12/14 17:16:49
どっちにしろ、今みたいに人気がなくて、そのせいでライブラリも
周辺環境も整っていない状況だと、小物を個人で作るのすら満足にできん。
339:デフォルトの名無しさん
07/12/14 17:43:43
wxhaskellが使いやすい
が、6.8系用が出てない・・6.6系は非公式
340:デフォルトの名無しさん
07/12/14 17:52:21
いまだと.NETやJavaVMに乗せちゃえばライブラリ不足は一挙に解決だな。
341:デフォルトの名無しさん
07/12/14 17:56:18
>>339
普通にdarcs版をビルドできないか？
342:デフォルトの名無しさん
07/12/14 17:56:46
>>340
なんで？
343:デフォルトの名無しさん
07/12/14 19:53:13
conceptの導入をもってHaskellはC++のサブセットになります
つまりこれで全ての言語がC++のサブセットになるというわけです
344:デフォルトの名無しさん
07/12/14 20:54:45
本日をもってHaskellはウジ虫を卒業する
本日からHaskellはC++のサブセットである
兄弟の絆に結ばれる
Haskellのくたばるその日まで
どこにいようとC++は貴様らの兄弟だ
多くはベトナムへ向かう
ある者は二度と戻らない
だが肝に銘じておけ
C++は死ぬ
死ぬために我々は存在する
だがC++は永遠である
つまり――Haskellも永遠である！
345:デフォルトの名無しさん
07/12/15 07:46:00
初心者質問です。
test = flip fun1 . fun2
の場合、
1. test = flip (fun1 . fun2)
2. test = flip (fun1) . fun2
どっちの意味なんでしょうか。(.)が使用されている場合、flipが対象とする
関数がどこまでかかるか分かんなくなってしまいました。
346:デフォルトの名無しさん
07/12/15 08:05:18
(.)よりも関数適用のほうが優先度が高いから答えは一応 2.なんだけど、
括弧の付け方としては (flip fun1) . fun2 のほうが正しい。
347:345
07/12/15 14:13:25
>>346
ありがとうございます。合成関数全体にかかるのかと思ってました。
もう少しいいでしょうか。
URLﾘﾝｸ(ja.doukaku.org)
にある、
attachIndex = map (uncurry (flip zipWith [0..] . ((,) .) . flip (,))) . zip [0..]
がよく理解できないのですが、
(flip zipWith [0..] . ((,) .) . flip (,)) 0 "abc"
の部分は
zipWith (((,) .) $ flip (,) 0) [0..] "abc"
と考えられると思うのですが、何ででしょうか。(flip zipWith [0..] . ((,) .) . flip (,)) の
第一引数"0"がまず部分適応されてflipされるところが理解できません。
348:デフォルトの名無しさん
07/12/15 14:41:26
(flip zipWith [0..] . ((,) .) . flip (,)) 0
から始める。まずこの式は(A . B . C) 0という形だからA (B $ C 0)に直せて、
flip zipWith [0..] ( ((,) .) $ flip (,) 0 )
これはflip A B Cという形だからA C Bと書き換えられて、
zipWith ( ((,) .) $ flip (,) 0) [0..]
349:345
07/12/15 15:29:30
>>348
ありがとうございます。しかし、まだちょっと理解できませんw
1.第一引数"0"の部分適応を行う
2.flip する
の順番の根拠がよく分かりません。
(flip zipWith [0..] . ((,) .) . flip (,)) 0 "abc"
の第二引数が最後に適応されるのは何故でしょうか。
あと、これは変な質問なんですけど、
(flip zipWith [0..] . ((,) .) . flip (,)) 0 "abc"
の形を慣れた方は直接記述できちゃうんでしょうか。それとも、
zipWith ( ((,) .) $ flip (,) 0) [0..] "abc"
の形から変形させていく形でプログラム書いていくんでしょうか。
350:デフォルトの名無しさん
07/12/15 15:37:45
>>349
Haskellでは基本的にどんな順番で簡約しても結果は同じだから、分かりやすい順序でやっただけ。
もっと実装に即した順序でやることもできるけど、面倒なだけな気がする。
>の形を慣れた方は直接記述できちゃうんでしょうか。
俺はできない。読むのも二分くらい掛かった。
351:デフォルトの名無しさん
07/12/15 15:42:07
あ、でもそのnobsunという人は日常的にそういうコードを書いてるみたいだから、
たぶんすらすら書けるんだろう。
352:デフォルトの名無しさん
07/12/15 15:46:11
俺思うんだけどさ、デザインパターン中毒みたいにポイントフリー中毒ってあるんじゃないかなあ。
そーいうのって可読性犠牲にしてまでやるものなのか？
353:デフォルトの名無しさん
07/12/15 15:47:28
>>350
> Haskellでは基本的にどんな順番で簡約しても結果は同じだから、分かりやすい順序でやっただけ。
(flip zipWith [0..] . ((,) .) . flip (,)) 0 "abc"
自分がどうも腑に落ちないのは、どうして
zipWith ( ((,) .) $ flip (,) 0 "abc") [0..]
こうじゃないんだろう？ってとこなんですね。もちろん、こういう解釈だとダメなんですけど、
引数一つだけ取って、ある関数を返してから、次に行くってのがルールだったりするのかな、
と思ったのですが。
> 俺はできない。読むのも二分くらい掛かった。
そうですかw。いや、直感的に書ける人って凄いなぁって思ったんですが、なかなか
そういう人はいないんでしょうかね。
354:デフォルトの名無しさん
07/12/15 16:02:39
>>352
デザインパターン中毒はどうか知らんが、この書きかたには
記述が簡潔になるという利点があるんだから、別にいいんじゃないかと思う。
>>353
Haskellの関数は常に一引数関数で、多引数関数は
カリー化でエミュレートされているだけだということを思い出すべし。
(.)も両辺を一引数関数として合成するから、
(f . g) a b
と
f (g a b)
は等しくない。
355:デフォルトの名無しさん
07/12/15 16:05:04
些細なことだけど
> (f . g) a b
この括弧なんとかならないかな
356:デフォルトの名無しさん
07/12/15 16:13:51
>>354
> Haskellの関数は常に一引数関数で、多引数関数は
> カリー化でエミュレートされているだけだということを思い出すべし。
そうでしたw。
いやぁ、ありがとうございます。スッキリしました。
357:デフォルトの名無しさん
07/12/15 16:36:06
>>355
>219に戻れ
358:デフォルトの名無しさん
07/12/15 16:43:36
>>357
>>219とは趣旨が違う
> (f . g) a b
この括弧はうっとうしいなぁと言ってるだけなんだよ。
$みたいに括弧省略したい
359:デフォルトの名無しさん
07/12/15 17:10:55
俺はその格好が好きだ
360:デフォルトの名無しさん
07/12/15 17:31:40
ML でも (foo o bar o baz o foobar) quux みたいに書くね
361:デフォルトの名無しさん
07/12/15 20:25:33
>>358
お前は何を言っているんだ
362:デフォルトの名無しさん
07/12/15 21:14:46
>>361
心で感じろ
363:デフォルトの名無しさん
07/12/16 01:37:28
>>361
風を感じろ
364:デフォルトの名無しさん
07/12/16 01:45:32
GHC 6.8.2 Windows版で、コンソールのコードページが英語のになるバグがようやく直ったな。
365:デフォルトの名無しさん
07/12/16 20:36:29
Parallel Haskellの拡張されてる点ってどんなとこ？
366:デフォルトの名無しさん
07/12/17 08:39:00
>>364
太字になるのは？
367:デフォルトの名無しさん
07/12/17 09:27:14
WindowsでGHCなんか使うやつはバカです
368:デフォルトの名無しさん
07/12/17 11:39:39
同感
369:デフォルトの名無しさん
07/12/17 11:47:31
windowsではGHC以外に何が一番いいの？
370:デフォルトの名無しさん
07/12/17 16:08:40
>>365
（疎結合の）クラスタ範囲にまで並列化する
（普通のマルチコア・マルチCPU（どっちも共有メモリ）範囲の（半）自動並列化ならGHC本体だけでもできる）
そんなハード持ってなければどっちみち関係ない
371:デフォルトの名無しさん
07/12/17 22:55:51
＿＿＿_
／ ＼
／ ─ ─＼ 今年もあと一ヶ月だお・・・
／ （●） （●） ＼
| （__人__） | ＿＿＿＿＿＿＿_
＼ ￣ .／ .| | |
ノ ＼ | | |
／´ | | |
| ｌ | | |
ヽ -一ー_~､⌒)^),-､ | |_＿＿＿＿＿＿__|
ヽ ＿＿＿＿,ノγ⌒ヽ)ニニ-￣ | | |
／￣￣￣＼
／ ─ ─ ＼
／ （●） （●） ＼. 俺はこの一年間何をしていたんだろう
| （__人__） | 2chで浪費した莫大な時間を何か有意義なことに使っていたら・・・
＼ ｀ ⌒´ ／
／ ＼
372:デフォルトの名無しさん
07/12/17 23:18:53
このスレは相当に有意義だと思うんだけどな。
つうか基本的に専門スレしか見ない人も多いと思うんだが。
今年も大変勉強になりました。
373:デフォルトの名無しさん
07/12/22 18:46:23
いまさらだが、
>>96
JavaScriptでもできるな
374:デフォルトの名無しさん
07/12/22 20:49:40
(>>=´∀｀)
375:デフォルトの名無しさん
07/12/22 23:20:06
そこで具体的な事じゃなく漠然と「有意義な事」って言葉しか出ないなら
2ちゃんやらなくても結果は一緒だったと思うんだよ
376:デフォルトの名無しさん
07/12/23 00:04:51
日頃から頑迷そうな意見乙
377:デフォルトの名無しさん
07/12/24 12:55:59
哲板から転載
読んだ人いる？
圏論による論理学 高階論理とトポス
清水 義夫
ISBN978-4-13-012057-9,
発売日:2007年12月中旬,
判型:Ａ５, 232頁
内容紹介
20世紀後半，数学，計算機科学，論理学などの分野で採用されてきている圏論．
関数概念を基本として現象をとらえようというこの方法を，
関数型高階論理とトポスを題材にして丁寧に解説する．
論理学の観点を中心に，圏論の考え方を紹介するテキスト．
主要目次
序
第1章 関数型高階論理
第2章 トポス
第3章 トポスの基本定理
第4章 プルバック関手ｆ *の右-随伴関与Πf
第5章 リミット、空間性トポス、限定記号
結び
付録１ A∧( ) ┤A⊃( )のイメージ的理解
付録２ 各章の課題
主な記号一覧／索引
378:デフォルトの名無しさん
07/12/24 12:57:43
>>377
立ち読みしたが、俺らには全く関係ないよ
379:デフォルトの名無しさん
07/12/24 12:59:29
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●不合格●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●
これを見た人は確実に【不合格】です。これをコピペでどこかに１回貼れば回避できます。
これは本当です。やらないと一年無駄になります.
私も最初は嘘だと思ったんですが、一応コピペしました。それで第一志望に合格出来ました。
けどコピペしなかった友達がA判定とっていたのに、おちたんです。(慶応合格h.sさん)
俺はもうE判定で記念受験だったんだけど、コピペを１０回くらいした途端に過去問が
スラスラ解けるようになって、なんと念願の開成に受かりました。(開成合格r.kくん)
これを今年の試験前に見てシカトしたら、入試でミスって最悪です。(n.aさん)
380:デフォルトの名無しさん
07/12/24 16:34:29
tasukete
381:デフォルトの名無しさん
07/12/24 16:37:43
>>380
通報しますた
382:デフォルトの名無しさん
07/12/25 08:38:38
>>378
関係ないことないだろ。
Haskellの型システムを理論的に理解する時など。
383:デフォルトの名無しさん
07/12/25 08:51:28
しみろん、懐かしいな…
384:デフォルトの名無しさん
07/12/25 11:43:56
すげー久しぶりに しみろん 見た…
385:デフォルトの名無しさん
07/12/26 19:57:10
liftM と fmap が一致しない場合ってあるの？
386:デフォルトの名無しさん
07/12/26 21:11:49
>383-384
東大OB乙
387:デフォルトの名無しさん
07/12/28 18:50:21
二ヶ月ほど前に撮った写真です
場所はバトルロワイヤルの撮影地にもなった
軍艦島での一枚です。
URLﾘﾝｸ(www.uploda.net)
撮影し現像した物を
心霊写真がないかな～っと面白半分で探していると
偶然にも一枚だけ物凄い写真が在りました
最初に見えたのは右下の子供の様な顔です
左にはボーっと立ち尽くし
こっちを見ている子供がうっすらと写っています
上部には青白い叫び顔があります
それだけではありません
探せば探すほど気持ち悪い顔があるのです
私は現在で約30ほどの顔を見つけました、全てこっちを見ています
探せば探すほどあまりにも出てくるので
気持ち悪くなり頭が痛くなりました
この写真ですが、ある友人に貸した所
夜に1時間程笑い声の様なものが聞こえてかなり
怖かったらしいです・・・
霊感がある方はぜひ鑑定をお願い致します。
因みに、スキャナーで高画質でスキャンした上で
見易いように画質調整をしています
ですのでファイルサイズが9MBにもなります・・・
388:デフォルトの名無しさん
07/12/28 21:23:54
>>387
スレ違い
画像処理 その10
ｽﾚﾘﾝｸ(tech板)
389:デフォルトの名無しさん
07/12/29 00:40:56
ワロタ
390:デフォルトの名無しさん
07/12/31 18:01:51
初心者レスです。
既出や意味不明な質問でしたらすみません。
ポイントフリースタイルって言葉がありますよね。
仮引数を無くして、関数を関数だけで定義するという意味で。
firstNLines n cs = (unlines . take n . lines) cs
上のような関数が定義されていたとして、
仮引数を減らす仮定で
firstNLines n = unlines . take n . lines
上のように書けますよね。
更に仮引数 n を無くす場合
firstNLines = (. lines) . (unlines .) . take
と書けると思うんですが
ポイントフリースタイルとなった最後の定義式を見て
理解しやすくなったとは思えないのです。
積極的に使うべきなのでしょうか。
391:デフォルトの名無しさん
07/12/31 18:07:32
わかりやすいほうでいいんじゃない？
ごちゃごちゃしてるのがいやならポイントフリーで。
392:デフォルトの名無しさん
07/12/31 19:15:14
なんでもポイントフリーにするのは難読化への道を歩んでしまいかねん。
とりあえず二つ目のfirstNLines nみたいに普通に使ううちは
型を明示してれば分かりにくくなることも無いけど、
度を過ぎた奴はコードの修正とかも考えると扱いにくいわ読みにくいわでいろいろと面倒だし、
ポイントフリースタイルが時にはポイントレス（要領の悪い）スタイルといわれることもある
ってHaskellWikiに書いてた
俺もflipとかドットとか使いまくったコードを読むのは嫌い。
でも書いてる奴からするとパズルみたいで楽しいんだろうなあ、とか。
393:389
07/12/31 19:29:48
ポイントレススタイル・・・。
書くときは頭の体操になるかもしれませんが
読む方からすると大変ですよね。
394:デフォルトの名無しさん
07/12/31 21:34:10
ポイントフリースタイルにすると点 . がどんどん増えてぜんぜんポイントフリーじゃないよ(笑
395:デフォルトの名無しさん
07/12/31 22:03:28
map ($ 3) [(+1),((-)2),(/3),(*4)] とか書くと単純なことなのになんか愉快だよね、たしかに
396:デフォルトの名無しさん
07/12/31 23:38:55
なんだその記号だらけの読みにくい奇怪なコードは
397:デフォルトの名無しさん
08/01/01 00:16:55
あけましておめでとうございます。
今年は Haskeller になれるように頑張りまふ(｀･ω･´)!!
398:デフォルトの名無しさん
08/01/01 10:27:49
俺もだ！
今年こそはHaskellマスターになる
399:デフォルトの名無しさん
08/01/01 11:08:26
>>395
少し愉快になれた(ﾟ∀ﾟ)
400:デフォルトの名無しさん
08/01/01 17:35:39
今更だけど
>>52
の説明に感動した。
401:デフォルトの名無しさん
08/01/01 18:08:19
>>394
ポイントって確か関数合成演算子じゃなくて「値」のことだったかと
まあそれを踏まえて言ってるのかもしれないけど
402:デフォルトの名無しさん
08/01/09 00:26:20
モナド難しいよ。
みんなエディタは何使ってる？
Emacs が多いのかな。
403:デフォルトの名無しさん
08/01/09 00:50:16
現状まともにプログラミングできる環境がemacsしかない
eclipseは使いづらいし、xyzzyのhaskell-modeはバグだらけだしwindowsでしか動かないし。
404:デフォルトの名無しさん
08/01/09 00:52:19
>>402
モナドなんてHaskellではただのデータ型なんだから、別に難しいことなんかないよ。
405:デフォルトの名無しさん
08/01/09 09:01:44
>>403
vim にもあるでしょ？俺は vim 使ってるよ
406:デフォルトの名無しさん
08/01/09 11:04:47
俺は、viはほとんど使えないんだ。
設定ファイルをちょこっと編集するぐらいなら使うが、深い使い方は覚えてない。
407:デフォルトの名無しさん
08/01/09 15:34:50
>>401
ここに由来が書いてあります。
URLﾘﾝｸ(www.haskell.org)
408:デフォルトの名無しさん
08/01/09 17:39:13
darcs2って今までのdarcsとどう違うの
haskellの組み込み言語atomを詳しくおしえて
409:デフォルトの名無しさん
08/01/11 18:22:16
関数型初心者です。
今、SICPを少しずつ読んでるのですが、set!のようなものをHaskellがモナド化するのは
単に純粋であることに拘るからでしょうか。IORefみたいなものがset!に当たるかと思います
が、副作用アリだぞ、ということを意識させる以上のメリットとかがよく分かりません。
410:デフォルトの名無しさん
08/01/11 20:10:23
>>409
プログラマに直接メリットはない。
メリットは最適化コンパイラを作るのが楽になること。
411:デフォルトの名無しさん
08/01/12 04:05:03
関数型言語をやる人の多くは、学生も含め研究者です。
研究テーマはプログラミング言語の中でも、
意味論やプログラム解析などが多く、
そういう研究では参照の透明性が非常に有益な性質です。
たとえば、Javaで盛んに研究されているエスケープ解析も、
初期の成果では、関数型言語で行われたものが多いです。
また参照の透明性を保つことは、実務プログラマにとっても大変有益で、
プログラムの簡明さを保つことにつながります。
良く理解すれば、他の言語でも使える一つの方法論を得たことになります。
412:デフォルトの名無しさん
08/01/12 04:32:28
C99のコンパイラ作ってくれ。
413:デフォルトの名無しさん
08/01/12 04:33:24
インタープリタで頼む。CなのにGCがオプションであったりとか。
414:デフォルトの名無しさん
08/01/12 08:18:04
CINTがあるじゃないか
現状どうなってるか全く知らないけど
415:デフォルトの名無しさん
08/01/12 09:06:52
>>410-411
そんな小難しい話しなくても、評価順の決まっていない言語で副作用を使うのが
どれだけ厄介か考えれば済むことじゃないか？
416:デフォルトの名無しさん
08/01/12 09:42:37
>>409
確かに純粋であることに拘っているからという点は大きい。
しかし、それだけではなく、例えば、
Haskellではリストを使ったプログラムを書いている途中でそれを非決定性計算と
みなしてプログラムの一部を書くとか、IOに限らずモナドを気軽に使う人もいる。
そのためモナド一般を扱う便利関数(mapMとかモナド変換子とか)が多く用意されている。
IOがモナドになっているとそういった便利関数が使えるので便利。
また、モナドになっていると読みやすさのためにコードをまとめたり
移動させたりといった操作が気軽にできる。
例えば副作用のある言語で
f x = x + y + (副作用のある式)
where
y = (副作用のある式)
とかやるとどの順番で副作用が現れるかとか、yはどのタイミングで
何回評価されるのかわからない。
Haskellであればそのような問題はないので気軽にwhereにコードを
まとめたりできる。
417:409
08/01/12 11:02:27
皆さん、ご回答ありがとうございます。
>>415
そうなんですが、モナドはdo記法が可能で、これは実質手続き型の
記述ですよね。手続き型の記述が関数型言語内で可能だから、IOが
モナドになっていると思うのです。
>>416
モナド自体は演算のリレーということで分かるんですが、副作用の発生
する式をそうする理由は、上に書いたように、単に順番が保証されるのが
モナドである、という以上の理由は無い気がします。
どちらかというと、>>410さんの書いていることがメインなのでしょうかね。
418:デフォルトの名無しさん
08/01/12 12:10:33
モナドのおかげで、
CやSchemeよりコンパイラの最適化がより進むって事はないんで、
そこのところは誤解しないように。
参照の透明性から、プログラム変換しやすくなるので、
コンパイラの研究がやりやすいってだけ。
419:デフォルトの名無しさん
08/01/12 12:10:54
>>417
＞単に順番が保証されるのがモナドである
違う。遅延処理ではg . f(x)でf → gと簡約されるかどうかがわからないのと同じように
¥x -> mf >>= mg でmf → mgと簡約されるかどうかはわからない。
モナド自体には「計算のリレー」の意味はあるけど「順番に実行する」意味はない。
ＩＯモナドみたいな奴は、計算のリレーが示すその一連のＩＯアクションがmainに渡されたときに
（遅延しないHaskell処理系が）順番に実行することで「順次実行」を実現している。
ＩＯがモナドになっているのは「計算がリレーの形になっている」ことを保障させるためだけ。
UnsafeInterleaveIOはIOモナドから出してすぐ入れるだけの処理だけどIOアクションが遅延するようになる。
これは計算のリレーを途中で切断したからその部分だけ順次実行できなくなったんだね。
これを使ってる関数にはgetContentsやinterleaveとかがある。
420:デフォルトの名無しさん
08/01/12 14:57:58
前に読んだことがある論文で、
HaskellのIOの実装に関する論文なんだが、
タイトルを忘れてしまった。
それらしい論文のタイトルを挙げてくれませんか？
421:デフォルトの名無しさん
08/01/12 15:08:02
俺はsimonpjのこれが面白かった。
Tackling the awkward squad:
monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
URLﾘﾝｸ(research.microsoft.com)
422:デフォルトの名無しさん
08/01/12 17:23:16
>>421
これだこれだ
ありがとう
423:421
08/01/12 18:09:21
うぉー、一発的中！
ご褒美に最近読んで面白かったHaskell論文のタイトルくれ
424:デフォルトの名無しさん
08/01/14 02:35:49
URLﾘﾝｸ(web.yl.is.s.u-tokyo.ac.jp)
これに書かれてる、
> Ericssonによる 電話のソフトウェアを用いた一連の実験によれば、9から25倍の向上が 見られました
の部分の根拠となる論文って何？
425:デフォルトの名無しさん
08/01/14 12:27:39
２組のタプルの値を交換する関数って
標準でありますか？
exTuple (x,y) = (y,x)
みたいな感じの。無いならいいんですが・・・。
426:デフォルトの名無しさん
08/01/14 13:26:01
無いと思う。強いて言えばuncurry (flip (,))だけど。
427:デフォルトの名無しさん
08/01/14 13:39:28
なるほど uncurry ですか。
flip (,) までは考えてたんですが
ありがとうございます。
428:デフォルトの名無しさん
08/01/14 15:15:28
十進数 (e.g. [1,2]) を二進数 (e.g. [1,1,0,0]) に変換するプログラムを，
foldl を用いて書け，という問題を連休中ずっと考えてるんですが，
脳味噌が手続き型で凝り固まっていてさっぱりわかりません．
どうやって書くのか教えて頂けませんか．
429:デフォルトの名無しさん
08/01/14 15:19:02
手続き的になら書けるの？
430:デフォルトの名無しさん
08/01/14 15:26:32
教科書的に書こうとしてみたが、こんなんでいいか？
import List
-- n進数表示から整数へ
fromBaseN :: Integer -> [Integer] -> Integer
fromBaseN n ds = foldl f 0 ds
where
f acc d = n * acc + d
-- 整数からn進数表示へ
toBaseN :: Integer -> Integer -> [Integer]
toBaseN n 0 = [0]
toBaseN n x = reverse $ unfoldr f x
where
f 0 = Nothing
f x = Just (mod x n, div x n)
-- 十進数から二進数へ
decToBin :: [Integer] -> [Integer]
decToBin = toBaseN 2 . fromBaseN 10
431:デフォルトの名無しさん
08/01/14 15:30:33
>>430
教科書的なら一発でできる方法があるはずだ
432:デフォルトの名無しさん
08/01/14 20:10:49
>>431
mjd?
433:デフォルトの名無しさん
08/01/14 20:36:34
ghc6.6のころはSystem.Console.Readlineってデフォルトではいってましたよね？
当方Windowsなんですが、
久しぶりにHaskellやろうと思って6.8.2をインストールしたんだけどSystem.Console.Readlineがない・・
一年くらい前につくったインタプリタがビルドできないっす；；
にわかなのでライブラリインストールもままならないのですが、cabal-installってWindowsでも使えますでしょうか？
434:デフォルトの名無しさん
08/01/14 21:05:11
ｎ進数→十進数をfoldlでやるならわかるけど
その逆は思いつかんなあ
435:デフォルトの名無しさん
08/01/14 22:12:17
なつめって初めて知ったけど、こんな所にも Haskell を使ってる人が居るとは面白い
URLﾘﾝｸ(natume.sourceforge.jp)
436:デフォルトの名無しさん
08/01/15 00:17:04
重すぎて使い物にならないけどな
437:デフォルトの名無しさん
08/01/15 00:29:35
>>433
Haskellプログラム書くならHaskell98に準拠しないと互換性なくなるぜ？
438:デフォルトの名無しさん
08/01/15 00:30:28
どなたか>>424の質問の返答をおねがいします
439:デフォルトの名無しさん
08/01/15 03:18:49
>>430
428 では無いんだが
Just (mod x n, div x n)
ここって modDiv 使った方が速いのか？
そうすると >>425 みたいなのを使うべき？
440:デフォルトの名無しさん
08/01/15 03:19:50
modDiv -> divMod
だった。ごめん。
441:デフォルトの名無しさん
08/01/16 00:40:44
>>439
divMod 使う方が速いんじゃないかな。
かといって>>425は読みにくいから
Just (r,q) where (q,r) = divMod x n
でいいんじゃない。
442:デフォルトの名無しさん
08/01/16 06:56:19
なるほど、サンクス。
443:デフォルトの名無しさん
08/01/16 11:52:42
数が小さいと分かっている時: (なおかつ実行効率が必要なら)
modとdivの計算コストは小さいから、
タプルを消費しないように書いた方がいい。
444:430
08/01/16 13:48:57
実行効率なんて全然考えてなかったよ
とりあえず実測してみた。ghc-6.8.2 -O2、入力はrandomRIO (0, 2^16)で
19.6 19.2 toBaseN
14.2 14.6 toBaseN_where
12.6 13.1 toBaseN_loop
8.6 10.8 toBaseN_case
7.9 7.0 toBaseN_loop_case
左から、%time、%alloc、関数名。_whereは>>441のやりかた。_caseはwhere節の代わりにcase式を使ったもの
_loopはreverse+unfoldrの代わりに手でループ（末尾再帰）を書いたもの
総実行時間の約1/4がGCだった
数が小さくてもdivとmodのコストが大きいな
445:デフォルトの名無しさん
08/01/16 17:30:40
無知でｽﾏｿ
末尾再帰ってことは $! を使ってるってこと？
良ければソースを見せて貰えませんか。
446:デフォルトの名無しさん
08/01/16 19:00:45
>>445
なぜか$!に慣れないのでseqを使ってるけど
toBaseN_loop_case :: Integer -> Integer -> [Integer]
toBaseN_loop_case n 0 = [0]
toBaseN_loop_case n x = f x []
where
f 0 ds = ds
f x ds = case divMod x n of
(r, q) -> f r (q:ds)
toBaseN_loop :: Integer -> Integer -> [Integer]
toBaseN_loop n 0 = [0]
toBaseN_loop n x = f x []
where
f 0 ds = ds
f x ds = let q = div x n; r = div x n in
q `seq` r `seq` f r (q:ds)
447:デフォルトの名無しさん
08/01/16 19:22:34
今気付いたけど、toBaseN_loopのdivは片方modじゃないといかんな
そういうわけで>>444の結果は間違ってる
448:デフォルトの名無しさん
08/01/17 19:16:16
たかだか有限時間で終わる処理について実行効率など考える必要はない
449:デフォルトの名無しさん
08/01/17 19:17:04
神様ｷﾀｰ!
450:デフォルトの名無しさん
08/01/17 21:31:07
>>448
人間が不快に感じるかどうかなんて些細な問題だよな
451:デフォルトの名無しさん
08/01/17 22:19:48
だったら数学やっててくれ。
452:デフォルトの名無しさん
08/01/18 00:05:36
>>448
512ビットの素因数分解だって有限時間でできますよ。
453:デフォルトの名無しさん
08/01/19 03:21:02
>>448
お前の人生も有限時間で終わるぜ
454:デフォルトの名無しさん
08/01/19 10:02:31
この宇宙は有限時間で終わりますか？
455:デフォルトの名無しさん
08/01/19 18:40:07
どなたか
State モナドの使い方を
教えて貰えませんか？
456:デフォルトの名無しさん
08/01/19 18:58:23
使いどころが知りたいのか書きかたが知りたいのか
457:デフォルトの名無しさん
08/01/19 19:20:13
>>455
例が腐るほどWEB上にあるだろ
検索してみろよ
458:デフォルトの名無しさん
08/01/19 19:22:47
使いどころです。
459:デフォルトの名無しさん
08/01/19 19:34:18
>>458
入門書に載ってた例だけど、
・文字列を要素とする二分木が与えられたとき、その要素を整数に置換した木を得たい。
ただし同じ文字列は同じ整数に対応させること。例えば、
460:459
08/01/19 19:40:19
途中送信御免
例えば、
(("hoge") "hage" (("fuga") "hage" ("fuga")))
という木なら
((0) 1 ((2) 1 (2)))
にする。
手続き型言語なら、実行した置換を記録しながら木を左から走査していけば良いわけだが、
Stateモナドを使えばHaskellでも同様に書ける。逆にStateモナドを使わずに写像を引き回すのは面倒。
461:デフォルトの名無しさん
08/01/19 21:49:50
広範囲で変数を持ちまわるのに
普通の言語ではグローバル変数とかインスタンス変数に書き込んだりするけど、
そんなどこで変更されるかわからないようなアブナイことしなくても
(a,s) -> (b,s)の形で持ちまわればいいよね、ってのがStateモナドなんだから、
普通は変数を使う処理を考えればおのずから例はでてくるんじゃないか？
462:デフォルトの名無しさん
08/01/20 08:17:57
>>461
「普通は変数を使う処理」の大部分はHaskellでStateモナドを使わずに綺麗に書ける。
だから混乱するんだと思うが。
463:デフォルトの名無しさん
08/01/20 19:37:59
>>460
禿言うなヽ(`Д´)ﾉ
464:デフォルトの名無しさん
08/01/20 20:55:16
>>460
hageにも人権をヽ(`Д´)ﾉ
465:デフォルトの名無しさん
08/01/22 10:36:58
(("nukege") "usuge" (("fuga") "usuge" ("fuga")))
466:デフォルトの名無しさん
08/01/23 15:17:31
オセロとか将棋とかの盤面のデータ構造についていつも迷うんだが、
いったいどういうデータ構造にするのが一番効率がいいのかね
２次元リストとか、Mapとか、いろいろあると思うが・・・
467:デフォルトの名無しさん
08/01/23 15:44:00
>>466
よく使われるのは1次元配列とbit board
468:デフォルトの名無しさん
08/01/24 12:50:26
ByteStringでのParsec実装が欲しいっす。
469:デフォルトの名無しさん
08/01/24 19:11:50
そういえばParsecがどうやって実装されてるか知らない
ソース見てみたけど何か難しそうだ
470:デフォルトの名無しさん
08/01/24 23:03:19
普通にモナドじゃないの？
471:デフォルトの名無しさん
08/01/29 13:51:05
log4*的なロガーライブラリってないでしょうか？
472:デフォルトの名無しさん
08/01/29 13:58:35
>>471
実際に使ったことはないけど
つURLﾘﾝｸ(hackage.haskell.org)
473:デフォルトの名無しさん
08/01/29 14:11:30
>>472
おお！ありがとうございます。
試してみます
474:デフォルトの名無しさん
08/01/30 15:37:30
質問です。
C言語で
int hoge(void) {
int x,i;
for(x=0, i=0; i<100000; i++) {
x=x+i;
}
return x;
}
をHaskellで書く場合は再帰で書くほうが良いのか、foldlで書くほうが良いのか分かりません。
他にも書き方があるかもしれませんが、一番メジャーなループの書き方を教えてください。
475:デフォルトの名無しさん
08/01/30 16:03:59
まるで最低一種類は自力で書けるかのような言い方だな
476:デフォルトの名無しさん
08/01/30 16:09:44
どんな場合にも一番いい方法が存在するかのような言い方だな
477:デフォルトの名無しさん
08/01/30 16:16:33
>>474
俺は、再帰でない書き方をすぐに思い付かなかったときだけ再帰を使ってる
その例なら迷わずsum [0..100000]だな
478:474
08/01/30 16:19:09
>>477
ありがとうございます。
その場合、リストはどのように処理されるのでしょう？
つまり、1000番目の要素を足しているときに、999番以下の要素はもはや必要ないわけですけれど、
sum関数が終了するまでメモリに記憶されているのでしょうか？
479:デフォルトの名無しさん
08/01/30 16:29:10
>>478
どこからも参照されていないから、いつでもGCされうる状態
実際にメモリ上に残っているかどうかはGCのタイミング次第
480:474
08/01/30 16:34:17
>>479
ありがとうございます。
では逆に1000番目の要素を足しているときに、1001番目の要素はすでに生成されているのでしょうか？
足す直前に生成されるのでしょうか？
481:デフォルトの名無しさん
08/01/30 16:50:17
>>480
> 1001番目の要素
とはどういうものを意識してる？具体的にｋｗｓｋ
482:デフォルトの名無しさん
08/01/30 16:52:05
>>480
処理系と最適化オプションに依る
素朴な遅延評価だと前者
sum [0..100000]
==> foldl (+) 0 [0..100000]
==> foldl (+) 0 (0:[0+1..100000])
==> foldl (+) (0+0) [0+1..100000]
==> foldl (+) (0+0) (1:[1+1..100000])
==> foldl (+) (0+0+1) [1+1..100000]
…
==> foldl (+) (0+0+1+2+...+100000) []
==> 0+0+1+2+...+100000
…
だけど、例えばghc-6.8.2で-O2だと、Integer用に特殊化されたsumの実装が使われて、
foldlの蓄積引数が積極評価されるので後者になる
483:482
08/01/30 17:08:24
分りにくい気がしたので補足
どっちの評価順でも、リスト生成は遅延される
ただし、素朴に遅延評価をやると足し算まで遅延するので、結果としてリストを走査し終わるまで足し算を開始できない
GHCの最適化は足し算を遅延させないようにするもの
484:474
08/01/30 17:08:53
>>482
ありがとうございます。
とても参考になりました。
485:デフォルトの名無しさん
08/01/30 17:56:59
イータ簡約って奴でしょ。
URLﾘﾝｸ(www.lambda-bound.com)
486:デフォルトの名無しさん
08/01/30 18:22:54
質問です。
URLﾘﾝｸ(sourceforge.net)
で6.8.1用のwxHaskellをダウンロードしてインストールし、
Windows XPでwxHaskellのサンプル(Minimal.hs)を
ghc --make Minimal.hs
としてコンパイルしてみたのですが、
出来上がったMinimal.exeをエクスプローラからダブルクリックで実行すると
目的のウインドウとコマンドプロンプトのウインドウの両方が表示されてしまいます。
コマンドプロンプトのウインドウはとても邪魔なのですが、
これが表示しないようにするにはどうすればよいのでしょうか？
さらに、実行ファイルを配布する際にDLLを付属するのは格好が悪いので、
DLLを使わないコンパイル方法はないものでしょうか？
487:486
08/01/30 18:29:59
前者の問題は過去スレを検索して解決できました。
コンパイルオプションに-optl-mwindowsをつければよいのですね。
早とちりしてすみません。
後者の方はまだ解決していません。
488:486
08/01/30 19:01:48
ファイルがめちゃくちゃでかくなると思っていろいろ調べたのですが、
URLﾘﾝｸ(e.tir.jp)
> よく読んだら、「余分なデータの削除なるオプションで500KB弱になった」と書いてある。それらしいオプションは……
>
> --overlay=strip strip any extra data attached to the file [DANGEROUS]
>
> なんか、「DANGEROUS」って書いてあるんだが。
とありますが、ghc6.8.1ではそのオプションは削除されています。
URLﾘﾝｸ(e.tir.jp)
> stripと言えば、binutils付属のstripコマンドもあった。
> ...
> strip -s hsddd01.exe
> 2.3Mが1.1Mになった。バイナリの半分以上がシンボルでできていたのか……。
この方法はマニュアルの
URLﾘﾝｸ(www.haskell.org)
に言及されていました。
-funfolding-use-threshold0
というオプションをMinimal.hsのコンパイル時につけると逆に若干ファイルサイズが増えました。
489:デフォルトの名無しさん
08/01/31 12:20:45
GHC6.8.2(Win)でbytestring-0.9.0.4をつかって
-profフラグ付でコンパイルしようとすると
Perhaps you haven't installed the profiling libraries for package bytestring-0.9.0.4?
と出て失敗してしまいます。（profフラグをつけなければ成功します）
対処方ご存知の方いらっしゃいますか？
つか、ByteStringに変更してさらに遅くなった俺涙目
490:デフォルトの名無しさん
08/01/31 17:57:26
>>488
その--overlay=stripはupxのオプションだろ
>>489
そのbytestringパッケージはどうやってインストールした？
cabalなら、configureのときに-pオプションを付けないとプロファイル版ライブラリがインストールされない
491:デフォルトの名無しさん
08/02/01 02:37:31
質問です。
windows上でファイルのアンロックを明示的に行うにはどうすればよいのでしょうか？
ロックがかかったままのファイルに書き込みする必要があるのです。
492:489
08/02/01 12:44:40
>>490
なるほど、ありがとうございます。
-p付でインストールしなおしてみます。
493:デフォルトの名無しさん
08/02/03 17:41:55
% cat hello.hs
main = putStrLn "こんにちは、世界!"
% ghc hello.hs -o hello
% ./hello
...... ←[ここは文字化け]
UTF-8でソースを書いて、コンパイル&実行したのですが、
文字化けします。
ver6.6.1(Ubuntu7.10のバイナリパッケージを使用)なのですが、
UTF-8は使えないのでしょうか?
コンパイルオプションが必要ですか?
494:デフォルトの名無しさん
08/02/03 18:05:27
>>493
>>5-6参照
495:492
08/02/03 18:44:28
>>493
どうもありがとうございます。
調べてみます。
496:デフォルトの名無しさん
08/02/03 21:46:49
>>469
ふつケルの終わりのほうに超簡易Parsec実装の解説がある。
497:デフォルトの名無しさん
08/02/05 12:00:00
do記法がどのように(>>=)変換されているのかがよくわからないです。
たとえば
do { a <- return 1; Just 2 }
は
return 1 >>= (\a -> Just2)
なのはぎりぎりわかったような感じですが
3つ以上
do { a <- return 1; Just 2; return a }
だとどうなるのでしょうか？
498:デフォルトの名無しさん
08/02/05 12:13:23
仕様を読めれば仕様を読むのが一番早い
499:デフォルトの名無しさん
08/02/05 12:29:01
>>497
最初の一つだけ変換する
return 1 >>= (\a -> do Just 2; return a)
残ったdoも同じ規則で変換すれば良い。最終的には、
return 1 >>= \a -> Just 2 >> return a
500:497
08/02/05 12:31:43
>>499
なるほど！ありがとうございます！
501:デフォルトの名無しさん
08/02/06 15:33:19
>>500
do { a <- return 1
; Just 2
}
って書くとemacsで見た目きれいにレイアウトできる。
>>=を使った場合、
return 1 >>= \a ->
Just 2
って書くときれいにレイアウトできる。
単に見た目の話だけど＾＾；；
502:デフォルトの名無しさん
08/02/08 00:28:19
Haskell でも型のキャスト出来るんかね
リファレンス見てたらそれっぽいのが･･･。
503:デフォルトの名無しさん
08/02/08 00:31:47
>>502
(1::Int32)
504:デフォルトの名無しさん
08/02/08 11:53:24
>>503
キャスト自体は無いから、いちいち関数を使う
数値型の変換ならfromIntegralとかfloorとか
ポインタの変換ならcastPtr
ダウンキャストみたいに、実行時のデータから型情報を復元するのはData.Typeable.cast
>>503の構文は、型推論の補助として型を指定してるだけで、変換してるわけじゃない
505:デフォルトの名無しさん
08/02/08 16:20:26
ダウンキャストに相当するのがあるのか。
506:デフォルトの名無しさん
08/02/08 20:12:04
unsafeCoerceはどうよ？
507:デフォルトの名無しさん
08/02/08 20:26:50
>>506
忘れてた
変換前と変換後の型の内部表現が同じであることを前提として、問答無用で型を変換するのが
unsafeCoerce :: a -> b
Data.Typeableのキャストはこれをラップして安全にしたもの
508:デフォルトの名無しさん
08/02/09 14:13:19
ふつうのHaskell読み終えて、WikiBookとか眺めてるんですけど、ある程度まとまった
Haskellプログラムの実例が載ってる本というと、Craftになりますか？
ちょっと高価な本なので、買おうか迷ってます。
509:デフォルトの名無しさん
08/02/11 15:35:27
>>94-96
URLﾘﾝｸ(research.microsoft.com)
4.4 Declaration style vs expression style
510:デフォルトの名無しさん
08/02/15 19:30:20
Kleisliってなんて読むの？
511:デフォルトの名無しさん
08/02/15 19:31:04
クライスリーじゃないの？
512:デフォルトの名無しさん
08/02/15 19:33:20
>>510
クレイスリ
513:デフォルトの名無しさん
08/02/15 20:04:55
クレイスリ に一致するページは見つかりませんでした。
514:デフォルトの名無しさん
08/02/15 20:32:57
クライスリーだって該当する記述が２ｃｈしかないじゃないかよ。
515:デフォルトの名無しさん
08/02/15 20:35:58
とりあえずドイツ語っぽい綴りを
ドイツ語の規則に従って読んでる点で
クライスリーの方が信憑性はある
516:デフォルトの名無しさん
08/02/15 20:39:36
TeXをテックと読むのはおかしいですか
Linuxをライナックスと読むのはおかしいですか
517:デフォルトの名無しさん
08/02/15 20:43:06
おかしい
518:デフォルトの名無しさん
08/02/15 20:44:15
↑でもそういう風に読んでる人結構いるよ
519:デフォルトの名無しさん
08/02/15 20:45:10
大団円を大円団と勘違いしている人は
それはそれで正しいと申すか
520:デフォルトの名無しさん
08/02/15 20:46:27
俺、小さいころミートボールとゲートボールの違いが分からなかった
521:デフォルトの名無しさん
08/02/15 20:47:54
>>516
これは米語読みだから、
金日正を「きんにっせい」と読むようなもの。
特に問題ない。
522:デフォルトの名無しさん
08/02/15 20:48:09
英語っぽっくウィヌックスで
523:デフォルトの名無しさん
08/02/15 21:34:53
クライスリーでおｋ？
524:デフォルトの名無しさん
08/02/15 21:43:55
別に何でもＯＫ
525:デフォルトの名無しさん
08/02/15 21:44:19
数学板で聞いてみたら？
526:デフォルトの名無しさん
08/02/15 22:15:00
エルアイエヌユーエックスって読んでた・・・
527:デフォルトの名無しさん
08/02/15 22:28:35
URLﾘﾝｸ(dev.ariel-networks.com)
頭の悪いHaskell厨増殖しすぎｗｗｗｗｗｗｗｗ
528:デフォルトの名無しさん
08/02/16 08:55:10
>>527
Haskellコミュニティを大事にする積もりがあるなら、間違ってると思うところを指摘してやれよｗ
529:デフォルトの名無しさん
08/02/17 21:01:38
ゆりしー(´；ω；`)かわいそうです みなとらじお 君が主で執事が俺で 02
URLﾘﾝｸ(www.nicovideo.jp)
伊藤静「じゃあ、次もｗｗｗ」
後藤邑子「斬ったほうがいい？ｗｗｗ」
伊藤「次は斬る？ｗｗｗ」
後藤「どうするｗｗ」
伊藤「ペンネーム『心が綺麗な天使』から頂きましったｗｗ(フンッｗｗｗ) 私はこの日本に住むのにはピュアすぎます。どのようにしたら天使のような私がこの今の日本に馴染めるのでしょうか？」
後藤「.........ウザい」
二人「キャッハハハハハｗｗｗｗｗ」
伊藤「ちょほんとさあ、大丈夫？ｗｗｗ」
後藤「おい天使、おいおい自称天使ｗｗ」
伊藤「自分が天使だと思ってること自体がちょっと間違ってんじゃないの？っていうねｗｗｗ」
後藤「うん。ね。ちょっと軽く(精神病院に)通院してみたほうがいいんじゃないの？ｗｗｗ もしくは、今の日本に馴染めるようにちょっと汚れちゃえよｗｗｗｗ」
伊藤「それかもう日本出て行ったらいいんじゃないの？ｗｗｗ」
後藤「天使が住める国にｗｗｗｗｗｗｗ なんかエルフの国とかに行ったらいいんじゃないの？ｗｗｗｗ」
伊藤「妄想の中とかに(プフッｗｗ)行っちゃえばいいんじゃないのｗｗｗ」
後藤「コワイヨーｗｗｗコワイヨーｗｗｗｗｗ」
二人「クックックックｗｗｗｗ」
530:デフォルトの名無しさん
08/02/18 09:51:50
Haskellのようなピュアな言語じゃ薄汚れた現実世界のアプリは書けないと言いたいのか?
531:デフォルトの名無しさん
08/02/18 12:06:05
>>530
ffiが実装された時点でピュアじゃねーよ。
これからはHaskellを純粋関数型言語なんて呼ぶのはやめようぜ。
532:デフォルトの名無しさん
08/02/18 12:16:09
別にffiも変なことしなけりゃ純粋さを壊さないだろ
533:デフォルトの名無しさん
08/02/18 12:28:40
>>532
おっと、そんなこと言っちゃうのか？
純粋でない例が一つでもあれば、それは純粋じゃないんだよ。
534:デフォルトの名無しさん
08/02/18 12:39:56
まあそうだ
でも一々「ほぼ純粋な関数型言語」とか言うのか？
535:デフォルトの名無しさん
08/02/18 12:48:31
いや、ただの関数型言語だよ。
純粋なんて言葉をつけるのはおこがましい。
536:デフォルトの名無しさん
08/02/18 12:52:23
いや、でも滅多に副作用を使わないのは事実だし、重要な特徴じゃん
537:デフォルトの名無しさん
08/02/18 12:57:12
「モナディックI/Oを採用した関数型言語」でいいんじゃね
538:デフォルトの名無しさん
08/02/19 08:11:48
HaskellによるHaskellのための開発環境Leksah 0.1
URLﾘﾝｸ(builder.japan.zdnet.com)
539:デフォルトの名無しさん
08/02/19 11:08:19
副作用無しでなんでもできれば純粋ってことでいいんじゃね。
SchemeやMLは副作用無しじゃI/Oができないし。
540:デフォルトの名無しさん
08/02/20 12:44:17
また公式落ちてるぞ
よく落ちる糞公式だな
541:デフォルトの名無しさん
08/02/21 21:11:23
LuaってHaskell系だったのか
ｽﾚﾘﾝｸ(dtm板:216番)
542:デフォルトの名無しさん
08/02/21 21:29:53
そのスレで既に十分突っ込まれてるじゃないか
543:デフォルトの名無しさん
08/02/21 22:42:17
haskellのプログラムは巨大化する傾向があるようですが、
Cで作ったファイル並みに小さくするコンパイルオプションとかってないですかね？
544:543
08/02/21 22:43:03
すみません、言葉足らずでした。
haskellで作った実行ファイルが巨大化する傾向がある、といいたかったのです。
545:543
08/02/22 20:08:04
とりあえず1/10ぐらいのサイズにしたいのです。
546:デフォルトの名無しさん
08/02/22 21:22:26
Cだって大きなプログラム作れば大きいだろ。
547:デフォルトの名無しさん
08/02/22 21:29:57
とりあえず
・GHCの最新版を使う
・最適化オプションを有効にする
・strip
くらいじゃないか？
あとUPXとかで圧縮するのが有効というのを読んだ
548:543
08/02/22 22:16:46
>>546
論外
549:デフォルトの名無しさん
08/02/23 00:47:37
昔のGHCならCのソース出力するオプションがあったらしいんだが，今はないのか？
そもそもなんで実効ファイルが巨大化するのか調べた上での質問なら答えは直ぐに見つかるんだけどな
550:デフォルトの名無しさん
08/02/23 00:49:21
現状ghcではruntimeだけで200KBくらいになってしまうので無理かと。
jhcとかyhcならば判らないですけども。
551:デフォルトの名無しさん
08/02/23 08:40:01
libcや基本DLLよりずっと小さいよ。
Windowsの場合は、サードパーティが使える標準配布方式がないから、
静的リンクするか、インストーラー配布形式が必要になって、
それでこういう質問が増えるんだろうね。
お決まりの開発環境を使わないと、配布しづらい。
552:デフォルトの名無しさん
08/02/23 13:39:30
ghc だって libc に依存してるんでしょ
553:デフォルトの名無しさん
08/02/23 17:07:48
C++だってhello worldでもバカ正直にスタティックリンクすれば何百KBとかなったりするじゃん
ダイナミックリンクでごまかしてたりするけど
機能持たせた言語の実行ファイルサイズが膨らむのはトレードオフ
554:デフォルトの名無しさん
08/02/24 07:49:13
Craft買って読んでますが、練習問題の解答ってどっかにありますでしょうか。
555:デフォルトの名無しさん
08/02/24 12:24:26
以前、IOモナド関連部分の回答を適当なワードでググった時はヒットしたよ
10分くらい探したけど
556:554
08/02/24 19:38:46
つまり、ちゃんとした解答集のようなものは無いっちゅう
ことですかorz
そんな難しいものも少なそうなのでいいのかな
557:デフォルトの名無しさん
08/02/24 19:51:21
>>556
現状では、ある程度関数型言語でのプログラミングの経験をつんだ人が
Haskellを触るという感じなので、
言語仕様を見たらわりとすぐに使えるという人向きの文書しか出回っていない。
そういう意味では初心者はとっつきにくいかもしれないね。
558:デフォルトの名無しさん
08/02/24 20:19:53
また公式が落ちてやがる！！！！！！！！
なめやがって！！
マジ切れそうだ
559:デフォルトの名無しさん
08/02/24 20:47:32
すみません、こちらのファイアウォールのせいで公式につながらなかっただけでした・・・
お騒がせしました
560:デフォルトの名無しさん
08/02/24 22:59:49
>>558-559
wwwwwwwww
561:デフォルトの名無しさん
08/02/25 01:50:16
ｗｗｗｗｗｗｗｗｗｗｗ
562:デフォルトの名無しさん
08/02/25 01:58:36
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
563:デフォルトの名無しさん
08/02/25 02:08:33
つURLﾘﾝｸ(www.blue.sky.or.jp)
564:デフォルトの名無しさん
08/02/25 20:06:50
大卒で正社員じゃない奴ってこのスレに多そうだなw
知ってるか？高卒の生涯賃金って高卒の半分なんだぜwww_?
中卒なんてもってのほか
可哀想にお前ら
そんな俺はもう内定貰ってこのスレいますけどねw
565:デフォルトの名無しさん
08/02/25 20:18:49
あいぉ（＾ω＾
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_?
> 高卒の生涯賃金って高卒の半分なんだぜwww_? > 高卒の生涯賃金って高卒の半分なんだぜwww_?
566:デフォルトの名無しさん
08/02/25 20:20:52
＞高卒の生涯賃金って高卒の半分なんだぜwww_?
再帰的ですねwwwwww
chingin x = chingin x / 2
こんな所でしょうか。
ちなみにスタックオーバーフローしましたが何か。
567:デフォルトの名無しさん
08/02/25 20:22:51
ちなみにこれね
ｽﾚﾘﾝｸ(gline板)
568:デフォルトの名無しさん
08/02/25 20:26:57
どうやら釣られてしまったようだ。。。
569:デフォルトの名無しさん
08/02/25 20:43:02
>>566
せっかくHaskellなんだから
chingin = chingin / 2
でいいよ
解は0とNaNと±Infと⊥だな
570:デフォルトの名無しさん
08/02/25 21:39:37
Nan = NanはFalseなんじゃないの？
571:デフォルトの名無しさん
08/02/26 10:33:53
何を言っているのかね
572:デフォルトの名無しさん
08/02/26 15:30:47
やってみた。
> 0/0
NaN
> 0/0 == 0/0
False
> 1/0
Infinity
> 1/0 == 1/0
True
> 1/0 == 1/0/2
True
573:デフォルトの名無しさん
08/02/26 15:32:37
⊥なんて解で出てくるの？
574:デフォルトの名無しさん
08/02/26 17:18:37
>>573
undefined
と
undefined / 2
は、どっちも同じ結果になる
575:デフォルトの名無しさん
08/02/28 14:35:34
関数型言語関連で購読おすすめのブログをいくつか教えてください
576:デフォルトの名無しさん
08/02/28 15:44:34
>>575
このスレ的にはここ
URLﾘﾝｸ(planet.haskell.org)
577:デフォルトの名無しさん
08/02/29 21:06:53
haskellerの皆さんって、元々はSchemeとか使っていたんでしょうか？
自分、関数型はハジメテでちょっと戸惑いがあったんですが、SICPを読んでみたら
何か分かってきました。
Haskellは今のところそういう文脈というか、経緯を知っている人たち向けってこと
なんでしょうかね。
578:デフォルトの名無しさん
08/02/29 21:12:23
俺はC++から入った
他の関数型は、SML入門をちょっとwebで読みあさった経験しかなかった
579:デフォルトの名無しさん
08/02/29 23:45:49
Common Lisp -> OCaml -> Haskell
580:デフォルトの名無しさん
08/02/29 23:54:20
WebProg -> Haskell
581:デフォルトの名無しさん
08/03/01 00:03:12
C++ -> Haskell (あまりのパラダイムの違いに混乱中)
582:デフォルトの名無しさん
08/03/01 01:50:01
>>581
C++のconcept(次の標準で入る)とHaskellのtype classは同じ。
自分は
雑多なLisp→Common Lisp→Miranda, CLOS, ML, C++→Haskell, Scheme, C++
583:デフォルトの名無しさん
08/03/01 02:00:01
>>577
そうですね。
関数型言語での再利用とオブジェクト指向言語での再利用では
毛色が全く違うので戸惑うでしょうね。
584:デフォルトの名無しさん
08/03/01 02:03:51
関数型言語といっても、遅延評価が入るだけでかなり質が変わってきますよ。
LispやMLの方がCプログラマには分かりやすいでしょう。
585:デフォルトの名無しさん
08/03/01 02:20:11
>>577
Haskellはそういう知識を得ることが楽しい人向けの言語。
先に知っていても、必要だと思ってそこで勉強しても、どっちでもいいと思う。
まあとにかく世界の広がる言語だと思う、Haskellは。
Schemeも面白い。
586:デフォルトの名無しさん
08/03/01 02:25:30
モナドを学ぶのにオススメの書籍やwebサイトはありますか
一応一通り検索して解説を読んでみたんですがいまいち概念を把握できてないです
使う分には困らないんですが
587:デフォルトの名無しさん
08/03/01 11:56:49
>>586
圏論の基礎
588:デフォルトの名無しさん
08/03/01 12:12:57
>>586
つ >>421
589:デフォルトの名無しさん
08/03/01 15:05:15
母：順へ げんきですか。いまめーるしてます
順：うるさい死ね メールすんな殺すぞ
母：ごめんね。おかあさんはじめてめーるしたから、ごめんね
順：うるさいくたばれ、メールすんな
母：ちゃんとご飯食べてる？ お金送りましょうか？
順：うんありがとう。かあさんこそ体とか大丈夫？
590:577
08/03/01 19:22:00
なるほど、やはりLispからの方が多いんでしょうかね。
自分はLisp系知らずにHaskellやろうとして、map、fold、zipWithなどのリスト操作が
最も基本的なものとして扱われているのがピンときませんでした。
色々文書読んだりした後で、SICPを読んでみたら凄い分かってきましたよw。どうも
そういう文脈にある人々向けにドキュメントなどが作成されているなぁと。JavaやC#
とかが、C、C++の文脈を知っている人向けのドキュメントが多いのと同じでしょうかね。
591:デフォルトの名無しさん
08/03/02 01:21:53
map, reduceは他の言語でも、
コレクション周辺でサポートされてるよね？
ただgeneric function系じゃないと、
ちょっと趣きが違うから戸惑うのかも知れないが。
592:デフォルトの名無しさん
08/03/02 04:50:00
>>590
まず、今までループで処理してたところを全部再帰で考え直してみようよ。
再帰処理の部分を一般化して関数にできないかどうか考えてみようよ。
593:デフォルトの名無しさん
08/03/02 04:50:39
SICPってMITの１年生用の教科書でしょ？
594:577
08/03/02 08:02:16
>>591
ありますけど、理科系研究の実習用プログラムとかではない限り、あまり
使われないんじゃないかと思います。実際、言語の入門書類でも大きくは
扱われませんよね。
>>592
再起はそんなに戸惑いはありませんでした。どちらかと言えばループが
手続きの部分として扱われるのに対して、関数型ではそういう書き方は
あまりしない(醜いコードとなる)ってことですね。
>>593
そうです。すごい良書だと思います。
595:デフォルトの名無しさん
08/03/02 10:43:26
>>594
> 実際、言語の入門書類でも大きくは扱われませんよね。
入門書は年々数が増えていっていると共に、
糞本の割合が増えていっているから、
入門書一般の常識はいまや非常識といっていい状態。
本格的に取り組む入門書は嫌われるから。
関数型言語、特に本場の本は良書が多くてそういう心配はないんだけど。
596:デフォルトの名無しさん
08/03/02 10:51:29
古くても良書とされている入門書を店頭にわかりやすく並べている
本屋の数は、日本に人間の指の数ぐらいしか無いんではなかろうか。
他は次々と出る駄本の新刊を並べてるだけ。
597:デフォルトの名無しさん
08/03/02 10:53:22
Rubyなんかだとmapやinjectを使うのが当たり前かと思ったけど、そうでもないのか
598:577
08/03/02 11:26:03
>>595
自分はSICP読んで、何でもっと早くに手に取らなかったのか、と後悔してます。
>>597
Rubyのそういった機能は関数型由来のものですよね。C言語系列の手続き型
にはあまり登場しないんじゃないかと思います。
599:デフォルトの名無しさん
08/03/02 12:03:41
使えないand/or使いたがらないand/or嫌悪する奴もまたいますな
600:デフォルトの名無しさん
08/03/03 23:34:31
and と or って左結合？
601:デフォルトの名無しさん
08/03/06 13:53:14
THE HITCHHIKER'S GUIDE TO THE HASKELL 「HASKELL の歩き方」
URLﾘﾝｸ(ha6.seikyou.ne.jp)
web上の日本語の入門文書で、言語全体をカバーしてるのは初めてじゃないだろうか
602:デフォルトの名無しさん
08/03/06 18:12:31
>>601
なぜに自転車屋のホームページ？w
ラジオ部 って何？w
モナドに関して、あえて説明しないってのは、入門としてはありかもね。
603:デフォルトの名無しさん
08/03/06 23:38:42
Parsecを理解できる書籍って
普通のHaskellが妥当かな？
604:デフォルトの名無しさん
08/03/07 08:55:56
ひらがなで書かないと書籍名に見えないw
605:デフォルトの名無しさん
08/03/07 09:07:55
>>603
つ URLﾘﾝｸ(www.cs.nott.ac.uk)
606:602
08/03/07 13:57:47
よく見ると>>601って、
手続き言語的にHaskellを解説してるように思えるな…。
こういう入門書でHaskellを学ぶ人が多くなると、
オブジェクト指向の時みたいに混乱しそう…。
初心者のオレでも？なコードがある…。