[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part4 (1001ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
696: 2006/05/02(火)10:17 AAS
ネイティブアプリ作成できるよね？勿論
697: 2006/05/02(火)10:44 AAS
うん
698: 2006/05/02(火)11:52 AAS
こ
699: 2006/05/02(火)11:53 AAS
うする
700: 2006/05/02(火)18:50 AAS
つもりなのか？
701: 2006/05/02(火)18:51 AAS
Curry 喰うか?
702(1): 2006/05/02(火)20:01 AAS
Windowsで日本語が表示できるGUIライブラリってないですか？
でないとまともなアプリなんて作れません。
703: 2006/05/02(火)21:24 AAS
>>702
WxHaskell。
でも、たぶん、Shift_JISをバイトごとに分けてCharに入れないとちゃんと動かない。
704(2): 2006/05/02(火)23:58 AAS
ほんの数時間前にHaskellかじり始めました。んでちょっと質問です。
quicksort [] = []
で空リストは空リストでマッチさせるのに対して
quicksort (x:xs) = ...
と空ではないリストについての表記が`('と`)'で囲まれてるのが
ペアみたいでいまいち納得いかないんですが、これは何でですか？
書いててふと思ったけど結合強度の関係でx:xsをグルーピングしてるだけとかいう落ち？
705: 2006/05/03(水)00:15 AAS
>>704
そのとおり。
「宣言の左辺の時だけ結合度変えてよ」なんて無茶言ったらだめよ。
706: 704 2006/05/03(水)01:00 AAS
やはりそうでしたか。
普段はLISP使ってるので()[]{}を使い分けたりインデントを意識する習慣が
まったくないのですが、このあたりのつまらない約束事を乗り越えたら
新しい境地が広がっているといいなぁ。Haskell. OCamlとどっち勉強しようか
微妙に迷ったけど。
707: 2006/05/03(水)01:42 AAS
Lisp でインデントを意識しないって、マヂで言ってる?
708: 2006/05/03(水)01:46 AAS
Lispのインデントはただ単に見やすくするだけの意味しかないでしょ。
709: 2006/05/03(水)01:56 AAS
Python でもやっとけ
710: 2006/05/03(水)09:32 AAS
Haskell人気だな。
違う意味で使えそう。
2chｽﾚ:tech
711(1): 2006/05/03(水)21:20 AAS
普通emacsまかせだからLispでインデントなんて意識しないよ
シンプルそうに見えて割と変な記号多いのは嫌だな、いつか治るのかな？
712: 2006/05/03(水)22:58 AAS
他人のソースを読まない人?
713: 2006/05/03(水)23:02 AAS
lispを型付き言語に改造するラッパってありますか？
714: 2006/05/03(水)23:07 AAS
Common Lisp なら最初から型あるじゃん...
715(2): 2006/05/03(水)23:34 AAS
Monadクラス(>>=, return)のシグネチャには合うけど、Monad則を満たさないサンプルってどんなものがありますか？
716(1): 2006/05/03(水)23:44 AAS
>>715
いくらでもあると思うが。自明な例は、
data Id a = Id a
instance Monad Id where
return = undefined
(>>=) = undefined
もうちょっとまともな例は、ListT IO。
省1
717(1): 2006/05/03(水)23:47 AAS
>>711
変な記号を駆使してやたらと簡潔なコードを書けるのがHaskellの良いところの一つだと思うので、なくなると困る。
718: 2006/05/04(木)00:05 AAS
>>716
おお、ありがとうございます。リンク先の方、じっくり読んでみます。
719: 2006/05/04(木)00:23 AAS
>>717
それってどこの Perl ?
720: 2006/05/04(木)00:47 AAS
ネタなのかマジなのか…
721(1): 2006/05/04(木)20:59 AAS
「数値リスト内の全ての要素が同じ数字」ってどう書きますか？
722: 2006/05/04(木)23:31 AAS
isSameNumber :: (Num a) => [a] -> Bool
isSameNumber (x:xs) = all (==x) xs
723: 2006/05/05(金)00:54 AAS
リストが空の場合は?
724: 721 2006/05/05(金)01:57 AAS
そう言えばリストが空の場合「同じ」で良いのだろうか…
何はともあれ参考にします。
725: 2006/05/05(金)02:47 AAS
>>715に関連して
Monad則を絶対に満たしてるという証明はどうやってするの？
726(1): 2006/05/05(金)11:22 AAS
普通に式変形するんじゃだめなのか？
例えば、
return = Just
Just x >>= f = f x
Nothing >>= f = Nothing
と定義されているとき、 x >>= return = xを証明する。
x >>= return
省8
727(1): 2006/05/05(金)20:54 AAS
今月にまたHaskellの書籍が出ると聞いて待ち望んでおります。
詳しく。
728: 2006/05/06(土)00:38 AAS
>>726
> = case x of -- パターンマッチの性質から
> Just r -> x
> Nothing -> x
これが思いつかなかった。
729(1): 2006/05/06(土)00:41 AAS
>>727
こういう内容らしい。
外部ﾘﾝｸ[html]:i.loveruby.net
730(2): 2006/05/06(土)00:52 AAS
ちょっと質問いいでしょうか。
Haskellで作ったバイナリは、ライセンスはどうなるでしょうか。
731: 2006/05/06(土)01:08 AAS
>>730
それは処理系のライセンスによるでしょ。
732: 2006/05/06(土)02:34 AAS
>>729
楽しみ。
733: 2006/05/06(土)08:04 AAS
>>730
Haskellに限らず、コンパイラ系が吐き出した実行ファイルに
コンパイラの製作者側のライセンスが及ぶ場合ってあるのか？
734: 2006/05/06(土)08:13 AAS
exeにリンクされるスタートアップルーチンやライブラリが
LGPLではなくGPLに汚染していたらそのプログラムもGPLにしないとまずい。
例えばCygwinのgccは問答無用でGPLなdllに依存してしまう。
735: 2006/05/06(土)08:31 AAS
ライブラリはそうだろうけど、基本的なスタートアップで縛りの強い
ライセンスってある？ Cygwinのgccはdllに依存しないようなオプ
ションがなかったっけ？
具体的な質問に直すと（おれは730じゃないけど）Helloworldレベルの
EXEでGPLに感染しちゃうようなEXEしかはけない（他に選択肢の無い）
コンパイラあったら教えて。
736: 2006/05/06(土)08:37 AAS
Cygwinのgcc
737: 2006/05/06(土)08:47 AAS
ランタイム必須な言語では helloworld だろうが web browser だろうが一緒。
GNAT が確かそうだったような気がする >> 強制 GPL
738(1): 2006/05/06(土)11:59 AAS
新刊はいつ発売
739: 2006/05/06(土)15:42 AAS
GPLが感染するコンパイラなんか使うか
740: 2006/05/06(土)16:00 AAS
えっ？GHCで作ったプログラムってexeにできるの？
741: 2006/05/06(土)16:26 AAS
>>738
今月末
外部ﾘﾝｸ[html]:i.loveruby.net
742: 2006/05/06(土)16:36 AAS
ghcの出力したバイナリはlibgmp(LGPL)に依存してるはずだが
これってWindowsで問題にならないのか？
743(1): 2006/05/07(日)18:46 AAS
Haskell での文字コード変換はどうするのが一般的でしょうか?
744(1): 2006/05/07(日)19:23 AAS
何故Haskellでは日本語が使えませんか？
745(1): 2006/05/07(日)19:45 AAS
>>744
GHCで使えないのはコンパイラの字句解析器とIOライブラリが日本語を解さないから。
字句解析器は6.6で改善されるはず。
HugsだとWindowsやLinuxでは日本語が普通に使えると思う。
746: 2006/05/07(日)22:41 AAS
>>745
HEAD branch snapshotの
ghc-6.5.20060328-i386-unknown-mingw32.tar.gz
だと、UTF-8なら読み込めるが、6.4でOKだったeucが駄目になってる。
747: 2006/05/09(火)00:14 AAS
Haskellかじり始めの者ですがいきなりWrite Yourself a Scheme in 48 Hoursから
取り掛かるのはやっぱり無謀ですか？ 3. Parsingから途端について行けなくなったけど
リファレンスとか調べながら読んで行ってどうにかなるものかしら。
748: 2006/05/09(火)07:12 AAS
自分のやりたいことをやれ
手強かったら、一時撤退すればよい。
749: 2006/05/09(火)08:00 AAS
50歳ですが、haskellを学ぶといいことがありますか？
750: 2006/05/09(火)08:18 AAS
極楽浄土へ行ける
751: 2006/05/09(火)10:20 AAS
人生が静的になる
752: 2006/05/09(火)10:51 AAS
型推論で人生が決まる！
強く型付けされた人生で幸福をあなたの元へ
753: 2006/05/09(火)11:03 AAS
人は中身ではなく型が重要です。
754: 2006/05/09(火)13:00 AAS
>>743
つ 外部ﾘﾝｸ:www.ruby-talk.org
iconv の FFI
755: 2006/05/10(水)04:20 AAS
人生が停止することが保証されますか?
756: 2006/05/10(水)07:49 AAS
必要とされない人生は評価されません
757: 2006/05/10(水)21:33 AAS
停止するか否かはこの時重要ではありません
必要に応じてプロシージャを走らせます
758: 2006/05/11(木)09:53 AAS
Haskellを勉強すると金になりますか？
759: 2006/05/11(木)09:58 AAS
オペレータを自由に定義できます。
760(1): 2006/05/11(木)14:02 AAS
えっ！？俺オペレータなんだよ…困ったな
761: 2006/05/11(木)20:49 AAS
>>760
762(2): 2006/05/11(木)20:53 AAS
むしろVisual Haskell使ってる人いる？
763(1): 2006/05/11(木)21:03 AAS
日経を多値読みしたら向井氏の記事の脚注に nobsun も Haskell 本を執筆中らしい。
かなりの期待あげ。
764: 2006/05/11(木)21:30 AAS
nobsunって何者？
765: 2006/05/11(木)21:32 AAS
sampou.org の中の人
766(1): 2006/05/11(木)21:32 AAS
もしかして噂のNightmare Haskell？
767: 2006/05/11(木)23:04 AAS
>>762
Cabal何とかエラーで動かなかった
768: 2006/05/12(金)01:15 AAS
>>762
ﾉ 使ってる
769(2): 2006/05/12(金)04:35 AAS
入門 Haskell 酷いな
誤字、脱字は多いし説明は例を示さないで文章だけとかも結構あるし
読者の想定レベルもページめくるごとに変わってくる始末ｗ
入門書でここまで酷いの久しぶりに見た
っと思ったら学生か しゃーないな
770(1): 2006/05/12(金)10:04 AAS
>>769
まあ、確かに。
771: 2006/05/12(金)10:38 AAS
>>763
それは青木さんの本では？
772(1): 2006/05/12(金)10:48 AAS
>>769
>>770
青木さんが256本執筆したのは、まだ学生だった時のような希ガス。
クオリティ高杉で舌を巻いた。
773: 2006/05/12(金)10:56 AAS
>>766
でねーよｗ
774: 2006/05/12(金)11:00 AAS
>>772
そんなにクオリティの高い本だとは思わなかったけど・・
775(1): 2006/05/12(金)14:15 AAS
義 Yi -- Haskell で書かれた Haskell で拡張可能なテキストエディタ
外部ﾘﾝｸ[html]:www.cse.unsw.edu.au
776: 2006/05/12(金)14:23 AAS
>>775
sugeeeeeeeeee!!!
上下前次1-新書関写板覧索設栞歴
あと 225 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s