[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
86: デフォルトの名無しさん [sage] 2011/10/10(月) 16:20:23.40 AAS
べつに
大いに楽しむといいよ
132: デフォルトの名無しさん [sage] 2011/10/15(土) 10:09:28.40 AAS
最近のたて読みはむずかしいな
212: デフォルトの名無しさん [sage] 2011/10/21(金) 21:47:04.40 AAS
ドラクエみたいなモンだよ
スケジュール通りに発売されたドラクエなんて、逆に心配だろ？
270(1): デフォルトの名無しさん [sage] 2011/10/24(月) 00:21:47.40 AAS
>>269269(1): デフォルトの名無しさん [sage] 2011/10/23(日) 23:26:21.32 AAS
>>268
ごめん、Boost とどう繋がるのか全く分からん
うん。酔っぱらってた。
378(1): デフォルトの名無しさん [sage] 2011/11/06(日) 05:53:55.40 AAS
>>377377(1): デフォルトの名無しさん [sage] 2011/11/06(日) 02:49:06.58 AAS
Haskellの変数の有効範囲って何か具体的に決まっているのかな？
Haskel Reportを読んでもはっきりと書かれていないような。
以下のように関数(>>?)を定義してvalue1, value2を求めると
value1は普通に求められるが、value2は\s -> s + aのところで
aが未定義ですとか言われる。
括弧があると変数の有効範囲が変わるのかな？
(>>?) :: a -> (a -> b) -> b
v >>? f = f v
value1 = (1, 2) >>? \(a, b) -> b >>? \s -> s + a
value2 = (1, 2) >>? (\(a, b) -> b) >>? \s -> s + a
関数の仮引数の有効範囲はその関数本体というのが基本原則。
> value1 = (1, 2) >>? \(a, b) -> b >>? \s -> s + a
は
value1 = (1, 2) >>? (\(a, b) -> b >>? \s -> s + a)
と解釈されるのでs + aは\(a,b) -> ...の関数本体内に含まれるが
> value2 = (1, 2) >>? (\(a, b) -> b) >>? \s -> s + a
はかっこがあるため含まれない。
445(1): デフォルトの名無しさん [sage] 2011/11/10(木) 18:27:39.40 AAS
>>444444(1): デフォルトの名無しさん [sage] 2011/11/10(木) 18:08:46.39 AAS
いや役に立たんだろ
コードを書いてない段階でどうやって(a^2)の2に型を指定するんだ
え、どう言う型を受け取って、どう言う型を返したいか、を考えて指定すれば良いだけだよ？
470: デフォルトの名無しさん [sage] 2011/11/12(土) 01:01:56.40 AAS
reactive-glutを試そうとしたら依存パッケージのcategory-extrasがインストールできなかった。
out of dateなパッケージかどうかすぐに分かる手段ってあるのかな。
781: デフォルトの名無しさん [sage] 2011/12/22(木) 07:22:14.40 AAS
>>780780(3): デフォルトの名無しさん [sage] 2011/12/22(木) 05:28:49.45 AAS
>>778
whereIncluded [1..6] [5] 4 = whereIncluded [2..6] [] 4 = After
あぁなるほど、そうか
ちょっと修正案を考えてみる
807(1): デフォルトの名無しさん [sage] 2011/12/23(金) 19:37:49.40 AAS
>>802802(2): デフォルトの名無しさん [sage] 2011/12/23(金) 18:32:22.82 AAS
>>797
それってオブジェクト指向でメソッドの引数の型を
IO型からObject型にするのと、どう違うの？
その例だと、内部でやってることもだいたい同じ
実際の型に応じて実装が選ばれる
実装を選ぶタイミングがコンパイル時か実行時かは違う
型クラスは ad-hoc polymorphism を使いやすくしたものでオーバーロードの親戚
OOPのほうはsubtype polymorphismといって、部分かなり違う部分がある
例えばsubtype relationが推移律をみたすみたいな強い性質がある
subtypeがあるとどうなるかは、Scalaが壮大な社会実験中
872(1): デフォルトの名無しさん [sage] 2011/12/25(日) 22:04:17.40 AAS
XMonadの拡張なら
899: 829 [sage] 2011/12/28(水) 03:12:45.40 AAS
まずプロバイダに特定のサイトが繋がらないんだけど？と連絡したら中の人がぐぐってくれたらしく
ipv6の設定を変えてみてくれという返事が帰ってきました。なんか検索したらそういうものが見つかったとのこと。
ipv6の問題とか自分の身に降りかかってくるとは思ってなかったのでパニクリました。
向こう側がググったサイトは教えてくれない感じで、Windowsでの設定方法を教えますって言われたので、うは、逆にUbuntuでの設定方法を教えてくれｗと思いながらWinじゃないので、と言ってとりあえず引き下がって自分で対処しようとすることに。
うわー、面倒くさそうと思って、プロバイダ側で何が引っかかったのだろうとぐぐってみたら1番上が思いっ切りUbuntuの人のページでしたｗ
ちなみにAndroidケータイがXperiaなんですが、それでもhackageのサイトに通じなかったので、ipv6の設定がどうかなってるんですかね。
Windowsでipv6とかgoogleのグローバル版で調べてみてもあまりipv6と関連した情報みたいなのは出てきませんが。
外人さんは困ったりしないんだろうか。全くよくわからないところです。日本人・日本語だと困ってる人が少し出てきましたね。
で、結局Ubuntuでipv6の設定しなおしたらなんで繋がるようになったのかは理解してません。ｗ
どうしてなんでしょうか？
この方のところも参考にしました。
UbuntuでIPv6 - とある技術屋の戯言
外部ﾘﾝｸ:www.sonorilo.net
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s