[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
99: デフォルトの名無しさん [sage] 2011/10/12(水) 01:25:13.82 AAS
キャチアップし続けてる人がまわりにいれば聞けるんだろうなあ。勉強会後の飲み会で話すとそう思う。
モダンHaskell(モダンPerlっぽいいいまわし)みたいな本が日本語あれば、
pythonみたいな誰かに教えたい欲求が高いチューター層が増加して、
モダンHaskell入門ハッカソソンとか開催されるようになるかも。
むしろ、初心者で読書会はじめて、そこからチューター呼んで開催するとか誰かしてくれませんか。
109: Perl忍者 [sage] 2011/10/13(木) 19:07:32.82 AAS
ここって童貞しかいなさそうだね
226: デフォルトの名無しさん [sage] 2011/10/22(土) 19:56:50.82 AAS
>>223223(2): デフォルトの名無しさん [sage] 2011/10/22(土) 18:28:23.45 AAS
>>222
ごめん、言い忘れてた
私の環境は
OS : Windows7 Home Premium 32bit
Haskell Platform : 2011.2.0.1
これ以外の環境でどうやるかは分からない
> だからダメと言う事は在るのでしょうか？
あるんじゃないかな
64 bit 版の All-in-one bundles でやってみたらどう？
さっき提示したページの上部に [Download] のリンクがあるから、
そこから 64 bit 版へ飛べる（まだ実験バージョンだと書かれているが）
何とかWin7の64bitでgtk2hsインストール完了しました
結論から言うと、gtk+の64bit版ではなく、>>218218(3): デフォルトの名無しさん [sage] 2011/10/22(土) 16:47:47.56 AAS
最新の Haskell Platform を入れているのなら、以下の手順でインストールできる
1. 外部ﾘﾝｸ[php]:www.gtk.org へ行き、
All-in-one bundles のバージョン 2.16 をダウンロード（2.22 ではダメ）
2. All-in-one bundles を展開してホワイトスペースが無いパスに置き、
All-in-one bundles の \bin ディレクトリへのパスを環境変数 %PATH% に追加する
3. GHC インストールフォルダ内の mingw/bin ディレクトリへのパスも
環境変数 %PATH% に追加する
4. cabal install gtk2hs-buildtools
次いで cabal install gtk
最新の Haskell Platform にある GHC のバージョンより
高いバージョンの GHC を入れていたり、別の環境だったりした場合、
どうするかは知らん
でダメと言われてた2.22で成功しました。。。
(手順はそれ以外は同じで、サンプルコードの動作確認も完了済み)
因みに、64bit版ではインストールに成功するものの、リンクでこけました
これでgtk2hsの勉強が始められそうです
ありがとうございました
261(1): デフォルトの名無しさん [sage] 2011/10/23(日) 11:37:11.82 AAS
標準Ｃライブラリですら比較的に一貫しててすっきりしてるのに
今ある標準ライブラリはもう手を付けず deprecated にして、
真標準ライブラリを新たに作ればいいのにな
それか、標準ライブラリにバージョンを付けるとか
338: デフォルトの名無しさん [sage] 2011/10/31(月) 23:36:25.82 AAS
>>332332(1): デフォルトの名無しさん [sage] 2011/10/31(月) 10:01:18.00 AAS
Num a => aはrigidじゃない。
数値型はたくさんあるから。
じゃあ、逆に rigid な型にはどういったものがあるの？
384: デフォルトの名無しさん [sage] 2011/11/06(日) 20:02:50.82 AAS
>>382382(1): デフォルトの名無しさん [sage] 2011/11/06(日) 18:33:01.25 AAS
そう？
少なくとも )))) はだいぶ消えると思うけど。
逆に言えば、そこにしか効果ないんよ
502(1): デフォルトの名無しさん [sage] 2011/11/12(土) 18:39:16.82 AAS
>>499499(1): [―{}@{}@{}-] デフォルトの名無しさん [sage] 2011/11/12(土) 18:22:34.43 AAS
>>498
もちろん。でもHaskellにはその能力がない
Rubyでuri.schemeと書くときにメソッド名schemeが他と衝突するのを心配する必要はないけど、
Haskellで(scheme uri)と書くならそうはいかない
これを指して>>486で「けっこう頻繁に衝突」と言った
>>487で否定されたのでSMLにもRubyみたいなレシーバ依存の名前lookupがあるのかと思ったけど、
そういう訳でもないってことで良いかな
>そういう訳でもないってことで良いかな
SMLはオブジェクト指向では無いし静的型付け言語だから、
Rubyのようなレシーバ(インスタンス)依存の名前参照は存在しない
ただし、SMLでは uri.scheme と書く時に、uri以外の他のモジュールで
schemeというアクセサ名が使われているかどうかを心配する必要はない
つまりHaskellのような urlScheme という冗長な命名は不要
こういう事で理解してもらえるかな？
663: デフォルトの名無しさん [sage] 2011/12/09(金) 01:49:11.82 AAS
キモいからよそでやって
純粋にHaskellの話してよ
716: デフォルトの名無しさん [sage] 2011/12/18(日) 07:56:42.82 AAS
>>707ドカタ乙
802(2): デフォルトの名無しさん [sage] 2011/12/23(金) 18:32:22.82 AAS
>>797797(2): デフォルトの名無しさん [sage] 2011/12/23(金) 18:16:45.13 AAS
>>795
Control.Monadにあるようなものは抽象化できるし、
(Monad m) =>で書けなさそうなものは抽象化できない
言葉で言われて分かる類の問題じゃないから具体例を見たり書いたりして慣れるしかないよ
>モナドで抽象する前と後とで何が変わるの？
関数の型が変わって任意のモナドに対して使えるようになる。たとえば、
foreach :: [a] -> (a -> IO ()) -> IO () -- foreach xs f はxsの各要素に対してfを実行
をモナドに関して抽象化すれば、
forM_ :: (Monad m) => [a] -> (a -> m b) -> m ()
になって、IO以外でも使えるようになる
それってオブジェクト指向でメソッドの引数の型を
IO型からObject型にするのと、どう違うの？
839: デフォルトの名無しさん [] 2011/12/25(日) 18:31:48.82 AAS
いろいろ見てみたけどモナドってやっぱおれには難しいわ。
なんか純粋な関数型言語にふつうのプログラミング言語ならふつうにできることを
組み込みたいという空気かなと思うが、あまりそう強調されてもいないようだし、
まず目的がようわからんわ。
抽象化とか言うけど、それはモナドに限らん関数型の特徴だと思うし。
だれかこういうのちょっと教えてくれんかなスマンが。
951(1): デフォルトの名無しさん [sage] 2012/01/02(月) 12:19:02.82 AAS
>>950950(1): デフォルトの名無しさん [sage] 2012/01/02(月) 11:54:20.89 AAS
>>948
京都の先生にSICPの訳をdisられた疑惑が浮上して以来2chでの権威はストップ安です
disられたってどういうこと？
976: デフォルトの名無しさん [sage] 2012/01/02(月) 18:27:24.82 AAS
モノイダル圏におけるモノイド対象が存在すること
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s