[過去ログ]
関数型プログラミング言語Haskell Part4 (1001レス)
関数型プログラミング言語Haskell Part4 http://echo.5ch.net/test/read.cgi/tech/1140717775/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
817: デフォルトの名無しさん [sage] 2006/05/14(日) 20:51:15 『ブラは透けるように濡れていた』 http://echo.5ch.net/test/read.cgi/tech/1140717775/817
818: デフォルトの名無しさん [sage] 2006/05/14(日) 23:04:13 シャツじゃないの? http://echo.5ch.net/test/read.cgi/tech/1140717775/818
819: デフォルトの名無しさん [sage] 2006/05/14(日) 23:20:34 『ケットは透けるように濡れていた』 http://echo.5ch.net/test/read.cgi/tech/1140717775/819
820: デフォルトの名無しさん [sage] 2006/05/14(日) 23:23:06 『超Haskell』 http://echo.5ch.net/test/read.cgi/tech/1140717775/820
821: デフォルトの名無しさん [sage] 2006/05/14(日) 23:24:02 『нд∫κёll』 http://echo.5ch.net/test/read.cgi/tech/1140717775/821
822: デフォルトの名無しさん [sage] 2006/05/14(日) 23:50:33 これって有名? ttp://compsoc.dur.ac.uk/whitespace/index.php http://echo.5ch.net/test/read.cgi/tech/1140717775/822
823: デフォルトの名無しさん [sage] 2006/05/15(月) 00:27:48 言語ねたの定番だな http://echo.5ch.net/test/read.cgi/tech/1140717775/823
824: デフォルトの名無しさん [] 2006/05/15(月) 00:50:23 Haskellって、どれをインストールしたらいいのか分かりません。 教えてください。 よろしくお願い致します。 http://echo.5ch.net/test/read.cgi/tech/1140717775/824
825: デフォルトの名無しさん [sage] 2006/05/15(月) 00:52:43 >>824 GHCかHugsを入れればいいんじゃないか? http://echo.5ch.net/test/read.cgi/tech/1140717775/825
826: デフォルトの名無しさん [sage] 2006/05/15(月) 03:04:36 >>824 そんなことも分からないのに、Haskellをインストールしてもやることないんじゃないの? 何でインストールするの? http://echo.5ch.net/test/read.cgi/tech/1140717775/826
827: デフォルトの名無しさん [] 2006/05/15(月) 04:49:53 >>806 オライリーktkr http://echo.5ch.net/test/read.cgi/tech/1140717775/827
828: デフォルトの名無しさん [sage] 2006/05/15(月) 06:30:48 何で埋めてるの? http://echo.5ch.net/test/read.cgi/tech/1140717775/828
829: デフォルトの名無しさん [] 2006/05/15(月) 20:04:03 素直に埋めないでって言えよ http://echo.5ch.net/test/read.cgi/tech/1140717775/829
830: デフォルトの名無しさん [sage] 2006/05/15(月) 20:11:32 べ、別に埋められるのが怖いからなんて、言ってないんだからねッ! http://echo.5ch.net/test/read.cgi/tech/1140717775/830
831: デフォルトの名無しさん [sage] 2006/05/15(月) 20:14:49 >>830 Haskellってツンデレっぽいよな http://echo.5ch.net/test/read.cgi/tech/1140717775/831
832: デフォルトの名無しさん [] 2006/05/15(月) 20:18:50 コンパイル通すまでがとっつきにくい 通ったらかなりデレデレ http://echo.5ch.net/test/read.cgi/tech/1140717775/832
833: デフォルトの名無しさん [sage] 2006/05/15(月) 20:54:45 「Haskell」って「破透ける」って読むの? http://echo.5ch.net/test/read.cgi/tech/1140717775/833
834: デフォルトの名無しさん [sage] 2006/05/15(月) 21:11:19 http://www.cse.unsw.edu.au/~dons/haskell-1990-2000/msg07152.html これからすると一番忠実な表記はハスクルかな。 http://echo.5ch.net/test/read.cgi/tech/1140717775/834
835: デフォルトの名無しさん [] 2006/05/16(火) 16:23:13 「俺が女だったら」 「センターへのファウルフライ」 「高速なハスケル製アプリ」 http://echo.5ch.net/test/read.cgi/tech/1140717775/835
836: デフォルトの名無しさん [] 2006/05/16(火) 18:21:13 質問です。 ghciで無限リストを表示したんですが、処理の中断の方法が分かりません。 どうすればいいですか? http://echo.5ch.net/test/read.cgi/tech/1140717775/836
837: デフォルトの名無しさん [sage] 2006/05/16(火) 18:32:48 >>836 Ctrl+Cで止まらないか? http://echo.5ch.net/test/read.cgi/tech/1140717775/837
838: デフォルトの名無しさん [sage] 2006/05/16(火) 18:48:12 >>837 すでに試しましたが、残念ながらとまりません。 http://echo.5ch.net/test/read.cgi/tech/1140717775/838
839: デフォルトの名無しさん [sage] 2006/05/16(火) 18:52:34 ちなみに、ghciはwindows版です。 http://echo.5ch.net/test/read.cgi/tech/1140717775/839
840: デフォルトの名無しさん [sage] 2006/05/16(火) 19:05:48 俺はghc-6.4.1をWindowsXPのcmd.exeから使ってるけど、Ctrl+Cは普通に効く。 UNIX系のシェルから使ってるならghcii.shをghci.exeの代わりに使うと良いらしいが。 http://echo.5ch.net/test/read.cgi/tech/1140717775/840
841: デフォルトの名無しさん [sage] 2006/05/16(火) 21:15:49 Hugs May 2006きた。正式なWindows版がある。 WindowsのHugsって多バイト文字を扱えないんだな。知らなかった。 http://echo.5ch.net/test/read.cgi/tech/1140717775/841
842: デフォルトの名無しさん [sage] 2006/05/16(火) 22:19:02 >>837 ロンチック止まらなくなりますた! http://echo.5ch.net/test/read.cgi/tech/1140717775/842
843: デフォルトの名無しさん [sage] 2006/05/16(火) 22:40:48 >>841 HGLが動かなくなりますた。(つД`) WinHugs Beta3では動いてたのに。 http://echo.5ch.net/test/read.cgi/tech/1140717775/843
844: デフォルトの名無しさん [] 2006/05/16(火) 22:53:58 >>838 それで止まったのか? http://echo.5ch.net/test/read.cgi/tech/1140717775/844
845: デフォルトの名無しさん [sage] 2006/05/16(火) 23:14:31 >>836 どんな無限リストなの? http://echo.5ch.net/test/read.cgi/tech/1140717775/845
846: デフォルトの名無しさん [sage] 2006/05/17(水) 00:40:26 誰か寂しい私をHugsして。 http://echo.5ch.net/test/read.cgi/tech/1140717775/846
847: デフォルトの名無しさん [sage] 2006/05/17(水) 01:04:59 誰か私をGHQの様に占領して http://echo.5ch.net/test/read.cgi/tech/1140717775/847
848: Haskell初心者 [sage] 2006/05/17(水) 02:40:33 hIDEのビルドってどうやんの? CabalとMakefileとbuild.shとSetup.lhsの関係がよくわからん。精進せねば。 darcsってのも始めて使った。Subversionみたいなもんかな。何かが違うんだろうけど。 http://echo.5ch.net/test/read.cgi/tech/1140717775/848
849: デフォルトの名無しさん [sage] 2006/05/17(水) 05:45:00 鳳たんの blogより: Linspire's OS team standardizes on Haskell http://pugs.blogs.com/pugs/2006/05/linspire_os_tea.html 乱用され気味じゃね? と心配してみる http://echo.5ch.net/test/read.cgi/tech/1140717775/849
850: デフォルトの名無しさん [sage] 2006/05/17(水) 12:14:04 >>848 Cabal しか知らんが。 http://www.haskell.org/cabal/ http://www.haskell.org/ghc/docs/latest/html/Cabal/builders.html runhaskell Setup.hs configure runhaskell Setup.hs build runhaskell Setup.hs install ちゃんと Cabal されていれば、これですべてよし。 ドキュメントも一読の価値はあるのでおすすめ。 http://echo.5ch.net/test/read.cgi/tech/1140717775/850
851: デフォルトの名無しさん [sage] 2006/05/17(水) 16:55:45 >>849 社内に関数プログラマが多く O'Caml を使ったりしてましたが、 O'Caml から Haskell に転向しましたってことだから、別にふつー。 最近の Haskell 人気を見ると O'Caml からの転向組は多そう。 http://echo.5ch.net/test/read.cgi/tech/1140717775/851
852: デフォルトの名無しさん [sage] 2006/05/17(水) 21:19:02 >>851 何の仕事してると? http://echo.5ch.net/test/read.cgi/tech/1140717775/852
853: デフォルトの名無しさん [sage] 2006/05/17(水) 21:26:25 >>852 Linspire の話でした。 Linspire がO'Caml から Haskell に転向したって話。 http://echo.5ch.net/test/read.cgi/tech/1140717775/853
854: デフォルトの名無しさん [sage] 2006/05/17(水) 21:59:11 すまん、よくレスよんでなかった・・・ http://echo.5ch.net/test/read.cgi/tech/1140717775/854
855: デフォルトの名無しさん [sage] 2006/05/17(水) 22:39:30 ライブドア社員キター? http://echo.5ch.net/test/read.cgi/tech/1140717775/855
856: 848 [sage] 2006/05/17(水) 23:14:44 >>850 ども。runhaskell Setup.lhs configureでConfigがないよと怒られるのは 「ちゃんとCabalされていれば、」の前提が満たされてないのだろうと理解。 Gentooのportageで突っ込んでるだけなので問題点を解決できるまでには遠そうです。 Config.hsを欲しがってるらしいけど、どこから持ってくればよいものやら。 http://echo.5ch.net/test/read.cgi/tech/1140717775/856
857: デフォルトの名無しさん [] 2006/05/19(金) 01:46:10 hugsでChurch数の計算をやろうとしてみた。 two f x = f (f x) three f x = f (f (f x)) dec n f x = n (g h->h (g f)) (_->x) (i->i) sub a b = b dec a と定義して、sub three twoを評価させると以下のエラー Main> sub three two ERROR - Type error in application *** Expression : sub three two *** Term : two *** Type : ((a -> e -> g) -> a -> e -> g) -> (a -> e -> g) -> a -> e -> g *** Does not match : ((((a -> b) -&
gt; (b -> c) -> c) -> (d -> e) -> (f -> f) -> g) -> a -> e -> g) -> (a -> e -> g) -> a -> e -> g *** Because : unification would give infinite type OCamlではこんな感じで対策してるけど、 http://ocaml.jp/archive/document/church.html Haskellではどうすればいいんだろ? http://echo.5ch.net/test/read.cgi/tech/1140717775/857
858: デフォルトの名無しさん [sage] 2006/05/19(金) 03:03:39 >>857 http://users.info.unicaen.fr/~karczma/Essays/church.html http://echo.5ch.net/test/read.cgi/tech/1140717775/858
859: 858 [sage] 2006/05/19(金) 03:23:04 ↑に載ってるdecはタプルを使ってるので、857のdecで定義する場合は dec (Ch n) = Ch (\f x -> n (\ g h->h (g f)) (\ _->x) id) でOK Main> sh $ sub three two 1 http://echo.5ch.net/test/read.cgi/tech/1140717775/859
860: デフォルトの名無しさん [sage] 2006/05/19(金) 04:18:25 >>779 http://www.cbook24.com/bm_detail.asp?sku=4797336021 こっちでは6月1日発売になっております。 http://echo.5ch.net/test/read.cgi/tech/1140717775/860
861: デフォルトの名無しさん [sage] 2006/05/19(金) 18:58:44 >>860 配本が31日、発売が1日ということのようです。 もうすぐですね。 http://echo.5ch.net/test/read.cgi/tech/1140717775/861
862: デフォルトの名無しさん [sage] 2006/05/19(金) 20:13:06 はじめてのC ふつうのH http://echo.5ch.net/test/read.cgi/tech/1140717775/862
863: デフォルトの名無しさん [sage] 2006/05/19(金) 21:23:55 自分のセックスに自信がない奴が買いそうなタイトルだな。ふつうのH http://echo.5ch.net/test/read.cgi/tech/1140717775/863
864: デフォルトの名無しさん [sage] 2006/05/19(金) 21:39:12 ふつうじゃないHが溢れる世の中にふつうって何だよって気になったりするのかね http://echo.5ch.net/test/read.cgi/tech/1140717775/864
865: デフォルトの名無しさん [sage] 2006/05/20(土) 09:25:45 WinHugs May 2006、アンインストールできない。エラーで落ちる。 新手の嫌がらせか? http://echo.5ch.net/test/read.cgi/tech/1140717775/865
866: デフォルトの名無しさん [sage] 2006/05/20(土) 12:18:12 Haskell教に感染したので状態の変更はできなくなりました。 http://echo.5ch.net/test/read.cgi/tech/1140717775/866
867: デフォルトの名無しさん [sage] 2006/05/20(土) 12:57:49 hugsはもうつかわねー http://echo.5ch.net/test/read.cgi/tech/1140717775/867
868: デフォルトの名無しさん [] 2006/05/20(土) 13:21:46 ももももう待てない>< http://echo.5ch.net/test/read.cgi/tech/1140717775/868
869: デフォルトの名無しさん [] 2006/05/20(土) 22:53:18 なんでHaskell微妙にブームなの? http://echo.5ch.net/test/read.cgi/tech/1140717775/869
870: デフォルトの名無しさん [sage] 2006/05/20(土) 23:16:39 裏で手を引いてる奴がいるんだよ http://echo.5ch.net/test/read.cgi/tech/1140717775/870
871: sage [] 2006/05/20(土) 23:24:27 >>869 私見レスだけど, 「純粋関数型」という小難しさがギークを自認する人々を惹き付けるのだと思う。 昔はC++がその役割を果たしていたのだけど(自分を含め踊らされた人の何と多い事か)。 # .NETやJavaがある今,わざわざMFCの為にC++を覚えようと言う人間も少ないし, # C++の「正しい」コーディング法だとかも固まって来た感がある。 逆にOCaml本が出ないのは,call by valueなのである程度動きの予測がつくからかな? 実用性からいえばOCamlのほうが断然分があると思うのだけど。 http://echo.5
ch.net/test/read.cgi/tech/1140717775/871
872: 871 [sage] 2006/05/20(土) 23:25:34 sage失敗…逝ってきます http://echo.5ch.net/test/read.cgi/tech/1140717775/872
873: デフォルトの名無しさん [sage] 2006/05/20(土) 23:29:06 >>872 これからはsageさんと呼ばせてもらうよ http://echo.5ch.net/test/read.cgi/tech/1140717775/873
874: デフォルトの名無しさん [sage] 2006/05/20(土) 23:30:11 賢者なんだね。 http://echo.5ch.net/test/read.cgi/tech/1140717775/874
875: デフォルトの名無しさん [sage] 2006/05/21(日) 00:14:20 OCaml本もいいが、ページの半分近くがObjectの説明に費やされたら俺は切れる。 http://echo.5ch.net/test/read.cgi/tech/1140717775/875
876: デフォルトの名無しさん [sage] 2006/05/21(日) 07:08:32 MFCてw http://echo.5ch.net/test/read.cgi/tech/1140717775/876
877: デフォルトの名無しさん [sage] 2006/05/21(日) 08:06:14 GHC 6.4.2のWindows版が消えてるけど何か問題あったの? http://echo.5ch.net/test/read.cgi/tech/1140717775/877
878: デフォルトの名無しさん [sage] 2006/05/21(日) 15:27:15 >>871 ># C++の「正しい」コーディング法だとかも固まって来た感がある。 個人的にはかなり異議あり. http://echo.5ch.net/test/read.cgi/tech/1140717775/878
879: デフォルトの名無しさん [sage] 2006/05/21(日) 15:30:53 >>878、>>295によると、 正しさというのも、私にとって正しい、あなたにとって正しくない、その程度の差なのではないでしょうか? http://echo.5ch.net/test/read.cgi/tech/1140717775/879
880: さげ [sage] 2006/05/21(日) 20:37:44 >>878 正しい,というのは違ったかもしれない。 今更ながらC++のコーディング規約に関わる本が沢山出ているなあ,という実感から書きました。 あと>>876のレスに困惑。MFCはオブジェクト指向じゃないとかそういう話がしたいのだろか? C++Builderの方がイイヨーとかWindows系以外にも目を向けろとかそういう話?まあいいか。 http://echo.5ch.net/test/read.cgi/tech/1140717775/880
881: デフォルトの名無しさん [sage] 2006/05/21(日) 20:52:27 モナドの合成をマスターすれば、Haskell をマスターできる。 http://echo.5ch.net/test/read.cgi/tech/1140717775/881
882: デフォルトの名無しさん [sage] 2006/05/21(日) 20:54:05 渋谷の女子高生の間でモナドを合成するのが流行ってるらしい http://echo.5ch.net/test/read.cgi/tech/1140717775/882
883: デフォルトの名無しさん [sage] 2006/05/21(日) 21:28:02 call by valueなλ計算のモデルがco-productとstrong monadで作れることが わかれば、Haskellをマスターできる。 http://echo.5ch.net/test/read.cgi/tech/1140717775/883
884: デフォルトの名無しさん [sage] 2006/05/21(日) 21:44:46 λ....... λ...... λ......... http://echo.5ch.net/test/read.cgi/tech/1140717775/884
885: デフォルトの名無しさん [sage] 2006/05/21(日) 21:45:38 λと入の違いが分かればHaskellをマスターできる http://echo.5ch.net/test/read.cgi/tech/1140717775/885
886: デフォルトの名無しさん [sage] 2006/05/21(日) 22:58:06 >>871 .NETとJavaてw http://echo.5ch.net/test/read.cgi/tech/1140717775/886
887: デフォルトの名無しさん [sage] 2006/05/21(日) 23:14:12 >>886 何を持って笑ってるのかわからんな http://echo.5ch.net/test/read.cgi/tech/1140717775/887
888: デフォルトの名無しさん [sage] 2006/05/22(月) 01:53:22 >>887 え?笑っているように見えた? http://echo.5ch.net/test/read.cgi/tech/1140717775/888
889: デフォルトの名無しさん [sage] 2006/05/22(月) 05:00:13 >>886-888 ここで喧嘩するなよw http://echo.5ch.net/test/read.cgi/tech/1140717775/889
890: デフォルトの名無しさん [] 2006/05/22(月) 06:37:27 OSの書けない言語なんて存在すらしてない http://echo.5ch.net/test/read.cgi/tech/1140717775/890
891: デフォルトの名無しさん [] 2006/05/22(月) 07:21:36 >>889 安易に喧嘩認定し杉 http://echo.5ch.net/test/read.cgi/tech/1140717775/891
892: ? [sage] 2006/05/22(月) 09:08:59 いや,喧嘩でしょー.しつこい>>886とか.煽りで怒りを買っているというか.別にいいけど http://echo.5ch.net/test/read.cgi/tech/1140717775/892
893: デフォルトの名無しさん [] 2006/05/22(月) 09:12:32 誤解招く書き方する奴もよくないけど 炊きつける奴もよくない http://echo.5ch.net/test/read.cgi/tech/1140717775/893
894: デフォルトの名無しさん [sage] 2006/05/22(月) 09:21:03 このスレで煽ろうが喧嘩しようが構わないと思うが、すれ違いな話題は止めてくれ。 http://echo.5ch.net/test/read.cgi/tech/1140717775/894
895: デフォルトの名無しさん [sage] 2006/05/22(月) 09:49:51 遅レスながら>>675-676にワロタ http://echo.5ch.net/test/read.cgi/tech/1140717775/895
896: デフォルトの名無しさん [sage] 2006/05/22(月) 12:04:04 Haskellやってる人の平均的プロフィールってどんな感じ? http://echo.5ch.net/test/read.cgi/tech/1140717775/896
897: デフォルトの名無しさん [sage] 2006/05/22(月) 12:54:30 大学院生が多いと思ってた(というか東大か京大ばかりだと思ってた.私は違うけど でも>>871みたいに他言語使いの例があるなら分からないな http://echo.5ch.net/test/read.cgi/tech/1140717775/897
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 104 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s