[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part16 (978ﾚｽ)
関数型プログラミング言語Haskell Part16 http://echo.5ch.net/test/read.cgi/tech/1317958045/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
880: デフォルトの名無しさん [] 2011/12/26(月) 10:31:03.06 >>879 構文と意味を分離するのだから、モナドが相当本質的ではないの？ http://echo.5ch.net/test/read.cgi/tech/1317958045/880
881: デフォルトの名無しさん [sage] 2011/12/26(月) 15:45:22.21 ようやくlearn you a haskell ~ を２周読み終えるわ。この本やっぱり 面白かった。純粋な関数型のデータ構造を扱うための入門にも向いてるよ。 特に最後の２つの章がね。 ただの入門かと思ったけど、そうでもなかった感じがした。 もちろん、ちょっと話題になってるモナド変換子のことは現実世界Haskell になってくる。でも、Learn you a Haskell~を２，３度読むと基礎は十分 じゃないかと思った。 ええ本ですわ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/881
882: デフォルトの名無しさん [sage] 2011/12/26(月) 15:51:58.71 他の本も同時に読んでるけど、Tree based tech-nick の言語でもあるし なにもかも他とは異質という印象があった。LispやSmalltalk,Prologと は違うまた異質な世界。 でも、オブジェクト指向でやったほうが良いようなシミュレーションの問題 などは向いてないなと思った。Haskellでもできないことはないというのは、 ライブラリを探して、サンプルを見てたら分かるんだけど、無理矢理感が 拭えないな。 簡単なところを学んだあとに改めてHaskellというのを考えたけど、学んで 有益だったのか明確な答えがでなかった。 ここのベテランさん達はHaskellを学んで、そして実用的？に利用して何が良 かったと感じてますか？ http://echo.5ch.net/test/read.cgi/tech/1317958045/882
883: デフォルトの名無しさん [sage] 2011/12/26(月) 15:52:52.02 technique だったな。 http://echo.5ch.net/test/read.cgi/tech/1317958045/883
884: デフォルトの名無しさん [sage] 2011/12/26(月) 15:54:03.41 もうひとつ感じたことh，HaskellのタプルはLispのconsみたいなもんなんだな。ってね。consとtupleは違う点ももちろん明確なんだけど。 http://echo.5ch.net/test/read.cgi/tech/1317958045/884
885: デフォルトの名無しさん [sage] 2011/12/26(月) 20:04:36.55 >>882 ・便利な機能(というより、無いと苦痛な機能)が揃ってる 代数的データ型、型クラス、型推論、… ・構文が簡潔なので書いていて苦痛が少ない(括弧を閉じなくて良いのは大きい) ・静的な型 もっと地味に良いところはたくさん挙げれられる GC、生ポインタ操作、パーサコンビネータ、ユーザレベルスレッド、並列処理、 do構文、where構文、純粋であること、末尾再帰の最適化、… でも個人的な感覚としては、他の言語に比べて大きな欠点が少ないから使ってる http://echo.5ch.net/test/read.cgi/tech/1317958045/885
886: デフォルトの名無しさん [sage] 2011/12/26(月) 20:04:44.07 >>884 問1. HaskellのタプルとLispのconsの共通点は何？ 問2. その共通点は本質的なものか？ http://echo.5ch.net/test/read.cgi/tech/1317958045/886
887: デフォルトの名無しさん [sage] 2011/12/26(月) 21:40:09.83 >>878 ２時間たらずでそこまで理解できたなら大したもんだ。 自動生成というか、各プログラミング言語の概念（環境、ストア、継続）をモジュール化することで、 レゴのブロックのように意味の組み合わせが可能になる言語の枠組みとして使えるという内容。 いろんな先入観を払拭するのに最適だし。 残念ながら入出力については実装があたえられていないので、言語SLは実践的にはまったく使い物にならない。 逆に言えば、入出力をちゃんと理解して組み込めるようにすれば、実用的にも結構すごいことだと思う。 http://echo.5ch.net/test/read.cgi/tech/1317958045/887
888: デフォルトの名無しさん [sage] 2011/12/26(月) 23:00:19.71 表示的意味論の教科書でも大抵入出力は端折ってる。 http://echo.5ch.net/test/read.cgi/tech/1317958045/888
889: デフォルトの名無しさん [sage] 2011/12/26(月) 23:25:08.69 >>885 そうですか。更に学べば面白いところありそうですね。:-) >>886 自分が感じたのは、便利な小物扱いしてるところ。consを使ったもので associate listというものがあるんだけど、その扱いと特に似てると感じた。 tupleは無名構造体という言い方をするとどこかで読んだことがあるけど、 もちろんtupleでリストを作るわけではないので違いは歩けd． http://echo.5ch.net/test/read.cgi/tech/1317958045/889
890: 878 [sage] 2011/12/26(月) 23:55:02.17 >>879 俺がモナドをよく知らないから新鮮に思えるだけかも >>887 説明ありがとう Haskellerがモナドモナドうるさい理由がちょっと解ってきたよ http://echo.5ch.net/test/read.cgi/tech/1317958045/890
891: デフォルトの名無しさん [sage] 2011/12/27(火) 00:02:02.11 うるさくはないよ。控え目だよ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/891
892: デフォルトの名無しさん [sage] 2011/12/27(火) 04:33:07.77 うるさくはないよ。針小棒大だよ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/892
893: デフォルトの名無しさん [sage] 2011/12/27(火) 09:38:15.07 うるさくないよ。短小早漏だよ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/893
894: デフォルトの名無しさん [sage] 2011/12/27(火) 12:44:32.22 >>886 >>884ではないけど、横レスしてみる Lispのような動的型付け言語の場合、２つの要素から構成されるタプルと リスト構成子である cons は同一であり、互いに置き換えることができる Haskellのような静的型付け言語の場合、 タプルは直積構造であるから各要素のデータ型は互いに異なっていてもかまわないが、 リストにおいては各要素のデータ型は同一でなければならない したがって、２要素のタプルとリスト構成子との間に互換性はない http://echo.5ch.net/test/read.cgi/tech/1317958045/894
895: デフォルトの名無しさん [sage] 2011/12/27(火) 13:38:57.62 無理矢理なぐらい広議にしたモノイドという観点に立てば関連性が無いとも言えない http://echo.5ch.net/test/read.cgi/tech/1317958045/895
896: デフォルトの名無しさん [sage] 2011/12/27(火) 19:54:07.22 cabal で stm をインストールしようとしたら、 Control\Concurrent\STM.hs:0:4: lexical error (UTF-8 decoding error) というエラーで止まってしまい、インストールできません そもそも cabal の lexical error というのはどういう時に起こるのでしょうか [環境] GHC 7.2.2 cabal-install 0.10.2 Cabal library 1.10.2.0 http://echo.5ch.net/test/read.cgi/tech/1317958045/896
897: 896 [sage] 2011/12/27(火) 23:18:53.79 問題がだいぶ絞り込めました {-# LANGUAGE CPP #-} たったこれだけ書かれた Test.hs ファイルを ghci 上でロードすると、 Test.hs:0:4: lexical error (UTF-8 decoding error) Failed, modules loaded: none. と表示されエラーとなりますが、エラーの意味が分かりません {-# LANGUAGE Arrows #-} 例えばこれだけ書かれた Test.hs ファイルなら、普通にロードできます これ GHC 7.2.2 のバグでしょうか それとも意図された振る舞いなのでしょうか 後者なら、このエラーはどのような意味なのでしょうか http://echo.5ch.net/test/read.cgi/tech/1317958045/897
898: 829 [sage] 2011/12/28(水) 03:00:47.10 >>829です。解決しました。 原因はIPv6周りだったらしく、Ubuntuの設定をしたら直りました。 自分の対処法としては。参考にしたサイトとは若干違い。 /etc/ufw/ufw.conf にIPV6の記述がなかったので IPV6=yesに。 /etc/NetworkManager/system-connections/Auto eth0の[ipv6]のmethodがignoreになっていたのを、 method=autoにそれぞれ変更し直りました。 参考にしたサイト hackage.haskell.org に繋がるようになりました。 - sirocco の書いてもすぐに忘れるメモ http://d.hatena.ne.jp/sirocco/20110905/1315255573 http://echo.5ch.net/test/read.cgi/tech/1317958045/898
899: 829 [sage] 2011/12/28(水) 03:12:45.40 まずプロバイダに特定のサイトが繋がらないんだけど？と連絡したら中の人がぐぐってくれたらしく ipv6の設定を変えてみてくれという返事が帰ってきました。なんか検索したらそういうものが見つかったとのこと。 ipv6の問題とか自分の身に降りかかってくるとは思ってなかったのでパニクリました。 向こう側がググったサイトは教えてくれない感じで、Windowsでの設定方法を教えますって言われたので、うは、逆にUbuntuでの設定方法を教えてくれｗと思いながらWinじゃないので、と言ってとりあえず引き下がって自分で対処しようとすることに。 うわー、面倒くさそうと思って、プロバイダ側で何が引っかかったのだろうとぐぐってみたら1番上が思いっ切りUbuntuの人のページでしたｗ ちなみにAndroidケータイがXperiaなんですが、それでもhackageのサイトに通じなかったので、ipv6の設定がどうかなってるんですかね。 Windowsでipv6とかgoogleのグローバル版で調べてみてもあまりipv6と関連した情報みたいなのは出てきませんが。 外人さんは困ったりしないんだろうか。全くよくわからないところです。日本人・日本語だと困ってる人が少し出てきましたね。 で、結局Ubuntuでipv6の設定しなおしたらなんで繋がるようになったのかは理解してません。ｗ どうしてなんでしょうか？ この方のところも参考にしました。 UbuntuでIPv6 - とある技術屋の戯言 http://www.sonorilo.net/2010/05/10/2730 http://echo.5ch.net/test/read.cgi/tech/1317958045/899
900: デフォルトの名無しさん [sage] 2011/12/28(水) 07:16:43.53 馬鹿には無理 http://echo.5ch.net/test/read.cgi/tech/1317958045/900
901: 896 [sage] 2011/12/28(水) 07:35:30.95 >>900 賢い人でしたら >>897 の問題分かるでしょうか ちなみに、ghci -XCPP というオプションで ghci を起動させれば、 たとえ何も書かれていない空白の hs ファイルをロードしても、 全く同じ lexical error になります http://echo.5ch.net/test/read.cgi/tech/1317958045/901
902: デフォルトの名無しさん [sage] 2011/12/28(水) 07:47:55.90 適当に推測すると、cppの出力が非UTF-8の何かを含んでるんじゃないの？ cpp -traditional Test.hs の出力を見てみるとか http://echo.5ch.net/test/read.cgi/tech/1317958045/902
903: デフォルトの名無しさん [sage] 2011/12/28(水) 07:49:15.11 まさにそれでした ありがとうございます http://echo.5ch.net/test/read.cgi/tech/1317958045/903
904: 896 [sage] 2011/12/28(水) 07:54:57.28 >>902 ありがとうございます 色々な ghc のバージョンで試す環境が作れたので、 丁度今試していたのですが、どうも 6.12.3 なら OK で 7.0.0 以上なら NG みたいなんです もう仕事に向うので、帰宅したら cpp -traditional Test.hs の方を試してみます http://echo.5ch.net/test/read.cgi/tech/1317958045/904
905: 896 [sage] 2011/12/28(水) 19:09:32.91 >>902 cpp -traditional Test.hs の結果が以下のように出力されました ------------------------------- # 1 "Test.hs" # 1 "<built-in>" # 1 "<command-line>" # 1 "Test.hs" {-# LANGUAGE CPP #-} ------------------------------- 何か問題あるでしょうか http://echo.5ch.net/test/read.cgi/tech/1317958045/905
906: デフォルトの名無しさん [sage] 2011/12/28(水) 19:25:33.17 >>905 わからん。念のためghci -v Test.hsをやってみて、 そこで出てきたプリプロセスコマンドをそのまま打ち込んでみたら出力はどうなる？ カレントディレクトリかテンポラリディレクトリのパスに日本語が入ってるとか http://echo.5ch.net/test/read.cgi/tech/1317958045/906
907: 896 [sage] 2011/12/28(水) 19:58:14.00 CPP 言語オプションだけを記述した Test.hs に対して ghci -v Test.hs すると、 *** C pre-processor: でプリプロセスコマンドが表示され、 その直後に次のように表示されて処理が止まります ghc.exe: fd:5: hGetContents: invalid argument (invalid UTF-8 byte sequence) ここで、[Ctrl+C] キーで処理を止めると Interrupted. と表示されてから、 いつもの ghci のプロンプトになります Arrows 言語オプションだけを記述した Test.hs ファイルの場合は、 全く問題なく（処理は止まらず）いつもの ghci のプロンプトになります *** C pre-processor: で表示されたプリプロセスコマンドは以下の通りです （見やすさの為適当に改行を入れ、パスに本名がローマ字で入っているので伏せました また、最後の -o の出力パスはテンポラリファイルなので適当に変えました） ------------------------------- "Haskell Platform2011.4.0.0のフォルダ\lib\..\mingw\bin\gcc" -E -undef -traditional -v -I "Haskell Platform2011.4.0.0のフォルダ\lib\base-4.3.1.0\include" -I "Haskell Platform2011.4.0.0のフォルダ\lib/include" -D__GLASGOW_HASKELL__=700 -Dmingw32_BUILD_OS=1 -Di386_BUILD_ARCH=1 -Dmingw32_HOST_OS=1 -Di386_HOST_ARCH=1 -x c Test.hs -o out.hscpp ------------------------------- このプリプロセスコマンドを実行してみたところ、 こちらは止まらず、また特にエラー報告もなく out.hscpp が出力されました このファイルの内容は >>905 の結果の出力と同一です どうも、この現象は私だけみたいですね http://echo.5ch.net/test/read.cgi/tech/1317958045/907
908: 896 [sage] 2011/12/28(水) 20:00:23.21 >>906 > カレントディレクトリかテンポラリディレクトリのパスに日本語が入ってるとか それは無いです http://echo.5ch.net/test/read.cgi/tech/1317958045/908
909: デフォルトの名無しさん [sage] 2011/12/28(水) 20:16:52.26 >>897 暇だったからLANGUAGE CPPの方やってみたけど、問題なかった。当たり前か。ghciはversion 7.0.4でした。 変な制御文字でも埋まってるんじゃない？od -x -c Test.hsで見てみたら？ http://echo.5ch.net/test/read.cgi/tech/1317958045/909
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 69 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s